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: http://en.m.wikipedia.org/wiki/Connection_(vector_bundle))

learn more… | top users | synonyms

0
votes
0answers
7 views

Defining an Ehresmann Connection Using Linear Connection

In some places that I have seen, given the covariant derivative $\nabla$ of a linear connection on a vector bundle $\pi: E\rightarrow M$ (dim(M)=k), an Ehresmann connection is defined in the following ...
3
votes
1answer
47 views

Transformation behavior of connection on vector bundle.

Using the notation from Jost's various books on geometry, let $$ D=d+A $$ be a connection on a vector bundle $\pi:E\rightarrow M$ with structure group $GL(n,\mathbb{R})$. Also let $\{U_\alpha\}$ be ...
1
vote
1answer
44 views

Question of well-definedness of the Levi-Civita connection?

On page $55$ of Do Carmo's Riemannian geometry, he proves that there is a unique symmetric affine connection compatible with a given metric on a manifold M. He defines it by a formula $\langle Z, ...
1
vote
0answers
36 views

Connection giving an identification of the double-tangent bundle

Let $M$ be a manifold, and let $\nabla$ be a (possibly torsion-free) connection on $M$. Then I am pretty sure that $\nabla$ induces an isomorphism between the double-tangent bundle and the Whitney sum ...
4
votes
2answers
66 views

Is there a unique preferred connection on a general manifold?

I was wondering whether, for a given finite-dimensional manifold, the connection $\nabla$ exists and is uniquely defined? Afais for Riemannian manifolds, there exists always exactly one Levi-Civita ...
0
votes
0answers
33 views

Connectedness of circle without center line across it

Using a definition I saw in an old Russian book, a set in $\mathcal R^{n}$ is said to be connected if it cannot be represented as a disjoint union of two nonempty, separated sets. Separated, meaning ...
5
votes
1answer
66 views

Is this operation meaningful or it is a mistake in the book?

I've been reading Nakahara's "Geometry, Topology and Physics" and found something quite strange on the section 10.3.3 which discusses the geometrical meaning of the curvature of a connection. It is ...
0
votes
1answer
45 views

Manifold,affine connection,vector field

An affine connection on $M$ is a differential operator, sending smooth vector fields $X$ and $Y$ to a smooth vector field $∇_X Y$ , which satisfies the some conditions.I would like to know the ...
2
votes
1answer
30 views

Applying $\bar \partial$ to a tensor product of holomorphic vector bundles bundles

Reading Griffiths and Harris, it is stated as an "obvious" fact that for a tensor product $E \otimes E'$ of holomorphic vector bundles, $(D_E \otimes 1 + 1 \otimes D_{E'})'' = \bar \partial$ where ...
2
votes
0answers
49 views

Rigorously what is this integral?

I've been studying some gauge theories approach to problems in mechanics in order to get a better understanding of the ideas from gauge theories and to see some applications of fibre bundle theory. ...
2
votes
1answer
65 views

Exercise about Christoffel symbols: prove that $\Gamma^k_{ij}(p)+\Gamma^k_{ji}(p)=0$

Let $\nabla$ be a linear connection on a manifold $M$. I want to prove that: $$\Gamma^k_{ij}(p)+\Gamma^k_{ji}(p)=0,$$ if in $p\in M$ normal local coordinates are defined. I have a solution which ...
0
votes
0answers
13 views

Let be $K$ a tensor field, what is the relation between the coefficients of $K\big|_U$ and $\nabla K\big|_U$?

Let be $\nabla$ a linear connection on a manifold $M$ and $K$ a tensor field of type $(h,k)$. Using a local coordinate system $(U, \phi)$ we can write: $$ K\big|_U= \sum ...
4
votes
1answer
74 views

Introductions to Ehresmann connections and Chern-Simons forms

I am looking for introductory texts on Ehresmann connections and Chern-Simons forms. I seek detailed, hands-on presentation. Please, recommend sources that employ a differential forms approach rather ...
0
votes
1answer
25 views

Confusion on when components of a vector relative to a basis are not components of a tensor

I have been studying affine connections, parallel transport and the covariant derivative. The text I am reading defines an affine connection $\nabla$ as a map $\nabla ...
1
vote
4answers
72 views

commuting property of connections and bundle homomorphisms

I have the following situation: $E,F$ are (smooth) vector bundles over a smooth manifold $M$. Assume we are given connections $\nabla^E,\nabla^F$ on $E,F$ and a homomorphism of $M$-bundles ...
1
vote
0answers
12 views

How to obtain the metric tensor of a principal bundle total space given a connection (assuming it is metric compatible) in the total space?

The title says it all. In a principal bundle I know the connection defined in the total space. How can I calculate the metric that would be compatible with this connection.
4
votes
1answer
67 views

When do the Nakano identities hold?

