A connection makes precise the idea of transporting data along a curve or family of curves in a parallel and consistent manner.

learn more… | top users | synonyms

-1
votes
0answers
56 views

Elementary question: Curvature form of connection on trivial bundle

Please forgive me for the following elementary question. I have asked on MSE but nobody answers. Let $L=\mathbb{R}^2\times U(1)$ be the trivial $U(1)$-bundle over $\mathbb{R}^2$. Define a connection $...
7
votes
1answer
731 views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in $\...
0
votes
0answers
88 views

Definition of formal adjoint of covariant derivative [migrated]

I read in Einstein Manifolds, L. Besse that the covariant derivative $D: \mathcal{J}^{(r,s)}(M)\to \Omega^1(M)\otimes\mathcal{J}^{(r,s)}(M)$ admit an formal adjoint $D^*:\Omega^1(M)\otimes\mathcal{J}^{...
9
votes
0answers
111 views

Existence of flat connections via characteristic classes, for nice groups

I have two questions about what I write below (which honestly seems pretty elementary). Is it true (more or less)? Is there a clean reference that I can cite. Let $G$ be a compact Lie group, $M$ a ...
1
vote
0answers
268 views

The “Rolle theorem” for sections of a vector bundle

1) Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
3
votes
1answer
147 views

Definition of Levi-Civita connection map and a theorem about it?

Does anyone know definition of Levi-Civita connection map that defined as $K: TTM\to TM$. and how to prove the following theorem: Theorem: If $X\in\mathfrak{X}(M)$ be a vector field over $M$ and $...
1
vote
1answer
41 views

Hermitic connections on complex line bundles with imaginary curvature form

