Rational equivalence on adjoint groups of type $^{1}D_n$ over field $\mathbb{Q}_P(X)$

M. Archita

2024-08-28

Abstract:Let $F$ be the function field of a smooth, geometrically integral curve over a $p$-adic field with $p\neq 2.$ Let $G$ be a classical adjoint group of type $^1D_n$ defined over $F$. We show that $G(F) / R$ is trivial, where $R$ denotes {\it rational equivalence} on $G(F)$.

Rings and Algebras

What problem does this paper attempt to address?

Rationality of the Local Jacquet-Langlands Correspondence for GL(n)

Kenta Suzuki

2023-07-12

Abstract:We relate the field of definition of representations $\sigma$ of the group of units $D^\times$ of a non-archimedean division algebra $D/F$ to that of its L-parameter $\varphi_\sigma\colon W_F\to \mathrm{GL}_n(\mathbb C)$, extending results of [Prasad-Ramakrishnan]. The field of definitions are controlled by division algebras $\mathcal D_{\sigma}$ and $\mathcal D_{\varphi_\sigma}$ over the field of rationality $\mathbb Q(\pi)$, and we completely pin down the relationship between the Hasse invariants at places not over $p$. Under some additional assumptions we can also specify the Hasse invariants at places over $p$.

Number Theory,Representation Theory
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
On quadratic rational Frobenius groups

Emanuele Pacifici,Marco Vergani

2024-08-28

Abstract:Let $G$ be a finite group and, for a given complex character $\chi$ of $G$, let ${\mathbb{Q}}(\chi)$ denote the field extension of ${\mathbb{Q}}$ obtained by adjoining all the values $\chi(g)$, for $g\in G$. The group $G$ is called quadratic rational if, for every irreducible complex character $\chi\in{\rm{Irr}}(G)$, the field ${\mathbb{Q}}(\chi)$ is an extension of ${\mathbb{Q}}$ of degree at most $2$. Quadratic rational groups have a nice characterization in terms of the structure of the group of central units in their integral group ring, and in fact they generalize the well-known concept of a cut group (i.e., a finite group whose integral group ring has a finite group of central units). In this paper we classify the Frobenius groups that are quadratic rational, a crucial step in the project of describing the Gruenberg-Kegel graphs associated to quadratic rational groups. It turns out that every Frobenius quadratic rational group is uniformly semi-rational, i.e., it satisfies the following property: all the generators of any cyclic subgroup of $G$ lie in at most two conjugacy classes of $G$, and these classes are permuted by the same element of the Galois group ${\rm{Gal}}({\mathbb{Q}}_{|G|}/{\mathbb{Q}})$ (in general, every cut group is uniformly semi-rational, and every uniformly semi-rational group is quadratic rational). We will also see that the class of groups here considered coincides with the one studied in [4], thus the main result of this paper also completes the analysis carried out in [4].

Group Theory,Representation Theory
Rational Variant of Hartogs' Theorem on Separate Holomorphicity

Hanwen Liu

2023-07-06

Abstract:Given an uncountable algebraically closed field $K$, we proved that if partially defined function $f\colon K \times \dots \times K \dashrightarrow K$ defined on a Zariski open subset of the $n$-fold Cartesian product $K \times \dots \times K$ is rational in each coordinate whilst other coordinates are held constant, then $f$ is itself a rational function in $n$-variables.

Algebraic Geometry,Complex Variables
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
Flat morphisms with regular fibers do not preserve $F$-rationality

Eamon Quinlan-Gallego,Austyn Simpson,Anurag K. Singh

2024-06-02

Abstract:For each positive prime integer $p$ we construct a standard graded $F$-rational ring $R$, over a field $K$ of characteristic $p$, such that $R\otimes_K\overline{K}$ is not $F$-rational. By localizing we obtain a flat local homomorphism $(R, \mathfrak{m}) \to (S, \mathfrak{n})$ such that $R$ is $F$-rational, $S/\mathfrak{m} S$ is regular (in fact, a field), but $S$ is not $F$-rational. In the process we also obtain standard graded $F$-rational rings $R$ for which $R\otimes_K R$ is not $F$-rational.

Commutative Algebra
Rational surfaces with a non-arithmetic automorphism group

Jennifer Li,Sebastián Torres

2024-10-11

Abstract:In <a class="link-https" data-arxiv-id="1008.3825" href="https://arxiv.org/abs/1008.3825">arXiv:1008.3825</a>, Totaro gave examples of a K3 surface such that its automorphism group is not commensurable with an arithmetic group, answering a question of Mazur. We give examples of rational surfaces with the same property. Our examples $Y$ are Looijenga pairs, i.e., there is a connected singular nodal curve $D \subset Y$ such that $K_{Y} + D = 0$.

