Questions tagged [connections]

Ehresmann connections; covariant derivatives; connections on vector bundles, principal bundles, ∞-bundles, submersions, bundle gerbes; holonomy and higher holonomy; parallel transport; torsion; curvature. See also the tags [principal-bundles], [vector-bundles], [gerbes], [curvature], [geodesics], [characteristic-classes], [torsion].

101 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
24 votes
0 answers
780 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 the ...
user avatar
15 votes
0 answers
350 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 ...
Charles Rezk's user avatar
  • 26.6k
12 votes
0 answers
291 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, ...
user avatar
9 votes
0 answers
210 views

Is there a contact instanton connection on the tangent bundle of the 5-sphere?

A well-known example of a contact manifold is $S^5$, arising from it being a circle bundle over $\mathbb{CP^2}$. This is somewhat related to the reduction of the structure group from $SO(5)$ to $SU(2)$...
David Roberts's user avatar
  • 33.8k
8 votes
0 answers
296 views

Flat Maurer-Cartan connection iff flat Berry connection

I am studying two connections on induced representation spaces $\text{Ind}_{H}^{G} \Gamma$, where $H \subseteq G$ are groups, and $\Gamma$ is an irrep of $H$. The first is the canonical or $H$-...
Victor V Albert's user avatar
8 votes
0 answers
241 views

(Higher) flat connections and Grothendieck construction

For any (nice) topological space there is an equivalence between covering spaces and local systems $\pi_1X \to \operatorname{Set}$. We can think of it as a Grothendieck construction. If we take ...
E. KOW's user avatar
  • 732
8 votes
0 answers
459 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 ...
Fallen Apart's user avatar
  • 1,605
8 votes
1 answer
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 $\...
Mohammad Farajzadeh-Tehrani's user avatar
7 votes
0 answers
279 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 ...
student's user avatar
  • 91
6 votes
0 answers
183 views

What is a non-smooth connection?

Let $p : E \to B$ be a map of topological spaces, and $p^I : E^I \to B^I$ the induced map of path spaces. Let $Cocyl(p) = B^I \times_B E$ be the space of paths $\beta$ in $B$ equipped with a lift of $\...
Tim Campion's user avatar
  • 60.6k
6 votes
0 answers
262 views

Examples of connection preserving maps in differential geometry

In synthetic differential geometry and tangent categories, linear connections on the tangent bundle are treated as a sort of algebraic gadgets that incorporate the tangent bundle. Like any other ...
Ben MacAdam's user avatar
  • 1,253
6 votes
0 answers
154 views

Geometric theory for cohomology groups $H^p(M;\mathbb{Z})$

An excerpt from the book Loop Spaces, Characteristic Classes and Geometric Quantization by Jean-Luc Brylinski is mentioned below: Characteristic classes are certain cohomology classes associated ...
Praphulla Koushik's user avatar
6 votes
0 answers
273 views

Foliated circle bundles whose Euler class is torsion

Let $X$ be a closed manifold. By a foliated circle bundle $E \rightarrow X$ we mean a circle bundle over $X$ with total space $E$ and structure group $Diff^+(S^1)$, and a codimension one foliation of $...
Mehdi Yazdi's user avatar
6 votes
0 answers
359 views

Is there an analog of the Levi–Civita connection for schemes?

Is there an analog of the Levi–Civita connection for schemes? There exists algebraic de Rham theory, $n$-forms on vector bundles (algebraically), and familiar constructions from differential geometry....
Plank's user avatar
  • 317
6 votes
0 answers
162 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 ...
dervich's user avatar
  • 61
6 votes
0 answers
654 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 ...
Keerthi Madapusi's user avatar
5 votes
0 answers
276 views

Connections in non-commutative geometry

Let $K$ be a field, $A$ a unital associative $K$-algebra and $M$ a left $A$-module. A connection on $M$ is a $K$-linear map $\nabla:M\to \Omega^1A\otimes_AM$ which satisfies the Leibniz rule. ...
Qwert Otto's user avatar
5 votes
0 answers
298 views

Hopf fibration extended to bundle over $\mathbb{C}^2$

Consider the Hopf bundle $h:\mathbb{S}^3\rightarrow\mathbb{S}^2$. There is a connection $1$-form $\omega$ oh $h$ which is left $SU(2)$ invariant. In terms of the Euler angles $(\theta,\,\phi,\,\psi)$ ...
Guest123412341234's user avatar
5 votes
0 answers
431 views

