Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [connections]

In mathematics, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. (Def: https://en.wikipedia.org/wiki/Connection_(vector_bundle))

In mathematics, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. Reference: Wikipedia.

If the fiber bundle is a vector bundle, then the notion of parallel transport must be linear. Such a connection is equivalently specified by a covariant derivative, which is an operator that can differentiate sections of that bundle along tangent directions in the base manifold.

960 questions
41
votes
2 answers

Geometric meaning of symmetric connection

If $(M, g)$ is Riemannian manifold, there is unique connection $\nabla$, called Levi-Civita connection, satisfying the following conditions: 1) Compatibility with Riemannian metric, i.e. $\nabla(g)$=0 2) Symmetricity, i.e.…
evgeny
  • 3,761
  • 18
  • 41
33
votes
8 answers

Collecting math websites

I would like to know math websites that are useful for students, PhD students and researchers (useful in the sense most of the students or researchers—of a particular area—are using it). Maybe you can share which math websites you sometime use and…
user657166
31
votes
2 answers

Does the Levi-Civita connection determine the metric?

Can I reconstruct a Riemannian metric out of its Levi-Civita connection? In other words: Given two Riemannian metrics $g$ and $h$ on a manifold $M$ with the same Levi-Civita connection, can I conclude that $g=h$ up to scalars? If not, what can I say…
archipelago
  • 4,058
  • 1
  • 17
  • 29
29
votes
2 answers

What is the affine connection, and what is the intuition behind/for affine connection?

Here is the definition of affine connection, as appears in Milnor's book Morse Theory. DEFINITION. An affine connection at a point $p \in \text{M}$ is a function which assigns to each tangent vector $\text{X}_p \in \text{TM}_p$ and to each vector…
user416548
28
votes
2 answers

Prove that Christoffel symbols transformation law via the metric tensor

It is known that the transformation rule when you change coordinate frames of the Christoffel symbol is: $$ \tilde \Gamma^{\mu}_{\nu\kappa} = {\partial \tilde x^\mu \over \partial x^\alpha} \left [ \Gamma^\alpha_{\beta \gamma}{\partial x^\beta \over…
Arthur
  • 379
  • 1
  • 4
  • 6
20
votes
1 answer

Torsion of a connection as an obstruction to integrability

Let $E$ be a vector bundle over a smooth manifold $M$ equipped with a linear connection $\nabla : \Gamma(E) \to \Omega^1(M;E).$ I say $(M,E,\nabla)$ is flat if it admits trivial local models; i.e. if for each $p \in M$ there is a $\nabla$-parallel…
Anthony Carapetis
  • 34,449
  • 3
  • 43
  • 93
18
votes
1 answer

Is there a codifferential for a covariant exterior derivative?

For forms on a Riemannian $n$-manifold $(M,g)$ there is a notion of a codifferential $\delta$, which is adjoint to the exterior derivative: $$\int \langle d \alpha, \beta \rangle \operatorname{vol} = \int \langle \alpha, \delta \beta \rangle…
Yrogirg
  • 3,469
  • 24
  • 54
15
votes
1 answer

Recovering connection from parallel transport

(doCarmo, Riemannian Geometry, p.56, Q2) I want to prove that the Levi-Civita connection $\nabla$ is given by $$ (\nabla_X Y)(p) = \frac{d}{dt} \Big(P_{c,t_0,t}^{-1}(Y(c(t)) \Big) \Big|_{t=t_0}, $$ where $p \in M$, $c \colon I \to M$ is an integral…
Andrew Whelan
  • 2,068
  • 15
  • 24
15
votes
1 answer

Covariant derivative of vector field along itself: $\nabla_X X$

Consider a vector field $X$ on a smooth pseudo-Riemannian manifold $M$. Let $\nabla$ denote the Levi-Civita connection of $M$. Under which conditions can something interesting be said about the covariant derivative of $X$ along itself, i.e.…
shuhalo
  • 7,169
  • 3
  • 32
  • 69
14
votes
1 answer

Understanding the notion of a connection and covariant derivative

I have been reading Nakahara's book "Geometry, Topology & Physics" with the aim of teaching myself some differential geometry. Unfortunately I've gotten a little stuck on the notion of a connection and how it relates to the covariant derivative. As…
Will
  • 3,145
  • 1
  • 20
  • 45
13
votes
1 answer

Connections on principal bundles and vector bundles

In Donaldson and Kronheimer's book on the geometry of four manifolds, a brief review of connections on principal bundles is given. Three equivalent definition are stated: 1) Via horizontal subspaces, 2) Via connections $1$-forms, 3) Via covariant…
Anthony Conway
  • 1,094
  • 6
  • 21
13
votes
1 answer

Splitting of the tangent bundle of a vector bundle and connections

Let $\pi:E\to M$ be a smooth vector bundle. Then we have the following exact sequence of vector bundles over $E$: $$ 0\to VE\xrightarrow{} TE\xrightarrow{\mathrm{d}\pi}\pi^*TM\to 0 $$ Here $VE$ is the vertical bundle, that is kernel of the bunble…
bc87
  • 459
  • 2
  • 12
13
votes
1 answer

What do the Fibers tell us about torsion? (Geometric Intuition)

Edit: I provided a full answer to the question based on my current understanding of the topic. Any form of proof-reading would be highly appreciated. Alternative answers are also welcome. Inspired by this wonderful post: I am trying to gain a…
Pellenthor
  • 1,001
  • 1
  • 7
  • 17
13
votes
3 answers

Show that $\left(\nabla_c\nabla_d-\nabla_d\nabla_c\right)v^a=R_{bcd}^av^b$ for vector field, $v$, and the Riemann curvature tensor, $R_{bcd}^a$

I'm going to be asking about parts of the author's solution to the following question. I feel this is a very important question to understand as it touches on some crucial aspects of the covariant derivative. Show that (without…
FutureCop
  • 103
  • 12
13
votes
2 answers

Equivalent definition of metric compatibility for a connection: what does $\nabla g$ mean?

So the definition I know for metric compatibility is: $$Xg(Y,Z)=g(\nabla_XY,Z)+g(Y,\nabla_XZ),$$ which make sense, as $g(Y,Z)$ is a smooth function from the manifold to reals and we think of $X$ as a derivation. So now I read this apparent…
sifsa
  • 949
  • 6
  • 20
1
2 3
…
63 64