It is a simple fact that if $L \to B$ is a complex line bundle endowed with an Hermitian product and a compatible connection $\nabla$, then the curvature $F_\nabla$ is imaginary (and so are the local ...
2
votes
1answer
96 views

Proof about affine connections

I'm reading Nomizu & Sasaki's "Affine Differential Geometry: Geometry of Affine Immersions" and I'm having some trouble with Proposition 1.4. I have an immersed surface in $M \hookrightarrow \...
8
votes
1answer
127 views

Generalized Dirac operators

So far I met three definitions of the so called generalized Dirac operator(or Dirac type operators. Everything takes place over Riemannian manifols $M$ and we have smooth hermitian vector bundle $S \...
4
votes
0answers
64 views

Nonabelian Hodge structure for noncompact curves and Hodge structure on the fundamental group

Nonabelian Hodge theory, introduced by C. Simpson and others, may be interpreted as a description of the (real) Hodge structure on the fundamental group (say, of a compact curve) in terms of some ...
6
votes
2answers
337 views

Principal bundle approach to general relativity

I am curious if there is any literature (texbooks, mainly, but articles will do too, though I don't have easy access to any paid journal) that deals with general relativity by using Ehresmann ...
3
votes
0answers
64 views

Invariant Lagrangians of a connection and its derivatives: how do they look like?

Let $$ L=L(\Gamma,\partial\Gamma,\ldots,\partial^n\Gamma) $$ be a Lagrangian depending on a linear symmetric connection $\Gamma$ on the tangent space of a manifold $M$ together with its derivatives up ...
5
votes
1answer
211 views

reference for Levelt-Turritin

Can anybody recommend a good reference to learn the Levelt-Turritin decomposition theorem of formal connections? An intuitive description of what it says would also be very appreciated.
1
vote
1answer
128 views

Is a non-flat hermitian connection determined uniquely by its holonomy and curvature?

How do I prove that gauge-equivalence classes of $U(1)$ connections on a line bundle $L\to M$ are determined uniquely by pairs $(\alpha,F)$, where $$\alpha\in\text{Hom}(\pi_1(M),U(1)),~~~~F\in \Omega^...
2
votes
2answers
338 views

A question about flat connection

Let $E\to X$ be a complex flat vector bundle, and say $\nabla_0$ and $\nabla_1$ are two flat connections on it. Let $p:X\times[0, 1]\to X$ denote the projection onto the first factor. Is there a way ...
4
votes
2answers
209 views

Holonomy of a Ricci-flat affine connection

There is some link between Ricci-flatness and reduction of holonomy. For example a Kahler manifold is Ricci-flat if and only if it has at most $SU(n)$ holonomy rather than $U(n)$, and it's apparently ...
5
votes
1answer
168 views

Levelt-Turrittin Theorem over p-adics (or the monodromy theorem)

Let $V$ be a finite dimensional vector space over $\mathbb{C}((t))$. Let $D:V\rightarrow V$ be a differential operator; i.e., an additive $\mathbb{C}$-linear map satisfying $$ D(a.v)=(t\frac{d}{dt}a)....
3
votes
1answer
93 views

Parallel Transport on Hypersurface Spinor Bundle

So this has been driving me up a wall. I'm trying to digest parts of the Parker & Taubes paper, "On Witten's Proof of the Positive Energy Theorem." Here's a link: https://projecteuclid.org/...
1
vote
1answer
123 views

Transferring connection information to associated bundles and back

This might not be research level but I've tried more than once to ask about this in MSE and it got nowhere. So I thought It's fair to at least try. At the risk of repeating well known stuff I tried ...
5
votes
1answer
197 views

Connection, compatible with type (1, 1) tensor field

I met with the following problem. Consider real manifold $M^{2n}$ with operator field $R$ (that is the tensor field of type $(1,1)$). We are to find a symmetric connection $\Gamma^k_{ij}$ such that ...
5
votes
0answers
190 views

Aren't Riemannian geodesics also geodesics of the associated Cartan geometry?

I was inspired by R. W. Sharpe's book on doing differential geometry through Cartan connections. Unfortunately, the book is fairly thin in terms of specific examples in Riemannian geometry, so I ...
12
votes
6answers
4k views

Tensor contraction and Covariant Derivative

What is the importance and intuition behind the the contraction operator on tensors (or the trace of a matrix, for that matter)? In addition, I see that one of the requirements for a covariant ...
41
votes
0answers
658 views

Vector bundle $L$ admits connection if and only if degree of every direct summand of $L$ divisible by $\text{char}\,k$, intuition

Consider the following theorem of Atiyah. Let $X$ be a connected smooth projective curve over an algebraically closed field $k$. Then a vector bundle $L$ on $X$ admits a connection if and only if ...
3
votes
0answers
90 views

Growth of norm of curvature under direct sum or existence of universal connection

For a Hermitian vector bundle E over a Riemannian $(X,g)$ and a unitary connection A we may define the sup norm of the curvature by: $$\|R_A\|=\sup \{\| tracefree (R_A (v))\|_{op} \mid v \in \Lambda ^...
3
votes
2answers
338 views

decompose a connection

Is there any theorem which states any general linear connection can be decomposed into another linear connection plus the contortion tensor ? i didn't find any References
0
votes
0answers
165 views

Wedge product of Endomorphism-Valued Forms

To define characteristic classes in smooth vector bundles $E\longrightarrow M$ there is a more or less standard procedure: to choose a connection $\nabla$ and to derive the curvature $\Omega$, which ...
8
votes
2answers
826 views

Does every manifold have a flat connection?

Suppose I have a manifold and a vector bundle over it, but not a connection or a metric. Can I always find a connection on it that has a Riemann curvature tensor that is identically zero? If so, can I ...
8
votes
3answers
752 views

Can a manifold have a curvature-free connection that is not torsion-free?

Suppose I have a smooth manifold with a tangent bundle, and I have a connection. If this connection is curvature-free, is it guaranteed to be torsion-free? (I am not assuming a metric, just a finite-...
1
vote
1answer
87 views

Are non-linear connections with linear holonomy, linear?

Let $\pi\colon TM\to M$ be the tangent bundle of a differentiable manifold, let $E=TM\backslash 0$ be the slit tangent bundle, and let $V_eE$ be the kernel of $\pi_*$ at $e\in E$. The set $VE=\cup_{e\...
2
votes
1answer
184 views

Symmetries of non-Riemannian curvature tensor

The curvature tensor, $R_{ab}{}^c{}_d$, can be obtained from a connection which not necessarily is a metric connection. By construction it is antisymmetric in the first two indices, since roughly ...
7
votes
1answer
338 views

How algebraic is the holonomy map?

Let $G$ be either a compact, simple, simply-connected Lie group, or a simply-connected complex reductive group (so either $SU(n)$ or $SL(n,\mathbb{C})$, for instance), or even complex affine. I don't ...
10
votes
2answers
1k views

Formal adjoint of the covariant derivative

Let $E \to M$ be a vector bundle over some Riemannian metric $(M, g)$ and endow it with some fibre metric. Assume that covariant derivative $\nabla$ is compatible with the metric. It is essentially ...
0
votes
0answers
134 views

residue formula for connections on curves

Let $X$ be a smooth, projective curve over a field $k$ (characteristic zero is enough for me) and $E$ a line bundle on $X$. Assume that $E$ is equipped with an integrable logarithmic connection $\...
1
vote
0answers
119 views

Connection and reduction of the structure group

I apologize for this question which is not really research-level, but I don't get any answer on mathStackExchange, and I asked a professor in my university... which couldn't find the solution. I am ...
0
votes
2answers
185 views

Special connection of vector bundle over real manifold

Let $E \rightarrow M$ be a vector bundle over a smooth manifold $M$ and let $g$ be a bundle metric. Does there exists a conection (maybe unique) $\nabla$ which is compatible with $g$. By this I mean: ...
2
votes
0answers
77 views

Does the monodromy of such VHS have to be trivial

Consider a variation of polarized Hodge structure on a punctured disk. Suppose that connection preserves Hodge filtration (which is much stronger, than Griffiths transversality). Moreover assume that ...
4
votes
2answers
172 views

What is the space for the coefficients of the connection 1-form of a connection in a vector bundle?

Let $E\to X$ is a a (smooth real) vector bundle with structure group some Lie group $G$. Suppose we have a (linear) connection $\nabla$ on $E$. Is it true that if $A$ is the connection 1-form of ...
3
votes
1answer
1k views

1-jet bundle on vector bundle with metric connection

Background I'm working to simplify the Lagrangian formalism of classical field theory for the situation of a vector bundle with a bundle metric and a metric connection. Particularly, I want to ...
5
votes
0answers
342 views

Correspondence between line bundles and $U(1)$-bundles: a possible mistake from physicists? [closed]

I am reading a paper written by physicists and they say the following: Let $(L,h,\nabla)$ be an holomorphic Line bundle equipped with a hermitian metric $h$ and Chern connection $\nabla$. If $e^{f_{...
2
votes
1answer
214 views

Metric, torsion free connections on principal bundles

I hope this is not too elementary, but I have asked this question at the math.stack site, but I have obtained no answers. Let $F(M)$ be the frame bundle of a $n$-dimensional differentiable manifold $...
2
votes
1answer
151 views

Ricci Curvature and the Chern Class of the Levi-Civita

For a (compact) Kahler manifold $M$, the Ricci tensor is the symmetric $2$-form $$ r(u,v) = \text{tr}\big( w \mapsto (D_wD_u - D_uD_w - D_{[u,w]})v\big). $$ The Ricci curvature is the $2$-form $$ r(...
5
votes
1answer
322 views

Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...
1
vote
1answer
367 views

Is there a way to define a Lie derivative of a connection?

I've been reading a little bit about the definition of symmetries on General Relativity, and they are related with the concept of Killing vector, i.e., vectors along which the Lie derivative of the ...
2
votes
1answer
333 views

Yang-Mills Functional and Energy

I have a question about the meaning of Yang-Mills Functional. It is stated everywhere that the Yang-Mills Functional is a measure of energy. But the formal definition of the Yang-Mills Functional is: ...
4
votes
2answers
405 views

Chern class of a logarithmic connection

Let $X$ be a smooth complex projective algebraic variety and $E$ a line bundle on $X$. It is a classical result that if $E$ carries an integrable connection, then the first Chern class $c_1(E)$ ...
28
votes
2answers
2k views

Unifying Geometry for Characteristic Classes

When working with characteristic classes (more concretely Chern classes), one finds at least four essentially distinct approaches: Axiomatic Approach. See, for instance, Vector Bundles and K-Theory, ...
2
votes
0answers
154 views

Parallel Ricci condition - Status report and bibliography

First I'd like to point out that I'm not a mathematician but a physicist. Dealing with a (hopefully) new affine theory of gravity we have find that the equation of motion are not the usual Einstein's ...
11
votes
5answers
3k views

pull-back connection

I have a question related to the definition of the pull-back connection, more specifically about its uniqueness or the canonical way to induce it. The definition that one finds in general goes ...
13
votes
3answers
1k views

Manifolds admitting flat connections

For each Riemannian manifold one can construct the Levi-Civita connection. While this connection is unique, we can call a (Riemannian) manifold flat if the Levi-Civita connection is flat. However when ...
10
votes
2answers
1k views

Intuition for Levi-Civita connection?

Levi-Civita connection is usually defined as the unique connection which is torsion free and preserves metric. Question Is there some intuitively transparent constructive way to define it (or ...