Related papers: Abelianization of First Class Constraints
A new tool for the model theory of differentially closed fields and of compact complex manifolds is here developed. In such settings, it is shown that a type internal to the field of constants (resp. to the projective line) admits a maximal…
We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the…
We show how to systematically derive the exact form of local symmetries for the abelian Proca and CS models, which are converted into first class constrained systems by the BFT formalism, in the Lagrangian formalism. As results, without…
A systematic method is presented for the construction and classification of algebras of gauge transformations for arbitrary high rank tensor gauge fields. For every tensor gauge field of a given rank, the gauge transformation will be…
We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show that it is decidable to determine whether a constraint satisfaction…
The dynamical systems invariant under gauge transformations with higher order time derivatives of the gauge parameter are considered from the Hamiltonian point of view. We investigate the consequences of the basic requirements that the…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
Let $E\supseteq F$ be a field extension and $M$ a graded Lie algebra of maximal class over $E$. We investigate the $F$-subalgebras $L$ of $M$, generated by elements of degree $1$. We provide conditions for $L$ being either ideally…
We find a first--order partial differential equation whose solutions are all ultralocal scalar combinations of gravitational constraints with Abelian Poisson brackets between themselves. This is a generalisation of the Kucha\v{r} idea of…
Gauge symmetries lead to first-class constraints. This assertion is of course true only for non trivial gauge symmetries, i.e., gauge symmetries that act non trivially on-shell on the dynamical variables. We illustrate this well-appreciated…
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…
We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…
In a recent work we showed that for a Hamiltonian system with constraints, the set of constraints can be investigated in first and second class constraint chains. We show here that using this "chain by chain" method for an arbitrary system…
It is shown that when the gauge algebra is with root system the canonical Hamiltonian commutes with the constraints. Two other simple propositions concerning gauge fixing are proved too.
We analyze a singular theory with first class constraints of an arbitrary stage. Relation among the formulations of the constrained system in terms of complete and extended Hamiltonians is clarified. We replace the extended Hamiltonian…
Using the theory of cohomology support locus, we give a necessary condition for the Albanese map of a smooth projective surface being a submersion. More precisely, assuming the cohomology support locus of any finite abelian cover of a…
A first-order gauge invariant formulation for the two-dimensional quantum rigid rotor is long known in the theoretical physics community as an isolated peculiar model. Parallel to that fact, the longstanding constraints abelianization…
In the Dirac approach to the generalized Hamiltonian formalism, dynamical systems with first- and second-class constraints are investigated. The classification and separation of constraints into the first- and second-class ones are…
We investigate refined algebraic quantisation within a family of classically equivalent constrained Hamiltonian systems that are related to each other by rescaling a momentum-type constraint. The quantum constraint is implemented by a…
The Dirac constraint formalism is used to analyze the first order form of the Einstein-Hilbert action in d > 2 dimensions. Unlike previous treatments, this is done without eliminating fields at the outset by solving equations of motion that…