• Aucun résultat trouvé

Another Look at Connections

N/A
N/A
Protected

Academic year: 2022

Partager "Another Look at Connections"

Copied!
7
0
0

Texte intégral

(1)

Another Look at Connections

FLORINDUMITRESCU

ABSTRACT- In this note we make use of some properties of vector fields on a manifold to give an alternate proof to [3] for the equivalence between connections and parallel transport on vector bundles over manifolds. Out of the proof will emerge a new approach to connections on a bundle as a consistent way to lift the dy- namics of the manifold to the bundle.

This note is aimed at proving the equivalence between connections (covariant derivatives) and the geometric notion of parallel transport. A classical proof of this fact appears in [3]. A functorial approach to parallel transport and the equivalence with connections can be found in [7]. In the version presented here we give a global proof exploiting properties of flows of vector fields on compact manifolds. The idea is to think of a connection on a vector bundle as a compatible way of lifting vector fieldsXon the base manifold to vector fields on the total space of the bundle, or equivalently to X-derivations acting on sections of the bundle. Even better, a connection can be described as a compatible way of lifting R-actions (determined by the flows of vector fields) on the base manifold toR-actions on the covering bundle.

Aside from its classical flavor, the equivalence of connections and parallel transport allows a description [5] of one dimensional topological field theories over a manifold (see Atiyah [1] for a definition of topological field theories in arbitrary dimensions). Two dimensional topological field theories over a manifold M admit a similar description in terms of con- nections on vector bundles overLM the free loop space ofM, along with some Frobenius data between fibers encoding parallel transport along pairs of pants cf. [4]. A careful extension of the properties of flows of vector

(*) Indirizzo dell'A.: Institute of Mathematics of the Romanian Academy

``Simion Stoilow'', 21 Calea Grivitei, Bucharest, Romania.

E-mail: florinndo@gmail.com

(2)

fields used here to the world of supermanifolds leads us to a character- ization of supersymmetric one dimensional topological field theories over a manifold cf. [2].

1. Preliminaries on flows

In what follows,Mdenotes a compact manifold.

PROPOSITION 1.1. Let X and Y be vector fields on M, and let a;b:RM !Mdenote the flows determined byX, respectivelyY. Then the flowgof the vector fieldX‡Y is given by

gt(x)ˆ lim

n!1(at

nbt

n). . .(at

nbt

n)

|‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚{z‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚}

n

(x):

REMARK. This is a version of the Trotter formula for flows of vector fields on manifolds.

The proof is not hard: if we simply consider the composition of the flows, we get infinitesimally the vector fieldX‡Y, but not a group action. The above zig-zag composition still generates infinitesimallyX‡Yand defines a group action as well. Details can be found in [2].

PROPOSITION1.2. Leta:RM !Mbe the flow of a vector fieldXon the compact manifoldM. Iffis a (positive) function onMthen the flow of fXis given by

b:RM !M :(t; x)7!a(s(t; x); x);

wheres:RM !Ris the solution to

@s

@t(t;x)ˆf(a(s(t;x);x)) s(0;x)ˆ0; for allx:

8>

<

>:

The proof is a routine check.

COROLLARY1.3. Let X andY be vector fields onM. ThenX andY have the same (directed) trajectories if and only if Y ˆfX, for some positive functionf onM.

(3)

COROLLARY1.4. IfY ˆfX, wherefis a positive function onM, andc is an integral curve of X thencW is an integral curve of Y, for some (orientation-preserving) diffeomorphismWofR.

2. Main Result

After the above preliminaries we can state the main theorem. Consider ann-dimensional vector bundleEover a compact manifoldM. Denote by P(M) the pathspace ofM, i.e. the space of all (piecewise) smooth paths g:I!M, whereIdenotes an arbitrary interval. Then

THEOREM2.1. There is a natural 1-1 correspondence Connections

on E over M

! Parallel transport maps associated to E over M

:

Recall (compare with [3]) that a parallel transport mapPonEoverMis a (smooth) section of the pullback bundle

where Hom(E;E) denotes the bundle whose fiber at (x;y)2MM is given byHom(Ex;Ey), andi(g),e(g) denote the starting respectively the ending point of the pathg. In other words, the mapP associates to each path g in M a linear map P(g):Ei(g)!Ee(g). This correspondence is re- quired to satisfy the following:

