Rationality of the multivariate growth series for algebraic sets of virtually abelian groups

Yusuke Nakamura

2024-08-20

Abstract:We prove the rationality of the multivariate relative growth series for algebraic sets of virtually abelian groups, which had been conjectured by Evetts and Levine.

Group Theory,Combinatorics

What problem does this paper attempt to address?

Rational sets in virtually abelian groups: languages and growth

Laura Ciobanu,Alex Evetts

2023-06-21

Abstract: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 generating set for G. We prove equivalences between the structures used in the literature, and establish the rationality of important classes of sets in G: definable sets, algebraic sets, conjugacy representatives and coset representatives (of any fixed subgroup), among others. Furthermore, we show that any rational set, when written as words over the generating set of G, has several EDT0L representations.

Group Theory,Formal Languages and Automata Theory
Twisted conjugacy growth series of virtually abelian groups

Alex Evetts,Maarten Lathouwers

2024-10-24

Abstract:We initiate the study of the twisted conjugacy growth series of a finitely generated group, the formal power series associated to the twisted conjugacy growth function. Our main result is that this series is always an $\mathbb{N}$-rational function when the group in question is virtually abelian, and that this function can be explicitly computed from appropriate information about the group and the twisting endomorphism. We also show that the relative growth series of any twisted conjugacy class in a finitely generated virtually abelian group is itself an explicitly computable $\mathbb{N}$-rational function.

Group Theory
Irrationality of generic quotient varieties via Bogomolov multipliers

Urban Jezernik,Jonatan Sánchez

DOI: https://doi.org/10.48550/arXiv.1811.01851

2023-01-17

Abstract:The Bogomolov multiplier of a group is the unramified Brauer group associated to the quotient variety of a faithful representation of the group. This object is an obstruction for the quotient variety to be stably rational. The purpose of this paper is to study these multipliers associated to nilpotent pro-$p$ groups by transporting them to their associated Lie algebras. Special focus is set on the case of $p$-adic Lie groups of nilpotency class $2$, where we analyse the moduli space. This is then applied to give information on asymptotic behaviour of multipliers of finite images of such groups of exponent $p$. We show that with fixed $n$ and increasing $p$, a positive proportion of these groups of order $p^n$ have trivial multipliers. On the other hand, we show that by fixing $p$ and increasing $n$, log-generic groups of order $p^n$ have non-trivial multipliers. Whence quotient varieties of faithful representations of log-generic $p$-groups are not stably rational. Applications in non-commutative Iwasawa theory are developed.

Group Theory,Algebraic Geometry
Dead ends and rationality of complete growth series

Pierre Alderic Bagnoud,Corentin Bodart

2024-07-02

Abstract:The complete growth series of a finitely generated group is given by $\sum_{n\ge 0} A_ns^n$, where $A_n$ is the sum of elements of length $n$ in the group semiring. We study the $\mathbb NG$-rationality and $\mathbb NG$-algebraicity of such series. We show that having dead ends of arbitrarily large depths is an obstruction to $\mathbb NG$-rationality. In the case of the $3$-dimensional Heisenberg group $H_3(\mathbb Z)$, we prove that the complete series is not $\mathbb NG$-algebraic for any generating set. Dead ends are also used to show that complete growth series of higher Heisenberg groups are not $\mathbb NG$-rational for specific generating sets. Using a more general version of this obstruction, we prove that complete growth series of some lamplighter groups are not $\mathbb NG$-rational either.

Group Theory
Rational power series in several noncommuting variables and the Skolem–Mahler–Lech theorem

Juha Honkala

DOI: https://doi.org/10.1016/j.tcs.2024.114540

IF: 1.002

2024-04-04

Theoretical Computer Science

Abstract:We generalize the Skolem–Mahler–Lech theorem for rational power series in several noncommuting variables having a slender support. This generalization gives a connection between the Skolem–Mahler–Lech theorem and the characterization of slender regular languages proved independently by Păun and Salomaa and by Shallit.