Algebraic Geometry
On fields of meromorphic functions on neighborhoods of rational curves

Serge Lvovski

2024-09-05

Abstract:Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the field of meromorphic functions on $F$ is isomorphic to the field of rational functions in one or two variables over $\mathbb C$.

Complex Variables,Algebraic Geometry
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
Galois groups and rational solutions of $p(X) = A$

G.J.Groenewald,G. Goosen,D.B.Janse van Rensburg,A.C.M. Ran,M. van Straaten

2023-07-11

Abstract:We extend Theorem 1 of R. Reams, A Galois approach to m-th roots of matrices with rational entries, LAA 258 (1997), 187-194. Let $p(\lambda)$ be any polynomial over $\mathbb{Q}$ and let $A\in M_n(\mathbb{Q})$ have irreducible characteristic polynomial $f(\lambda)$ with degree n. We provide necessary and sufficient conditions for the existence of a solution $X\in M_n(\mathbb{Q})$ of the polynomial matrix equation $p(X) = A.$ Specifically, we find necessary and sufficient conditions for $f(p(\lambda))$ to have a factor of degree $n$ over $\mathbb{Q}.$

Number Theory,Functional Analysis
On almost $p$-rational characters of $p'$-degree

Nguyen Ngoc Hung,Gunter Malle,Attila Maróti

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

2021-04-07

Abstract:Let $p$ be a prime and $G$ a finite group. A complex character of $G$ is called almost $p$-rational if its values belong to a cyclotomic field $\mathbb{Q}(e^{2\pi i/n})$ for some $n\in \mathbb{Z}^+$ prime to $p$ or precisely divisible by $p$. We prove that, in contrast to usual $p$-rational characters, there are always "many" almost $p$-rational irreducible characters in finite groups. We obtain both explicit and asymptotic bounds for the number of almost $p$-rational irreducible characters of $G$ in terms of $p$. In fact, motivated by the McKay-Navarro conjecture, we obtain the same bound for the number of such characters of $p'$-degree and prove that, in the minimal situation, the number of almost $p$-rational irreducible $p'$-characters of $G$ coincides with that of $N_G(P)$ for $P\in\mathrm{Syl}_p(G)$. Lastly, we propose a new way to detect the cyclicity of Sylow $p$-subgroups of a finite group $G$ from its character table, using almost $p$-rational irreducible $p'$-characters and the blockwise refinement of the McKay-Navarro conjecture.

Representation Theory,Group Theory
On abstract homomorphisms of algebraic groups

Pralay Chatterjee

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

2016-03-14

Abstract:In this paper we study abstract group homomorphisms between the groups of rational points of linear algebraic groups which are not necessarily reductive. One of our main goal is to obtain results on homomorphisms from the groups of rational points of linear algebraic groups defined over certain specific fields to the groups of rational points of linear algebraic groups over number fields and non-archimedean local fields of characteristic zero; in this set-up we deal with the unexplored topic of abstract homomorphisms from the groups of rational points of anisotropic groups over non-archimedean local fields of characteristic zero. We also obtain results on abstract homomorphisms from unipotent and solvable groups, and prove general results on the structures of abstract homomorphisms using the celebrated result of Borel and Tits in this area and a well-known theorem due to Tits on the structure of the groups of rational points of isotropic semisimple groups.

Group Theory,Algebraic Geometry
Rationality of forms of $\overline{\mathcal M}_{0,n}$

Brendan Hassett,Yuri Tschinkel,Zhijia Zhang

2024-02-05

Abstract:We study equivariant geometry and rationality of moduli spaces of points on the projective line, for twists associated with permutations of the points.

Algebraic Geometry
Dual of the Geometric Lemma and the Second Adjointness Theorem for $p$-adic reductive groups

Kei Yuen Chan

2024-06-19

Abstract:Let $P,Q$ be standard parabolic subgroups of a $p$-adic reductive group $G$. We study the smooth dual of the filtration on a parabolically induced module arising from the geometric lemma associated to the cosets $P\setminus G/Q$. We prove that the dual filtration coincides with the filtration associated to the cosets $P\setminus G/Q^-$ via the Bernstein-Casselman canonical pairing from the second adjointness of parabolic induction. This result generalizes a result of Bezrukavnikov-Kazhdan on the explicit description in the second adjointness. Along the way, we also study some group theoretic results.

Representation Theory,Number Theory
Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Stefano Marseglia,Caleb Springer

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

2022-05-06

Abstract:We show that every finite abelian group $G$ occurs as the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$. We produce partial results for abelian varieties over a general finite field $\mathbb{F}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over $\mathbb{F}_q$ when $q$ is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over $\mathbb{F}_2$.

Number Theory
Galois groups of random polynomials over the rational function field

Alexei Entin

2024-03-19

