Showing 1–50 of 76 results for author: Batalin, I

Ideals generated by traces in the symplectic reflection algebra $H_{1,ν_1, ν_2}(I_2(2m))$. II

Authors: I. A. Batalin, S. E. Konstein, I. V. Tyutin

Abstract: The associative algebra of symplectic reflections $\mathcal H:= H_{1,ν_1, ν_2}(I_2(2m))$ based on the group generated by the root system $I_2(2m)$ has two parameters, $ν_1$ and $ν_2$. For every value of these parameters, the algebra $\mathcal H$ has an $m$-dimensional space of traces. A given trace ${\rm tr}$ is called degenerate if the associated bilinear form $B_{\rm tr}(x,y)={\rm tr}(xy)$ is de… ▽ More The associative algebra of symplectic reflections $\mathcal H:= H_{1,ν_1, ν_2}(I_2(2m))$ based on the group generated by the root system $I_2(2m)$ has two parameters, $ν_1$ and $ν_2$. For every value of these parameters, the algebra $\mathcal H$ has an $m$-dimensional space of traces. A given trace ${\rm tr}$ is called degenerate if the associated bilinear form $B_{\rm tr}(x,y)={\rm tr}(xy)$ is degenerate. Previously, there were found all values of $ν_1$ and $ν_2$ for which there are degenerate traces in the space of traces, and consequently the algebra $\mathcal H$ has a two-sided ideal. We proved earlier that any linear combination of degenerate traces is a degenerate trace. It turns out that for certain values of parameters $ν_1$ and $ν_2$, degenerate traces span a 2-dimensional space. We prove that non-zero traces in this $2d$ space generate three proper ideals of $\mathcal H$. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1612.00536

Report number: FIAN-TD-2021-17

Ideals generated by traces or by supertraces in the symplectic reflection algebra $H_{1,ν}(I_2(2m+1))$ II

Authors: I. A. Batalin, S. E. Konstein, I. V. Tyutin

Abstract: The algebra $\mathcal H:= H_{1,ν}(I_2(2m+1))$ of observables of the Calogero model based on the root system $I_2(2m+1)$ has an $m$-dimensional space of traces and an $(m+1)$-dimensional space of supertraces. In the preceding paper we found all values of the parameter $ν$ for which either the space of traces contains a~degenerate nonzero trace $tr_ν$ or the space of supertraces contains a~degenerat… ▽ More The algebra $\mathcal H:= H_{1,ν}(I_2(2m+1))$ of observables of the Calogero model based on the root system $I_2(2m+1)$ has an $m$-dimensional space of traces and an $(m+1)$-dimensional space of supertraces. In the preceding paper we found all values of the parameter $ν$ for which either the space of traces contains a~degenerate nonzero trace $tr_ν$ or the space of supertraces contains a~degenerate nonzero supertrace $str_ν$ and, as a~consequence, the algebra $\mathcal H$ has two-sided ideals: one consisting of all vectors in the kernel of the form $B_{tr_ν}(x,y)=tr_ν(xy)$ or another consisting of all vectors in the kernel of the form $B_{str_ν}(x,y)=str_ν(xy)$. We noticed that if $ν=\frac z {2m+1}$, where $z\in \mathbb Z \setminus (2m+1) \mathbb Z$, then there exist both a degenerate trace and a~degenerate supertrace on $\mathcal H$. Here we prove that the ideals determined by these degenerate forms coincide. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1612.00536

Journal ref: Journal of Nonlinear Mathematical Physics, 2020/12

Anticanonical transformations and Grand Jacobian

Authors: I. A. Batalin, P. M. Lavrov, I. V. Tyutin

Abstract: An independent (purely algebraic) proof of factorization property of the Grand Jacobian corresponding to anticanonical transformations in the BV-formalism is given. An independent (purely algebraic) proof of factorization property of the Grand Jacobian corresponding to anticanonical transformations in the BV-formalism is given. △ Less

Submitted 1 October, 2021; v1 submitted 12 November, 2020; originally announced November 2020.

Comments: 7 pages, v.2: published version

Journal ref: Russ.Phys.J. 64 ( 2021) 688 (Izvestia Vyshikh Uchebnykh Zavedenii, Fizika, n.4 (2021) 110 (in Russian))

Multiplicative renormalizability of Yang-Mills theory with the background field method in the BV-formalism

Authors: Igor A. Batalin, Klaus Bering, Peter M. Lavrov, Igor V. Tyutin

Abstract: Studying the gauge-invariant renormalizability of four-dimensional Yang-Mills theory using the background field method and the BV-formalism, we derive a classical master-equation homogeneous with respect to the antibracket by introducing antifield partners to the background fields and parameters. The constructed model can be renormalized by the standard method of introducing counterterms. This mod… ▽ More Studying the gauge-invariant renormalizability of four-dimensional Yang-Mills theory using the background field method and the BV-formalism, we derive a classical master-equation homogeneous with respect to the antibracket by introducing antifield partners to the background fields and parameters. The constructed model can be renormalized by the standard method of introducing counterterms. This model does not have (exact) multiplicative renormalizability but it does have this property in the physical sector (quasimultiplicative renormalizability). △ Less

Submitted 15 January, 2020; v1 submitted 22 September, 2019; originally announced September 2019.

Comments: 14 pages, published version

Journal ref: Theor. Math. Phys. 202 (2020) 30-40

Gauge dependence and multiplicative renormalization of Yang-Mills theory with matter fields

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: In the paper, within the background field method, the renormalization and the gauge dependence is studied as for an SU(2) Yang-Mills theory with multiplets of spinor and scalar fields. By extending the quantum action of the BV-formalism with an extra fermion vector field and a constant fermion parameter, the multiplicative character of the renormalizability is proven. The renormalization of all th… ▽ More In the paper, within the background field method, the renormalization and the gauge dependence is studied as for an SU(2) Yang-Mills theory with multiplets of spinor and scalar fields. By extending the quantum action of the BV-formalism with an extra fermion vector field and a constant fermion parameter, the multiplicative character of the renormalizability is proven. The renormalization of all the physical parameters of the theory under consideration is shown to be gauge-independent. △ Less

Submitted 30 July, 2019; v1 submitted 24 February, 2019; originally announced February 2019.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1806.02552, v2: published version

Journal ref: Eur. Phys. J. C79 (2019) 628

