English
Related papers

Related papers: Model Theory of Proalgebraic Groups

200 papers

This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on…

Algebraic Geometry · Mathematics 2023-01-09 Giuseppe Ancona

Consider a normal projective variety $X$, a linear algebraic subgroup $G$ of Aut($X$), and the field $K$ of $G$-invariant rational functions on $X$. We show that the subgroup of Aut($X$) that fixes $K$ pointwise is linear algebraic. If $K$…

Algebraic Geometry · Mathematics 2020-08-06 Michel Brion

Let X be a smooth projective curve over a field k of characteristic zero. The differential fundamental group of X is defined as the Tannakian dual to the category of vector bundles with (integrable) connections on X. This work investigates…

Algebraic Geometry · Mathematics 2025-03-26 Vo Quoc Bao , Phung Ho Hai , Dao Van Thinh

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

Logic · Mathematics 2019-01-11 Krzysztof Krupinski , Anand Pillay

We study algebraic tangles as fundamental components in knot theory, developing a systematic approach to classify and tabulate prime tangles using a novel canonical representation. The canonical representation enables us to distinguish…

Geometric Topology · Mathematics 2025-04-10 Bartosz Ambrozy Gren , Joanna Ida Sulkowska , Boštjan Gabrovšek

In this paper, we explore a notion of nonabelian Hodge structure on the fundamental group of an algebraic variety. This is approach is compared to some alternative approaches due to Morgan, Hain and others. We also give criteria for a…

Algebraic Geometry · Mathematics 2009-08-06 Donu Arapura

For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…

Logic · Mathematics 2016-09-07 Carsten Butz , Ieke Moerdijk

Let F be a local henselian nonarchimedean field of residual field k, and let G be the group of F-points of a connected reductive group defined over F. It is well-known that the quotient of any parahoric subgroup of G by its first congruence…

Group Theory · Mathematics 2015-05-12 François Courtès

In this article we explore a non-abelian torsion theory in the category of preordered groups: the objects of its torsion-free subcategory are the partially ordered groups, whereas the objects of the torsion subcategory are groups (with the…

Category Theory · Mathematics 2021-04-13 Marino Gran , Aline Michel

This work is a continuation of Automorphisms of $K$-groups I, P. Flavell, preprint. The main object of study is a finite $K$-group $G$ that admits an elementary abelian group $A$ acting coprimely. For certain group theoretic properties…

Group Theory · Mathematics 2016-09-09 Paul Flavell

Consider the algebraic dynamics on a torus T=G_m^n given by a matrix M in GL_n(Z). Assume that the characteristic polynomial of M is prime to all polynomials X^m-1. We show that any finite equivariant map from another algebraic dynamics…

Logic · Mathematics 2016-02-24 Zoé Chatzidakis , Ehud Hrushovski

We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.

Logic · Mathematics 2025-01-03 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

Moralisation and Triangulation are transformations allowing to switch between different ways of factoring a probability distribution into a graphical model. Moralisation allows to view a Bayesian network (a directed model) as a Markov…

Artificial Intelligence · Computer Science 2025-07-30 Antonio Lorenzin , Fabio Zanasi

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

Logic · Mathematics 2024-02-06 Will Johnson , Ningyuan Yao

We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…

Logic · Mathematics 2023-02-17 Saharon Shelah , Alexander Usvyatsov

We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our…

Commutative Algebra · Mathematics 2009-12-07 Zur Izhakian , Louis Rowen

In this article we define $G$-algebras, that is, graded algebras on which a reductive group $G$ acts as gradation preserving automorphisms. Starting from a finite dimensional $G$-module $V$ and the polynomial ring $\mathbb{C}[V]$, it is…

Rings and Algebras · Mathematics 2016-05-31 Kevin De Laet

In the first half of this paper, we outline the construction of a new class of abelian pro-$p$ groups, which covers all countably-based pro-$p$ groups. In the second half, we study them, and classify them up to topological isomorphism and…

Group Theory · Mathematics 2012-11-21 Jonathan Kiehlmann

A weak bialgebra is known to be a special case of a bialgebroid. In this paper we study the relationship of this fact with the Tannaka theory of bialgebroids as developed in [4]. We obtain a Tannaka representation theorem with respect to a…

Quantum Algebra · Mathematics 2010-08-10 Dimitri Chikhladze

We prove a number of results on the structure and representation theory of the rational Cherednik algebra of the imprimitive reflection group $G(\ell,p,n)$. In particular, we: (1) show a relationship to the Coulomb branch construction of…

Rings and Algebras · Mathematics 2020-10-16 Elise LePage , Ben Webster