Searcharxiv⌕ Search

arXiv subjects

L. Mangiarotti

Publications and source records attributed to L. Mangiarotti.

At least 19 recordsLinked to original sources
arXiv2010

Advanced Mechanics. Mathematical Introduction

Classical non-relativistic mechanics in a general setting of time-dependent transformations and reference frame changes is formulated in the terms of fibre bundles over the time-axis R. Connections on fibre bundles are the main ingredient in this formulation of mechanics which thus is covariant under reference frame transformations. The basic notions of a non-relativistic reference frame, a relative velocity, a free motion equation, a relative acceleration, an external force are formulated. Newtonian, Lagrangian, Hamiltonian mechanical systems and the relations between them are defined. Lagrangian and Hamiltonian conservation laws are considered.

math-ph↗
arXiv2008

On the notion of gauge symmetries of generic Lagrangian field theory

General Lagrangian theory of even and odd fields on an arbitrary smooth manifold is considered. Its non-trivial reducible gauge symmetries and their algebra are defined in this very general setting by means of the inverse second Noether theorem. In contrast with gauge symmetries, non-trivial Noether and higher-stage Noether identities of Lagrangian theory can be intrinsically defined by constructing the exact Koszul-Tate complex. The inverse second Noether theorem that we prove associates to this complex the cochain sequence with the ascent operator whose components define non-trivial gauge and higher-stage gauge symmetries. These gauge symmetries are said to be algebraically closed if the ascent operator can be extended to a nilpotent operator. The necessary conditions for this extension are stated. The characteristic examples of Yang-Mills supergauge theory, topological Chern-Simons theory, gauge gravitation theory and topological BF theory are presented.

math-ph↗
arXiv2007

The KT-BRST complex of a degenerate Lagrangian system

Quantization of a Lagrangian field system essentially depends on its degeneracy and implies its BRST extension defined by sets of non-trivial Noether and higher-stage Noether identities. However, one meets a problem how to select trivial and non-trivial higher-stage Noether identities. We show that, under certain conditions, one can associate to a degenerate Lagrangian L the KT-BRST complex of fields, antifields and ghosts whose boundary and coboundary operators provide all non-trivial Noether identities and gauge symmetries of L. In this case, L can be extended to a proper solution of the master equation.

math-ph↗
arXiv2007

Quantum mechanics with respect to different reference frames

Geometric (Schrodinger) quantization of nonrelativistic mechanics with respect to different reference frames is considered. In classical nonrelativistic mechanics, a reference frame is represented by a connection on a configuration space fibered over a time axis. Under quantization, it yields a connection on the quantum algebra of Schrodinger operators. The operators of energy with respect to different reference frames are examined.

quant-ph↗
arXiv2006

Noether's inverse second theorem in homology terms

A generic degenerate Lagrangian system of even and odd variables on an arbitrary smooth manifold is examined in terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. However, non-trivial higher-stage Noether identities are ill defined, unless a certain homology condition holds. We show that, under this condition, there exists the exact Koszul-Tate chain complex whose boundary operator produces all non-trivial Noether and higher-stage Noether identities of an original Lagrangian system. Noether's inverse second theorem that we prove associates to this complex a cochain sequence whose ascent operator provides all gauge and higher-stage gauge supersymmetries of an original Lagrangian.

math.DG↗
arXiv2006

Lagrangian and Hamiltonian dynamics of submanifolds

Submanifolds of a manifold are described as sections of a certain fiber bundle that enables one to consider their Lagrangian and (polysymplectic) Hamiltonian dynamics as that of a particular classical field theory. In particular, their Lagrangians and Hamiltonians must satisfy rather restrictive Noether identities. For instance, this is the case of relativistic mechanics and classical string theory.

math-ph↗
arXiv2005

On necessary and sufficient conditions of the BV quantization of a generic Lagrangian field system

