Related papers: Group Theoretical Characterizations of Rationality
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…
We give new equivalent characterizations for ideals of Borel type. Also, we prove that the regularity of a product of ideals of Borel type is bounded by the sum of the regularities of those ideals.
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…
We show that any subgroup of a finitely generated virtually abelian group $G$ grows rationally relative to $G$, that the set of right cosets of any subgroup of $G$ grows rationally, and that the set of conjugacy classes of $G$ grows…
It is a fundamental result in commutative algebra and invariant theory that a finitely generated graded module over a commutative finitely generated graded algebra has rational Hilbert series, and consequently the Hilbert series of the…
We study groups which satisfy Gardner's equidecomposition conjecture for uniformly distributed sets. We prove that an amenable group has this property if and only if it does not admit $(\mathbb{Z}/2\mathbb{Z}) *(\mathbb{Z}/2\mathbb{Z})$ as…
In this paper we generalise and unify the results and methods used by Benson, Liardet, Evetts, and Evetts & Levine, to show that rational sets in a virtually abelian group G have rational (relative) growth series with respect to any…
Let $X$ be a projective and smooth variety over a field $k$. The goal of this paper is to prove that the cokernel of the canonical map $Br(X)\to Br(X_{k^s})^{G_k}$ has a finite exponent. Both groups are natural invariants arising from…
This work can be thought as a contribution to the model theory of group extensions. We study the groups G which are interpretable in the disjoint union of two structures (seen as a two-sorted structure). We show that if one of the two…
It is well known that all Borel subgroups of a linear algebraic group are conjugate. This result also holds for the automorphism group ${{\mathrm{Aut}}} (\mathbb A^2)$ of the affine plane \cite{BerestEshmatovEshmatov2016} (see also…
We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a…
When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups…
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with…
We study rationality properties of irreducible characters of finite groups. We show that the continuity of $2$-rationality is a phenomenon that can be detected in the principal $2$-block, thus refining a recent result of N. N. Hung. We also…
Let $G$ be a group, $m\geq2$ and $n\geq1$. We say that $G$ is an $\mathcal{T}(m,n)$-group if for every $m$ subsets $X_1, X_2, \dots, X_m$ of $G$ of cardinality $n$, there exists $i\neq j$ and $x_i \in X_i, x_j \in X_j$ such that…
A recurring theme in finite group theory is understanding how the structure of a finite group is determined by the arithmetic properties of group invariants. There are results in the literature determining the structure of finite groups…
It was shown by Cellini and Papi that an ad-nilpotent ideal determines certain element of the affine Weyl group, and that there is a bijection between the ad-nilpotent ideals and the integral points of a simplex with rational vertices. We…
We give a stably birational classification for algebraic tori of dimensions $3$ and $4$ over a field $k$. First, we define the weak stably equivalence of algebraic tori and show that there exist $13$ (resp. $128$) weak stably equivalent…
Let X be an algebraic variety with a generically free action of a connected algebraic group G. Given an automorphism u of G, we will denote by X^u the same variety X with the G-action given by twisted by u. V. L. Popov asked if X and X^u…
We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…