Constrained systems,OSP(1,1|2) and string theory

The underlying OSP invariance of the Fradkin-Vilkovisky formalism is discussed. Ghost degrees of freedom are interpreted as negative dimensional phase space variables that eliminate unphysical degrees of freedom by the Parisi-Sourlas mechanism, ensuring manifest covariance. The formalism makes use of subsidiary constraints, extending the usual algebra of constraints. A relations between abelian and nonabelian constraint algebras is established, and exploited to construct a nonabelian representation of the OSP generators. For theories based entirely on constraints such as string theories, the natural Fradkin-Vilkovisky hamiltonian is a manifestly OSP invariant squared length of a graded phase space vector. As an application, the OSP covariant formulation of bosonic strings is discussed.     

The quantum theory of second class constraints: Kinematics

The problem of second class quantum constraints is here set up in the context ofC*-algebras, utilizing the connection with state conditions as given by the heuristic quantization rules. That is, a constraint set is said to be first class if all its members can satisfy the same state condition, and second class otherwise. Several heuristic models are examined, and they all agree with this definition. Given then a second class constraint set, we separate out its first class part as all those constraints which are compatible with the others, and we propose an algebraic construction for imposition of the constraints. This construction reduces to the normal one when the constraints are first class. Moreover, the physical automorphisms (assumed as conserving the constraints) will also respect this construction. The final physical algebra obtained is free of constraints, gauge invariant, unital, and with the right choice, simple. ThisC*-algebra also contains a factor algebra of the usual observables, i.e. the commutator algebra of the constraints. The general theory is applied to two examples—the elimination of a canonical pair from a boson field theory, as in the two dimensional anomalous chiral Schwinger model of Rajaraman [14], and the imposition of quadratic second class constraints on a linear boson field theory.     

Structure constants for the osp(1|2) current algebra

We study the free field realization of the two-dimensional osp(1|2) current algebra. We consider the case in which the level of the affine osp(1|2) symmetry is a positive integer. Using the Coulomb gas technique we obtain integral representations for the conformal blocks of the model. In particular, from the behaviour of the four-point function, we extract the structure constants for the product of two arbitrary primary operators of the theory. From this result we derive the fusion rules of the osp(1|2) conformal field theory and we explore the connections between the osp(1|2) affine symmetry and the N = 1 superconformal field theories.     

OSP(1,1|2) and Parisi-Sourlas supersymmetry for closed strings

Nonabelian OSP(1,1|2) generators for a closed string are constructed and the hole role of subsidiary constraints in dealing with the zero modes is explained.     

Algebraic approach to the geometry of the (super-) string model

We discuss the extension of constraint algebras to include subsidiary constraints within a larger algebra. The interplay between various mathematical aspects of this procedure is described. Tools from Lie algebra cohomology and differential geometry are used to gain new insights into BRS techniques for nonabelian constrained systems. We show that cohomology considerations restrict our formalism to non-semisimple constraint algebras, such as the (super-) string model; we illustrate the ideas by presenting concrete results for this case.     

Canonical Basis for Quantum {\mathfrak{osp}(1|2)}

We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra ${\mathfrak{osp}(1|2)}$ . Then we formulate and compute the corresponding canonical bases, and relate them to the counterpart for ${\mathfrak{sl}(2)}$ . This provides a first example of canonical basis for quantum superalgebras.     

QCD on an Infinite Lattice