General conversion method for constrained systems

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: We reformulate in a systematic way the conversional approach in its most general and compact form. We present a new definition of generalized Dirac bracket directly in terms of the super-observables commuting with the basic BFV-BRST charge. We reformulate in a systematic way the conversional approach in its most general and compact form. We present a new definition of generalized Dirac bracket directly in terms of the super-observables commuting with the basic BFV-BRST charge. △ Less

Submitted 2 November, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 11 pages, v2: Section 2 extended, minor corrections made, v3: minor improvements of the text, published version

Journal ref: Phys.Lett. B787 (2018) 89-93

Multiplicative renormalization of Yang-Mills theories in the background-field formalism

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: In the paper, within the background-field method, the structure of renormalizations is studied as for Yang-Mills fields interacting with a multiplet of spinor fields. By extending the Faddeev-Popov action with extra fields and parameters, one is allowed to establish the multiplicative character of the renormalizability. The renormalization of the physical parameters is shown to be gauge-independen… ▽ More In the paper, within the background-field method, the structure of renormalizations is studied as for Yang-Mills fields interacting with a multiplet of spinor fields. By extending the Faddeev-Popov action with extra fields and parameters, one is allowed to establish the multiplicative character of the renormalizability. The renormalization of the physical parameters is shown to be gauge-independent. △ Less

Submitted 17 July, 2018; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 30 pages, v2: published version

Journal ref: Eur.Phys.J.C78 (2018) 570

Superfield generating equation of field-antifield formalism

Authors: I. A. Batalin, P. M. Lavrov

