Related papers: Finite phylogenetic complexity and combinatorics o…
Let $A$ be an abelian variety over a finite field $k$. The $k$-isogeny class of $A$ is uniquely determined by the Weil polynomial $f_A$. We assume that $f_A$ is separable. For a given prime number $\ell\neq\mathrm{char}\, k$ we give a…
It is proved that any infinite Abelian group of infinite exponent admits a non-discrete reflexive group topology.
We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…
We construct a finitely presented (two-sided) totally orderable group with insoluble word problem.
We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant,…
We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is…
We construct the first explicit finite presentations for a family of K\"ahler groups with arbitrary finiteness properties, answering a question of Suciu.
We prove a conjecture of F. Chapoton relating certain enumerative invariants of (a) the cluster complex associated by S. Fomin and A. Zelevinsky to a finite root system and (b) the lattice of noncrossing partitions associated to the…
We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the…
We propose and develop a theory that allows to characterize epimorphisms of profinite groups in terms of indecomposable epimorphisms.
This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$…
We show that any soluble group $G$ of type Bredon-$\FP_{\infty}$ with respect to the family of all virtually cyclic subgroups such that centralizers of infinite order elements are of type $\FP_{\infty}$ must be virtually cyclic. To prove…
We determine a reasonable upper bound for the complexity of collection from the left to multiply two elements of a finite soluble, or polycyclic, group by restricting attention to certain polycyclic presentations of the group.
In algebraic statistics, the Kimura 3-parameter model is one of the most interesting and classical phylogenetic models. We prove that the ideals associated to this model are generated in degree four, confirming a conjecture by Sturmfels and…
We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.
We address a question of Cavenagh and Wanless asking: which finite abelian groups arise as the canonical group of a spherical latin bitrade? We prove the existence of an infinite family of finite abelian groups that do not arise as…
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…
Friedl and L\"oh (2021, Confl. Math.) prove that testing whether or not there is an epimorphism from a finitely presented group to a virtually cyclic group, or to the direct product of an abelian and a finite group, is decidable. Here we…
In this paper, we prove the following characterization: an abelian Mal'cev variety is finitely based if and only it has finite type, its ring of idempotent binary terms is finitely presented, and its module of unary terms is finitely…
We say that a group $G$ is of \textit{profinite type} if it can be realized as a Galois group of some field extension. Using Krull's theory, this is equivalent to the ability of $G$ to be equipped with a profinite topology. We also say that…