Jet Coordinates for Local BRST Cohomology

The construction of appropriate jet space coordinates for calculating local BRST cohomology groups is discussed. The relation to tensor calculus is briefly reviewed too.     

General Formalism for the BRST Symmetry

In this paper we will discuss Faddeev-Popov method for gauge theories with a general form of gauge symmetry in an abstract way. We will then develope a general formalism for dealing with the BRST symmetry. This formalism will make it possible to analyse the BRST symmetry for any theory.     

BRST analysis of general mechanical systems

We study the groups of local BRST cohomology associated to the general systems of ordinary differential equations, not necessarily Lagrangian or Hamiltonian. Starting with the involutive normal form of the equations, we explicitly compute certain cohomology groups having clear physical meaning. These include the groups of global symmetries, conservation laws and Lagrange structures. It is shown that the space of integrable Lagrange structures is naturally isomorphic to the space of weak Poisson brackets. The last fact allows one to establish a direct link between the path-integral quantization of general not necessarily variational dynamics by means of Lagrange structures and the deformation quantization of weak Poisson brackets.     

Front-Form Hamiltonian, Path Integral, and BRST Formulations of the Siegel Action

The Siegel action describing the chiral bosons in one-space one-time dimension is considered on the light-front. The front-form theory is seen to possess a set of three first-class constraints and consequently a local vector gauge symmetry. The front-form Hamiltonian, path integral and BRST formulations of this front-form theory are investigated under some specific gauge choices.     

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.     

BRST invariance and the conical pendulum

The Hamiltonian formulation of the BRST method for quantizing constrained systems developed recently by Nemeschanskyet al is applied to the well-known problem of the conical pendulum in classical mechanics. The similarity of the system to a gauge theory wherein the two constraints serve as generators of local Abelian gauge transformations is also pointed out. The definition of the physical states of the system as a gauge theory and also as a BRST invariant theory is then discussed in some detail.     

BRST invariance in Coulomb gauge QCD

In the Coulomb gauge, the Hamiltonian of QCD contains terms of order ?²${?}^2$, identified by Christ and Lee, which are non-local but instantaneous. The question is addressed how do these terms fit in with BRST invariance. Our discussion is confined to the simplest, O(g⁴)$O\left(g^4\right)$, example.     

Generalised BRST symmetry and gaugeon formalism for perturbative quantum gravity: Novel observation

In this paper the novel features of Yokoyama gaugeon formalism are stressed out for the theory of perturbative quantum gravity in the Einstein curved spacetime. The quantum gauge transformations for the theory of perturbative gravity are demonstrated in the framework of gaugeon formalism. These quantum gauge transformations lead to renormalised gauge parameter. Further, we analyse the BRST symmetric gaugeon formalism which embeds more acceptable Kugo–Ojima subsidiary condition. Further, the BRST symmetry is made finite and field-dependent. Remarkably, the Jacobian of path integral under finite and field-dependent BRST symmetry amounts to the exact gaugeon action in the effective theory of perturbative quantum gravity.     

Iterated BRST Cohomology

The iterated BRST cohomology is studied by computing cohomology of the variational complex on the infinite order jet space of a smooth fibre bundle. This computation also provides a solution of the global inverse problem of the calculus of variations in Lagrangian field theory.     

Completeness of Eigenfunction Systems for Off-Diagonal Infinite-Dimensional Hamiltonian Operators

For the off-diagonal infinite dimensional Hamiltonian operators, which have at most countable eigenvalues, a necessary and sufficient condition of the eigenfunction systems to be complete in the sense of Cauchy principal value is presented by using the spectral symmetry and new orthogonal relationship of the operators. Moreover, the above result is extended to a more general case. At last, the completeness of eigenfunction systems for the operators arising from the isotropic plane magnetoelectroelastic solids is described to illustrate the effectiveness of the criterion. The whole results offer theoretical guarantee for separation of variables in Hamiltonian system for some mechanics equations.     

BRST quantization and canonical Ward identity of the supersymmetric electromagnetic interaction system

According to the method of path integral quantization for the canonical constrained system in Becchi-Rouet-Stora-Tyutin scheme, the supersymmetric electromagnetic interaction system was quantized. Both the Hamiltonian of the supersymmetric electromagnetic interaction system in phase space and the quantization procedure were simplified. The BRST generator was constructed, and the BRST transformations of supersymmetric fields were gotten; the effective action was calculated, and the generating functional for the Green function was achieved; also, the gauge generator was constructed, and the gauge transformation of the system was obtained. Finally, the Ward-Takahashi identities based on the canonical Noether theorem were calculated, and two relations between proper vertices and propagators were obtained. Supported by Knowledge Innovation Project of the Chinese Academy of Sciences (Grant Nos. KJCX2-SW-N02 and KJCX2-SW-N016), the National Natural Science Foundation of China (Grant Nos. 10435080 and 10575123), Beijing Natural Science Foundation (Grant No. 1072005) and the Science and Technology Development Foundation of Beijing Municipal Education Committee (Grant No. Km200310005018)     

