Related papers: $\mathbb{Q}$ACFA

We show that the sheaf of $\mathbb A^1$-connected components of a reductive algebraic group over a perfect field is strongly $\mathbb A^1$-invariant. As a consequence, torsors under such groups give rise to $\mathbb A^1$-fiber sequences. We…

The paper deals with affine 2-dimensional Toda field theories related to simple Lie algebras of the classical series ${\bf D}_r$. We demonstrate that the complexification procedure followed by a restriction to a specified real Hamiltonian…

In this paper a finite dimensional unital associative algebra is presented, and its group of algebra automorphisms is detailed. The studied algebra can physically be understood as the creation operator algebra in a formal quantum field…

An associative $*$-algebra is introduced (containing a $TTR$-algebra as a subalgebra) that implements the form factor axioms, and hence indirectly the Wightman axioms, in the following sense: Each $T$-invariant linear functional over the…

We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an…

We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among…

Let $G$ be an inductive limit of finite cyclic groups and let $A$ be a unital simple projectionless C*-algebra with $K_1(A) \cong G$ and with a unique tracial state, as constructed based on dimension drop algebras by Jiang and Su. First, we…

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Let $G$ be a Kac-Moody group over a finite field corresponding to a generalized Cartan matrix $A$, as constructed by Tits. It is known that $G$ admits the structure of a BN-pair, and acts on its corresponding building. We study the complete…

We give an explicit description of the automorphism group of a product of complete toric varieties over an arbitrary field in terms of the respective automorphism groups of its components. More precisely, we prove that, up to permutation of…

Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple \CA with tracial rank zero. Suppose that $\phi_1, \phi_2: C\to A$ are two unital monomorphisms. We show that there is a continuous path of unitaries $\{u_t: t\in [0,…

Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$,…

We prove a purely topological characterization of the Moufang property for disconnected compact polygons in terms of convergence groups. As a consequence, we recover the fact that a locally finite thick affine building of rank 3 is a…

Let k be an algebraically closed field and A be a finite-dimensional associative basic k-algebra of the form A=kQ/I where Q is a quiver without oriented cycles or double arrows and I is an admissible ideal of kQ. We consider roots of the…

We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fra\"{i}ss\'{e} limits of Fra\"{i}ss\'{e} classes satisfying…

We characterize $t$-structures in stable $\infty$-categories as suitable quasicategorical factorization systems. More precisely we show that a $t$-structure $\mathfrak{t}$ on a stable $\infty$-category $\mathbf{C}$ is equivalent to a normal…

We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing pointwise all non-generic elements for a class of uncountable models of suitable theories, encompassing both strongly minimal theories as well…

For a mixing shift of finite type, the associated automorphism group has a rich algebraic structure, and yet we have few criteria to distinguish when two such groups are isomorphic. We introduce a stabilization of the automorphism group,…