(1) P(gx)ˆ1Ex, wheregxis a constant map atx2M.

(2) (Invariance under reparametrization)P(ga)ˆ P(g), whereai s an orientation-preserving diffeomorphism of intervals.

(3) (Compatibility under juxtaposition) P(g2?g1)ˆ P(g2) P(g1), whereg2?g1is the juxtaposition ofg1andg2.

PROOF. It is well known how a connection r gives rise to parallel transport: given a pathcinM, pull-back the connection alongcand solve a differential equation (cr)sˆ0. The solutionssto this differential equation are the parallel sections alongcand will define an isomorphism between the fibers at the endpoints of the path; see for example [6] for details.

(4)

We now need to show how a parallel transport mapPassociated to the bundleEoverMgives rise to a connection onEoverM. For this, letXbe a vector field onManda:R!Diff(M) the flow ofX, where Diff(M) stands for the group of diffeomorphisms ofM. Denote byPˆGL(E) the frame bundle of E, a principal bundle on M with structure group GˆGL(n), wherenis the rank of the bundleE, and letp:P!Mbe the projection map. Let DiffG(P) denote the group ofG-equivariant diffeomorphisms of P, i.e. diffeomorphisms ofPthat preserve theG-action onP.

Parallel transport allows us to lift the flow a of X to a group homo- morphism~a:R!DiffG(P) which is the flow of a vector fieldX~ onPthat is G-invariant. Moreover, the vector fieldX~ i s anX-derivation, i.e.

X~ :C1(P)! C1(P); X(~ fg)ˆX(f)g‡fX(g);~

forf 2 C1(M) andg2 C1(P) (note thatC1(M) defines an obvious action on C1(P) as well as onVect(P), the space of vector fields onP, vi ap). This holds sinceX~ isG-invariant and thereforeX(p~ (f))ˆp(X(f)).

Further, X~ extends to an X-derivation on C1(P;V), the space of V- valued functions onP, whereVis another notation forRn. Again, sinceX~is G-invariant, it preservesC1(P;V)G the space of G-equivariantV-valued functions onP, which canonically identifies withG(E), the space of sections onE. We have defined a correspondence

Vect(M)3X7 ! fX~ :G(E)!G(E)g:

This defines a connection if the following two conditions hold:

(1) Xg‡YˆX~ ‡Y~ (2) f Xf ˆfX,~

forX;Yvector fields onM, andfa smooth function onM. Let us first show property (1). ConsiderX;Yvector fields onM, with flowsa, respectivelyb, and letgdenote the flow ofX‡Y. Then

Xg‡Y ˆd dt

tˆ0~gt

ˆd dt

tˆ0

lim g

n!1(at=nbt=n)(n)

ˆd dt

tˆ0 lim

n!1(~at=n~bt=n)(n)

ˆX~ ‡Y:~

(5)

The third equality follows from the compatibility of lifting paths via parallel transport with concatenation of paths. For the second property (2), letfbe a (positive) function on M andX a vector field onM, with flow a. By the Proposition 1.2 above, the flow af of the vector field fX is given by the composition

RM 1D!RMM s1!RM !a M;

for somes:RM!R. The flowaef off Xfis then given by the composition RP 1D!RPP ~s1!RP !~a P;

where~s:RP!Ris defined by the composition RP 1p!RM !s R:

But the above composition~a(~s1)(1D) is nothing else than the flow of fX. The vector fields~ f Xf andfX~ have the same flow, so they must be the same. The connection in the direction of the vector field X is now de- termined by defining

rX :ˆX~ :G(E)!G(E):

It is clear that the family of derivationsfrXgparametrized by the space Vect(M) of vector fields on the manifoldMdefines a connectionron the bundleEoverM.

We are left to check that the two constructions are inverse to each other. The map `` !'' which associates to a connection its parallel transport map is injective, as it is well known that the parallel transport of a con- nectionrecoversthe connection.

The proof is complete if we can show that

! ˆid:

Indeed, start with a parallel transport mapP associated to the bundleE overM. Denote byrthe standard representation ofGonV ˆRn. ThenE can be canonically identified with the associated bundle PrV, whose elements are classes [p;v]2PV=(we say that (p;v) and (p0;v0) are in the same class if p0ˆpgand v0ˆg 1v, for someg2G). Recall the iso- morphism