In "Complex Geometry" by Huybrechts, he states the following version of the Nakano identity on page $240$: Let $X$ be a Kähler manifold and $(E,h)$ a holomorphic hermitian vector bundle on $X$. ...
1
vote
0answers
37 views

are extensions of flat connections flat?

Let $U$ be a smooth complex variety and $X$ a compactification by a normal crossings divisor $D$. Let $E$ be a vector bundle on $U$ (i.e. locally free $\mathcal{O}_U$-module), together with a ...
2
votes
1answer
31 views

Quick question about covariant derivative

Let $f$ be a function and define $\nabla_X f = X(f)\,\,(1)$, where $\nabla$ is the connection on a manifold and as far as I understand the r.h.s is a function and $X$ is a vector field. I am just a ...
1
vote
0answers
21 views

What is an infinitesimal automorphism of a connection?

Let $P\to M$ be a principal bundle over a differentiable manifold $M$, with fibre $G$, equipped with a connection $H\subset TP$. I have heard the term "infinitesimal automorphism of $H$" but I haven't ...
1
vote
0answers
16 views

Non-affinely parametrized geodesics

Consider a non-affinely parameterised geodesic, i.e., a geodesic whose tangent vector field obeys $\nabla_X X = fX$ for some function $f$. Prove that one may reparameterise the geodesic so the tangent ...
5
votes
1answer
95 views

Intuition behind the connection one-form

When we define a connection on one principal bundle $\pi: P\to M$ with structure group $G$ we define it as an association of one subspace $H_pP\subset T_pP$ for each $p\in P$ such that $T_pP = H_pP ...
1
vote
0answers
59 views

Connection on Tangent Bundle of Group Manifolds

The thing puzzling me is about a transformation rule of connection on tangent bundle of group manifolds: Assume one has a compact and simply connected Lie group $K$. One can give a metric $g$ on $K$ ...
0
votes
0answers
25 views

Why is the kernel of the connection one form a connection on a principal bundle?

Let $\pi:P\rightarrow M$ be a principal bundle and let $\omega\in \Omega(P;\mathfrak{g})$ be a one form satisfying $\omega(\sigma(X))=X$ and $R_g^*\omega=\text{Ad}_{g^{-1}}\circ\omega$ Then ...
3
votes
0answers
56 views

Difference of two connections is a tensor

I am currently reading through Jost's Riemannian Geometry and Geometric Analysis and am seeking clarification of the statement in the title. Jost abstractly defines a connection on a vector bundle ...
3
votes
0answers
114 views

Curvature of a principal bundle and the exterior covariant derivative

Let $P\to M$ a principal fibre bundle with fibre $G$, and let $A\in \Omega^{1}(P)\otimes\mathfrak{g}$ be a connection on $P$, where $\mathfrak{g}$ is the Lie algebra of $G$. Associated to every ...
1
vote
2answers
72 views

Covariant derivative: The meaning

