The tag has no usage guidance.

learn more… | top users | synonyms

27
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, ...
26
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 ...
12
votes
3answers
489 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
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
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
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
993 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
2answers
907 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
669 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
1k 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
631 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
698 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
2answers
773 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
198 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
3answers
591 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 ...
7
votes
4answers
353 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
281 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 ...
7
votes
1answer
304 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 ...
6
votes
3answers
848 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
182 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
555 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
656 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
486 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
240 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
608 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
324 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
430 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
246 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
458 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
235 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
395 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 ...
4
votes
1answer
404 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
119 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
2answers
319 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
933 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
126 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
264 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
232 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
358 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
533 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
423 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
104 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 ...