C1(P;V)G !G(E): f7 !fs(x)ˆ[p;f(p)]; wherep(p)ˆxg:

(6)

The parallel transport then defines as above a connectionrgiven by rX[p;f(p)]ˆ[p;X(~ f)(p)];

in the direction of a vector fieldXonM(X~ denotes the lift ofXto the bundle Pvia parallel transport as well as the extension as a derivation toV-valued functions onP). Now, ifc:R!Mis a curve inMandf 2 C1(cP;V)G, we also have

(cr)@t[p;f(p)]ˆ[p;v(f)(p)];

where v denotes the lift of @t, the standard vector field on R, to cP.

Therefore, a section sˆ[p;f(p)] along c is parallel with respect to the connectionrif and only iff is constant in the direction of the vector fieldv, which happens if and only ifsis parallel alongcwith respect to the parallel transportP. This finishes the proof of the theorem. p Letq:DiffG(P)!Diff(M) denote the obvious descending map. In the proof of Theorem 2.1 we only used parallel transport along flows of vector fields. This allows us to redefine a connection (on the principalG-bundleP) as a lift

Homomorphisms R!Diff(M)

( )

! Homomorphims

R!DiffG(P)

( )

a 7 ! ~a

that preserves the zig-zag composition of Proposition 1.1 and the action of the space of (positive) functions onMgiven by Proposition 1.2. Here, ``lift'' means that a homomorphismamust map to a homomorphism~athat des- cends toa, i.e. such that q~aˆa. The lift should also preserve the trivial homomorphisms.

It is an interesting problem to see how the flatness condition for a connection can be expressed in terms of lifting the dynamics of a manifold as above. It should be a lift that preserves the flow formula for the Lie bracket, but we are not aware of such a formula.

Acknowledgments. This note is based on an idea of Stephan Stolz that connections allow liftings of group actions. We warmly acknowl- edge the financial support provided by a BitDefender scholarship while visiting the Institute of Mathematics of the Romanian Academy

``Simion Stoilow''.

(7)

REFERENCES

[1] M. ATIYAH, Topological quantum field theories. Inst. Hautes EÂtudes Sci.

Publ. Math.,68(1989), pp. 175-186.

[2] F. DUMITRESCU, 1j1parallel transport and connections. http://arxiv.org/abs/

1011.5016, (2010).

[3] F. DUMITRESCU,Connections and parallel transport. Journal of Homotopy and Related Structures, vol.5, no. 1 (2010), pp. 171-175.

[4] F. DUMITRESCU,On 2-dimensional topological field theories. http://arxiv.org/

abs/1008.4920, (2010).

[5] F. DUMITRESCU- S. STOLZ- P. TEICHNER,One-dimensional topological field theories. In preparation, 2011.

[6] S. KOBAYASHI - K. NOMIZU, Foundations of differential geometry. Vol. I.

Wiley Classics Library. John Wiley & Sons Inc., New York, 1996. Reprint of the 1963 original, A Wiley-Interscience Publication.

[7] U. SCHREIBER- K. WALDORF,Parallel transport and functors. J. Homotopy Relat. Struct.,4(1) ( 2009), pp. 187-244.

Manoscritto pervenuto in redazione il 22 febbraio 2011.

Références

Documents relatifs

It is easy to check that the natural action of Q on p\ (V) preserves the holomorphic structure QT- Taking the quotient of P(p^(V)) by Q we get the universal projective bundle,

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

We show that the moduli space of semistable G-bundles on an elliptic curve for a reductive group G is isomorphic to a power of the elliptic curve modulo a certain Weyl group

We show that the locus of stable rank four vector bundles without theta divisor over a smooth projective curve of genus two is in canonical bijection with the set

Keywords: Constant vector fields, measures having divergence, Levi-Civita connection, parallel translations, Mckean-Vlasov equations..

In particular, for every k 6= 0, we obtain an affine variety which is simultaneously the total space of non trivial torsors under complex vector bundles over P 1 with different

Our result is the classification of the G-vector bundles over X up to G-equivariant isomorphism.. This type of classification problems have been introduced, in a

We provide a precise description of the non-separated coarse moduli space P −1 (t) of undecomposable parabolic bundles, which turns to be closely related to the geometry of degree 4