Related papers: A Tame Generic Structure with Non-Algebraic Geomet…
One of the major open problems in automata and logic is the following: is there an algorithm which inputs a regular tree language and decides if the language can be defined in first-order logic? The goal of this paper is to present this…
We discuss transformations generated by dynamical quantum systems which are bi-unitary, i.e. unitary with respect to a pair of Hermitian structures on an infinite-dimensional complex Hilbert space. We introduce the notion of Hermitian…
We introduce a universally applicable method, based on the bond-algebraic theory of dualities, to search for generalized order parameters in disparate systems including non-Landau systems with topological order. A key notion that we advance…
We show that if $\M$ is a Zariski-like structure (see \cite{lisuriart}) that does not interpret a non-classical group, and the canonical pregeometry obtained from the bounded closure operator (bcl) is non locally modular, then $\M$…
This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of…
We investigate topologies on groups which arise naturally from their algebraic structure, including the Frech\'et-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that…
We present a method to construct explicitly L-infinity algebras governing simultaneous deformations of various kinds of algebraic structures and of their morphisms. It is an alternative to the heavy use of the operad machinery of the…
We provide sufficient conditions for two subgroups of a hierarchically hyperbolic group to generate an amalgamated free product over their intersection. The result applies in particular to certain geometric subgroups of mapping class groups…
The $H$-ring structure of certain infinite(-dimensional) Grassmannians is discussed using various algebraic and analytical methods but so that cellular arguments are avoided. These methods allow us to discuss these Grassmannian in greater…
We discuss the algebra of general gauge theories that are described by the embedding tensor formalism. We compare the gauge transformations dependent and independent of an invariant action, and argue that the generic transformations lead to…
We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit…
Ratner's theorem implies topological rigidity of immersed totally geodesic subspaces of noncompact type in finite-volume locally symmetric spaces. In higher rank and infinite volume, however, counter-examples to this rigidity have remained…
We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…
We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We first present a generalized algebraic theory for categories…
The goal of the paper is to give characterization of closed connected manifolds which admit a global multisympletic 3-form of some algebraic type. A generic type of such 3-form is equivalent to a G2-structure. This is the most interesting…
Non-holonomic constraints, both in the Lagragian and Hamiltonian formalism, are discussed from the geometrical viewpoint of implicit differential equations. A precise statement of both problems is presented remarking the similarities and…
In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Virasoro algebras. In particular,the derivation algebras, the automorphism groups and the second cohomology groups of these…
We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is…
We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…
We consider how the problem of determining normal forms for a specific class of nonholonomic systems leads to various interesting and concrete bridges between two apparently unrelated themes. Various ideas that traditionally pertain to the…