Related papers: A Tame Generic Structure with Non-Algebraic Geomet…
We describe symmetry structure of a general singular theory (theory with constraints in the Hamiltonian formulation), and, in particular, we relate the structure of gauge transformations with the constraint structure. We show that any…
The algebra of constraints arising in the canonical quantization of N=1 supergravity in four dimensions is investigated. Using the holomorphic action, the structure functions of the algebra are given and it is shown that the algebra does…
We introduce the notion of algebraic higher symmetry, which generalizes higher symmetry and is beyond higher group. We show that an algebraic higher symmetry in a bosonic system in $n$-dimensional space is characterized and classified by a…
We present a theory that produces several examples where the homotopy Lie algebra of a complex hyperplane arrangement is not finitely presented. We also present examples of hyperplane arrangements where the enveloping algebra of this Lie…
For Cartan geometries admitting automorphisms with isotropies satisfying a particular, loosely dynamical property on their model geometries, we demonstrate the existence of an open subset of the geometry with trivial holonomy. This…
We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic…
We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.
A coalgebraic definition of finite and infinite trace semantics for probabilistic transition systems has recently been given using a certain Kleisli category. In this paper this semantics is developed using a coalgebraic method which is an…
We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite…
We review the results of several of our papers about the procedure of extension of Hamiltonians, allowing the construction of families of superintegrable systems with non-trivial polynomial first integrals (or symmetry operators) of…
Using the fact that Hopf-Galois structures on separable extensions and skew bracoids are both intrinsically connected to transitive subgroups of the holomorph of a finite group, we present algorithms to classify and enumerate these objects…
In this paper we introduce and study a new topologo-algebraic structure called a (di)topological unosemigroup. This is a topological semigroup endowed with continuous unary operations of left and right units (which have certain continuous…
A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of…
Given a compact symplectic toric manifold $(M,\omega, \mathbb{T})$, we identify a class $DGK_{\omega}^{\mathbb{T}}(M)$ of $\mathbb{T}$-invariant generalized K\"ahler structures for which a generalisation the Abreu-Guillemin theory of toric…
The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…
The geometric formulation of Hamilton--Jacobi theory for systems with nonholonomic constraints is developed, following the ideas of the authors in previous papers. The relation between the solutions of the Hamilton--Jacobi problem with the…
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
In this work we discuss the natural appearance of the Generalized Brackets in systems with non-involutive (equivalent to second class) constraints in the Hamilton-Jacobi formalism. We show how a consistent geometric interpretation of the…
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they are generated by a finite set of operations. We obtain…