## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

P. Deligne

In his lectures, Bernstein considered lagrangian densities L( ) on V , for in the space M of maps V ! M , or more generally for a section of a ber bundle M over V . The case of maps to M correspond to M = M V . He considered the case where the density L( ) at v 2 V depends only on and d at v , and explained how to construct a closed 2-form ! on the space E of extremals. The construction depended on a cohomology class of hypersurfaces with an oriented normal bundle: has a \past" side and a \future" side. In practice, is a \space-like" hypersurface. The construction uses integration on , hence requires some control at the in nity of , and a similar control on homologies among 's. We will ignore this by pretending that is compact and that cohomology is taken with compact support. In this appendix, our aim is to explain a small modi cation of the construction which works as well when L( ) depends on higher derivatives of . One can also take to be for instance a bundle with connection, rather than a map to some M . If V is a supermanifold, the new construction makes clear that the 2-form obtained is the same whether one works in term of super elds : V ! M and of superdensities L( ) on V , or in term of \components" of and of the Lagrangian density L( ) on Vred deduced from L( ) by \integrating out" the odd variables, for some projection V ! Vred. What we don't get are 2-forms ! , depending on , on the space M of all , and inducing ! on the space E of extremals. The basic construction is local around a space-like hypersurface and, to explain it, we will assume that V = R, the projection to R being called \time". For a 2-parameter family a1; a2 ] of extremals, we now de ne the value at (a1 ; a2 ) = (0; 0) of the pull back of ! by (a1 ; a2 ) 7! a1 ; a2]. We choose a family 1 a a2 ] of maps to

V V ;

1

**M , deforming a1 ; 0], agreeing with a1; a2 ] in the future, and agreeing with a1; 0] in
**

the past:

a1 ; 0]; 1 a1 ; a2 ] = a1 ; a2 ] 1 a1 ; a2 ] = a1 ; 0]

1 a1 ; 0] =

in the (far) future; in the (far) past:

We similarly choose 2, having the same properties with the roles a1 and a2 permuted. De nition:

!(@1 ; @2 ) =

Z

V

(@1 @2 L( 1) @2 @1L( 2)) at (a1 ; a2 ) = (0; 0):

The integrand vanishes in the future, where 1 = 2, as well as in the past, where both terms vanish. This makes the integral de ned. Using , with equation t = 0, we now express ! as an exterior derivative d and show independence of the choices of 1 and 2. Let Y be the function on R which is 1 for x < 0 and 0 for x > 0: Y = (x). We will have to integrate on V up to t = 0 some smooth density vanishing in the past. In the supervariety case, this means integrating Y (t) (integration on a supervariety with boundary ). This depends on , not just on red . The 1-form is de ned only at extremals, but makes sense on tangent vectors to the space M of all . Fix an extremal 0] and consider a family a] deforming it. We now de ne at the corresponding tangent vector. Let 1 be a deformation of 0] agreeing with a] for t > ", and with 0] in the past. De nition: Z (@ ) = Y (t)@ L( 1 a]) at a = 0

d dx a a

The integrand vanishes in the future, because Y (t) does, and in the past, where 1 a] is constant. This makes the integral de ned. Because 0] is an extremal, it does not depend on the choice of 1: the density @ L( 1 a]) is the variation of the density L for a variation 1 of 0], and if we consider another deformation 2 , 1 2 has support in a time

a

2

**interval A; "]. It is the tangent vector for a deformation
**

Z

3

with a support in t < 0 and

Y (t) @ L( 1 a]) @ L( 2 a])] (at a = 0)

a

=

Z

a

Y (t)@ L( 3 a]) (at a = 0) = @ L( 3 a]) (at a = 0) = 0

a a

Z

To see that ! = d , one uses the formula that for commuting vector elds X and Y , one has (d )(X; Y ) = X: (Y ) Y: (X ) : For the pull back of by (a1 ; a2) 7! a1; a2 ], this gives, provided that a1a2 ] = a1a2 ] for t > ":

1 a1 ; a2 ]

=

d (@1 ; @2 ) = @1 Y (t)@2 L( 1) @2 Y (t)@1 L( 2)

= =

Z Z

Z

Z

Y (t)(@1 @2 L( ) @2 @1 L( 2))

q

@1 @2 L( 1) @2 @1 L( 2)

at (a1 ; a2 ) = (0; 0): the de nition of !. In the case treated by Bernstein, integration by parts shows that the form is the restriction to E of the one he considers, on M. The modi cation we presented does not require the tangent space of M at to be the space of sections of a vector bundle on V . Basically, it requires only that it be the space of sections of a soft sheave of R-vector spaces on V . One has to be able to deform in a prescribed way in di erent regions of V . For V a supermanifold, this does not preclude imposing suitable constraints on .

3

- Snap Analysis 2015uploaded bykk11kk11
- 348172783-may-2015 (1).pdfuploaded byemmanuel cooper
- 9709_s10_qp_12uploaded bymatshona
- Notable Productsuploaded byHashi Desu
- 4. Mathematics - Ijmcar - A Study on Fixed Point Theorem - Prashant Chauhanuploaded byTJPRC Publications
- Ramazan Ov 2002uploaded byHyh Hghjg
- 6th grade math- section 1uploaded byapi-302577842
- Course Reg. juploaded byOlawale John Adeoti
- NWA Academic Profile Calender Course 2.20.09uploaded by10raj
- Lpcuploaded byjamy_h
- Co Vectors and Formsuploaded byJoel
- Caem1 2013 Auguploaded byTony WANG
- IMO Math Olympiad Preparation : Useful trip and tricksuploaded byEduGain
- bernoul1uploaded bysajoka
- 4-150810041938-lva1-app6892uploaded byarulmurugu
- Math53 Fa09 Mt2 Frenkel Solnuploaded byRachael Wells
- Camera Calibrationuploaded bySajith
- 9781904534488uploaded byeibsource
- Add Maths Trial Exam P2 Marking Scheme 2013 set B.pdfuploaded bycikguhensem
- Mixed Revision 1 Year 9uploaded byLy Shan
- HW7 Solutionuploaded byJackie Duan
- Primeuploaded byRajalakshmi
- graphing inequalitiesuploaded byapi-236866849
- l_23uploaded byEntropyPrinciple
- Harish Chandra Rajpoot.pdfuploaded byHarish Chandra Rajpoot
- Physical Metallurgy of Steeluploaded byFarhaz Qureshi
- Paradoxes Monographyuploaded bySarah CI
- Calculusuploaded bySushobhan Sanyal
- Convex Analysisuploaded byKhoirun Nisa
- Analisis+Item++Add+Maths++Paper+1uploaded byamie

- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel
- uploaded byluisdaniel

Close Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Loading