DOCSLIB.ORG

A Geometric Approach to BRST Quantization of the Bosonic String

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Geometric Approach to BRST Quantization of the Bosonic String A geometric approach to BRST quantization of the bosonic string Valdo Tatitscheff valdo.tatitscheff@ens.fr Abstract BRST quantization find its roots in the years 1974-1976 in papers by Becchi, Rouet, and Stora [1], and independently, by Tyutin [4]. At first, it was a very heuristic method of quantizing gauge theories, but since then, a great work has been done to understand geometrically this procedure. This is what we want to describe in this paper. The first section constructs the BRST cohomology in a simplified framework, and in the second, links are proposed between the simplified mathematical approach and the physical approach in the bosonic string theory. In particular, the BRST symmetry is closely related to the Fadeev-Popov gauge fixing. 1 Geometric BRST quantization 1.2 Lie algebra cohomology 1.1 Symplectic reduction Any smooth function on B induces a function on C which is constant on the fibers, and conversely, Let (X; O) be a symplectic manifold on which any function on C which is constant on the fibers a connected Lie group G acts by symplectomor- induces a function on B. phisms, such that there is a moment map: Let's highlight that the hamiltonian Killing vec- tor fields Ξi generated by the Lie algebra g of G φ : X ! g∗ form a global basis of the tangent spaces to the fibers. Let's chose a dual basis !i of the cotan- that is, a function satisfying that 8x 2 X and i i gent space to the fibers, that is, ! (Ξj) = δj, and 8ξ 2 g: define: d(φ(x)(ξ)) = ι Ω d : C1(C) ! Ω1 (C) ξ~x V V ~ by: where ξ is the fundamental vector field generated X d (f) = (L f)!i by ξ. We can define a map δ : g ! F un(X) by V Ξi setting: i where L f denotes the Lie derivative of f in δ(ξ)(x) = φ(x)(ξ) Ξi the direction Ξi. One extends this function to a for all ξ 2 g and x 2 X. Provided 0 2 g∗ is a derivation: regular value of the moment map, we can define: p p+1 dV :ΩV (C) ! ΩV C −1 C = φ (0) by defining: i 1 X i j k which is then a closed embedded coisotropic sub- dV ! = − fjk! ^ ! ? 2 manifold. Moreover, 8x 2 X, TxM0 is precisely j;k the subspace of T M spanned by the Killing vec- x 0 This function satisfies the relation d ◦ d = 0 (it tor fields induced by the action of G. V V is proved by the following proposition) and thus Now define B = C=G. B is the Marsden- (V g ⊗ C1(C); d ) form a cochain complex from Weinstein symplectic reduction of X. Note that V which one can compute the Lie algebra cohomol- there are two steps in this procedure : one step ogy. of restriction from X to C, and one step where one quotients by the group's action. For more de- Proposition 1.1. The differential dV coincide tails on symplectic reduction and the rest of this with the Chevalley-Eilenberg's differential corre- section, see [2], [5]. sponding to the trivial representation of g on R. 1 Proof. Let xa and xb be in g. One computes: Let's add the Lie algebra cohomology to obtain: 1 X j d !i(x ; x ) = − f i (δj δk − δ δk) Vp;q 1 δ Vp;q−1 1 V a b 2 jk a b b a g ⊗ C (X) / g ⊗ C (X) j;k dV i i dV ! (xa; xb) = −f ab Vp+1;q g ⊗ C1(X) i 1+2 i dV ! (xa; xb) = (−1) ! ([xa; xb]) where we wrote: Vp;q g = Vp g∗ ⊗ Vq g. Since δ ◦ d = d ◦ δ, it is a double complex. Let: There are interpretations of the low-degree co- homology groups of the Chevalley-Eilenberg com- p q M ^ ∗ ^ 1 0 V 1 Pm = g ⊗ g ⊗ C (X) plex. For example, HV ( g ⊗ C (C)) is the sub- space of C1(C) constituted by all functions which p−q=m are constant on the fibers. and: 1.3 BRST cohomology Dm : Pm ! Pm+1 We found a cohomology describing the property be given by: of being a scalar function under a gauge change, m but unfortunately it is defined on V g ⊗ C1(C), Dm(:) = d(:) + (−1) δ(:) whereas one want to work on globally defined ob- jects, that is, with C1(X) instead of C1(C). C Eventually we have the following cochain complex: is defined defined by the constraints C = φ−1(0) Dm−1 Dm Dm+1 which corresponds to the gauge fixing conditions. ··· / Pm / Pm+1 / ··· Despite these constraints, we'd like to work on globally defined objects. which computes the classical BRST cohomology. n Suppose that: It can be proved ([2]) that HD = 0 if n < 0 and Hn = Hn (C) if n ≥ 0. 1 1 D V C (C) = C (X)=I That was exactly the purpose of the BRST pro- cedure : this cohomology allows to work on glob- where I is some ideal in C1(X). By the very def- ally defined objects without loosing the profound inition of C, 8ξ 2 g, δx 2 I. Suppose that I is sense of gauge. generated by the δ(ξ), that is: In physics literature, elements of V g∗ are called V I = C1(X)δ(g) ghosts, those of g are called antighosts, while m = p − q is the ghost number. Now one can extend δ as a linear anti-derivation Now let's recall Fadeev-Popov gauge fixing for V 1 on g ⊗ C (X) by letting δ(ξ ⊗ 1) = 1 ⊗ δ(ξ) and the bosonic string action, and try to sketch the δ(1 ⊗ f) = 0. We thus have a complex: links between the geometrical approach and the path-integral approach, and in particular the na- k ^ ! g ⊗ C1(X) !···! g ⊗ C1(X) !C1(X) ture and role of ghost fields. with differential δ. It is called the Koszul complex of V g ⊗ C1(X). The Koszul construction aim to 2 BRST string quantization algebraically represent the quotient: In the framework of field theory (especially for C1(C) = C1(X)=I string theory), the symplectic manifold is a space of fields and is not finite-dimensional anymore. Its k-th homology space is indeed zero for k > 0, Yet, we won't bother with such considerations and and: will make direct links, even if it implies some loss δ ^ 1 1 H0 ( g ⊗ C (X)) = C (X)=I of mathematical rigor. 2 2.1 Fadeev-Popov gauge fixing the fiducial metric to g. This step corresponds to the gauge fixing, or, to stick to the notations of Let (M; g) be the two-dimensional world-sheet the previous section, to restrict oneself from X to Riemannian manifold, and Xµ(σ1; σ2), µ = C. 0; ··· ; (d − 1), be d embeddings of M into ( d; η) R One can insert the former expression into Z: where ηµν is Minkowski's metric in d dimensions. Starting from Polyakov's action: Z [dXdgdζ] Z[^g] = ∆ (g)δ(g − g^ζ )e−S[X;g] Z V FP 1 2 p ab µ gauge S[X; g] = 0 d σ gg @aX @bXµ 4πα M One may then integrate over g, and shift the inte- one defines the following path-integral: gration variable X ! Xζ to get: Z [dX][dg] Z ζ Z = exp(−S[X; g]) [dζdX ] ζ −S[Xζ ;g^ζ ] Vgauge Z[^g] = ∆FP (^g )e Vgauge Here, the gauge group G is the group of By definition of the gauge group: reparametrizations of the world-sheet, as well as Weyl's transformations of the metric. G acts on S[Xζ ; g^ζ ] = S[X; g^] the space of metrics on M by taking the pull-back by any reparametrization of M and combining it and because: with a Weyl transformation of parameter !. Let Z 0 Z −1 0 ζ 2 G, then: [dζ0]δ(gζ − g^ζ ) = [dζ0]δ(g − g^ζ ζ ) c d 0 ζ 0 2!(σ) @σ @σ (ζ · g) (σ ) = g (σ ) = e g (σ) ζ αβ ab @σa @σb cd one also has: ∆FP (^g ) = ∆FP (^g) for every ζ. Thus, one can integrate over the fields ζ. In the Z path integral, one has to divide by This integration is trivial and only gives the vol- the gauge group's volume, in order to take into ume of the gauge group, because one had "three" account the fact that the space of fields is redun- gauge functions, namely the reparametrization of dant, in the sense that two different configurations the world-sheet by changing the two coordinates of fields on M can correspond to the same physical on M and the local rescaling of the metric, and the system. This is the sense of the gauge group's ac- gauge-fixing functions fix the three coordinates of tion on this space of fields: all orbits correspond to the metric on M. Unrigorously, it shows that the the same physical system. We can use the gauge measure of the remaining subgroup of G which freedom to fix some fields, for example, the metric, leaves the metric invariant is a measure zero sub- to a canonical form. Unfortunately, there may re- group. main some freedom, that is some non trivial gauge Eventually, ons is led to: transformation which leave the metric invariant, thus one has to take the quotient of the subman- Z ifold of the space of fields defined by the gauge- Z[^g] = [dX]∆FP (^g) exp(−S[X; g^]) fixing conditions.
Load more

