Smooth structure on the space of sections of a fiber bundle and gauge group












4















Let $xi$ be a fiber bundle $Fhookrightarrow Eto B$ (where every space is smooth, T2 and second countable), let $Gamma(xi)$ be the space of smooth sections. We can complete $Gamma(xi)$ with respect to a Sobolev $(l,2)$-norm and obtain the space of Sobolev sections $H_l(xi)$.



I have read that $H_l(xi)$ can be given the structure of an Hilbert manifold (see Uhlenbeck and Freed's Instantons and four manifolds), and that the tangent space to a section $sin H_l(xi)$ is given by $H_l(s^*mathcal{V}xi)$ (here ${mathcal{V}}xi$ is the vertical bundle of $xi$ wich is a subbundle of $TE$).
It is not difficult to take a curve in $H_l(xi)$ and find out who is the tangent space but the book doesn't describe precisely the smooth structure on $H_l(xi)$.




I would like to see how a chart of $H_l(xi)$ or $Gamma(xi)$ looks like. Or a more precise definition of the smooth structure on these spaces.




Motivations




  1. The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.

  2. The gauge group $mathcal{G}$ of a $G$-principal bundle $Ghookrightarrow Pto M$ is the group of automorphisms (as a principal bundle) of $P$, it can be identified with $Gamma(M,Ptimes_{text{Ad}}G )$. It is useful to know that the Lie algebra of $mathcal{G}$ is identified with $Gamma(M,Ptimes_{text{ad}}mathfrak{g})$.


Expectations



If we consider our first example 1. of $C^infty(M,N)$, $M$ and $N$ are both metric spaces (fix a Riemannian metric for simplicity), thus $C^infty(M,N)$ naturally is a metric space.
Intuitively, given a map $f$, I would describe all the maps in a neighborhood with the help of the exponential map and a vector field of $N$ along $f$, i.e. given $Xin Gamma(f^*TN)$ this should induce $g=xmapsto text{exp}_{f(x)}(X_{x})in C^infty(M,N)$. So we would end up modelling a neighborhood of $f$ with vector fields along $f$ that lie in the domain of the exponential map (if $N$ compact so that the injectivity radius is positive but what if $N$ is not?). This I expect to be a Frechèt manifold.
One problem is to show that we can obtain all the neighborhood of $f$ with this construction.



In the more general case of sections of a fiber bundle, I would consider similarly vector fields on $E$ that are vertical so that the above construction preserve the fiber.



I expect that with the same argument but changing the topology on $C^infty(M,N)$ we would end up with different local models, i.e. if we consider the $C^k$ metric it will be locally Banach, if we choose the $C^infty$ metric it will be Frechèt with the Heine-Borel property and if we choose a Sobolev norm it will be not complete.










share|cite|improve this question




















  • 1





    There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

    – Pavel
    Dec 13 '18 at 13:57
















4















Let $xi$ be a fiber bundle $Fhookrightarrow Eto B$ (where every space is smooth, T2 and second countable), let $Gamma(xi)$ be the space of smooth sections. We can complete $Gamma(xi)$ with respect to a Sobolev $(l,2)$-norm and obtain the space of Sobolev sections $H_l(xi)$.



I have read that $H_l(xi)$ can be given the structure of an Hilbert manifold (see Uhlenbeck and Freed's Instantons and four manifolds), and that the tangent space to a section $sin H_l(xi)$ is given by $H_l(s^*mathcal{V}xi)$ (here ${mathcal{V}}xi$ is the vertical bundle of $xi$ wich is a subbundle of $TE$).
It is not difficult to take a curve in $H_l(xi)$ and find out who is the tangent space but the book doesn't describe precisely the smooth structure on $H_l(xi)$.




I would like to see how a chart of $H_l(xi)$ or $Gamma(xi)$ looks like. Or a more precise definition of the smooth structure on these spaces.




Motivations




  1. The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.

  2. The gauge group $mathcal{G}$ of a $G$-principal bundle $Ghookrightarrow Pto M$ is the group of automorphisms (as a principal bundle) of $P$, it can be identified with $Gamma(M,Ptimes_{text{Ad}}G )$. It is useful to know that the Lie algebra of $mathcal{G}$ is identified with $Gamma(M,Ptimes_{text{ad}}mathfrak{g})$.


Expectations



If we consider our first example 1. of $C^infty(M,N)$, $M$ and $N$ are both metric spaces (fix a Riemannian metric for simplicity), thus $C^infty(M,N)$ naturally is a metric space.
Intuitively, given a map $f$, I would describe all the maps in a neighborhood with the help of the exponential map and a vector field of $N$ along $f$, i.e. given $Xin Gamma(f^*TN)$ this should induce $g=xmapsto text{exp}_{f(x)}(X_{x})in C^infty(M,N)$. So we would end up modelling a neighborhood of $f$ with vector fields along $f$ that lie in the domain of the exponential map (if $N$ compact so that the injectivity radius is positive but what if $N$ is not?). This I expect to be a Frechèt manifold.
One problem is to show that we can obtain all the neighborhood of $f$ with this construction.



In the more general case of sections of a fiber bundle, I would consider similarly vector fields on $E$ that are vertical so that the above construction preserve the fiber.



I expect that with the same argument but changing the topology on $C^infty(M,N)$ we would end up with different local models, i.e. if we consider the $C^k$ metric it will be locally Banach, if we choose the $C^infty$ metric it will be Frechèt with the Heine-Borel property and if we choose a Sobolev norm it will be not complete.










share|cite|improve this question




















  • 1





    There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

    – Pavel
    Dec 13 '18 at 13:57














4












4








4


2






Let $xi$ be a fiber bundle $Fhookrightarrow Eto B$ (where every space is smooth, T2 and second countable), let $Gamma(xi)$ be the space of smooth sections. We can complete $Gamma(xi)$ with respect to a Sobolev $(l,2)$-norm and obtain the space of Sobolev sections $H_l(xi)$.



I have read that $H_l(xi)$ can be given the structure of an Hilbert manifold (see Uhlenbeck and Freed's Instantons and four manifolds), and that the tangent space to a section $sin H_l(xi)$ is given by $H_l(s^*mathcal{V}xi)$ (here ${mathcal{V}}xi$ is the vertical bundle of $xi$ wich is a subbundle of $TE$).
It is not difficult to take a curve in $H_l(xi)$ and find out who is the tangent space but the book doesn't describe precisely the smooth structure on $H_l(xi)$.




I would like to see how a chart of $H_l(xi)$ or $Gamma(xi)$ looks like. Or a more precise definition of the smooth structure on these spaces.




Motivations




  1. The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.

  2. The gauge group $mathcal{G}$ of a $G$-principal bundle $Ghookrightarrow Pto M$ is the group of automorphisms (as a principal bundle) of $P$, it can be identified with $Gamma(M,Ptimes_{text{Ad}}G )$. It is useful to know that the Lie algebra of $mathcal{G}$ is identified with $Gamma(M,Ptimes_{text{ad}}mathfrak{g})$.


Expectations



If we consider our first example 1. of $C^infty(M,N)$, $M$ and $N$ are both metric spaces (fix a Riemannian metric for simplicity), thus $C^infty(M,N)$ naturally is a metric space.
Intuitively, given a map $f$, I would describe all the maps in a neighborhood with the help of the exponential map and a vector field of $N$ along $f$, i.e. given $Xin Gamma(f^*TN)$ this should induce $g=xmapsto text{exp}_{f(x)}(X_{x})in C^infty(M,N)$. So we would end up modelling a neighborhood of $f$ with vector fields along $f$ that lie in the domain of the exponential map (if $N$ compact so that the injectivity radius is positive but what if $N$ is not?). This I expect to be a Frechèt manifold.
One problem is to show that we can obtain all the neighborhood of $f$ with this construction.



In the more general case of sections of a fiber bundle, I would consider similarly vector fields on $E$ that are vertical so that the above construction preserve the fiber.



I expect that with the same argument but changing the topology on $C^infty(M,N)$ we would end up with different local models, i.e. if we consider the $C^k$ metric it will be locally Banach, if we choose the $C^infty$ metric it will be Frechèt with the Heine-Borel property and if we choose a Sobolev norm it will be not complete.










share|cite|improve this question
















Let $xi$ be a fiber bundle $Fhookrightarrow Eto B$ (where every space is smooth, T2 and second countable), let $Gamma(xi)$ be the space of smooth sections. We can complete $Gamma(xi)$ with respect to a Sobolev $(l,2)$-norm and obtain the space of Sobolev sections $H_l(xi)$.



I have read that $H_l(xi)$ can be given the structure of an Hilbert manifold (see Uhlenbeck and Freed's Instantons and four manifolds), and that the tangent space to a section $sin H_l(xi)$ is given by $H_l(s^*mathcal{V}xi)$ (here ${mathcal{V}}xi$ is the vertical bundle of $xi$ wich is a subbundle of $TE$).
It is not difficult to take a curve in $H_l(xi)$ and find out who is the tangent space but the book doesn't describe precisely the smooth structure on $H_l(xi)$.




I would like to see how a chart of $H_l(xi)$ or $Gamma(xi)$ looks like. Or a more precise definition of the smooth structure on these spaces.




Motivations




  1. The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.

  2. The gauge group $mathcal{G}$ of a $G$-principal bundle $Ghookrightarrow Pto M$ is the group of automorphisms (as a principal bundle) of $P$, it can be identified with $Gamma(M,Ptimes_{text{Ad}}G )$. It is useful to know that the Lie algebra of $mathcal{G}$ is identified with $Gamma(M,Ptimes_{text{ad}}mathfrak{g})$.


Expectations



If we consider our first example 1. of $C^infty(M,N)$, $M$ and $N$ are both metric spaces (fix a Riemannian metric for simplicity), thus $C^infty(M,N)$ naturally is a metric space.
Intuitively, given a map $f$, I would describe all the maps in a neighborhood with the help of the exponential map and a vector field of $N$ along $f$, i.e. given $Xin Gamma(f^*TN)$ this should induce $g=xmapsto text{exp}_{f(x)}(X_{x})in C^infty(M,N)$. So we would end up modelling a neighborhood of $f$ with vector fields along $f$ that lie in the domain of the exponential map (if $N$ compact so that the injectivity radius is positive but what if $N$ is not?). This I expect to be a Frechèt manifold.
One problem is to show that we can obtain all the neighborhood of $f$ with this construction.



In the more general case of sections of a fiber bundle, I would consider similarly vector fields on $E$ that are vertical so that the above construction preserve the fiber.



I expect that with the same argument but changing the topology on $C^infty(M,N)$ we would end up with different local models, i.e. if we consider the $C^k$ metric it will be locally Banach, if we choose the $C^infty$ metric it will be Frechèt with the Heine-Borel property and if we choose a Sobolev norm it will be not complete.







dg.differential-geometry fa.functional-analysis vector-bundles fibre-bundles infinite-dimensional-manifolds






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 13 '18 at 16:27







Warlock of Firetop Mountain

















asked Dec 13 '18 at 12:13









Warlock of Firetop MountainWarlock of Firetop Mountain

21017




21017








  • 1





    There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

    – Pavel
    Dec 13 '18 at 13:57














  • 1





    There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

    – Pavel
    Dec 13 '18 at 13:57








1




1





There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

– Pavel
Dec 13 '18 at 13:57





There is the lecture notes (Chapter 2). I believe that the construction can be adjusted for fiber bundles by taking a neighborhood of a section which looks like a vector bundle and a metric on it such that geodesics in the vertical direction remain in the fiber.

– Pavel
Dec 13 '18 at 13:57










1 Answer
1






active

oldest

votes


















6














Your intuition is right. To endow the space of sections of a fiber bundle $F$ with a manifold structure at $phi in Gamma^infty(F)$ you consider a tubular neighborhood (respecting the fiber structure) about the image of $phi$ in $F$. The tube diffeomorphism serves as a linearization of every section sufficiently close to $phi$.



This construction is described, for example, in:




  • Wockel: Infinite-dimensional and higher structures in differential geometry

  • Kriegl & Michor: The convenient setting of global analysis

  • Hamilton: The inverse function theorem of Nash and Moser


Since you mention the group of gauge transformations, the article "The Lie group of automorphisms of a principle bundle" by Abbati, Cirelli, Manià & Michor might be of interest to you.






share|cite|improve this answer























    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "504"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f317599%2fsmooth-structure-on-the-space-of-sections-of-a-fiber-bundle-and-gauge-group%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    6














    Your intuition is right. To endow the space of sections of a fiber bundle $F$ with a manifold structure at $phi in Gamma^infty(F)$ you consider a tubular neighborhood (respecting the fiber structure) about the image of $phi$ in $F$. The tube diffeomorphism serves as a linearization of every section sufficiently close to $phi$.



    This construction is described, for example, in:




    • Wockel: Infinite-dimensional and higher structures in differential geometry

    • Kriegl & Michor: The convenient setting of global analysis

    • Hamilton: The inverse function theorem of Nash and Moser


    Since you mention the group of gauge transformations, the article "The Lie group of automorphisms of a principle bundle" by Abbati, Cirelli, Manià & Michor might be of interest to you.






    share|cite|improve this answer




























      6














      Your intuition is right. To endow the space of sections of a fiber bundle $F$ with a manifold structure at $phi in Gamma^infty(F)$ you consider a tubular neighborhood (respecting the fiber structure) about the image of $phi$ in $F$. The tube diffeomorphism serves as a linearization of every section sufficiently close to $phi$.



      This construction is described, for example, in:




      • Wockel: Infinite-dimensional and higher structures in differential geometry

      • Kriegl & Michor: The convenient setting of global analysis

      • Hamilton: The inverse function theorem of Nash and Moser


      Since you mention the group of gauge transformations, the article "The Lie group of automorphisms of a principle bundle" by Abbati, Cirelli, Manià & Michor might be of interest to you.






      share|cite|improve this answer


























        6












        6








        6







        Your intuition is right. To endow the space of sections of a fiber bundle $F$ with a manifold structure at $phi in Gamma^infty(F)$ you consider a tubular neighborhood (respecting the fiber structure) about the image of $phi$ in $F$. The tube diffeomorphism serves as a linearization of every section sufficiently close to $phi$.



        This construction is described, for example, in:




        • Wockel: Infinite-dimensional and higher structures in differential geometry

        • Kriegl & Michor: The convenient setting of global analysis

        • Hamilton: The inverse function theorem of Nash and Moser


        Since you mention the group of gauge transformations, the article "The Lie group of automorphisms of a principle bundle" by Abbati, Cirelli, Manià & Michor might be of interest to you.






        share|cite|improve this answer













        Your intuition is right. To endow the space of sections of a fiber bundle $F$ with a manifold structure at $phi in Gamma^infty(F)$ you consider a tubular neighborhood (respecting the fiber structure) about the image of $phi$ in $F$. The tube diffeomorphism serves as a linearization of every section sufficiently close to $phi$.



        This construction is described, for example, in:




        • Wockel: Infinite-dimensional and higher structures in differential geometry

        • Kriegl & Michor: The convenient setting of global analysis

        • Hamilton: The inverse function theorem of Nash and Moser


        Since you mention the group of gauge transformations, the article "The Lie group of automorphisms of a principle bundle" by Abbati, Cirelli, Manià & Michor might be of interest to you.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 13 '18 at 15:51









        Tobias DiezTobias Diez

        2,5151232




        2,5151232






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to MathOverflow!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f317599%2fsmooth-structure-on-the-space-of-sections-of-a-fiber-bundle-and-gauge-group%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Сан-Квентин

            Алькесар

            Josef Freinademetz