A struggle with jets and Grothendieck vs Ehresmann connections

Let $X\to Y$ be a $C^\infty$ submersion. Consider the following two sheaves. The sheaf on $Y$ comprised of jets of sections of $X\to Y$. The sheaf on $X$ given by the quotient of $\Delta_{X/Y}^{-1}C^\...
Arrow's user avatar
  • 10.3k
5 votes
0 answers
111 views

Flattening a connection on a Kähler manifold

Say $M$ is a closed Kähler manifold and $(V, \nabla)$ is a (say) constant Hermitian bundle on $V$ with (say) trivial flat connection. Now $M$ Kähler gives several distinguished classes of closed one-...
Dmitry Vaintrob's user avatar
5 votes
0 answers
453 views

Basic questions about crystals and Grothendieck connections

I have a few basic questions about Grothendieck connections and crystals. I know it's bad practice to ask a bunch of different questions at once, however I feel they naturally come bundled together. ...
Arrow's user avatar
  • 10.3k
5 votes
0 answers
180 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 ...
nikitamarkarian's user avatar
5 votes
0 answers
409 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 ...
Ryan Du's user avatar
  • 313
5 votes
0 answers
228 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 $...
Thanos D. Papaïoannou's user avatar
4 votes
0 answers
93 views

category of vector bundles with connections and its K-theory

For the category of Hermitian vector bundles with unitary connections, an object is (of course) a Hermitian vector bundle with a Hermitian metric and a unitary connection $(E, g^E, \nabla^E)$. For ...
Ho Man-Ho's user avatar
  • 1,087
4 votes
0 answers
133 views

Parallel transport of global sections and Riemannian curvature

A, perhaps, naive question from an algebraist/combinatorialist teaching differential geometry. Originally asked on math.SE but didn't receive a single comment in 3 days. Consider a (real) smooth ...
Igor Makhlin's user avatar
  • 3,493
4 votes
0 answers
118 views

Flatness equivalence

Let $\pi:E\rightarrow M$ be a complex vector bundle and $H$ a hermitian metric over it. If $D$ is a connection over $E$, using the metric $H$, we can decompose it as: $$ D=D_H+\phi $$ Where $D_H$ is ...
Leonardo Schultz's user avatar
4 votes
0 answers
380 views

Chern-Weil theory and Weil homomorphism of principal bundle

In Kobayashi and Nomizu's book Foundations of Differential geometry they introduce the concept of connection on a principal $G$ bundle. In this book, they use connection on a principal bundle to ...
Praphulla Koushik's user avatar
4 votes
0 answers
156 views

Do we have classical Riemann-Hilbert correspondence for infinite dimensional flat vector bundles?

Let $E$ be an $n$-dimensional vector bundle on a manifold $M$ and $\nabla: \Gamma(E)\to \Omega^1(M,E)$ be a flat connection on $E$. Classical Riemann-Hilbert correspondence tells us that ker$\nabla$ ...
Zhaoting Wei's user avatar
  • 8,657
3 votes
0 answers
102 views

Geometric interpretation for a connection whose corresponding distribution generates the whole Lie algebras of vector fields

Let we have a connection on a manifold $M$ so it is considered as a distribution on the tangent bundle $TM$ of $M$. The integrability of this distrbution is equivalent to flatness of the connection. ...
Ali Taghavi's user avatar
3 votes
0 answers
196 views

What is a twisted D-module?

