English
Related papers

Related papers: Definable Groups in DCFA

200 papers

We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…

Number Theory · Mathematics 2025-08-04 Edgar Costa , Taylor Dupuy , Stefano Marseglia , David Roe , Christelle Vincent

In this paper we prove that the homological dimension of an elementary amenable group over an arbitrary commutative coefficient ring is either infinite or equal to the Hirsch length of the group. Established theory gives simple group…

Group Theory · Mathematics 2019-02-26 Peter Kropholler , Conchita Martínez-Pérez

This paper provides the first steps in classifying the finite solvable groups having Property A, which is a property involving abelian normal subgroups. We see that this classification is reduced to classifying the solvable Chermak-Delgado…

Group Theory · Mathematics 2022-07-06 Ryan McCulloch

We extend the results of G.~Garkusha and I.~Panin on framed motives of algebraic varieties [4] to the case of a finite base field, and extend the computation of the zeroth cohomology group $H^0(\mathbb ZF(\Delta^\bullet_k,\mathbf G^{\wedge…

K-Theory and Homology · Mathematics 2020-02-05 Andrei Druzhinin , Jonas Irgens Kylling

Let $\mathbb T$ be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of ${\mathbb T}^n$, also in relation to its codimension in the ambient space ${\mathbb T}^n$. The case of…

Logic · Mathematics 2017-01-25 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

In \cite{HPP}, Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that $T$ has the canonical base property in a strong form, " internality to" being replaced by…

Logic · Mathematics 2016-01-14 Daniel Palacín , Anand Pillay

We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a…

Logic · Mathematics 2019-08-28 Anand Pillay , Michael Wibmer

We prove an algebraic version of a classical theorem in topology, asserting that an abelian p-group action on a smooth projective variety of positive dimension cannot fix exactly one point. When the group has only two elements, we prove…

Algebraic Geometry · Mathematics 2023-08-29 Olivier Haution

We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…

Representation Theory · Mathematics 2019-02-20 Dave Benson , Zinovy Reichstein

We provide a differential-algebraic description of forking independence in the stable theory DCF$_{p,m}$ of differentially closed fields of characteristic $p>0$ with $m$-many commuting derivations. As a by-product of this description, we…

Logic · Mathematics 2025-11-10 Piotr Kowalski , Omar León Sánchez , Amador Martin-Pizarro

In this article, we study the elements with disconnected centralizer in the Brauer complex associated to a simple algebraic group G defined over a finite field with corresponding Frobenius map F and derive the number of F-stable semisimple…

Representation Theory · Mathematics 2010-03-18 Olivier Brunat

We define a numerical quasi-isometry invariant of a finitely generated group, whose values parametrize the difference between the group being uniformly embeddable in a Hilbert space and the reduced C*-algebra of the group being exact.

Operator Algebras · Mathematics 2007-05-23 Erik Guentner , Jerome Kaminker

The study of actions of countable groups by automorphisms of compact abelian groups has recently undergone intensive development, revealing deep connections with operator algebras and other areas. The discrete Heisenberg group is the…

Dynamical Systems · Mathematics 2015-12-23 Douglas Lind , Klaus Schmidt

We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…

Dynamical Systems · Mathematics 2017-02-10 Javier Ribón

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

Logic in Computer Science · Computer Science 2023-06-22 Khadijeh Keshvardoost , Bartek Klin , Sławomir Lasota , Joanna Ochremiak , Szymon Toruńczyk

We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $\Gamma$ and…

Logic · Mathematics 2025-06-25 Jan Dobrowolski , Omar Leon Sanchez

We prove that finite groups have the same complex character tables iff the group algebras are twisted forms of each other as Drinfel'd quasi-bialgebras or iff there is non-associative bi-Galois algebra over these groups. The interpretations…

Representation Theory · Mathematics 2007-05-23 A. Davydov

We obtain some new results on the topology of unary definable sets in densely ordered Abelian groups of burden groups of burden 2. In the special case in which the structure has dp-rank 2, we show that the existence of an infinite definable…

Logic · Mathematics 2022-11-21 Alfred Dolich , John Goodrick

We study groups of formal diffeomorphisms in several complex variables. For abelian, metabelian or nilpotent groups we investigate the existence of suitable formal vector fields and closed differential forms which exhibit an invariance…

Complex Variables · Mathematics 2011-10-27 Mitchael Martelo , Bruno Scardua

A group may be considered $C^*$-stable if almost representations of the group in a $C^*$-algebra are always close to actual representations. We initiate a systematic study of which discrete groups are $C^*$-stable or only stable with…

Operator Algebras · Mathematics 2021-04-21 Søren Eilers , Tatiana Shulman , Adam P. W. Sørensen