We construct a mathematically well–defined framework for the kinematics of Hamiltonian QCD on an infinite lattice in ${\mathbb{R}^3}$ , and it is done in a C*-algebraic context. This is based on the finite lattice model for Hamiltonian QCD developed by Kijowski, Rudolph e.a.. To extend this model to an infinite lattice, we need to take an infinite tensor product of nonunital C*-algebras, which is a nonstandard situation. We use a recent construction for such situations, developed by Grundling and Neeb. Once the field C*-algebra is constructed for the fermions and gauge bosons, we define local and global gauge transformations, and identify the Gauss law constraint. The full field algebra is the crossed product of the previous one with the local gauge transformations. The rest of the paper is concerned with enforcing the Gauss law constraint to obtain the C*-algebra of quantum observables. For this, we use the method of enforcing quantum constraints developed by Grundling and Hurst. In particular, the natural inductive limit structure of the field algebra is a central component of the analysis, and the constraint system defined by the Gauss law constraint is a system of local constraints in the sense of Grundling and Lledo. Using the techniques developed in that area, we solve the full constraint system by first solving the finite (local) systems and then combining the results appropriately. We do not consider dynamics.     

Constraint Algebra for Regge-Teitelboim Formulation of Gravity

We consider the formulation of the gravity theory first suggested by Regge and Teitelboim where the space-time is a four-dimensional surface in a flat ten-dimensional space. We investigate a canonical formalism for this theory following the approach suggested by Regge and Teitelboim. Under constructing the canonical formalism we impose additional constraints agreed with the equations of motion. We obtain the exact form of the first-class constraint algebra. We show that this algebra contains four constraints which form a subalgebra (the ideal), and if these constraints are fulfilled, the algebra becomes the constraint algebra of the Arnowitt-Deser-Misner formalism of Einstein’s gravity. The reasons for the existence of additional first-class constraints in the canonical formalism are discussed.     

On the constraint algebra of quantum gravity in the loop representation

Although an important issue in canonical quantization, the problem of representing the constraint algebra in the loop representation of quantum gravity has received little attention. The only explicit computation was performed by Gambini, Garat, and Pullin for a formal point-splitting regularization of the diffeomorphism and Hamiltonian constraints. It is shown that the calculation of the algebra simplifies considerably when the constraints are expressed not in terms of generic area derivatives but rather as the specific shift operators that reflect the geometric meaning of the constraints.     

Spinor Field as Elementary Excitations of a System of Scalar Fields

The Dirac field and its quanta are obtained from the imposition of an infinite member of Dirac 2 nd class constraints on a system of complex scalar fields having an indefinite internal metric. The spin-1/2 character of the constrained system follows from constraint-induced coupling of the scalar system's independent internal and space-time symmetries, from constraint restrictions on allowed symmetries. The resulting spinor field quanta are seen to exist as a class of elementary excitations belonging to a dynamical algebra existing naturally within the system of complex scalar fields.     

On free 4D Abelian 2-form and anomalous 2D Abelian 1-form gauge theories

We demonstrate a few striking similarities and some glaring differences between (i) the free four- (3+1)-dimensional (4D) Abelian 2-form gauge theory, and (ii) the anomalous two- (1+1)-dimensional (2D) Abelian 1-form gauge theory, within the framework of Becchi–Rouet–Stora–Tyutin (BRST) formalism. We demonstrate that the Lagrangian densities of the above two theories transform in a similar fashion under a set of symmetry transformations even though they are endowed with a drastically different variety of constraint structures. With the help of our understanding of the 4D Abelian 2-form gauge theory, we prove that the gauge-invariant version of the anomalous 2D Abelian 1-form gauge theory is a new field-theoretic model for the Hodge theory where all the de Rham cohomological operators of differential geometry find their physical realizations in the language of proper symmetry transformations. The corresponding conserved charges obey an algebra that is reminiscent of the algebra of the cohomological operators. We briefly comment on the consistency of the 2D anomalous 1-form gauge theory in the language of restrictions on the harmonic state of the (anti-) BRST and (anti-) co-BRST invariant version of the above 2D theory.     

超对称电动力学系统的Faddeev-Senjanovic量子化

用Faddeev-Senjanovic量子化方法对超对称电动力学系统在一般情况下进行了量子化, 得到了格林函数的生成泛函. 通过对一些约束作线性组合获得了另一个第一类约束, 构造出了该体系的规范生成元, 导出了该系统的规范不变的对称变. 由一个规范条件的自恰性导出了另一个规范条件, 发现超对称电动力学系统的次级第一类约束对应物理电荷守恒律, 从而使过去要算很多次级约束才能截断的约束自然截断, 因而使超对称电动力学系统在一般情况下的Faddeev-Senjanovic量子化被简化.     