Recommended publications
  • Perturbative Renormalization and BRST
    Perturbative renormalization and BRST Michael D¨utsch Institut f¨ur Theoretische Physik Universit¨at Z¨urich CH-8057 Z¨urich, Switzerland [email protected] Klaus Fredenhagen II. Institut f¨ur Theoretische Physik Universit¨at Hamburg D-22761 Hamburg, Germany [email protected] 1 Main problems in the perturbative quantization of gauge theories Gauge theories are field theories in which the basic fields are not directly observable. Field configurations yielding the same observables are connected by a gauge transformation. In the classical theory the Cauchy problem is well posed for the observables, but in general not for the nonobservable gauge variant basic fields, due to the existence of time dependent gauge transformations. Attempts to quantize the gauge invariant objects directly have not yet been completely satisfactory. Instead one modifies the classical action by adding a gauge fixing term such that standard techniques of perturbative arXiv:hep-th/0411196v1 22 Nov 2004 quantization can be applied and such that the dynamics of the gauge in- variant classical fields is not changed. In perturbation theory this problem shows up already in the quantization of the free gauge fields (Sect. 3). In the final (interacting) theory the physical quantities should be independent on how the gauge fixing is done (’gauge independence’). Traditionally, the quantization of gauge theories is mostly analyzed in terms of path integrals (e.g. by Faddeev and Popov) where some parts of the arguments are only heuristic. In the original treatment of Becchi, Rouet and Stora (cf. also Tyutin) (which is called ’BRST-quantization’), a restriction to purely massive theories was necessary; the generalization to the massless case by Lowenstein’s method is cumbersome.
    [Show full text]
  • 1 Hamiltonian Quantization and BRST -Survival Guide; Notes by Horatiu Nastase
    1 Hamiltonian quantization and BRST -survival guide; notes by Horatiu Nastase 1.1 Dirac- first class and second class constraints, quan- tization Classical Hamiltonian Primary constraints: φm(p; q) = 0 (1) imposed from the start. The equations of motion on a quantity g(q; p) are g_ = [g; H]P:B: (2) Define φm ∼ 0 (weak equality), meaning use the constraint only at the end of the calculation, then for consistency φ_m ∼ 0, implying [φm; H]P:B: ∼ 0 (3) The l.h.s. will be however in general a linearly independent function (of φm). If it is, we can take its time derivative and repeat the process. In the end, we find a complete set of new constrains from the time evolution, called secondary constraints. Together, they form the set of constraints, fφjg; j = 1; J. A quantity R(q; p) is called first class if [R; φj]P:B: ∼ 0 (4) for all j=1, J. If not, it is called second class. Correspondingly, constraints are also first class and second class, independent of being primary or sec- ondary. To the Hamiltonian we can always add a term linear in the constraints, generating the total Hamiltonian HT = H + umφm (5) where um are functions of q and p. The secondary constraint equations are [φm; HT ] ∼ [φm; H] + un[φm; φn] ∼ 0 (6) where in the first line we used that [un; φm]φn ∼ 0. The general solution for um is um = Um + vaVam (7) with Um a particular solution and Vam a solution to Vm[φj; φm] = and va arbitrary functions of time only.
    [Show full text]
  • Arxiv:1311.6429V2 [Math.AG]
    QUASI-HAMILTONIAN REDUCTION VIA CLASSICAL CHERN–SIMONS THEORY PAVEL SAFRONOV Abstract. This paper puts the theory of quasi-Hamiltonian reduction in the framework of shifted symplectic structures developed by Pantev, To¨en, Vaqui´eand Vezzosi. We compute the symplectic structures on mapping stacks and show how the AKSZ topological field theory defined by Calaque allows one to neatly package the constructions used in quasi- Hamiltonian reduction. Finally, we explain how a prequantization of character stacks can be obtained purely locally. 0. Introduction 0.1. This paper is an attempt to interpret computations of Alekseev, Malkin and Mein- renken [AMM97] in the framework of shifted symplectic structures [PTVV11]. Symplectic structures appeared as natural structures one encounters on phase spaces of classical mechanical systems. Classical mechanics is a one-dimensional classical field theory and when one goes up in the dimension shifted, or derived, symplectic structures appear. That is, given an n-dimensional classical field theory, the phase space attached to a d- dimensional closed manifold carries an (n−d−1)-shifted symplectic structure. For instance, if d = n − 1 one gets ordinary symplectic structures and for d = n, i.e. in the top dimension, one encounters (−1)-shifted symplectic spaces. These spaces can be more explicitly described as critical loci of action functionals. ∼ An n-shifted symplectic structure on a stack X is an isomorphism TX → LX [n] between the tangent complex and the shifted cotangent complex together with certain closedness conditions. Symplectic structures on stacks put severe restrictions on the geometry: for instance, a 0-shifted symplectic derived scheme is automatically smooth.
    [Show full text]
  • The Moment Map of a Lie Group Representation
    transactions of the american mathematical society Volume 330, Number 1, March 1992 THE MOMENT MAP OF A LIE GROUP REPRESENTATION N. J. WILDBERGER Abstract. The classical moment map of symplectic geometry is used to canoni- cally associate to a unitary representation of a Lie group G a G-invariant subset of the dual of the Lie algebra. This correspondence is in some sense dual to geometric quantization. The nature and convexity of this subset is investigated for G compact semisimple. Introduction Since Kirillov's fundamental paper [7], orbit theory has played an important role in the representation theory of Lie groups. The general philosophy is that there should be some connection between irreducible unitary representations of a Lie group G and orbits of the group in the dual 9* of its Lie algebra &. This connection should be functorial; the usual operations of restriction, induction, taking direct sums and tensor products of representations should correspond to geometric relationships between the associated coadjoint orbits. Properties of a representation such as square-integrability, temperedness etc. should be related to geometric aspects of the associated orbit. Kirillov's original theory showed that if G was a connected simply con- nected nilpotent Lie group one could establish such a bijection between the set of coadjoint orbits and the set of equivalence classes of irreducible unitary representations G by associating to each orbit a certain induced representa- tion. Kostant [9] noticed the close similarity between this association and what physicists refer to as quantization of a classical mechanical system, and he and Souriau [11] independently generalized this procedure to what is called geomet- ric quantization.
    [Show full text]
  • LECTURE 5 Let (M,Ω) Be a Connected Compact Symplectic Manifold, T A
    SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M; !) be a connected compact symplectic manifold, T a torus, T × M ! M a Hamiltonian action of T on M, and Φ: M ! t∗ the assoaciated moment map. Theorem 0.1 (The convexity theorem, Atiyah, Guillemin and Stern- berg, 1982). The image of Φ is a convex polytope. In this talk we will prove the convexity theorem. The proof given here is of Guillemin-Sternberg and is taken from [3]. We will then 1 discuss the case dim T = 2 dim M. Remark 0.1. We saw in Lecture 4 that for an Abelian group-action the equivariance condition amounts to the moment map being invariant; in case the group is a torus, the latter condition follows from Hamil- ξ ton's equation: dΦ = −ιξM ! for all ξ in the Lie algebra, see e.g., [4, Proposition 2.9]. 1. The local convexity theorem In the convexity theorem we consider torus actions on compact sym- plectic manifolds. However to understand moment maps locally, we will look at Hamiltonian torus actions on symplectic vector spaces. Example. T n = (S1)n acts on Cn by (a1; : : : ; an) · (z1; : : : ; zn) = (a1z1; : : : ; anzn): The symplectic form is n n X X ! = dxj ^ dyj = rjdrj ^ dθj j=1 j=1 iθj where zj = xj +iyj = rje . With a standard basis of the Lie algebra of T n, the action is generated by the vector fields @ for j = 1; : : : ; n and @θj n n the moment map is a map Φ = (Φ1;:::; Φn): C ! R . Hamilton's @ equation becomes dΦj = −ι( )!.
    [Show full text]
  • Gradient Flow of the Norm Squared of a Moment Map
    Gradient flow of the norm squared of a moment map Autor(en): Lerman, Eugene Objekttyp: Article Zeitschrift: L'Enseignement Mathématique Band (Jahr): 51 (2005) Heft 1-2: L'enseignement mathématique PDF erstellt am: 04.10.2021 Persistenter Link: http://doi.org/10.5169/seals-3590 Nutzungsbedingungen Die ETH-Bibliothek ist Anbieterin der digitalisierten Zeitschriften. Sie besitzt keine Urheberrechte an den Inhalten der Zeitschriften. Die Rechte liegen in der Regel bei den Herausgebern. Die auf der Plattform e-periodica veröffentlichten Dokumente stehen für nicht-kommerzielle Zwecke in Lehre und Forschung sowie für die private Nutzung frei zur Verfügung. Einzelne Dateien oder Ausdrucke aus diesem Angebot können zusammen mit diesen Nutzungsbedingungen und den korrekten Herkunftsbezeichnungen weitergegeben werden. Das Veröffentlichen von Bildern in Print- und Online-Publikationen ist nur mit vorheriger Genehmigung der Rechteinhaber erlaubt. Die systematische Speicherung von Teilen des elektronischen Angebots auf anderen Servern bedarf ebenfalls des schriftlichen Einverständnisses der Rechteinhaber. Haftungsausschluss Alle Angaben erfolgen ohne Gewähr für Vollständigkeit oder Richtigkeit. Es wird keine Haftung übernommen für Schäden durch die Verwendung von Informationen aus diesem Online-Angebot oder durch das Fehlen von Informationen. Dies gilt auch für Inhalte Dritter, die über dieses Angebot zugänglich sind. Ein Dienst der ETH-Bibliothek ETH Zürich, Rämistrasse 101, 8092 Zürich, Schweiz, www.library.ethz.ch http://www.e-periodica.ch L'Enseignement Mathématique, t. 51 (2005), p. 117-127 GRADIENT FLOW OF THE NORM SQUARED OF A MOMENT MAP by Eugene Lerman*) Abstract. We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map.
    [Show full text]
  • Propagators and Path Integrals
    NAT10NAAI. WSTITUUT VOOR KERNFYSICA EN NIKHEF-H/95-050 Propagators and Path Integrals J.W. van Holten NIKHEF-H, P.O. Box 41882 1009 DB Amsterdam NI, August 22, 1995 Abstract Path-integral expressions for one-particle propagators in scalar and ferinioaic field theories are derived, for arbitrary mass. This establishes a direct connection between field theory and specific classical point-particle models. The role of world-line rep&rametroation invaiiance of the classical action avnd the implementation of the corresponding BB5T-symmetry in the qutntuin theory are discussed. The presence of classical world-line supersymrnetry is shown to lead t/> an unwanted doubling of states for massive spin-1/2 particles. The origin of this phenomenon is traced to a 'hidden' topologies! fermionic excitation. A different formulation of the pseudo-classical mechan- ics using a bosonic representation of 71 is shown to remove those extra states at the expense of losing manifest supersymmetry. PilKHEf SECTIE - H POSTBUS 4188',!, 1009 DB A^STERDfW •UL ? 0 NJ 0 1 KS002045549 R: FI NL96FG754 DEOOSS87924 1 Introduction Because of their conceptual simplicity, path-integral methods [1, 2] often provide convenient procedures to obtain insight in field theoretical problems. In recent work by Strassler, McKeon, Schmidt, Schubert and others [3]-[7] world-line path integrals have been applied to a reformulation of standard Feynman perturbation theory from which useful information on the structure of perturbative Green's functions is extracted. Some of these results were actually first derived in the particle-limit of string theory [8]. A basic question in this context is the representation of propagators in quantum field theory by path integrals for relativistic particles of various kind.
    [Show full text]
  • Symplectic Topology, Geometry and Gauge Theory Lisa Jeffrey
    Symplectic Topology, Geometry and Gauge Theory Lisa Jeffrey 1 Symplectic geometry has its roots in classical mechanics. A prototype for a symplectic manifold is the phase space which parametrizes the position q and momentum p of a classical particle. If the Hamiltonian (kinetic + potential en- ergy) is p2 H = + V (q) 2 then the motion of the particle is described by Hamilton’s equations dq ∂H = = p dt ∂p dp ∂H ∂V = − = − dt ∂q ∂q 2 In mathematical terms, a symplectic manifold is a manifold M endowed with a 2-form ω which is: • closed: dω = 0 (integral of ω over a 2-dimensional subman- ifold which is the boundary of a 3-manifold is 0) • nondegenerate (at any x ∈ M ω gives a map ∗ from the tangent space TxM to its dual Tx M; nondegeneracy means this map is invertible) If M = R2 is the phase space equipped with the Hamiltonian H then the symplectic form ω = dq ∧ dp transforms the 1-form ∂H ∂H dH = dp + dq ∂p ∂q to the vector field ∂H ∂H X = (− , ) H ∂q ∂p 3 The flow associated to XH is the flow satisfying Hamilton’s equations. Darboux’s theorem says that near any point of M there are local coordinates x1, . , xn, y1, . , yn such that Xn ω = dxi ∧ dyi. i=1 (Note that symplectic structures only exist on even-dimensional manifolds) Thus there are no local invariants that distin- guish between symplectic structures: at a local level all symplectic forms are identical. In contrast, Riemannian metrics g have local invariants, the curvature tensors R(g), such that if R(g1) =6 R(g2) then there is no smooth map that pulls back g1 to g2.
    [Show full text]
  • Hamiltonian Manifolds and Moment Map
    Hamiltonian manifolds and moment map. Nicole BERLINE and Mich`eleVERGNE July 4, 2011 Contents 1 Setup of Hamiltonian manifolds 5 1.1 Tangent and normal vector bundle . 5 1.2 Calculus on differential forms . 6 1.2.1 de Rham differential . 6 1.2.2 Contraction by vector fields . 8 1.2.3 Lie derivative with respect to a vector field. Cartan's Homotopy Formula . 8 1.3 Action of a Lie group on a manifold . 9 1.4 Symplectic manifold. Hamiltonian action . 10 1.4.1 Symplectic vector space . 10 1.4.2 Symplectic form. Darboux coordinates . 11 1.4.3 Hamiltonian vector field . 12 1.4.4 Moment map. Hamiltonian manifold . 13 2 Examples of Hamiltonian manifolds 15 2.1 Cotangent bundle . 15 2.2 Symplectic and Hermitian vector spaces . 16 2.3 Complex projective space . 17 2.4 Coadjoint orbits . 20 3 Reduced spaces 21 3.1 Fiber bundles . 21 3.1.1 Fibration . 21 3.1.2 Actions of compact Lie groups, linearization. 22 3.1.3 Free action of a Lie group . 23 1 3.1.4 Principal bundles. Basic differential forms . 24 3.2 Pre-Hamiltonian manifold . 26 3.2.1 Examples of pre-Hamiltonian manifolds . 26 3.2.2 Consequences of Hamilton equation. Homogeneous man- ifolds and coadjoint orbits . 27 3.3 Hamiltonian reduction . 29 4 Duistermaat-Heckman measure 31 4.1 Poincar´eLemma . 31 4.2 Pre-Hamiltonian structures on P × g∗. 33 4.3 Push-forward of the Liouville measure. 35 4.4 Push-forward of the Liouville measure and volume of the re- duced space .
    [Show full text]
  • The Moment Map and Equivariant Cohqmology
    MJ4&Y383/84 $3.00 + .w I( 1984 Pergamon Press Ltd THE MOMENT MAP AND EQUIVARIANT COHQMOLOGY M. F. ATIYAH and R. BOTT (Received20 December1982) $1. INTRODUCTION THE PURPOSEof this note is to present a de Rham version of the localization theorems of equivariant cohomology, and to point out their relation to a recent result of Duistermaat and Heckman and also to a quite independent result of Witten. To a large extent all the material that we use has been around for some time, although equivariant cohomology is not perhaps familiar to analysts. Our contribution is therefore mainly an expository one linking together various points of view. The paper of Duistermaat and Heckman [ 1 l] which was our initial stimulus concerns the moment mapf:M+R’ for the action of a torus T’ on a compact symplectic manifold M. Their theorem asserts that the push-forward byfof the symplectic (or Liouville) measure on A4 is a piece-wise polynomial measure on R’. An equivalent version is that the Fourier transform of this measure (which is the integral over A4 of e-i(c,fi) is exactly given by stationary phase approximation. For example when I = 1 (so that T’is the circle S) and the fixed points of the action are isolated points P, we have the exact formula , where (u is the symplectic 2-form on M and the e(P) are certain integers attached to the infinitesimal action of S at P. This principle, that stationary-phase is exact when the “Hamiltonian”fcomes from a circle action, is such an attractive result that it seemed to us to deserve further study.
    [Show full text]
  • BRST Quantization of Yang-Mills Theory: a Purely Hamiltonian Approach on Fock Space
    PHYSICAL REVIEW D 97, 074006 (2018) BRST quantization of Yang-Mills theory: A purely Hamiltonian approach on Fock space Hans Christian Öttinger* ETH Zürich, Department of Materials, Polymer Physics, HCP F 47.2, CH-8093 Zürich, Switzerland (Received 1 March 2018; published 3 April 2018) We develop the basic ideas and equations for the BRST quantization of Yang-Mills theories in an explicit Hamiltonian approach, without any reference to the Lagrangian approach at any stage of the development. We present a new representation of ghost fields that combines desirable self-adjointness properties with canonical anticommutation relations for ghost creation and annihilation operators, thus enabling us to characterize the physical states on a well-defined Fock space. The Hamiltonian is constructed by piecing together simple BRST invariant operators to obtain a minimal invariant extension of the free theory. It is verified that the evolution equations implied by the resulting minimal Hamiltonian provide a quantum version of the classical Yang-Mills equations. The modifications and requirements for the inclusion of matter are discussed in detail. DOI: 10.1103/PhysRevD.97.074006 I. INTRODUCTION The purpose of this paper is to show in the context of BRST quantization is a pivotal tool in developing Yang-Mills theories how all the above facets can be theories of the fundamental interactions, where the acro- handled entirely within the Hamiltonian approach, where nym BRST refers to Becchi, Rouet, Stora [1] and Tyutin explicit constructions on a suitable Fock space allow for a [2]. This method for handling constraints in the quantiza- maximum of intuition. The focus on Fock space implies a (quantum) particle interpretation rather than a field tion of field theories usually requires a broad viewpoint idealization.
    [Show full text]
  • Hamiltonian Actions of Unipotent Groups on Compact K\" Ahler
    Épijournal de Géométrie Algébrique epiga.episciences.org Volume 2 (2018), Article Nr. 10 Hamiltonian actions of unipotent groups on compact Kähler manifolds Daniel Greb and Christian Miebach Abstract. We study meromorphic actions of unipotent complex Lie groups on compact Kähler manifolds using moment map techniques. We introduce natural stability conditions and show that sets of semistable points are Zariski-open and admit geometric quotients that carry compactifiable Kähler structures obtained by symplectic reduction. The relation of our complex-analytic theory to the work of Doran–Kirwan regarding the Geometric Invariant Theory of unipotent group actions on projective varieties is discussed in detail. Keywords. Unipotent algebraic groups; automorphisms of compact Kähler manifolds; Kähler metrics on fibre bundles and homogeneous spaces; moment maps; symplectic reduction; Geomet- ric Invariant Theory 2010 Mathematics Subject Classification. 32M05; 32M10; 32Q15; 14L24; 14L30; 37J15; 53D20 [Français] Titre. Actions hamiltoniennes des groupes unipotents sur les variétés kählériennes com- pactes Résumé. Nous étudions les actions méromorphes de groupes de Lie complexes unipotents sur les variétés kählériennes compactes en utilisant des techniques de type application moment. Nous introduisons des conditions de stabilité naturelles et nous montrons que l’ensemble des points semi-stables forme un ouvert de Zariski et admet des quotients géométriques munis de structures kählériennes compactifiables obtenues par réduction symplectique. Le parallèle entre notre théorie analytique complexe et les travaux de Doran–Kirwan concernant la Théorie Géométrique des Invariants des actions de groupes unipotents sur les variétés projectives est discuté en détails. arXiv:1805.02551v2 [math.CV] 8 Nov 2018 Received by the Editors on May 8, 2018, and in final form on September 6, 2018.
    [Show full text]