We address the problem of extending an original field Lagrangian to ghosts and antifields in order to satisfy the master equation in the framework of the BV quantization of Lagrangian field systems. This extension essentially depends on the degeneracy of an original Lagrangian whose Euler-Lagrange operator generally obeys the Noether identities which need not be independent, but satisfy the first-stage Noether identities, and so on. A generic Lagrangian system of even and odd fields on an arbitrary smooth manifold is examined in the algebraic terms of the Grassmann-graded variational bicomplex. We state the necessary and sufficient condition for the existence of the exact antifield Koszul-tate complex whose boundary operator provides all the Noether and higher-stage Noether identities of an original Lagrangian system. The Noether inverse second theorem that we prove associates to this Koszul-Tate complex the sequence of ghosts whose ascent operator provides the gauge and higher-stage gauge supersymmetries of an original Lagrangian. We show that an original Lagrangian is extended to a solution of the master equation if this ascent operator admits a nilpotent extension and only if it is extended to an operator nilpotent on the shell.

hep-th↗
arXiv2005

The antifield Koszul-Tate complex of reducible Noether identities

A generic degenerate Lagrangian system of even and odd fields is examined in algebraic terms of the Grassmann-graded variational bicomplex. Its Euler-Lagrange operator obeys Noether identities which need not be independent, but satisfy first-stage Noether identities, and so on. We show that, if a certain necessary and sufficient condition holds, one can associate to a degenerate Lagrangian system the exact Koszul-Tate complex with the boundary operator whose nilpotency condition restarts all its Noether and higher-stage Noether identities. This complex provides a sufficient analysis of the degeneracy of a Lagrangian system for the purpose of its BV quantization.

math-ph↗
arXiv2005

Noether's second theorem in a general setting. Reducible gauge theories

We prove Noether's direct and inverse second theorems for Lagrangian systems on fiber bundles in the case of gauge symmetries depending on derivatives of dynamic variables of an arbitrary order. The appropriate notions of reducible gauge symmetries and Noether's identities are formulated, and their equivalence by means of certain intertwining operator is proved.

math.DG↗
arXiv2005

Noether's second theorem for BRST symmetries

We present Noether's second theorem for graded Lagrangian systems of even and odd variables on an arbitrary body manifold X in a general case of BRST symmetries depending on derivatives of dynamic variables and ghosts of any finite order. As a preliminary step, Noether's second theorem for Lagrangian systems on fiber bundles over X possessing gauge symmetries depending on derivatives of dynamic variables and parameters of arbitrary order is proved.

math-ph↗
arXiv2004

Geometric and Algebraic Topological Methods in Quantum Mechanics

In the last decade, the development of new ideas in quantum theory, including geometric and deformation quantization, the non-Abelian Berry factor, super- and BRST symmetries, non-commutativity, has called into play the geometric techniques based on the deep interplay between algebra, differential geometry and topology. The present book aims at being a guide to advanced differential geometric and topological methods in quantum mechanics. Their main peculiarity lies in the fact that geometry in quantum theory speaks mainly the algebraic language of rings, modules, sheaves and categories. Geometry is by no means the primary scope of the book, but it underlies many ideas in modern quantum physics and provides the most advanced schemes of quantization.

math-ph↗
arXiv2004

Lagrangian supersymmetries depending on derivatives. Global analysis and cohomology

Lagrangian contact supersymmetries (depending on derivatives of arbitrary order) are treated in very general setting. The cohomology of the variational bicomplex on an arbitrary graded manifold and the iterated cohomology of a generic nilpotent contact supersymmetry are computed. In particular, the first variational formula and conservation laws for Lagrangian systems on graded manifolds using contact supersymmetries are obtained.

hep-th↗
arXiv2003

Lagrangian symmetries and supersymmetries depending on derivatives. Global analysis

Generalized symmetries and supersymmetries depending on derivatives of dynamic variables are treated in a most general setting. Studding cohomology of the variational bicomplex, we state the first variational formula and conservation laws for Lagrangian systems on fiber bundles and graded manifolds under generalized symmetries and supersymmetries of any order. Cohomology of nilpotent generalized supersymmetries are obtained.

math.AG↗
arXiv2003

Lagrangian symmetries and supersymmetries depending on derivatives. Conservation laws and cohomology

Motivated by BRST theory, we study generalized symmetries and supersymmetries depending on derivatives of dynamic variables in a most general setting. We state the first variational formula and conservation laws for higher order Lagrangian systems on fiber bundles and graded manifolds under generalized symmetries and supersymmetries of any order. Cohomology of nilpotent generalized supersymmetries are considered.

math-ph↗