computer science, theory & methods
Effective equation solving, constraints and growth in virtually abelian groups

Laura Ciobanu,Alex Evetts,Alex Levine

2024-03-28

Abstract:In this paper we study the satisfiability and solutions of group equations when combinatorial, algebraic and language-theoretic constraints are imposed on the solutions. We show that the solutions to equations with length, lexicographic order, abelianisation or context-free constraints added, can be effectively produced in finitely generated virtually abelian groups. Crucially, we translate each of the constraints above into a rational set in an effective way, and so reduce each problem to solving equations with rational constraints, which is decidable and well understood in virtually abelian groups. A byproduct of our results is that the growth series of a virtually abelian group, with respect to any generating set and any weight, is effectively computable. This series is known to be rational by a result of Benson, but his proof is non-constructive.

Group Theory,Discrete Mathematics,Formal Languages and Automata Theory
Rationality and arithmetic of the moduli of abelian varieties

Daniel Loughran,Gregory Sankaran

2023-10-02

Abstract:We study the rationality properties of the moduli space $\mathcal{A}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular we show that any principally polarised abelian threefold over $\mathbb{F}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri-Lang conjecture we also show that this is not the case for abelian varieties of dimension at least seven. About moduli spaces, we show that $\mathcal{A}_g$ is unirational over $\mathbb{Q}$ for $g \leq 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

Algebraic Geometry,Number Theory
Equivariantly uniformly rational varieties

Charlie Petitjean

DOI: https://doi.org/10.48550/arXiv.1505.03108

2017-03-27

Abstract:We introduce equivariant versions of uniform rationality: given an algebraic group G, a G-variety is called G-uniformly rational (resp. G-linearly uniformly rational) if every point has a G-invariant open neighborhood equivariantly isomorphic to a G-invariant open subset of the affine space endowed with a G-action (resp. linear G-action). We establish a criterion for Gm-uniform rationality of affine variety equipped with hyperbolic Gm-action with a unique fixed point, formulated in term of their Altmann-Hausen presentation. We prove the Gm-uniform rationality of Koras-Russel threefolds of the first kind and we also give example of non Gm-uniformly rational but smooth rational Gm-threefold associated to pairs of plane rational curves birationally non equivalent to a union of lines.

Algebraic Geometry
Automatic structures and growth functions for finitely generated abelian groups

Satoshi Kamei

DOI: https://doi.org/10.48550/arXiv.1112.1771

2011-12-12

Abstract:In this paper, we consider the formal power series whose n-th coefficient is the number of copies of a given finite graph in the ball of radius n centred at the identity element in the Cayley graph of a finitely generated group and call it the growth function. Epstein, Iano-Fletcher and Uri Zwick proved that the growth function is a rational function if the group has a geodesic automatic structure. We compute the growth function in the case where the group is abelian and see that the denominator of the rational function is determined from the rank of the group.

Group Theory,Geometric Topology
On several irrationality problems for Ahmes series

Vjekoslav Kovač,Terence Tao

2024-11-28

Abstract:Using basic tools of mathematical analysis and elementary probability theory we address several problems on the irrationality of series of distinct unit fractions, $\sum_k 1/a_k$. In particular, we study subseries of the Lambert series $\sum_k 1/(t^k-1)$ and two types of irrationality sequences $(a_k)$ introduced by Paul Erdős and Ronald Graham. Next, we address a question of Erdős, who asked how rapidly a sequence of positive integers $(a_k)$ can grow if both series $\sum_k 1/a_k$ and $\sum_k 1/(a_k+1)$ have rational sums. Our construction of double exponentially growing sequences $(a_k)$ with this property generalizes to any number $d$ of series $\sum_k 1/(a_k+j)$, $j=0,1,2,\ldots,d-1$, and, in particular, also gives a positive answer to a question of Erdős and Ernst Straus on the interior of the set of $d$-tuples of their sums. Finally, we prove the existence of a sequence $(a_k)$ such that all well-defined sums $\sum_k 1/(a_k+t)$, $t\in\mathbb{Z}$, are rational numbers, giving a negative answer to a conjecture by Kenneth Stolarsky.