New formulation of Horava-Lifshitz quantum gravity as a master constraint theory

Both projectable and non-projectable versions of Horava-Lifshitz gravity face serious challenges. In the non-projectable version, the constraint algebra is seemingly inconsistent. The projectable version lacks a local Hamiltonian constraint, thus allowing for an extra scalar mode which can be problematic. A new formulation of non-projectable Horava-Lifshitz gravity, naturally realized as a representation of the master constraint algebra studied by loop quantum gravity researchers, is presented. This yields a consistent canonical theory with first class constraints. It captures the essence of Horava-Lifshitz gravity in retaining only spatial diffeomorphisms (instead of full space-time covariance) as the physically relevant non-trivial gauge symmetry; at the same time the local Hamiltonian constraint needed to eliminate the extra mode is equivalently enforced by the master constraint.     

Virasoro symmetry of constrained KP hierarchies

The conventional formulation of additional nonisospectral sysmmetries for the full Kadomtsev-Petviashvili (KP) integrable hierarchy is not compatible with the reduction to the important class of constrained KP (cKP) integrable models. This paper solves explicitly the problem of compatibility of the Virasoro part of additional symmetries with the underlying constraints of cKP hierarchies. Our construction involves an appropriate modification of the standard additional-symmetry flows by adding a set of “ghost symmetry” flows. We also discuss the special case of cKP — truncated KP hierarchies, obtained as Darboux-Bäcklund orbits of initial purely differential Lax operators. Our construction establishes the condition for commutativity of the additional-symmetry flows with the discrete Darboux-Bäcklund transformations of cKP hierarchies leading to a new derivation of the string-equation constraint in matrix models.     

BRST Extension of Geometric Quantization

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 BRST operators 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.     

The Quantum Superalgebra {\mathfrak{osp}_{q}(1|2)} and a q-Generalization of the Bannai–Ito Polynomials

The Racah problem for the quantum superalgebra \({\mathfrak{osp}_{q}(1|2)}\) is considered. The intermediate Casimir operators are shown to realize a q-deformation of the Bannai–Ito algebra. The Racah coefficients of \({\mathfrak{osp}_q(1|2)}\) are calculated explicitly in terms of basic orthogonal polynomials that q-generalize the Bannai–Ito polynomials. The relation between these q-deformed Bannai–Ito polynomials and the q-Racah/Askey–Wilson polynomials is discussed.     

On the study of unitary representations of the twisted Heisenberg-Virasoro algebra via highest weight modules over affine Lie algebras

In this paper, we first construct an analogue of the Sugawara operators for the twisted Heisenberg-Virasoro algebra. By using these operators, we show that every integrable highest weight module over an affine Lie algebra can be viewed as a unitary representation of the twisted Heisenberg-Virasoro algebra. As a by-product of our constructions, we give the unitary representations of the twisted Heisenberg-Virasoro algebra which have the central charges appearing in [1]. Our approach to obtain these central charges is different with that of [1].     

General Dyson–Schwinger Equations and Systems

We classify combinatorial Dyson–Schwinger equations giving a Hopf subalgebra of the Hopf algebra of Feynman graphs of the considered Quantum Field Theory. We first treat single equations with an arbitrary (eventually infinite) number of insertion operators. We distinguish two cases; in the first one, the Hopf subalgebra generated by the solution is isomorphic to the Faà di Bruno Hopf algebra or to the Hopf algebra of symmetric functions; in the second case, we obtain the dual of the enveloping algebra of a particular associative algebra (seen as a Lie algebra). We also treat systems with an arbitrary finite number of equations, with an arbitrary number of insertion operators, with at least one of degree 1 in each equation.