Abstract:For a fixed prime power $q$ and natural number $d$ we consider a random polynomial $$f=x^n+a_{n-1}(t)x^{n-1}+\ldots+a_1(t)x+a_0(t)\in\mathbb F_q[t][x]$$ with $a_i$ drawn uniformly and independently at random from the set of all polynomials in $\mathbb F_q[t]$ of degree $\le d$. We show that with probability tending to 1 as $n\to\infty$ the Galois group $G_f$ of $f$ over $\mathbb F_q(t)$ is isomorphic to $S_{n-k}\times C$, where $C$ is cyclic, $k$ and $|C|$ are small quantities with a simple explicit dependence on $f$. As a corollary we deduce that $\mathbb P(G_f=S_n\,|\,f\mbox{ irreducible})\to 1$ as $n\to\infty$. Thus we are able to overcome the $S_n$ versus $A_n$ ambiguity in the most natural small box random polynomial model over $\mathbb F_q[t]$, which has not been achieved over $\mathbb Z$ so far.

Number Theory
Rational curves on complete intersections in positive characteristic

Eric Riedl,Matthew Woolf

DOI: https://doi.org/10.1016/j.jalgebra.2017.09.025

IF: 0.908

2018-01-01

Journal of Algebra

Abstract:We study properties of rational curves on complete intersections in positive characteristic. It has long been known that in characteristic 0, smooth Calabi–Yau and general type varieties are not uniruled. In positive characteristic, however, there are well-known counterexamples to this statement. We will show that nevertheless, a general Calabi–Yau or general type complete intersection in projective space is not uniruled. We will also show that the space of complete intersections of degree (d1,⋯,dk) containing a rational curve has codimension at least ∑i=1kdi−2n+2 and give similar results for hypersurfaces containing higher genus curves.

mathematics
Some aspects of rational points and rational curves

Olivier Wittenberg

DOI: https://doi.org/10.4171/ICM2022-3

2022-01-15

Abstract:Various methods have been used to construct rational points and rational curves on rationally connected algebraic varieties. We survey recent advances in two of them, the descent and the fibration method, in a number-theoretical context (rational points over number fields) and in an algebro-geometric one (rational curves on real varieties), and discuss the question of rational points over function fields of p-adic curves.

Algebraic Geometry,Number Theory
Unirationality and $R$-equivalence for conic bundles over quasi-finite fields

Elyes Boughattas

2024-10-26

Abstract:We show that over a quasi-finite field $k$ (e.g. a finite field) a regular conic bundle over $\mathbf{P}^1_k$ is unirational if all non-split fibres lie over a union of rational points, a closed point of degree at most $2$ and potentially an additional closed point of odd degree. Under the same assumptions, if in addition there do not exist both non-split fibres over a point of degree $2$ and a point of odd degree at least $3$, we prove that all rational points are $R$-equivalent.

Algebraic Geometry,Number Theory
Invariant rational functions under rational transformations

Jason Bell,Rahim Moosa,Matthew Satriano

2024-03-12

Abstract:Let $X$ be an algebraic variety equipped with a dominant rational self-map $\phi:X\to X$. A new quantity measuring the interaction of $(X,\phi)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,\phi)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, \phi)$ and $(Y, \psi)$, as $(Y,\psi)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant agrees with the maximum dimension of a dominant equivariant rational image $(X',\phi')$ where $\phi'$ is part of an algebraic group action on $X'$. As a consequence, it is deduced that if some cartesian power of $(X,\phi)$ admits a nonconstant invariant rational function, then already the second cartesian power does.

Algebraic Geometry,Dynamical Systems,Logic

Rational equivalence on adjoint groups of type $^{1}D_n$ over field $\mathbb{Q}_P(X)$

Rationality of the Local Jacquet-Langlands Correspondence for GL(n)

Rational Curves on Real Classical Groups

On quadratic rational Frobenius groups

Rational Variant of Hartogs' Theorem on Separate Holomorphicity

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

Flat morphisms with regular fibers do not preserve $F$-rationality

Rational surfaces with a non-arithmetic automorphism group

On fields of meromorphic functions on neighborhoods of rational curves

Rationality and arithmetic of the moduli of abelian varieties

Galois groups and rational solutions of $p(X) = A$

On almost $p$-rational characters of $p'$-degree

On abstract homomorphisms of algebraic groups

Rationality of forms of $\overline{\mathcal M}_{0,n}$

Dual of the Geometric Lemma and the Second Adjointness Theorem for $p$-adic reductive groups

Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Galois groups of random polynomials over the rational function field

Rational curves on complete intersections in positive characteristic

Some aspects of rational points and rational curves

Unirationality and $R$-equivalence for conic bundles over quasi-finite fields

Invariant rational functions under rational transformations