Number Theory,Classical Analysis and ODEs
Rational Curves on Real Classical Groups

Zijia Li,Ke Ye

2024-08-08

Abstract:This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify quadratic rational curves on $\mathrm{U}_n$, $\mathrm{O}_n(\mathbb{R})$, $\mathrm{O}_{n-1,1}(\mathbb{R})$ and $\mathrm{O}_{n-2,2}(\mathbb{R})$. (ii) We prove a decomposition theorem for rational curves on real classical groups, which can be regarded as a non-commutative generalization of the fundamental theorem of algebra and partial fraction decomposition. (iii) As an application of (i) and (ii), we generalize Kempe's Universality Theorem to rational curves on homogeneous spaces.

Algebraic Geometry,Symbolic Computation,Group Theory
A multivariate version of Polya-Carlson theorem

Tianlong Yu

2023-12-26

Abstract:Polya-Carlson theorem asserts that if a power series with integer coefficients and convergence radius 1 can be extended holomorphically out of the unit disc, it must represent a rational function. In this note, we give a generalization of this result to multivariate case and give an application to rationality theorem about D-finite power series.

Complex Variables
Rationality of singular cubic threefolds over $\mathbb R$

Ivan Cheltsov,Yuri Tschinkel,Zhijia Zhang

2024-11-22

Abstract:We study rationality properties of real singular cubic threefolds.

Algebraic Geometry
Multivariate growth and cogrowth

Rostislav Grigorchuk,Jean-Francois Quint,Asif Shaikh

2023-11-28

Abstract:We investigate a multivariate growth series $\Gamma_L({\bf z}), {\bf z} \in \mathbb{C}^d$ associated with a regular language $L$ over an alphabet of cardinality $d.$ Our focus is on languages coming from subgroups of the free group and from subshifts of finite type. We develop a mechanism for computing the rate of growth $\varphi_L({\bf r})$ of $L$ in the direction ${\bf r} \in \mathbb{R}^d$. Using the concave growth condition (CG) introduced by the second author in \cite{quint2002divergence} and the results of Convex Analysis we represent $\psi_L({\bf r}) = \log\left(\varphi_L({\bf r})\right)$ as a support function of a convex set that is a closure of the $\textrm{Relog}$ image of the domain of absolute convergence of $\Gamma_L({\bf z})$. This allows us to compute $\psi_L({\bf r})$ in some important cases, like a Fibonacci language or a language of freely reduced words representing elements of a free group $F_2$. Also we show that the methods of the Large deviation theory can be used as an alternative approach. Finally, we suggest some open problems directed on the possibility of extensions of the results of the first author from \cite{grigorchuk1980symmetrical} on multivariate cogrowth.

Group Theory,Formal Languages and Automata Theory
Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations

Yann Bugeaud

DOI: https://doi.org/10.1017/S0305004116000864

2016-02-18

Abstract:We show how the theory of linear forms in two logarithms allows one to get effective irrationality measures for $n$-th roots of rational numbers ${a \over b}$, when $a$ is very close to $b$. We give a $p$-adic analogue of this result under the assumption that $a$ is $p$-adically very close to $b$, that is, that a large power of $p$ divides $a-b$. As an application, we solve completely certain families of Thue-Mahler equations. Our results illustrate, admittedly in a very special situation, the strength of the known estimates for linear forms in logarithms.

Number Theory
Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Y. Abdelaziz,S. Boukraa,C. Koutschan,J-M. Maillard

DOI: https://doi.org/10.48550/arXiv.2002.00789

2022-04-27

