-
Infinite dimensional super Lie groups
Authors:
James Cook,
Ronald Fulp
Abstract:
A super Lie group is a group whose operations are $G^{\infty}$ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are $G^{\infty}$ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of ge…
▽ More
A super Lie group is a group whose operations are $G^{\infty}$ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are $G^{\infty}$ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators. In this context, we prove that if $\hfrak$ is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group $\Gcal,$ then $\hfrak$ is the super Lie algebra of a sub-super Lie group of $\Gcal.$ Additionally, we show that if $\gfrak$ is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group $\Gcal$ such that the even part of $\gfrak$ is the even part of the super Lie algebra of $\Gcal.$ In general, the module structure on $\gfrak$ is required to obtain $\Gcal,$ but the "structure constants" involving the odd part of $\gfrak$ can not be recovered without further restrictions. We also show that if $\Hcal$ is a closed sub-super Lie group of a super Lie group $\Gcal,$ then $\Gcal \rar \Gcal/\Hcal$ is a principal fiber bundle. Finally, we show that if $\gfrak$ is a graded Lie algebra over $C,$ then there is a super Lie group whose super Lie algebra is the Grassmann shell of $\gfrak.$ We also briefly relate our theory to techniques used in the physics literature.
△ Less
Submitted 24 October, 2006;
originally announced October 2006.
-
BRST Extension of Geometric Quantization
Authors:
Ronald Fulp
Abstract:
Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constra…
▽ More
Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constrained states has a well-defined Hilbert space structure inherited from that of the original system. Treatments of these ideas in the Physics literature are more general but suffer from having states with infinite or zero "norms" and thus are not admissible as states. Also the BRST operator for many systems require regularization to be well-defined. In our more restricted context we show that our treatment does not suffer from any of these difficulties. This work was submitted for publication March 21,2006.
△ Less
Submitted 12 April, 2006;
originally announced April 2006.
-
Functionals and the Quantum Master Equation
Authors:
Ronald Fulp
Abstract:
The quantum master equation is usually formulated in terms of functionals of the components of mappings from a space-time manifold M into a finite-dimensional vector space. The master equation is the sum of two terms one of which is the anti-bracket (odd Poisson bracket) of functionals and the other is the Laplacian of a functional. Both of these terms seem to depend on the fact that the mapping…
▽ More
The quantum master equation is usually formulated in terms of functionals of the components of mappings from a space-time manifold M into a finite-dimensional vector space. The master equation is the sum of two terms one of which is the anti-bracket (odd Poisson bracket) of functionals and the other is the Laplacian of a functional. Both of these terms seem to depend on the fact that the mappings on which the functionals act are vector-valued. It turns out that neither this Laplacian nor the anti-bracket is well-defined for sections of an arbitrary vector bundle. We show that if the functionals are permitted to have their values in an appropriate graded tensor algebra whose factors are the dual of the space of smooth functions on M, then both the anti-bracket and the Laplace operator can be invariantly defined. Additionally, one obtains a new anti-bracket for ordinary functionals.
△ Less
Submitted 23 March, 2005;
originally announced March 2005.
-
Noether's variational theorem II and the BV formalism
Authors:
Ron Fulp,
Tom Lada,
Jim Stasheff
Abstract:
We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly…
▽ More
We review the basics of the Lagrangian approach to field theory and recast Noether's Second Theorem formulated in her language of dependencies using a slight modernization of terminology and notation. We then present the Cattaneo-Felder sigma model and work out the Noether identities or dependencies for this model. We review the description of the Batalin-Vilkovisky formalism and show explicitly how the anti-ghosts encode the Noether identities in this example.
△ Less
Submitted 7 April, 2002;
originally announced April 2002.
-
Algebra Structures on Hom(C,L)
Authors:
G. Barnich,
R. Fulp,
T. Lada,
J. Stasheff
Abstract:
We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of suc…
▽ More
We consider the space of linear maps from a coassociative coalgebra C into a Lie algebra L. Unless C has a cocommutative coproduct, the usual symmetry properties of the induced bracket on Hom(C,L) fail to hold. We define the concept of twisted domain (TD) algebras in order to recover the symmetries and also construct a modified Chevalley-Eilenberg complex in order to define the cohomology of such algebras.
△ Less
Submitted 23 June, 1999;
originally announced June 1999.
-
The sh Lie structure of Poisson brackets in field theory
Authors:
G. Barnich,
R. Fulp,
T. Lada,
J. Stasheff
Abstract:
A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential al…
▽ More
A general construction of an sh Lie algebra from a homological resolution of a Lie algebra is given. It is applied to the space of local functionals equipped with a Poisson bracket, induced by a bracket for local functions along the lines suggested by Gel'fand, Dickey and Dorfman. In this way, higher order maps are constructed which combine to form an sh Lie algebra on the graded differential algebra of horizontal forms. The same construction applies for graded brackets in field theory such as the Batalin-Fradkin-Vilkovisky bracket of the Hamiltonian BRST theory or the Batalin-Vilkovisky antibracket.
△ Less
Submitted 25 February, 1997;
originally announced February 1997.
