Smooth structure on the space of sections of a fiber bundle and gauge group
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
- The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.
- 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
add a comment |
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
- The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.
- 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
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
add a comment |
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
- The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.
- 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
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
- The spaces $C^infty(M,N), H_l(M,N) $ are particular cases when $E = Mtimes N$ and $B =M$.
- 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
dg.differential-geometry fa.functional-analysis vector-bundles fibre-bundles infinite-dimensional-manifolds
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
add a comment |
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
add a comment |
1 Answer
1
active
oldest
votes
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.
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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.
add a comment |
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.
add a comment |
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.
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.
answered Dec 13 '18 at 15:51
Tobias DiezTobias Diez
2,5151232
2,5151232
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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