Abstract:We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained, much more efficiently, calculating the $ j$-invariant of an elliptic curve canonically associated with the denominator of the rational functions. In the case where creative telescoping yields pullbacked $ _2F_1$ hypergeometric functions, we generalize this result to other families of rational functions in three, and even more than three, variables. We also generalise this result to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, foliation in elliptic curves. We also extend these results to rational functions in three variables when the denominator is associated with a {\em genus-two curve such that its Jacobian is a split Jacobian} corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked $ _2F_1$ hypergeometric solutions, the denominator corresponding to an algebraic variety being not simply foliated in elliptic curves, but having a selected elliptic curve in the variety explaining the pullbacked $ _2F_1$ hypergeometric solution.

Algebraic Geometry
Discrepancy of rational points in simple algebraic groups

Alexander Gorodnik,Amos Nevo

DOI: https://doi.org/10.1112/s0010437x23007716

2024-03-14

Compositio Mathematica

Abstract:The aim of the present paper is to derive effective discrepancy estimates for the distribution of rational points on general semisimple algebraic group varieties, in general families of subsets and at arbitrarily small scales. We establish mean-square, almost sure and uniform estimates for the discrepancy with explicit error bounds. We also prove an analogue of W. Schmidt's theorem, which establishes effective almost sure asymptotic counting of rational solutions to Diophantine inequalities in the Euclidean space. We formulate and prove a version of it for rational points on the group variety, with an effective bound which in some instances can be expected to be the best possible.

mathematics
Uniformly semi-rational groups

Ángel del Río,Marco Vergani

2024-11-26

Abstract:We introduce and study some families of groups whose irreducible characters take values on quadratic extensions of the rationals. We focus mostly on a generalization of inverse semi-rational groups, which we call uniformly semi-rational groups. Moreover, we associate to every finite group two invariants, called rationality and semi-rationality of the group. They measure respectively how far a group is from being rational and how much uniformly rational it is. We determine the possible values that these invariants may take for finite nilpotent groups. We also classify the fields that can occur as the field generated by the character values of a finite nilpotent group.

Group Theory,Representation Theory
Consequences of the existence of exceptional collections in arithmetic and rationality

Matthew R. Ballard,Alexander Duncan,Alicia Lamarche,Patrick K. McFaddin

2024-09-26

Abstract:A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full étale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full étale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations.

Algebraic Geometry
Fields of rationality of automorphic representations: The case of unitary groups

John Binder

DOI: https://doi.org/10.1016/j.jnt.2017.07.001

IF: 0.679

2019-10-01

Journal of Number Theory

Abstract:This paper examines fields of rationality in families of cuspidal automorphic representations of unitary groups. Specifically, for a fixed A and a sufficiently large family F , a small proportion of representations π ∈ F will satisfy [ Q ( π ) : Q ] ≤ A . Like earlier work of Shin and Templier, the result depends on a Plancherel equidistribution result for the local components of representations in families. An innovation of our work is an upper bound on the number of discrete series GL n ( L ) representations with small field of rationality, counted with appropriate multiplicity, which in turn depends upon an asymptotic character expansion of Murnaghan and formal degree computations of Aubert and Plymen.

mathematics

Rationality of the multivariate growth series for algebraic sets of virtually abelian groups

Rational sets in virtually abelian groups: languages and growth

Twisted conjugacy growth series of virtually abelian groups

Irrationality of generic quotient varieties via Bogomolov multipliers

Dead ends and rationality of complete growth series

Rational power series in several noncommuting variables and the Skolem–Mahler–Lech theorem

Effective equation solving, constraints and growth in virtually abelian groups

Rationality and arithmetic of the moduli of abelian varieties

Equivariantly uniformly rational varieties

Automatic structures and growth functions for finitely generated abelian groups

On several irrationality problems for Ahmes series

Rational Curves on Real Classical Groups

A multivariate version of Polya-Carlson theorem

Rationality of singular cubic threefolds over $\mathbb R$

Multivariate growth and cogrowth

Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations

Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version)

Discrepancy of rational points in simple algebraic groups

Uniformly semi-rational groups

Consequences of the existence of exceptional collections in arithmetic and rationality

Fields of rationality of automorphic representations: The case of unitary groups