Becchi-Rouet-Stora-Tyutin quantization and Hamiltonian formalism

An introductory review of BRST hamiltonian formalism is presented. The method of quantization of gauge and string theories is discussed. A few simple examples are presented to illustrate the BRST techniques.     

Invertibility of Infinite-Dimensional Hamiltonian Operators and Its Application to Plate Bending Equation

The results of invertibility and spectrum for some different classes of infinite-dimensional Hayniltonian operators, after a brief classification by domains. are given. By the above results, the associated infinite-dimensional Hamiltonian operator with simple supported rectangular plate is proved to be invertible. Furthermore, by a certain compactness, we find that the spectrum of this operator consists only of isolated eigenvalues with finite geometric multiplicity, which will play a significant role in finding the analytical and numerical solution based on Hamiltonian system for a class of plate bending equations.     

A characterization of the Hamiltonian

The classical Hamiltonian ) of the very classical quantum harmonic oscillator, which is regarded as a germ of the most of what comes about in quantum mechanics, can be sublimed to an abstract operator in a separable Hilbert space. Having this done one may ask for a condition which would allow it to be identified among operators of a suitable class. This class is that corresponding to three diagonal matrices and the property which makes the action successful is a kind of diagonal invariance (up to change of basis) within the class in question.     

Spectra of Off-diagonal Infinite-Dimensional Hamiltonian Operators and Their Applications to Plane Elasticity Problems

In the present paper, the spectrums of off-diagonal infinite-dimensional Hamiltonian operators are studied. At first, we prove that the spectrum, the continuous-spectrum, and the union of the point-spectrum and residual- spectrum of the operators are symmetric with respect to real axis and imaginary axis. Then for the purpose of reducing the dimension of the studied problems, the spectrums of the operators are expressed by the spectrums of the product of two self-adjoint operators in state spac,3. At last, the above-mentioned results are applied to plane elasticity problems, which shows the practicability of the results.     

Hamiltonian BRST and Batalin-Vilkovisky Formalisms for Second Quantization of Gauge Theories

Gauge theories that have been first quantized using the Hamiltonian BRST operator formalism are described as classical Hamiltonian BRST systems with a BRST charge of the form and with natural ghost and parity degrees for all fields. The associated proper solution of the classical Batalin-Vilkovisky master equation is constructed from first principles. Both of these formulations can be used as starting points for second quantization. In the case of time reparametrization invariant systems, the relation to the standard master action is established.Research Associate of the National Fund for Scientific Research (Belgium)Postdoctoral Visitor of the National Fund for Scientific Research (Belgium)     

New Convenient Way for Disentangling Exponential Operator Composed of Angular Momentum Operators

In the preceding paper (Commun. Theor. Phys. 51 (2009) 321) we have recommended a convenient method for disentangling exponential operators. In this work we use this method for disentangling exponential operators composed of angular momentum operators. We mainly disentangle the form of exp [ 2hJ_z+gJ₊+kJ_-] as the ordering exp(... J₊) exp (...J_z)exp(...J_-), we employ the Schwinger Bose realization J_-=b⁺a, J₊=a⁺b, J_z=( a⁺a-b⁺b)/2 to fulfil this task, without appealing to Lie algebra method. Note that this operator's disentangling is different from its decomposition in normal ordering.     

Time Evolution Caused by Hamiltonian Composed of Quadratic Combination of Canonical Operators and Time-Dependent Two-Mode Fresnel Operator

We show that the time-dependent two-mode Fresnel operator is just the time-evolutional unitary operator governed by the Hamiltonian composed of quadratic combination of canonical operators in the way of exhibiting SU（1,1） algebra. This is an approach for obtaining the time-dependent Hamiltonian from the preassigned time evolution in classical phase space, an approach which is in contrast to Lewis-Riesenfeld＇s invariant operator theory of treating timedependent harmonic oscillators.     

Existence and Completeness of the Wave Operators for Higher Order Differential Operators

The aim of the present paper is to study the existence and the completeness of the wave operators for elliptic operators of higher order (Schr?dinger operator) with short-range potential of the form: and other related results by using the trace class method. MSC: 2000 46N50, 47Dxx, 47F05.