Abstract: A simple quantum superfield generating equation of the field-antifield formalism is proposed. The Schroedinger equation with the Hamiltonian having $Δ$-exact form is derived. An $Sp(2)$ symmetric extension to the main construction, with specific features caused by the principal fact that all basic equations become $Sp(2)$ vector-valued ones, is presented. A principal role of quantum antibrackets i… ▽ More A simple quantum superfield generating equation of the field-antifield formalism is proposed. The Schroedinger equation with the Hamiltonian having $Δ$-exact form is derived. An $Sp(2)$ symmetric extension to the main construction, with specific features caused by the principal fact that all basic equations become $Sp(2)$ vector-valued ones, is presented. A principal role of quantum antibrackets in formulation of the Heisenberg equations of motion is shown. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 6 pages, Contribution to the Proceedings of the International Workshop "Supersymmetries and Quantum Symmetries" (SQS'2017, 31 July - 5 August, 2017, Dubna, Russia)

Quantum antibrackets: polarization and parametrization

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: By proceeding from a simple non-polarized formalism, we consider in detail the polarization procedure as applied to the generating equations of the quantum antibracket algebra, in terms of the parametrized generating operator. By proceeding from a simple non-polarized formalism, we consider in detail the polarization procedure as applied to the generating equations of the quantum antibracket algebra, in terms of the parametrized generating operator. △ Less

Submitted 16 March, 2018; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 8 pages, misprints corrected, v5: Section 4 extended, v6: published version

Journal ref: Mod. Phys. Lett. A33 (2018) 1850042

On quantum-mechanical equations of motion in representation dependent of external sources

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: In the present paper, we consider in detail the aspects of the Heisenberg's equations of motion, related to their transformation to the representation dependent of external sources. We provide with a closed solution as to the variation-derivative motion equations in the general case of a normal form (symbol) chosen. We show that the action in the path integral does depend actually on a particular… ▽ More In the present paper, we consider in detail the aspects of the Heisenberg's equations of motion, related to their transformation to the representation dependent of external sources. We provide with a closed solution as to the variation-derivative motion equations in the general case of a normal form (symbol) chosen. We show that the action in the path integral does depend actually on a particular choice of a normal symbol. We have determined both the aspects of the latter dependence: the specific boundary conditions for virtual trajectories, and the specific boundary terms in the action. △ Less

Submitted 21 November, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: 17 pages, v2: formula (3.20) added, v3: a reference added, v4: Section 4 extended, v5: new formulas added to Section 4, published version

Journal ref: International Journal of Modern Physics A32 (2017) 1750189-1-16

Physical quantities and arbitrariness in resolving quantum master equation

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: By proceeding with the idea that the presence of physical (BRST invariant) extra factors in the path integral is equivalent to taking into account explicitly the arbitrariness in resolving the quantum master equation, we consider the field-antifield quantization procedure both with the Abelian and the non-Abelian gauge fixing. By proceeding with the idea that the presence of physical (BRST invariant) extra factors in the path integral is equivalent to taking into account explicitly the arbitrariness in resolving the quantum master equation, we consider the field-antifield quantization procedure both with the Abelian and the non-Abelian gauge fixing. △ Less

Submitted 22 March, 2017; v1 submitted 8 February, 2017; originally announced February 2017.

Comments: 7 pages, published version

Journal ref: Mod. Phys. Lett. A 32 (2017) 1750068

Superfield generating equation of field-antifield formalism as a hyper-gauge theory

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: Within a superfield approach, we formulate a simple quantum generating equation of the field - antifield formalism. Then, we derive the Schroedinger equation with the Hamiltonian whose $Δ$ - exact part serves as a generator to the quantum master-transformations. We show that these generators do satisfy a nice composition law in terms of the quantum antibrackets. We also present an $Sp(2)$ symmetri… ▽ More Within a superfield approach, we formulate a simple quantum generating equation of the field - antifield formalism. Then, we derive the Schroedinger equation with the Hamiltonian whose $Δ$ - exact part serves as a generator to the quantum master-transformations. We show that these generators do satisfy a nice composition law in terms of the quantum antibrackets. We also present an $Sp(2)$ symmetric extension as to the main construction, with specific features caused with the principal fact that all basic equations become $Sp(2)$ vector valued ones. △ Less

Submitted 26 February, 2017; v1 submitted 2 February, 2017; originally announced February 2017.

Comments: 12 pages. v2: published version

Journal ref: Eur. Phys. J. C 77 (2017) 121

Generalized sigma model with dynamical antisymplectic potential and non-Abelian de Rham's differential

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: For topological sigma models, we propose that their local Lagragian density is allowed to depend non-linearly on the de Rham's "velocities" $D Z^{A}$. Then, by differentiating the Lagrangian density with respect to the latter de Rham's "velocities", we define a "dynamical" anti-symplectic potential, in terms of which a "dynamical" anti-symplectic metric is defined, as well. We define the local and… ▽ More For topological sigma models, we propose that their local Lagragian density is allowed to depend non-linearly on the de Rham's "velocities" $D Z^{A}$. Then, by differentiating the Lagrangian density with respect to the latter de Rham's "velocities", we define a "dynamical" anti-symplectic potential, in terms of which a "dynamical" anti-symplectic metric is defined, as well. We define the local and the functional antibracket via the dynamical anti-symplectic metric. Finally, we show that the generalized action of the sigma model satisfies the functional master equation, as required. △ Less

Submitted 6 February, 2017; v1 submitted 2 January, 2017; originally announced January 2017.

Comments: 9 pages, v2: formula (2.5) corrected, v3: formula (4.13) added, published version

Journal ref: Phys. Lett. B 767 (2017) 99-102

General quantum-mechanical setting for field-antifield formalism as a hyper-gauge theory

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: A general quantum-mechanical setting is proposed for the field-antifield formalism as a unique hyper-gauge theory in the field-antifield space. We formulate a Schrödinger-type equation to describe the quantum evolution in a "current time" purely formal in its nature. The corresponding Hamiltonian is defined in the form of a supercommutator of the delta-operator with a hyper-gauge Fermion. The init… ▽ More A general quantum-mechanical setting is proposed for the field-antifield formalism as a unique hyper-gauge theory in the field-antifield space. We formulate a Schrödinger-type equation to describe the quantum evolution in a "current time" purely formal in its nature. The corresponding Hamiltonian is defined in the form of a supercommutator of the delta-operator with a hyper-gauge Fermion. The initial wave function is restricted to be annihilated with the delta-operator. The Schrödinger's equation is resolved in a closed form of the path integral, whose action contains the symmetric Weyl's symbol of the Hamiltonian. We take the path integral explicitly in the case of being a hyper-gauge Fermion an arbitrary function rather than an operator. △ Less

Submitted 1 September, 2016; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 15 pages, new Section added, published version

Journal ref: Mod. Phys. Lett. A31 (2016) 1650167

Closed description of arbitrariness in resolving quantum master equation

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: In the most general case of the Delta exact operator valued generators constructed of an arbitrary Fermion operator, we present a closed solution for the transformed master action in terms of the original master action in the closed form of the corresponding path integral. We show in detail how that path integral reduces to the known result in the case of being the Delta exact generators construct… ▽ More In the most general case of the Delta exact operator valued generators constructed of an arbitrary Fermion operator, we present a closed solution for the transformed master action in terms of the original master action in the closed form of the corresponding path integral. We show in detail how that path integral reduces to the known result in the case of being the Delta exact generators constructed of an arbitrary Fermion function. △ Less

Submitted 5 May, 2016; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 13 pages, v2: Section 2 extended, misprint corrected, references added, formula on page 7 corrected, new formula (4.30) and a phrase on it inserted, v3: misprints in formulas (2.12), (4.23), (4.36)-(4.39) corrected, v4: formulae (A.8), (A.11), (A.12) added, v5:published version

Journal ref: Phys. Lett. B 758 (2016) 54-58

Quantum localization of Classical Mechanics

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: Quantum localization of classical mechanics within the BRST-BFV and BV (or field-antifield) quantization methods are studied. It is shown that a special choice of gauge fixing functions (or BRST-BFV charge) together with the unitary limit leads to Hamiltonian localization in the path integral of the BRST-BFV formalism. In turn, we find that a special choice of gauge fixing functions being proporti… ▽ More Quantum localization of classical mechanics within the BRST-BFV and BV (or field-antifield) quantization methods are studied. It is shown that a special choice of gauge fixing functions (or BRST-BFV charge) together with the unitary limit leads to Hamiltonian localization in the path integral of the BRST-BFV formalism. In turn, we find that a special choice of gauge fixing functions being proportional to extremals of an initial non-degenerate classical action together with a very special solution of the classical master equation result in Lagrangian localization in the partition function of the BV formalism. △ Less

Submitted 8 July, 2016; v1 submitted 12 March, 2016; originally announced March 2016.

Comments: 11 pages, v2: Section 2 extended, a reference added, v3: typos corrected, v4: minor corrections, published version

Journal ref: Mod. Phys. Lett. A, Vol. 31, No. 22 (2016) 1650128

Superfield Hamiltonian quantization in terms of quantum antibrackets

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: We develop a new version of the superfield Hamiltonian quantization. The main new feature is that the BRST-BFV charge and the gauge fixing Fermion are introduced on equal footing within the sigma model approach, which provides for the actual use of the quantum/derived antibrackets. We study in detail the generating equations for the quantum antibrackets and their primed counterparts. We discuss th… ▽ More We develop a new version of the superfield Hamiltonian quantization. The main new feature is that the BRST-BFV charge and the gauge fixing Fermion are introduced on equal footing within the sigma model approach, which provides for the actual use of the quantum/derived antibrackets. We study in detail the generating equations for the quantum antibrackets and their primed counterparts. We discuss the finite quantum anticanonical transformations generated by the quantum antibracket. △ Less

Submitted 22 August, 2017; v1 submitted 6 March, 2016; originally announced March 2016.

Comments: 16 pages, v2: Appendix extended, references added, published version, v3: Section 3 extended, v4: minor corrections

Journal ref: Int. J. Mod. Phys. A 31 (2016) 1650054

A systematic study of finite BRST-BV transformations within W-X formulation of the standard and the Sp(2)-extended field-antifield formalism

Authors: Igor A. Batalin, Klaus Bering, Peter M. Lavrov

Abstract: Finite BRST-BV transformations are studied systematically within the W-X formulation of the standard and the Sp(2)-extended field-antifield formalism. The finite BRST-BV transformations are introduced by formulating a new version of the Lie equations. The corresponding finite change of the gauge-fixing master action X and the corresponding Ward identity are derived. Finite BRST-BV transformations are studied systematically within the W-X formulation of the standard and the Sp(2)-extended field-antifield formalism. The finite BRST-BV transformations are introduced by formulating a new version of the Lie equations. The corresponding finite change of the gauge-fixing master action X and the corresponding Ward identity are derived. △ Less

Submitted 23 February, 2016; v1 submitted 12 January, 2016; originally announced January 2016.

Comments: 17 pages, LaTeX. v2: Minor change of metadata only. v3: Added Appendix A; Minor corrections to eqs. (2.38) and (2.40). v4: Minor grammatical corrections. To appear in EPJC

Representation of a gauge field via intrinsic "BRST" operator

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: We show that there exists a representation of a matrix valued gauge field via intrinsic "BRST" operator assigned to matrix valued generators of a gauge algebra. In this way, we reproduce the standard formulation of the ordinary Yang - Mills theory. In the case of a generating quasigroup/groupoid, we give a natural counterpart to the Yang - Mills action. The latter counterpart does also apply as to… ▽ More We show that there exists a representation of a matrix valued gauge field via intrinsic "BRST" operator assigned to matrix valued generators of a gauge algebra. In this way, we reproduce the standard formulation of the ordinary Yang - Mills theory. In the case of a generating quasigroup/groupoid, we give a natural counterpart to the Yang - Mills action. The latter counterpart does also apply as to the most general case of an involution for matrix-valued gauge generators. △ Less

Submitted 15 August, 2016; v1 submitted 8 July, 2015; originally announced July 2015.

Comments: 15 pages, no figures, Section 6 extended with (6.14), (6.15); v3: Section 7 added, minor corrections; v4: Section 4, minor corrections; v5: formula (4.11) modified

Conversion of second-class constraints and resolving the zero curvature conditions in the geometric quantization theory

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: In the approach to the geometric quantization, based on the conversion of second-class constraints, we resolve the respective non-linear zero curvature conditions for the extended symplectic potential. From the zero curvature conditions, we deduce new, linear, equations for the extended symplectic potential. Then we show that being the linear equations satisfied, their solution does certainly sati… ▽ More In the approach to the geometric quantization, based on the conversion of second-class constraints, we resolve the respective non-linear zero curvature conditions for the extended symplectic potential. From the zero curvature conditions, we deduce new, linear, equations for the extended symplectic potential. Then we show that being the linear equations satisfied, their solution does certainly satisfy the non-linear zero curvature condition, as well. Finally, we give the functional resolution to the new linear equations, and then deduce the respective path integral representation. We do our consideration as to the general case of a phase superspace where both Boson and Fermion coordinates are present on equal footing. △ Less

Submitted 19 May, 2016; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: 14 pages, the article in honor of the 75-th birthday of Igor V. Tyutin, published version

Journal ref: Theor. Math. Phys. 187(2) (2016) 621 - 632

Extended sigma-model in nontrivially deformed field-antifield formalism

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: We propose an action for the extended sigma - models in the most general setting of the kinetic term allowed in the nontrivially deformed field - antifield formalism. We show that the classical motion equations do naturally take their desired canonical form. We propose an action for the extended sigma - models in the most general setting of the kinetic term allowed in the nontrivially deformed field - antifield formalism. We show that the classical motion equations do naturally take their desired canonical form. △ Less

Submitted 7 September, 2017; v1 submitted 7 April, 2015; originally announced April 2015.

Comments: 10 pages, v2: Section 3 extended, reference added, v3: published version, v4: a few misprints corrected on page 6, v5: formula (3.34) extended

Journal ref: Mod. Phys. Lett. A 30 (2015) 1550141

Finite BRST-BFV transformations for dynamical systems with second-class constraints

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: We study finite field dependent BRST-BFV transformations for dynamical systems with first- and second-class constraints within the generalized Hamiltonian formalism. We find explicitly their Jacobians and the form of a solution to the compensation equation necessary for generating an arbitrary finite change of gauge-fixing functionals in the path integral. We study finite field dependent BRST-BFV transformations for dynamical systems with first- and second-class constraints within the generalized Hamiltonian formalism. We find explicitly their Jacobians and the form of a solution to the compensation equation necessary for generating an arbitrary finite change of gauge-fixing functionals in the path integral. △ Less

Submitted 15 July, 2015; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: 12 pages, no figures, references added, Discussion extended, v3: minor corrections, published version

Journal ref: Mod. Phys. Lett. A 30 (2015) 1550108

Does the nontrivially deformed field-antifield formalism exist?

Authors: Igor A. Batalin, Peter M. Lavrov

Abstract: We reformulate the Lagrange deformed field-antifield BV -formalism suggested, in terms of the general Euler vector field $N$ generated by the antisymplectic potential. That $N$ generalizes, in a natural anticanonically-invariant manner, the usual power-counting operator. We provide for the "usual" gauge-fixing mechanism as applied to the deformed BV -formalism. We reformulate the Lagrange deformed field-antifield BV -formalism suggested, in terms of the general Euler vector field $N$ generated by the antisymplectic potential. That $N$ generalizes, in a natural anticanonically-invariant manner, the usual power-counting operator. We provide for the "usual" gauge-fixing mechanism as applied to the deformed BV -formalism. △ Less

Submitted 14 September, 2017; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: 29 pages, no figures, v2: minor changes in Sec.7, v3: typos corrected, v4: corrections in (B.9), (B.12), (B.13), published version, v5: Section 4 extended, v6: Section 5 extended

Journal ref: Int. J. Mod. Phys. A30 (2015) 1550090

Finite anticanonical transformations in field-antifield formalism

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: We study the role of arbitrary (finite) anticanonical transformations in the field-antifield formalism, and the gauge-fixing procedure based on the use of these transformations. The properties of the generating functionals of the Green functions subjected to finite anticanonical transformations are considered. We study the role of arbitrary (finite) anticanonical transformations in the field-antifield formalism, and the gauge-fixing procedure based on the use of these transformations. The properties of the generating functionals of the Green functions subjected to finite anticanonical transformations are considered. △ Less

Submitted 9 July, 2015; v1 submitted 28 January, 2015; originally announced January 2015.

Comments: 31 pages, no figures, typos corrected, published version

Journal ref: Eur. Phys. J. C (2015) 75:270

Gauge Independence in a Higher-Order Lagrangian Formalism via Change of Variables in the Path Integral

Authors: Igor A. Batalin, Klaus Bering

Abstract: In this paper we work out the explicit form of the change of variables that reproduces an arbitrary change of gauge in a higher-order Lagrangian formalism. In this paper we work out the explicit form of the change of variables that reproduces an arbitrary change of gauge in a higher-order Lagrangian formalism. △ Less

Submitted 8 December, 2014; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 13 pages, LaTeX. v2: Minor corrections

A systematic study of finite field dependent BRST-BV transformations in $Sp(2)$ extended field-antifield formalism

Authors: Igor A. Batalin, Klaus Bering, Peter M. Lavrov, Igor V. Tyutin

Abstract: In the framework of $Sp(2)$ extended Lagrangian field-antifield BV formalism we study systematically the role of finite field-dependent BRST-BV transformations. We have proved that the Jacobian of a finite BRST-BV transformation is capable of generating arbitrary finite change of the gauge-fixing function in the path integral. In the framework of $Sp(2)$ extended Lagrangian field-antifield BV formalism we study systematically the role of finite field-dependent BRST-BV transformations. We have proved that the Jacobian of a finite BRST-BV transformation is capable of generating arbitrary finite change of the gauge-fixing function in the path integral. △ Less

Submitted 23 November, 2014; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 9 pages, published version

Journal ref: Int. J. Mod. Phys. A29 (2014) 1450167

A systematic study of finite BRST-BFV transformations in $Sp(2)$-extended generalized Hamiltonian formalism

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: We study systematically finite BRST-BFV transformations in $Sp(2)$-extended generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. We study systematically finite BRST-BFV transformations in $Sp(2)$-extended generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. △ Less

Submitted 25 November, 2014; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 12 pages; published version. arXiv admin note: text overlap with arXiv:1404.4154

Journal ref: Int. J. Mod. Phys. A29 (2014) 1450128

A systematic study of finite BRST-BV transformations in field-antifield formalism

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: We study systematically finite BRST- BV transformations in the field-antifield formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. We study systematically finite BRST- BV transformations in the field-antifield formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. △ Less

Submitted 23 November, 2014; v1 submitted 11 May, 2014; originally announced May 2014.

Comments: 14 pages, published version. arXiv admin note: text overlap with arXiv:1404.4154

Journal ref: Int. J. Mod. Phys. A29 (2014) 1450166

A systematic study of finite BRST-BFV transformations in generalized Hamiltonian formalism

Authors: Igor A. Batalin, Peter M. Lavrov, Igor V. Tyutin

Abstract: We study systematically finite BRST-BFV transformations in the generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. We study systematically finite BRST-BFV transformations in the generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. △ Less

Submitted 15 March, 2016; v1 submitted 16 April, 2014; originally announced April 2014.

Comments: 12 pages, LaTex, published version. arXiv admin note: text overlap with arXiv:1405.2621, formula (5.5) corrected

Journal ref: Int. J. Mod. Phys. A29 (2014) 1450127

External Sources in Field-Antifield Formalism

Authors: Igor A. Batalin, Klaus Bering

Abstract: We introduce external sources J_A directly into the quantum master action W of the field-antifield formalism instead of the effective action. The external sources J_A lead to a set of BRST-invariant functions W^A that are in antisymplectic involution. As a byproduct, we encounter quasi--groups with open gauge algebras. We introduce external sources J_A directly into the quantum master action W of the field-antifield formalism instead of the effective action. The external sources J_A lead to a set of BRST-invariant functions W^A that are in antisymplectic involution. As a byproduct, we encounter quasi--groups with open gauge algebras. △ Less

Submitted 17 April, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 13 pages, LaTeX. v2, v3: Minor changes v4: Version published in IJMPA

Reparametrization-Invariant Effective Action in Field-Antifield Formalism

Authors: Igor A. Batalin, Klaus Bering

Abstract: We introduce classical and quantum antifields in the reparametrization-invariant effective action, and derive a deformed classical master equation. We introduce classical and quantum antifields in the reparametrization-invariant effective action, and derive a deformed classical master equation. △ Less

Submitted 6 April, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 14 pages, LaTeX. v2: Further observations, Added one appendix. v3: Version submitted to IJMPA. v4: Version published in IJMPA

A Triplectic Bi-Darboux Theorem and Para-Hypercomplex Geometry

Authors: Igor A. Batalin, Klaus Bering

Abstract: We provide necessary and sufficient conditions for a bi-Darboux Theorem on triplectic manifolds. Here triplectic manifolds are manifolds equipped with two compatible, jointly non-degenerate Poisson brackets with mutually involutive Casimirs, and with ranks equal to 2/3 of the manifold dimension. By definition bi-Darboux coordinates are common Darboux coordinates for two Poisson brackets. We discus… ▽ More We provide necessary and sufficient conditions for a bi-Darboux Theorem on triplectic manifolds. Here triplectic manifolds are manifolds equipped with two compatible, jointly non-degenerate Poisson brackets with mutually involutive Casimirs, and with ranks equal to 2/3 of the manifold dimension. By definition bi-Darboux coordinates are common Darboux coordinates for two Poisson brackets. We discuss both the Grassmann-even and the Grassmann-odd Poisson bracket case. Odd triplectic manifolds are, e.g., relevant for Sp(2)-symmetric field-antifield formulation. We demonstrate a one-to-one correspondence between triplectic manifolds and para-hypercomplex manifolds. Existence of bi-Darboux coordinates on the triplectic side of the correspondence translates into a flat Obata connection on the para-hypercomplex side. △ Less

Submitted 21 July, 2012; v1 submitted 27 October, 2011; originally announced October 2011.

Comments: 31 pages, LaTeX. v2: Changed title; Added references. v3: Minor reorganization of paper

MSC Class: 37J99; 53D99; 55R10; 57R30; 58C50; 70S05

Path Integral Formulation with Deformed Antibracket

Authors: Igor A. Batalin, Klaus Bering

Abstract: We propose how to incorporate the Leites-Shchepochkina-Konstein-Tyutin deformed antibracket into the quantum field-antifield formalism. We propose how to incorporate the Leites-Shchepochkina-Konstein-Tyutin deformed antibracket into the quantum field-antifield formalism. △ Less

Submitted 20 September, 2010; v1 submitted 23 August, 2010; originally announced August 2010.

Comments: 13 pages, LaTeX. v2: Added references. To appear in Phys. Lett. B

Journal ref: Phys.Lett.B694:158-166,2010

Remarks on Existence of Proper Action for Reducible Gauge Theories

Authors: Igor A. Batalin, Klaus Bering

Abstract: In the field-antifield formalism, we review existence and uniqueness proofs for the proper action in the reducible case. We give two new existence proofs based on two resolution degrees called "reduced antifield number" and "shifted antifield number", respectively. In particular, we show that for every choice of gauge generators and their higher stage counterparts, there exists a proper action t… ▽ More In the field-antifield formalism, we review existence and uniqueness proofs for the proper action in the reducible case. We give two new existence proofs based on two resolution degrees called "reduced antifield number" and "shifted antifield number", respectively. In particular, we show that for every choice of gauge generators and their higher stage counterparts, there exists a proper action that implements them at the quadratic order in the auxiliary variables. △ Less

Submitted 3 December, 2009; v1 submitted 2 November, 2009; originally announced November 2009.

Comments: 37 pages, LaTeX. v2,v3: Minor corrections. v4: Added reference. To appear in IJMPA

A Comparative Study of Laplacians and Schroedinger-Lichnerowicz-Weitzenboeck Identities in Riemannian and Antisymplectic Geometry

Authors: Igor A. Batalin, Klaus Bering

Abstract: We introduce an antisymplectic Dirac operator and antisymplectic gamma matrices. We explore similarities between, on one hand, the Schroedinger-Lichnerowicz formula for spinor bundles in Riemannian spin geometry, which contains a zeroth-order term proportional to the Levi-Civita scalar curvature, and, on the other hand, the nilpotent, Grassmann-odd, second-order Δoperator in antisymplectic geome… ▽ More We introduce an antisymplectic Dirac operator and antisymplectic gamma matrices. We explore similarities between, on one hand, the Schroedinger-Lichnerowicz formula for spinor bundles in Riemannian spin geometry, which contains a zeroth-order term proportional to the Levi-Civita scalar curvature, and, on the other hand, the nilpotent, Grassmann-odd, second-order Δoperator in antisymplectic geometry, which in general has a zeroth-order term proportional to the odd scalar curvature of an arbitrary antisymplectic and torsionfree connection that is compatible with the measure density. Finally, we discuss the close relationship with the two-loop scalar curvature term in the quantum Hamiltonian for a particle in a curved Riemannian space. △ Less

Submitted 11 July, 2009; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: 55 pages, LaTeX. v2: Subsection 3.10 expanded. v3: Reference added. v4: Published version

Journal ref: J.Math.Phys.50:073504,2009

Odd Scalar Curvature in Anti-Poisson Geometry

Authors: Igor A. Batalin, Klaus Bering

Abstract: Recent works have revealed that the recipe for field-antifield quantization of Lagrangian gauge theories can be considerably relaxed when it comes to choosing a path integral measure ρif a zero-order term ν_ρ is added to the Δoperator. The effects of this odd scalar term ν_ρ become relevant at two-loop order. We prove that ν_ρ is essentially the odd scalar curvature of an arbitrary torsion-free… ▽ More Recent works have revealed that the recipe for field-antifield quantization of Lagrangian gauge theories can be considerably relaxed when it comes to choosing a path integral measure ρif a zero-order term ν_ρ is added to the Δoperator. The effects of this odd scalar term ν_ρ become relevant at two-loop order. We prove that ν_ρ is essentially the odd scalar curvature of an arbitrary torsion-free connection that is compatible with both the anti-Poisson structure E and the density ρ. This extends a previous result for non-degenerate antisymplectic manifolds to degenerate anti-Poisson manifolds that admit a compatible two-form. △ Less

Submitted 11 April, 2008; v1 submitted 21 December, 2007; originally announced December 2007.

Comments: 9 pages, LaTeX. v2: Minor changes. v3: Published version

Journal ref: Phys.Lett.B663:132-135,2008

Odd Scalar Curvature in Field-Antifield Formalism

Authors: Igor A. Batalin, Klaus Bering

Abstract: We consider the possibility of adding a Grassmann-odd function νto the odd Laplacian. Requiring the total Δoperator to be nilpotent leads to a differential condition for ν, which is integrable. It turns out that the odd function νis not an independent geometric object, but is instead completely specified by the antisymplectic structure E and the density ρ. The main impact of introducing the νter… ▽ More We consider the possibility of adding a Grassmann-odd function νto the odd Laplacian. Requiring the total Δoperator to be nilpotent leads to a differential condition for ν, which is integrable. It turns out that the odd function νis not an independent geometric object, but is instead completely specified by the antisymplectic structure E and the density ρ. The main impact of introducing the νterm is that it makes compatibility relations between E and ρobsolete. We give a geometric interpretation of νas (minus 1/8 times) the odd scalar curvature of an arbitrary antisymplectic, torsion-free and ρ-compatible connection. We show that the total Δoperator is a ρ-dressed version of Khudaverdian's Δ_E operator, which takes semidensities to semidensities. We also show that the construction generalizes to the situation where ρis replaced by a non-flat line bundle connection F. This generalization is implemented by breaking the nilpotency of Δwith an arbitrary Grassmann-even second-order operator source. △ Less

Submitted 24 January, 2008; v1 submitted 2 August, 2007; originally announced August 2007.

Comments: 23 pages, LaTeX. v2: More material added. v3: Reference added. v4: Grant number added. v5: Minor changes. v6: Stylistic changes

Journal ref: J.Math.Phys.49:033515,2008

Reducible Gauge Algebra of BRST-Invariant Constraints

Authors: I. A. Batalin, K. Bering

Abstract: We show that it is possible to formulate the most general first-class gauge algebra of the operator formalism by only using BRST-invariant constraints. In particular, we extend a previous construction for irreducible gauge algebras to the reducible case. The gauge algebra induces two nilpotent, Grassmann-odd, mutually anticommuting BRST operators that bear structural similarities with BRST/anti-… ▽ More We show that it is possible to formulate the most general first-class gauge algebra of the operator formalism by only using BRST-invariant constraints. In particular, we extend a previous construction for irreducible gauge algebras to the reducible case. The gauge algebra induces two nilpotent, Grassmann-odd, mutually anticommuting BRST operators that bear structural similarities with BRST/anti-BRST theories but with shifted ghost number assignments. In both cases we show how the extended BRST algebra can be encoded into an operator master equation. A unitarizing Hamiltonian that respects the two BRST symmetries is constructed with the help of a gauge-fixing Boson. Abelian reducible theories are shown explicitly in full detail, while non-Abelian theories are worked out for the lowest reducibility stages and ghost momentum ranks. △ Less

Submitted 7 November, 2007; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: 42 pages, LaTeX. v2: New material added to Sec. 3.9-3.10, Sec. 6 and App. E. v3: Version published in Nuclear Physics B. v4: Grant number added

Journal ref: Nucl.Phys.B771:190-233,2007

On Generalized Gauge-Fixing in the Field-Antifield Formalism

Authors: I. A. Batalin, K. Bering, P. H. Damgaard

Abstract: We consider the problem of covariant gauge-fixing in the most general setting of the field-antifield formalism, where the action W and the gauge-fixing part X enter symmetrically and both satisfy the Quantum Master Equation. Analogous to the gauge-generating algebra of the action W, we analyze the possibility of having a reducible gauge-fixing algebra of X. We treat a reducible gauge-fixing alge… ▽ More We consider the problem of covariant gauge-fixing in the most general setting of the field-antifield formalism, where the action W and the gauge-fixing part X enter symmetrically and both satisfy the Quantum Master Equation. Analogous to the gauge-generating algebra of the action W, we analyze the possibility of having a reducible gauge-fixing algebra of X. We treat a reducible gauge-fixing algebra of the so-called first-stage in full detail and generalize to arbitrary stages. The associated "square root" measure contributions are worked out from first principles, with or without the presence of antisymplectic second-class constraints. Finally, we consider an W-X alternating multi-level generalization. △ Less

Submitted 3 March, 2007; v1 submitted 12 December, 2005; originally announced December 2005.

Comments: 49 pages, LaTeX. v2: Minor changes + 1 more reference. v3,v4,v5: Corrected typos. v5: Version published in Nuclear Physics B. v6,v7: Correction to the published version added next to the Acknowledgement

Journal ref: Nucl.Phys.B739:389-440,2006

Non-Abelian Conversion and Quantization of Non-scalar Second-Class Constraints

Authors: Igor Batalin, Maxim Grigoriev, Simon Lyakhovich

Abstract: We propose a general method for deformation quantization of any second-class constrained system on a symplectic manifold. The constraints determining an arbitrary constraint surface are in general defined only locally and can be components of a section of a non-trivial vector bundle over the phase-space manifold. The covariance of the construction with respect to the change of the constraint bas… ▽ More We propose a general method for deformation quantization of any second-class constrained system on a symplectic manifold. The constraints determining an arbitrary constraint surface are in general defined only locally and can be components of a section of a non-trivial vector bundle over the phase-space manifold. The covariance of the construction with respect to the change of the constraint basis is provided by introducing a connection in the ``constraint bundle'', which becomes a key ingredient of the conversion procedure for the non-scalar constraints. Unlike in the case of scalar second-class constraints, no Abelian conversion is possible in general. Within the BRST framework, a systematic procedure is worked out for converting non-scalar second-class constraints into non-Abelian first-class ones. The BRST-extended system is quantized, yielding an explicitly covariant quantization of the original system. An important feature of second-class systems with non-scalar constraints is that the appropriately generalized Dirac bracket satisfies the Jacobi identity only on the constraint surface. At the quantum level, this results in a weakly associative star-product on the phase space. △ Less

Submitted 13 January, 2005; originally announced January 2005.

Comments: LaTeX, 21 pages

Report number: FIAN-TD/05-01

Journal ref: J.Math.Phys. 46 (2005) 072301

Hamiltonian Superfield Formalism with N Supercharges

Authors: I. A. Batalin, K. Bering

Abstract: An action principle that applies uniformly to any number N of supercharges is proposed. We perform the reduction to the N=0 partition function by integrating out superpartner fields. As a new feature for theories of extended supersymmetry, the canonical Pfaffian measure factor is a result of a Gaussian integration over a superpartner. This is mediated through an explicit choice of direction n^a… ▽ More An action principle that applies uniformly to any number N of supercharges is proposed. We perform the reduction to the N=0 partition function by integrating out superpartner fields. As a new feature for theories of extended supersymmetry, the canonical Pfaffian measure factor is a result of a Gaussian integration over a superpartner. This is mediated through an explicit choice of direction n^a in the θ-space, which the physical sector does not depend on. Also, we re-interpret the metric g^{ab} in the Susy algebra [D^a,D^b] = g^{ab}\partial_t as a symplectic structure on the fermionic θ-space. This leads to a superfield formulation with a general covariant θ-space sector. △ Less

Submitted 26 February, 2004; v1 submitted 23 January, 2004; originally announced January 2004.

Comments: 21 pages, LaTeX, reference corrected

Journal ref: Nucl.Phys.B700:439-462,2004

On the transformations of hamiltonian gauge algebra under rotations of constraints

Authors: Igor Batalin, Igor Tyutin

Abstract: By explicit calculation of the effect of a ghost-dependent canonical transformation of BRST-charge, we derive the corresponding transformation law for structure coefficients of hamiltonian gauge algebra under rotation of constraints.We show the transformation law to deviate from the behaviour (expected naively) characteristic to a genuine connection. By explicit calculation of the effect of a ghost-dependent canonical transformation of BRST-charge, we derive the corresponding transformation law for structure coefficients of hamiltonian gauge algebra under rotation of constraints.We show the transformation law to deviate from the behaviour (expected naively) characteristic to a genuine connection. △ Less

Submitted 17 December, 2003; v1 submitted 25 September, 2003; originally announced September 2003.

Comments: 11 pages, some misprints removed

Report number: FIAN/TD/14/03

Journal ref: Int.J.Mod.Phys.A20:895-905,2005

Hamiltonian N=2 Superfield Quantization

Authors: I. A. Batalin, P. H. Damgaard

Abstract: We present a superfield construction of Hamiltonian quantization with N=2 supersymmetry generated by two fermionic charges Q^a. As a byproduct of the analysis we also derive a classically localized path integral from two fermionic objects Σ^a that can be viewed as ``square roots'' of the classical bosonic action under the product of a functional Poisson bracket. We present a superfield construction of Hamiltonian quantization with N=2 supersymmetry generated by two fermionic charges Q^a. As a byproduct of the analysis we also derive a classically localized path integral from two fermionic objects Σ^a that can be viewed as ``square roots'' of the classical bosonic action under the product of a functional Poisson bracket. △ Less

Submitted 3 December, 2003; v1 submitted 17 June, 2003; originally announced June 2003.

Comments: 10 pages, LaTeX, misprint corrected, a reference added

Journal ref: Phys.Lett. B578 (2004) 223-230

Associativity and Operator Hamiltonian Quantization of Gauge Theories

Authors: I. A. Batalin, A. M. Semikhatov

Abstract: We show that the associative algebra structure can be incorporated in the BRST quantization formalism for gauge theories such that extension from the corresponding Lie algebra to the associative algebra is achieved using operator quantization of reducible gauge theories. The BRST differential that encodes the associativity of the algebra multiplication is constructed as a second-order quadratic… ▽ More We show that the associative algebra structure can be incorporated in the BRST quantization formalism for gauge theories such that extension from the corresponding Lie algebra to the associative algebra is achieved using operator quantization of reducible gauge theories. The BRST differential that encodes the associativity of the algebra multiplication is constructed as a second-order quadratic differential operator on the bar resolution. △ Less

Submitted 26 August, 2003; v1 submitted 13 January, 2003; originally announced January 2003.

Comments: amsart++, xy, sidecap, times. 34pp. V2: similar to (a slight expansion of) the version in Theoretical and Mathematical Physics 136 (2003) 1189--1211

Journal ref: Theor.Math.Phys. 136 (2003) 1189-1211; Teor.Mat.Fiz. 136 (2003) 339-364

BRST-anti-BRST Symmetric Conversion of Second-Class Constraints

Authors: I. A. Batalin, M. A. Grigoriev

Abstract: A general method of the BRST--anti-BRST symmetric conversion of second-class constraints is presented. It yields a pair of commuting and nilpotent BRST-type charges that can be naturally regarded as BRST and anti-BRST ones. Interchanging the BRST and anti-BRST generators corresponds to a symmetry between the original second-class constraints and the conversion variables, which enter the formalis… ▽ More A general method of the BRST--anti-BRST symmetric conversion of second-class constraints is presented. It yields a pair of commuting and nilpotent BRST-type charges that can be naturally regarded as BRST and anti-BRST ones. Interchanging the BRST and anti-BRST generators corresponds to a symmetry between the original second-class constraints and the conversion variables, which enter the formalism on equal footing. △ Less

Submitted 21 October, 2003; v1 submitted 14 January, 2003; originally announced January 2003.

Comments: 12 pages, misprints corrected

Journal ref: Int.J.Mod.Phys. A18 (2003) 4485-4495

BRST-Invariant Constraint Algebra in Terms of Commutators and Quantum Antibrackets

Authors: Igor Batalin, Igor Tyutin

Abstract: General structure of BRST-invariant constraint algebra is established, in its commutator and antibracket forms, by means of formulation of algebra-generating equations in yet more extended phase space. New ghost-type variables behave as fields and antifields with respect to quantum antibrackets. Explicit form of BRST-invariant gauge algebra is given in detail for rank-one theories with Weyl- and… ▽ More General structure of BRST-invariant constraint algebra is established, in its commutator and antibracket forms, by means of formulation of algebra-generating equations in yet more extended phase space. New ghost-type variables behave as fields and antifields with respect to quantum antibrackets. Explicit form of BRST-invariant gauge algebra is given in detail for rank-one theories with Weyl- and Wick- ordered ghost sector. A gauge-fixed unitarizing Hamiltonian is constructed, and the formalism is shown to be physically equivalent to the standard BRST-BFV approach. △ Less

Submitted 15 December, 2006; v1 submitted 8 January, 2003; originally announced January 2003.

Comments: 20 pages; some misprints are removed

Report number: FIAN 03/03

Journal ref: Theor.Math.Phys. 138 (2004) 1-17; Teor.Mat.Fiz. 138 (2004) 3-22

Projection operator approach to general constrained systems

Authors: Igor Batalin, Simon Lyakhovich, Robert Marnelius

Abstract: We propose a new BRST-like quantization procedure which is applicable to dynamical systems containing both first and second class constraints. It requires no explicit separation into first and second class constraints and therefore no conversion of second class constraints is needed. The basic ingredient is instead an invariant projection operator which projects out the maximal subset of constra… ▽ More We propose a new BRST-like quantization procedure which is applicable to dynamical systems containing both first and second class constraints. It requires no explicit separation into first and second class constraints and therefore no conversion of second class constraints is needed. The basic ingredient is instead an invariant projection operator which projects out the maximal subset of constraints in involution. The hope is that the method will enable a covariant quantization of models for which there is no covariant separation into first and second class constraints. An example of this type is given. △ Less

Submitted 12 March, 2002; v1 submitted 19 December, 2001; originally announced December 2001.

Comments: 12 pages, Latexfile,minor misprints corrected

Journal ref: Phys.Lett. B534 (2002) 201-208

Superfield algorithms for topological field theories

Authors: Igor Batalin, Robert Marnelius

Abstract: A superfield algorithm for master actions of a class of gauge field theories including topological ones in arbitrary dimensions is presented generalizing a previous treatment in two dimensions. General forms for master actions in superspace are given, and possible theories are determined by means of a ghost number prescription and the master equations. The resulting master actions determine the… ▽ More A superfield algorithm for master actions of a class of gauge field theories including topological ones in arbitrary dimensions is presented generalizing a previous treatment in two dimensions. General forms for master actions in superspace are given, and possible theories are determined by means of a ghost number prescription and the master equations. The resulting master actions determine the original actions together with their gauge invariances. Generalized Poisson sigma models in arbitrary dimensions are constructed by means of this algorithm, and other applications in low dimensions are given including the Chern-Simon model. △ Less

Submitted 30 October, 2001; v1 submitted 16 October, 2001; originally announced October 2001.

Comments: 17 pages,Latexfile,minor remarks and changes

Gauge theory of second class constraints without extra variables

Authors: Igor Batalin, Robert Marnelius

Abstract: We show that any theory with second class constraints may be cast into a gauge theory if one makes use of solutions of the constraints expressed in terms of the coordinates of the original phase space. We perform a Lagrangian path integral quantization of the resulting gauge theory and show that the natural measure follows from a superfield formulation. We show that any theory with second class constraints may be cast into a gauge theory if one makes use of solutions of the constraints expressed in terms of the coordinates of the original phase space. We perform a Lagrangian path integral quantization of the resulting gauge theory and show that the natural measure follows from a superfield formulation. △ Less

Submitted 12 June, 2001; originally announced June 2001.

Comments: 12 pages, Latexfile

Journal ref: Mod.Phys.Lett. A16 (2001) 1505-1516

Generalized Poisson sigma models

Authors: Igor Batalin, Robert Marnelius

Abstract: A general master action in terms of superfields is given which generates generalized Poisson sigma models by means of a natural ghost number prescription. The simplest representation is the sigma model considered by Cattaneo and Felder. For Dirac brackets considerably more general models are generated. A general master action in terms of superfields is given which generates generalized Poisson sigma models by means of a natural ghost number prescription. The simplest representation is the sigma model considered by Cattaneo and Felder. For Dirac brackets considerably more general models are generated. △ Less

Submitted 13 June, 2001; v1 submitted 21 May, 2001; originally announced May 2001.

Comments: 8 pages, Latexfile, added comment and references

Journal ref: Phys.Lett. B512 (2001) 225-229