Many text books on differential geometry motivate covariant derivative more or less by saying that if you have a vector field along a curve on a manifold (that is a curve $\gamma(t)$ and an assignment ...
3
votes
1answer
71 views

Two definitions of curvature

my question is about the compatibility of two definitions of curvature of a Riemannian manifold. In particular I refer to the one from algebraic geometry and the one from differential geometry. ...
2
votes
0answers
47 views

Help! How to derive the result related to Darboux derivative?

First, define Darboux derivative. There is one Lie group $G$ and one manifold $M$. Let $\phi:M\rightarrow G$ be a smooth map. The Darboux derivative $\Delta(\phi):TM \rightarrow M\times \mathfrak g$ ...
2
votes
0answers
57 views

Connections and Ricci identity

Given $\nabla$ a torsionless connection, the Ricci identity for co-vectors is $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = -R^d_{\,\,cab}\lambda_d.$$ Prove $R^a_{[bcd]} = 0$ by ...
2
votes
1answer
70 views

Deriving Ricci identity for co-vector fields

Let $\nabla$ be the covariant derivative associated with a torsionless connection. Prove the Ricci identity for covectors: $$\nabla_a \nabla_b \lambda_c - \nabla_b \nabla_a \lambda_c = ...
1
vote
2answers
72 views

Gauge fields and restrictions of the connection one form

I am working through some lecture notes on principal bundles and am stuck on the proof of a certain proposition. In the following, $\pi:P\rightarrow M$ is a principal bundle, $\omega$ is the ...
2
votes
1answer
53 views

Ask for an explicit proof of linear lemma in Riemannian geometry

Lemma Let $f:(M,g)\rightarrow(\bar{M},\bar{g})$ be an isometry between two Riemannian manifolds, then $df(\nabla_X Y)=\bar{\nabla}_{df(X)} df(Y)$ where $\nabla,\bar{\nabla}$ are Riemannian connections ...
2
votes
1answer
49 views

Vanishing of the Riemann tensor

The Riemann tensor in a coordinate basis is $$R^{i}_{\,jkl} = \partial_k \Gamma^i_{jl} - \partial_l \Gamma^i_{jk} + \Gamma^m_{jl}\Gamma^i_{mk} - \Gamma^m_{jk}\Gamma^i_{ml}$$ Consider $\mathbb{R}^2$ ...
1
vote
1answer
108 views

Connections and tensor fields

Let $T$ be a $(1, 1)$ tensor field, $\lambda$ a covector field and $X, Y$ vector fields. We may define $\nabla_X T$ by requiring the ‘inner’ Leibniz rule, $$\nabla_X[T(\lambda, Y )] = ...
0
votes
1answer
69 views

preservation of the curvature tensor implies preservation of the connection?

For every connection on a smooth manifold there is a corresponding curvature tensor. Any diffeomorphism $\phi:(M,\nabla^M)\rightarrow(N,\nabla^N)$ which preserves the connection (in the sense of ...
1
vote
0answers
58 views

Coding for a calculation in differential geometry using Maple

I am beginner in maple. And my field is Differential geometry. I've learnt lie brackets using maple help. But I am testing this calculation through maple. I have these vector fields $e1=z^2\ast ...
1
vote
1answer
45 views

Failure to close of horizontal lift on principal bundles.

When considering the geometrical meaning of the curvature on principal bundle $\pi: P \rightarrow M$, let us consider a coordinate system ${x_μ}$ on a chart $U$. Let $V = ∂/∂_{x_1}$ and $W = ...
1
vote
0answers
99 views

Existence of a holomorphic connection implies existence of a flat connection

Let $E$ be a holomorphic vector bundle on a complex manifold $X$, and let $D: E \to E \otimes \Omega_X$ be a holomorphic connection on $E$ i.e. $$ D(fs) = s\otimes \partial(f)+ fD(s), $$ for any local ...
2
votes
0answers
30 views

Induced connection is well-defined

Let $M=$Riemannian manifold,$N=$differentiable manifold, $\phi:N\to M$ be smooth map. If $v\in T_xM$, and $\{E_i\}_{i=1}^n$ is a frame field in a neighborhood $V$ of $\phi(x)\in M$, then $$\forall ...
2
votes
1answer
28 views

$D_vX$ is completely determined by $X$ restricted on any curve $r$ with $r'(0)=v,r(0)=p$.

I want to show given $v\in T_pM$, then $D_vX$ is completely determined by $X$ restricted to any curve $r$ with $r'(0)=v,r(0)=p$. I have shown that if $r_1'(0)=r'_2(0)=v,$ then ...
3
votes
2answers
125 views

Equivalence for Christoffel symbol and Koszul formula

I am trying to show to define a Levi-civita connection, it's equivalent to define Christoffel symbols or define Koszul formula. $$ 2g(\nabla_XY, Z) = \partial_X (g(Y,Z)) + \partial_Y (g(X,Z)) - ...
1
vote
2answers
79 views

Check Christoffel symbol defines Levi-Civita connection

I am trying to prove the existence of Levi-Civita connection. The hint says given $(U_\beta,\phi_\beta)$ be altas of $M$, for $X=x^i\partial_i,V=v^j\partial_j$, we define $$D_VX=v^i(\partial_i ...
0
votes
1answer
70 views

existence of affine connection on manifold

I am studying Riemannian Geometry following my professor's notes. On the proof of existence of affine connection on a $C^\infty$ manifold, the notes states: By partition of unity, a connection can be ...
0
votes
1answer
35 views

Gauge theory on a trivial bundle

I am learning gauge theory, so I tried to understand what happens in the case of a trivial principal bundle. However I have some problems understanding how a connection looks like in that case. Here's ...
0
votes
0answers
46 views

Finding the neighbors of a node/vertex in a 2D mesh

I have a 2D mesh defined by nodes and elements. Structure of a node: Node ID, X position, Y position Structure of an element: Element ID, Node 1, Node 2, Node 3, Node 4 Example of a 2x2 elements ...
0
votes
1answer
61 views

Show that $\omega_{ab}=-\omega_{ba}$ for a Riemannian connection

How can we see for the Riemannian connection, connection 1-form with its first index lowered $\omega_{ab}=\delta_{ac}{\omega^c}_b$ is antisymmetric in a, b, i.e. $\omega_{ab}=-\omega_{ba}$. Thanks.
5
votes
4answers
189 views

Connections between the solution of simple ordinary equation, normal distribution and heat equation

The solution to the following simple first-order linear ordinary differential equation: $$x'=-tx, x(0)=\frac{1}{\sqrt{2\pi}}$$ is the Standard normal distribution! One solution to another famous ...
7
votes
1answer
145 views

Puzzle: How Many Possibilities Are There Between Connected Points?

Puzzle Jenny drew on her page six points, as shown below: Jenny wants to build a cool match of her points. In a match , divide the six-point into pairs, so that each point has one partner exactly. ...
6
votes
1answer
120 views

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 ...