Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [connections]

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

89
votes
5answers
11k views

When can a Connection Induce a Riemannian Metric for which it is the Levi-Civita Connection?

As we all know, for a Riemannian manifold $(M,g)$, there exists a unique torsion free connection $\nabla_g$, the Levi-Civita connection, that is compatible witht metric. I was wondering if one can ...
36
votes
5answers
5k views

A geometric interpretation of the Levi-Civita connection?

Let $M$ be a Riemannian manifold. There exists a unique torsion-free connection in the (co)tangent bundle of $M$ such that the metric of $M$ is covariantly constant. This connection is called the Levi-...
30
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, ...
24
votes
4answers
2k views

Rolling without slipping interpretation of torsion

This is, in a sense, a follow up to this question. Hehl and Obukhov try to give an intuitive description of torsion. I am confused about their description. I am looking at the following paragraph on ...
19
votes
3answers
4k views

Geometrical meaning of the Ricci Tensor and its Symmetry

Let $M$ be a smooth, pseudo-Riemannian manifold with $\dim(M) \ge 2.$ Let $\nabla$ be any affine connection on $M$. No reason for it to be the Levi-Civita connection. All we assume is that it has zero ...
18
votes
3answers
3k 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 ...
18
votes
6answers
6k 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 ...
18
votes
4answers
3k views

Why is it important that partial derivatives commute?

I am asking this in the context of differential geometry (specifically Riemannian). When the Levi-Civita Connection is defined, we require that the torsion tensor is 0, which in local coordinates ...
16
votes
5answers
5k 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
5k views

Why is the integral of the second chern class an integer?

I'm currently reading the paper "Holonomy, the Quantum Adiabatic Theorem, and Berry's Phase" by Barry Simon. Imagine a vector bundle with a connection $\nabla$. For simplicity, we assume that this is ...
13
votes
2answers
2k views

The algebraic Version of Riemann Hilbert Correspondence

It is well known that if I have a differentialable manifold (holomorphic maniford) $M$, then I have a functor from the categroy of vector bundles on $M$ with flat connections to the categroy of local ...
13
votes
2answers
660 views

When is a flow geodesic and how to construct the connection from it

Let $(M,\Gamma)$ be a $C^\infty$ $n$ dimensional real manifold with a linear connection $\Gamma$ on it. I know the following: If $\gamma:[t_0,t_1]\rightarrow M$ is a smooth curve and is a geodesic, ...
12
votes
2answers
1k views

How many flat connections has a line bundle in algebraic geometry?

Suppose $X$ is a projective variety over $\mathbb C$. I am happy to entertain more or different adjectives — I'm not looking for the most general statement, but rather to understand when and how ...
12
votes
3answers
587 views

Can a homotopy inverse of the map from a Lie group to loops on its classifying space be given by holonomy?

Let $G$ be the compact Lie group $SO(n)$. There are some classical constructions of the classifying bundle of $G$ based upon on direct limits of Grassmann and Stiefel manifolds: $$BG \simeq \...
12
votes
3answers
2k 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 ...
12
votes
1answer
297 views

Riemannian vs Non-Riemannian curvature

If you neither know the metric nor the holonomy group, how do you recognize a curvature tensor is Riemannian? I assume a curvature, by definition, satisfies Bianchi identities. I know it is ...
12
votes
1answer
2k views

Frobenius Descent

Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...
12
votes
0answers
217 views

Connections in terms of tangent ($\infty$-)categories?

