Related papers: Abelianization of First Class Constraints

This paper explores in some detail a recent proposal (the Rieffel induction/refined algebraic quantization scheme) for the quantization of constrained gauge systems. Below, the focus is on systems with a single constraint and, in this…

We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…

We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of…

We apply the algebraic-geometric techniques developed for the study of mappings which have the singularity confinement property to mappings which are integrable through linearisation. The main difference with respect to the previous studies…

We classify, up to isomorphism, all gradings by an arbitrary abelian group on simple finitary Lie algebras of linear transformations (special linear, orthogonal and symplectic) on infinite-dimensional vector spaces over an algebraically…

First-order methods have been popularly used for solving large-scale problems. However, many existing works only consider unconstrained problems or those with simple constraint. In this paper, we develop two first-order methods for…

This is the second in a series math.AG/0312190, math.AG/0410267, math.AG/0410268 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration (\sigma,\iota,\pi) is a finite collection of…

In this note we show that any basic abelian variety with additional structures over an arbitrary algebraically closed field of characteristic $p>0$ is isogenous to another one defined over a finite field. We also show that the category of…

We present a systematic study of symmetries, invariants and moduli spaces of classes of coframes. We introduce a classifying Lie algebroid to give a complete description of the solution to Cartan's realization problem that applies to both…

A natural way to obtain a system of partial differential equations on a manifold is to vary a suitably defined sesquilinear form. The sesquilinear forms we study are Hermitian forms acting on sections of the trivial $\mathbb{C}^n$-bundle…

It is shown that the Dirac approach to Hamiltonization of singular theories can be slightly modified in such a way that primary Dirac constraints do not appear in the process. According to the modified scheme, Hamiltonian formulation of…

We show that for each algebraic space that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to a para-abelian variety. The latter are schemes that acquire the…

The classification of gradings by abelian groups on finite direct sums of simple finite-dimensional nonassociative algebras over an algebraically closed field is reduced, by means of the use of loop algebras, to the corresponding problem…

We present a classification of $W$ algebras and superalgebras arising in Abelian as well as non Abelian Toda theories. Each model, obtained from a constrained WZW action, is related with an $Sl(2)$ subalgebra (resp. $OSp(1|2)$ superalgebra)…

In this article we show that boundary conditions can be treated as Lagrangian and Hamiltonian constraints. Using the Dirac method, we find that boundary conditions are equivalent to an infinite chain of second class constraints which is a…

We study central extensions E of elementary abelian 2-groups by elementary abelian 2-groups. Associated to such an extension is a quadratic map which determines the extension uniquely. The components of the map determine a quadratic ideal…

We introduce a class of first-order methods for smooth constrained optimization that are based on an analogy to non-smooth dynamical systems. Two distinctive features of our approach are that (i) projections or optimizations over the entire…

Abelian Lagrangians containing Phi^4-type vertices are regularized by means of a suitable point-splitting scheme combined with generalized gauge transformations.. The calculation is developed in details for a general Lagrangean, whose…

The paper studies the structure of restricted Leibniz algebras. More specifically speaking, we first give the equivalent definition of restricted Leibniz algebras, which is by far more tractable than that of a restricted Leibniz algebras in…

In this paper we derive necessary optimality conditions for optimal control problems with nonlinear and nonsmooth implicit control systems. Implicit control systems have wide applications including differential algebraic equations (DAEs).…