The tag has no wiki summary.

learn more… | top users | synonyms

26
votes
2answers
1k 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
5answers
3k 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 ...
18
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 ...
17
votes
3answers
3k 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 ...
17
votes
4answers
2k 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 ...
11
votes
3answers
3k 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 ...
11
votes
3answers
481 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 ...
11
votes
2answers
1k 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 ...
10
votes
3answers
943 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
956 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
786 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 ...
10
votes
1answer
652 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 ...
9
votes
6answers
3k 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 ...
9
votes
5answers
2k 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 ...
9
votes
1answer
969 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 ...
9
votes
1answer
609 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
726 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 ...
8
votes
1answer
197 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) ...
7
votes
4answers
351 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
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 ...
7
votes
2answers
277 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 ...
6
votes
3answers
838 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 ...
6
votes
1answer
181 views

Conjecture on homotopy groups of moduli space of self-dual connections

In the paper Stability in Yang-Mills Theories (1983), Taubes puts a (topological) bound on the Hessian of the YM-action on $S^4$. He consequently conjectured: "The inclusion ...
6
votes
1answer
548 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 ...
5
votes
1answer
649 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 ...
5
votes
1answer
2k 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)= ...
5
votes
1answer
237 views

Analogy between connections and $\ell$-adic sheaves: what happens with the residue?

There are many analogies between $\ell$-adic sheaves on varieties over finite fields and vector bundles with connections on varieties over fields of characteristic zero. I would like to know what is ...
5
votes
1answer
598 views

Flat Principal Connections and Homotopy Groups?

I've come across a comment in a paper that hints at a relation between the set of (flat) connections for a principal bundle and the homotopy group of the base of the bundle. Can anyone tell me what ...
5
votes
0answers
308 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 ...
5
votes
0answers
412 views

Connections on a Lie Group

A Lie group $G$ can be considered as a reductive homogeneous space in at least two different ways; $G/\{e\}$ and $G\times G/G^*$. In the first case, the canonical connection associated with the ...
5
votes
0answers
244 views

Anti-self-dual connections on CP^2

I'm learning Yang-Mills theory and its applications on 4-manifold. I want to know that have someone computed all the anti-self-dual connections on principle $SU(2)$ bundles over complex projective ...
5
votes
0answers
183 views

Does every stack with a connection admit an atlas with a connection?

Dear all, Let $S$ be a scheme in characteristic $0$, and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme ...
5
votes
0answers
449 views

Flat connections with logarithmic poles and p-adic parallel transport under choice of branch of logarithm

Consider the following simple situation: We work over the ring $R=\mathbb{Z}_p[[t]]$, over which we consider a rank $2$ free module $M$ with basis $(e,f)$. On $M$, we define a flat (topologically ...
4
votes
2answers
230 views

Existence of connections making a bundle endomorphism parallel

Let $M$ be a manifold, $TM$ its tangent bundle, and $N:TM\to TM$ a vector bundle morphism. It is possible to find a torsionless linear connection $\nabla$ on $TM$ such that $\nabla N=0$?
4
votes
1answer
388 views

Are constant connection coefficients uniquely determined by the (1,3) curvature coefficients?

Suppose that on a certain coordinate system the coefficients $\Gamma^i_{jk}$, $i,j,k=1,\cdots, n$, of a linear connection are constant. We do not require compatibility with a metric, however I am ...
4
votes
1answer
117 views

connections on principal bundles over $S^1$

Suppose $G$ is a compact connected Lie group and $P$ is a $G$-bundle over $S^1$, $A$ is a connection. Then we can choose a frame such that $A = a d\theta$ where $a\in \mathfrak{g}$ is constant. My ...
4
votes
1answer
412 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 ...
4
votes
2answers
275 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)$ ...
4
votes
4answers
921 views

Proving the basic identity which implies the Chern-Weil theorem

If $E$ is a complex vector bundle over a manifold $M$ then one defines the space of vector valued $p$-differential forms on them as $\Omega^p(M,E) = \Gamma ( \wedge ^p (T^*M) \otimes E) $ The ...
4
votes
2answers
108 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 ...
4
votes
1answer
245 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 ...
4
votes
1answer
228 views

locally free sheaves and logarithmic connections

I know that, when $\mathcal{F}$ is a coherent sheaf on a smooth algebraic variety $X$ over a field $k$ equipped with a connection $$ \nabla: \mathcal{F} \to \mathcal{F} \otimes \Omega^1_X, $$ then ...
4
votes
3answers
354 views

Connection Transformation Formula; Degree 3 Cech Cohomology

While reading through Brylinski, as in all of my posts, I am trying to understand the following equation: $ g_* \tilde{\theta} = \tilde{\theta} - g^{-1} dg$ Setting I have a principal ...
4
votes
1answer
524 views

Why do we use the less simple convention for the definition of a vector bundle connection?

For a (smooth) vector bundle $F$ over a manifold $M$, one normally defines a connection to be a linear map $$ \nabla:\Gamma^{\infty}(V) \to \Omega^1(M) \otimes \Gamma^{\infty}(V), $$ satisfying ...
4
votes
1answer
312 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 ...
4
votes
0answers
101 views

a technical question on the definition of connections with regular singularities

Let $X$ be a quasi-projective variety over a field $k$ of characteristic zero. A good compactification of $X$ means a projective variety $\overline{X}$ containing $X$ as the complement of a simple ...
3
votes
1answer
375 views

The (-)-Connection on a Lie Group

Is the geodesic exponential map for a Lie group with the (-)-connection a diffeomorphism? This connection is one of two flat connections introduced by Cartan and Schouten on a Lie group and has ...
3
votes
2answers
1k views

Interpretation of Curvature and Torsion

Dear all, When dealing with General Relativity one uses the Levi-Civita connection with is torsion-free. Thus the commutator of the covariant derivatives yields $[\nabla_\mu,\nabla_\nu]V^\rho = ...
3
votes
3answers
259 views

Two ways to differentiate a section of vector bundle

Let $\pi:E\rightarrow M$ be a vector bundle, and $D$ a connection on it. Suppose $\sigma_1,\sigma_2\in\Gamma(E)$, $p\in M$, $V\in T_pM$ such that $\sigma_1(p)=\sigma_2(p)$. Are the following two ...
3
votes
1answer
386 views

“Nash Style” Embedding Theorem for Connections

The strong Whitney embedding theorem states that any smooth (Hausdorff and second-countable) manifold can be smoothly embedded in Euclidean space. John Nash went on to show that any Riemannian ...