Given a commutative ring $k$ and a commutative $k$-algebra $A$, we know that the Kähler differential $\Omega_{A/k}^1$ could be described through machineries of tangent categories (see, for example, ...
12
votes
0answers
248 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 ...
11
votes
3answers
1k 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-...
11
votes
1answer
1k views

Are bundle gerbes bundles of algebras?

The category of line bundles (possibly with connection) on a smooth manifold M can be defined in two different ways: The first definition uses transition functions that satisfy a cocycle condition (...
10
votes
2answers
2k 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 ...
10
votes
1answer
311 views

Which manifolds are sensitive to the cocycle in the Dijkgraaf-Witten model?

Often, TQFTs are defined in families, parametrised by some algebraic data. For example, the Turaev-Viro-Barrett-Westbury TQFTs are parametrised by spherical fusion categories, the Crane-Yetter TQFTs ...
10
votes
0answers
478 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 ...
9
votes
1answer
291 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 \...
9
votes
1answer
1k views

Global description of the Levi-Civita connection

I'm interested in finding a global (coordinate-free) description of the Levi-Civita connection on a (possibly infinite-dimensional) Riemannian manifold X. I'm not looking for a description of this ...
9
votes
1answer
797 views

Is there a mathematical explanation for the Aharonov-Casher effect?

Recall that the Aharonov-Bohm effect can be interpreted mathematically as follows. Consider an electromagnetic field A on some smooth manifold M, i.e., A is an element in the first differential ...
8
votes
2answers
1k 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
1answer
213 views

regular singularities and comparison isomorphism

Let $X$ be a smooth variety over some field $k \subset \mathbb{C}$. By a theorem of Grothendieck, one has a canonical isomorphism of complex vector spaces $$ \mathbb{H}^j(X, \Omega_{X/k}^\bullet) \...
8
votes
1answer
1k 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 $\...
7
votes
3answers
1k views

For quasi-coherent D-Modules

It is well-know that the category of coherent D-modules over a smooth algebraic $k$-scheme is a Tannakian category. So it is equivalent to the category of finite representations of some affine group ...
7
votes
2answers
315 views

Symplectic connections are (locally) Levi-Civita connections

I was wondering... Is every symplectic connection $\nabla$ on some symplectic manifold $(M,ω)$ the Levi-Civita connection of some metric $g$ on $M$? What about the local statement?
7
votes
4answers
378 views

Hamiltonians which commute both as operators and as connections

This is something which I suspect is written up in introductory books on mathematical physics if I knew where to look. Suppose I have some parameters $t_1$, ..., $t_k$ ranging over a neighborhood in $\...
7
votes
1answer
3k views

Skellam distribution: Deep connection between Poisson distributions and Bessel function?

The probability mass function for the Skellam distribution for a count difference $k=n_1-n_2$ from two Poisson-distributed variables with means $\mu_1$ and $\mu_2$ is given by: $$ f(k;\mu_1,\mu_2)= ...
7
votes
2answers
624 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)$ ...
7
votes
2answers
320 views

A cohomology group which depends on the connection

Warning: I am not a differential geometer, so some of the following might not make sense. Background: Let $w: (T\Omega)^k \to \mathbb{R}$ be a $k$-tensor on $\Omega$, an open subset of $\mathbb{...
7
votes
1answer
411 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 ...
7
votes
0answers
239 views

Metric connection on $\mathbb{R}^4$ that is locally Kähler but not globally Kähler

in a comment to this question When can a Connection Induce a Riemannian Metric for which it is the Levi-Civita Connection? Robert Bryant mentions that it is possible to construct a metric connection ...
7
votes
0answers
252 views

Connections and curvature in commutative algebra

Since on any commutative algebra $R$ over ring $S$ we have module of Kahler differentials $(\Omega_{R/S},d)$ which extends to the algebraic de-Rham complex $(\Omega^\bullet,d),$ it is natural to ...
6
votes
1answer
2k views

Geometric interpretation of horizontal and vertical lift of vector field

In many References such as D.E. Blair, Riemannian Geometry of Contact and Symplectic Manifolds chapter 9, and Differential Geometric Structures By Walter A. Poor Page 54; the horizontal and vertical ...
6
votes
1answer
723 views

Symmetric Ricci Tensor

Let $M$ be a pseudo-Riemannian manifold. Assume that $M$ comes with a zero-torsion affine connexion $\nabla.$ There is no need for $\nabla$ to be the Levi-Civita connexion. Recall that the curvature ...
6
votes
2answers
732 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 ...
6
votes
1answer
532 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 ...
6
votes
1answer
249 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)....
6
votes
1answer
706 views

Almost Flat Connections On Principal G-Bundles

Let $E \rightarrow F$ be a principal $G$-bundle. Let $\alpha$ be a connection 1-form with values in the Lie algebra of $G$. Let $\omega$ denote the curvature 2-form of connection $\alpha$. We know ...
6
votes
1answer
341 views

Reference for parallel transport around loop and its relation to curvature

It is a well known fact that the geometric meaning of a linear connection's curvature can be realized as the measure of a change in a fiber element as it is parallel transported along a closed loop. ...
5
votes
3answers
1k views

Open problems in sub-Riemannian geometry

What are some open problems in sub-Riemannian geometry? I am interested especially in problems concerning connections and curvature, but any contribution is welcomed.
5
votes
1answer
1k views

how is the dual connection defined?

Let $E$ be a vector bundle (i.e. locally free $\mathcal{O}_X$-module) on some smooth algebraic variety $X$ and let $\nabla: E \to E \otimes \Omega^1_X$ be an integrable connection. I have seen that $...
5
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
1answer
780 views

Can we define exterior derivatives using pushforwards and connections?

Let $\alpha$ be a differential form on a smooth manifold $M$. For simplicity, let's suppose that it is a $1$-form. Then we can think of $\alpha$ as a smooth map from $M$ to $T^* M$, the cotangent ...