Let $X/\mathbb{C}$ be an abelian variety, $Y$ be the dual abelian variety, and $P$ be the Poincaré bundle on $X\times Y$. On p.207, Correction to “Sheaves with connection on abelian varieties” (by M. ...
Doug Liu's user avatar
  • 433
3 votes
0 answers
244 views

Manifolds and Riemannian geometry with a bundle viewpoint

I was wondering if there are any books that builds the theory on manifolds and Riemannian geometry, but at the same time treats these subjects in the general case of bundles (similar to Jeffery Lee's ...
Master.AKA's user avatar
3 votes
0 answers
116 views

Relation between $\mathrm{Pic}^\natural_{X/S}$ and two notions of rigidification

Let $X/S$ be a relative curve (perhaps with more adjectives). I have come across a few instances of rigidifying and rigidificators, which I would like to understand better. In Liu-Lorenzini-Raynaud (...
Somatic Custard's user avatar
3 votes
0 answers
118 views

Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?

Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be). Let $\mathcal{E}$ be a locally free sheaf on $X$, and $$\nabla:\mathcal{E} \to \...
PrimeRibeyeDeal's user avatar
3 votes
0 answers
140 views

Change of two normal coordinates based on two nearby points?

Let $M$ be a manifold and $L(M)$ be the tangent frame bundle on $M$. Let $\Gamma$ be a linear connection on $L(M)$ which induces a covariant derivative $\nabla$ on $TM$. Let $p, q$ be two ...
Dreamer's user avatar
  • 261
3 votes
0 answers
453 views

Writing a Taylor series with covariant derivatives (connections)?

A connection of a vector bundle $E$ on a manifold $M$ is a map $d_E: \Omega^0(E) \to \Omega^1(E)$ that extends uniquely to a map $d_E: \Omega^p(E) \to \Omega^{p+1}(E)$ while satisfying $$ d_E(\omega \...
Ma Joad's user avatar
  • 1,611
3 votes
0 answers
251 views

Existence of connection on the pushforward of a sheaf with connection

Let $X$ be a scheme and $\mathcal{F}$ an $\mathcal{O}_X$-module with a connection $\nabla$. If $f:X\to Y$ is a morphism of schemes, then we have a pushforward of $(\mathcal{F},\nabla)$ as a $\mathcal{...
curious math guy's user avatar
3 votes
0 answers
140 views

Opers and global differential operators

This is a follow up question to a previous question of mine and my thought of answer to it. Given a (compact) Riemann surface $\Sigma$, a $SL(n,\mathbb{C})$-oper is a rank $n$ holomorphic vector ...
mtraube's user avatar
  • 183
3 votes
0 answers
390 views

Pullback connection and diffeomorphism of the base

Let $p \colon E \to B$ be a vector bundle, $\nabla^E \colon E \to E \otimes \Omega^1_B$ a connection on $E$, and $\phi \colon B \xrightarrow{\sim} B$ a diffeomorphism. Further, let there be a natural (...
Jon Aycock's user avatar
3 votes
0 answers
151 views

Maximally symmetric affine manifold

As a physicist who knows (something) about General Relativity, I'm accustomed to the term "maximally symmetric space" being an $n$-dimensional manifold with $\frac{n(n+1)}{2}$ Killing vectors. A ...
Dox's user avatar
  • 690
3 votes
0 answers
455 views

Applications of Ambrose-Singer theorem on holonomy

I am planning to introduce to a group of Graduate students the notion of connections on Principal bundle, curvature of connection, Holonomy. I want to conclude with the statement of Ambrose-Singer ...
3 votes
0 answers
232 views

Existence of connections in a vector bundle whose parallel transport preserves a function on a total space

Let $p:E \to M$ be a vector bundle over a smooth manifold $M$, $M\times 0$ be the image of its zero section of $p$, $\mathcal{X}(M)$ be the space of vector fields on $M$, and $\Gamma(E)$ be the space ...
Sergiy Maksymenko's user avatar
3 votes
0 answers
390 views

Existence of sections of a fibre bundle which are covariantly constant along certain directions

Given a vector bundle $\pi\colon E \rightarrow B$ equipped with a connection $\nabla$, it is well known that a basis of flat sections $s_i$ ($i=1,\dots,\text{rank}(E)$) (i.e. $\nabla_X s_i = 0$ for ...
Severin's user avatar
  • 83
3 votes
0 answers
218 views

A question about a paper of Bismut and Lebeau

Let $X$ be a Riemannian manifold, and $Y\hookrightarrow X$ be a closed submanifold of $X$ with normal bundle $N$ with the induced metric. Then near $Y$, we have $$dv_X(y,Z)=k(y,Z)dv_Y(y)dv_{N_y}(Z),$$...
DLIN's user avatar
  • 1,905
3 votes
0 answers
95 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 ...
Giovanni Moreno's user avatar
3 votes
0 answers
141 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 ^...
Yasha's user avatar
  • 469
3 votes
0 answers
433 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 ...
ychemama's user avatar
  • 1,326
3 votes
0 answers
140 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 ...
quinque's user avatar
  • 375
3 votes
0 answers
235 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 ...
Dox's user avatar
  • 690
3 votes
0 answers
314 views

Lefschetz hyperplane section theorem for connections

Let $X$ be a projective, smooth, algebraic variety over a subfield of the complex numbers, and let $Y \hookrightarrow X$ be a smooth hyperplane section of $X$. The classical Lefschetz theorem claims ...
leffe93's user avatar
  • 31