Number Theory [math.NT]

The Sufficient Set of Congruences of Binomial Coefficients for Primality

math.NT

For any given integer $p$, we show that primality of $p$ is equivalent to $\lceil \frac{1}{2}\log_{2}p \rceil$ congruences of binomial coefficients modulo $p$. We also give extensions of this result to several other congruences that are similar in nature.

Finite and Symmetric Multiple $T$-Values

math.NT

The multiple $T$-values (MTVs), first studied by Kaneko and Tsumura, are a variation of the multiple zeta values (MZVs) with restricted product structure. Motivated by a deep conjecture of Kaneko and Zagier relating finite MZVs and symmetric MZVs, which was extended to Euler sums by Zhao, we study finite and symmetric multiple $T$-values. In particular, we show that finite MTVs satisfy Hoffman-type duality relations at low height, confirming several conjectures of the second author and discovering new families of identities. In proving relations among symmetric MTVs, our work builds on Xu and Zhao's theory of multiple mixed values, the relations of double zeta values discovered by Gangl, Kaneko and Zagier, and the (weighted) sum formulas of double Euler sums discovered by Berger et al. We then use generating functions derived from the integral structure of MTVs to establish the corresponding relations for finite MTVs. These results aid in the computation of dimensions of the $\Q$-vector space spanned by finite and symmetric MTVs (modulo $\zeta(2)$ products), providing strong evidence for an isomorphism between the two spaces.

Diophantine m-tuples of Triangular Numbers

math.NT

A $m$-tuple with the property $D(n)$ is a tuple of $m$ positive integers $(a_1, a_2, \dots, a_m)$ such that $a_i a_j + n$ is an square, for $1 \le i < j \le m$. The $k$th triangular number is $T_k = \frac{k(k+1)}{2}$ for nonnegative integers $k$. We consider $D(1)$ tuples consisting only of triangular numbers. We prove the nonexistence of any $D(1)$ triangular quadruple and describe an algorithm to generate an infinite family of $D(1)$ triangular triples, which we conjecture contains all $D(1)$ triangular triples. We also consider general $D(n)$ tuples. To aid with computational difficulties, we present an efficient algorithm, using Generalized Pell Equations (GPEs), to determine whether $T_a$ is in a $D(n)$ triangular pair, which runs in $O(a^{1/2})$ time. We then prove that no $D(n)$ triangular pair exists for $n \equiv 2,5 \text{ (mod } 9\text{)}$, and discuss other values of $n$ for which there appear to be no $D(n)$ triangular pairs. We also show that our $D(n)$ equation has solutions in all $\mathbb{Q}_p$, for $p \neq 3$. We then present progress on determining a general criteria on $n$ for which no $D(n)$ triangular pairs exist.

Trilinear Kloosterman fractions II: subdyadic intervals and nearly balanced convolutions

math.NT

This paper broadens the range on which Fouvry and Radziwi{\l}{\l}'s results on nearly balanced convolutions apply. In particular, let $\alpha_m$ and $\beta_n$ be sequences supported on $m\sim M$ and $n\sim N$ where $\beta_n$ is equidistributed for small moduli, and let $Q=X^{\frac 12+\varepsilon}$. We find that \begin{gather*}\sum_{q\sim Q}\left|\mathop{\sum\sum}_{\substack{n\sim N,m\sim M \\ mn\equiv a\pmod q}}\alpha_m\beta_n-\frac{1}{\phi(q)}\mathop{\sum\sum}_{\substack{n\sim N,m\sim M \\ (mn,q)=1}}\alpha_m\beta_n\right|\ll \frac{X}{\log^A X} \end{gather*} if $N=X^{\frac 12+\delta}$ and $M=X^{\frac 12-\delta}$ with $0<\delta<\frac 1{68}$, which improves Fouvry and Radziwi{\l}{\l}'s $0<\delta<\frac 1{112}$. To prove this, we sharpen Bettin and Chandee's famous result on trilinear forms with Kloosterman fractions in the case where some of the sums are over subdyadic intervals.

An Erd\H{o}s-Wintner theorem for second-order linear recurrent bases

math.NT

math.PR

Let $a,b$ be integers with $1\le b\le a$, and let \[ G_0=1,\qquad G_1=a+1,\qquad G_{n+2}=aG_{n+1}+bG_n. \] For real-valued functions which are additive in the greedy $G$-digits, we prove a necessary-and-sufficient criterion for the existence of a limiting distribution. The criterion consists of a first-order drift series and a quadratic digit-energy series, and it recovers the Zeckendorf theorem when $a=b=1$. The main difficulty is necessity: a one-step transfer matrix detects all non-maximal digit values, while the maximal digit becomes visible only in a two-step product. A weighted Euclidean norm symmetrizes the untwisted companion matrix and makes both contractions occur at the true Perron scale. Sufficiency follows from a two-dimensional Perron product lemma with square-summable transverse perturbations and a convergent, not necessarily absolutely convergent, Perron drift. The limiting characteristic function admits a scalar infinite-product representation in a neighbourhood of the origin and a global matrix-product representation at arbitrary frequencies.

The Multiplicative Persistence Conjecture: Resolving the \(2\)-Adic Obstruction for Nonzero Even Targets

math.NT

The multiplicative persistence problem studies the process of repeatedly replacing a positive integer by the product of its digits until a single digit, called the terminal digit, is reached. The classical conjecture asserts that no decimal integer requires more than \(11\) iterations. Brier, Clavier, Gutsche, and Naccache proved the conjecture for all odd terminal digits. In their approach to nonzero even terminal digits, they were led to infinite families of decimal integers in which the numbers of digits \(2,\ldots,9\) are fixed, while arbitrarily many digits \(1\) may be inserted. They conjectured that, despite the infinitude of such a family, the exponent of \(2\) dividing its elements is uniformly bounded. We prove this conjecture and obtain an explicit bound depending only on the prescribed digit multiplicities. More generally, our argument applies in every base \(b\geq3\) and to every prime \(p\mid b\). In base \(10\), combining our bound with the method of Brier, Clavier, Gutsche, and Naccache yields a finite algorithm for a further analysis of each nonzero even terminal digit.

Drinfeld modular forms of higher rank from a lattice-oriented point of view

math.NT

A space $\mathcal{L}_N^r$ of Drinfeld modules of rank $r \geq 1$ with level structure, or equivalently lattices of rank $r$ with level structure, is introduced, and its irreducible components and group actions on it are investigated. A metric is defined on this space, its completion $\overleftarrow{\mathcal{L}_{N}^{r}}$ is established and the aforementioned group actions are extended to the completion. A decomposition of the completion into multiple smaller spaces $\mathcal{L}_N^s$ is proven. Drinfeld modular forms are defined as homogeneous holomorphic functions on $\mathcal{L}_{N}^{r}$ which are continuous on the completion $\overleftarrow{\mathcal{L}_{N}^{r}}$, and the group actions above are extended to actions on the spaces of modular forms. Finally, the modular forms defined here are compared with those of Basson, Breuer, and Pink and with those of Gekeler, and it is shown that the cusp forms (those which are zero on the boundary) coincide.

Generalized Fermat equation over number fields

math.NT

Let $K$ be a number field with ring of integers $\mathcal{O}_K$, and let $A,B,C \in \mathcal{O}_K \setminus\{0\}$. Denote by $S_K'$ the set of prime ideals of $\mathcal{O}_K$ dividing $2ABC$. Assuming two standard conjectures concerning the modularity of mod-$p$ Galois representations and the Eichler-Shimura correspondence over number fields, we study the asymptotic behavior of the generalized Fermat equation $Ax^p+By^p+Cz^p=0$ over $K$. Using the modular method, we establish an asymptotic criterion in terms of the solutions of the associated $S_K'$-unit equation. As an application, we obtain asymptotic results for certain imaginary quadratic fields $K=\mathbb{Q}(\sqrt{-d})$. In particular, for a family of squarefree integers $d$, we determine the relevant $S_K'$-unit solutions explicitly and deduce that the generalized Fermat equation has no asymptotic solutions. Finally, we show that this family of squarefree integers has relative density $5/6$ among all squarefree positive integers.

Lattice points in high-dimensional $\ell^q$ balls with small radii

math.NT

math.CA

We prove a dimension-free count of lattice points in high-dimensional $\ell^q$ balls and spheres with small radii. Our result complements those already established for $q=1,2$ by covering the whole range of integers $q\ge 2$.

Rational and integral values of rational functions at rational points

math.NT

The basic issue concerns sets of values of rational functions at rational points of an algebraic variety, namely image f(X(k)), where X is an algebbaric variety and f is a rational function on X, defined over the number field k. For instance, we shall prove that for X an abelian variety, the map between rational points is never surjective. This is reminiscent of the Hilbert Property, but here the fibers may have arbitrary dimension. One of our examples concerns the classical Hilbert Property: we produce a simply connected affine surface whose set of integral points is Zariski-dense and thin, disproving a plausible expectation. We shall also discuss hieghts and integrality issues; in this context, a role will be played by 'gcd estimates'. In the first Appendix, written by D. Masser, an effective estimate of some relevant gcd is provided.

Norm Principles for ${\rm Go}(q)$ and ${\rm Spin}(q)$

math.NT

The aim of this article is to discuss the proof that the norm principle holds for the group of similitudes ${\rm Go}(q)$ and the spinor group ${\rm Spin}(q)$ for a quadratic form $q$ defined over $F$.

The Algebraicity Problem for Hard-Core Entropy Constants on the Discrete Hypertori

math.NT

math.AG

math.CO

We use tools and techniques from $p-$adic analysis and algebraic number theory to study the algebraicity of the hard square entropy constant and its high dimensional analogues. Specifically, We study arithmetic properties of $a_d(n)$, the number of independent sets in the $d$-dimensional discrete torus, and the associated entropy constants $\kappa_d=\lim_{n\to\infty}a_d(n)^{1/n^d}$. It is not known whether $\kappa_d$ is algebraic or transcendental for $d>1$. Using the fact that the sequence $a_d(p^k)$ converges $p-$adically for every prime $p$, we collection of criteria for the algebraicity of $\kappa_d$ and bound the number of possible values of prime powers $p^k$ for which $a_d(p^k)=\kappa_d^{p^{kd}}$.

Rational torsion on simple genus two Jacobians

math.NT

math.AG

We exhibit new subgroups of rational torsion points in geometrically simple Jacobians of genus-two curves over $\mathbb Q$. The largest group, which has order 96 and invariants [2,2,2,12], is realized by curves of the form $y^2 = x(x-a^2)(x-b^2)(x-c^2)(x-u^2)(x-v^2)$ where $a,b,c,u,v$ are positive integers that satisfy $a^2 + b^2 + c^2 = u^2 + v^2$ and $a^4 + b^4 + c^4 = u^4 + v^4$. We also find realizations of the groups [2,2,20], [2,2,4,4], [2,2,2,8], [2,4,8], and [6,6]. Finally, we record, to the best of our knowledge, all known subgroups that arise in genus-two Jacobians over $\mathbb Q$, in the geometrically simple case and in general.

Harmonic higher weight distributions, Simonis' approach of MacWilliams identity and moments

math.CO

cs.IT

math.IT

math.NT

v2

We present a combinatorial proof of Simonis type MacWilliams identity for harmonic higher weight distributions of linear codes. Furthermore, we investigate the statistical moments of the harmonic higher weight enumerators for random linear codes. Defining the enumerators via rank functions of the generator matrices of linear codes, we prove that its expectation vanishes for all non-trivial harmonic functions due to the inherent symmetry of random matrices, and we also derive an explicit, non-trivial formula for the covariance.

Zero-free columns in character tables of symmetric groups

math.CO

math.NT

math.RT

The rows and columns of the character table of the symmetric group $S_n$ are both naturally indexed by partitions of $n$. Let $D(n)$ denote the number of conjugacy classes of $S_n$ whose column contains no zero entry. The identity column is always zero-free, so $D(n)\geq 1$. It is known that $D(n)\ll n^2$. We prove that $D(n)\ll n^{3/4}$. Second, we prove for almost all positive integers $n$ that $D(n)\ll_B n^{1/2}(\log n)^B$ for every $B>5/6$, with a quantitative bound for the exceptional set, using work of Matom\"aki and Radziwill. Finally, we offer a heuristic supporting our conjecture that $D(n)\ll_{\varepsilon} n^{\varepsilon}$. AxiomProver formalized the results in this paper in Lean assuming preexisting literature.

On Frobenius rigidity for motivic cohomology

math.AG

math.KT

math.NT

We study how motivic and \'etale motivic cohomology of a smooth and proper variety $X$ changes under extensions of algebraically closed base fields $k$. We show that with finite coefficients, they are independent of $k$ away from the characteristic. At the characteristic, \'etale cohomology does depend on $k$, whereas for motivic cohomology this is only known in weights $0,1,\dim X$. We then consider the fiber of Frobenius on motivic cohomology and \'etale motivic cohomology for varieties defined over finite fields, i.e., Weil-\'etale cohomology. Combining the results of the first part with the structure theory of perfect unipotent group schemes, we show that this fiber is independent of $k$ with finite coefficients. Finally, we give some results and examples with integral coefficients.

On the number of $2$-dice games with prime power dice-size

math.CO

math.NT

We have two dices which have $n$ labels. We want to assign a pair of labelings with positive integers to them such that the sums of the labels on them are the same and have the same distribution as at the standard labeling. We call such a pair of labelings a (dice) game of size $2$ (with dice size $m$). Here we give a lower and an upper bound for the dice games of size $2$ with Sicherman dice of dice size $p^{k}$ where $p$ is a prime. We use the standard technique of generating polynomials to prove a non-closed combinatorial formula.

Arithmetic purity of strong approximation for toric varieties with constant global sections

math.AG

math.NT

Let $X$ be a smooth toric variety over a number field $k$ such that the global sections of $X$ are constant. We show that $U(k)$ is dense in $U(\mathbf A_k)^{\text{Br}_1 (U)}$ for any open subset $U$ of $X$ such that the codimension of $X\setminus U$ in $X$ is at least 2.

Betti bounds for spaces of curves on varieties and Manin's conjecture for quartic del Pezzo surfaces

math.AG

math.NT

We prove uniform exponential bounds for the compactly supported Betti numbers of spaces of morphisms from curves of fixed genus to projective varieties. For targets in a fixed projective space cut out by a prescribed number of equations of fixed degrees, the bound is exponential in the degree of the morphism and is independent of the ground field, the source curve, and the target. The proof constructs bounded-degree affine presentations involving only linearly many variables and equations, and then applies Katz's estimate. As an application, we establish a higher genus function field version of Manin's conjecture for split quartic del Pezzo surfaces, generalizing a recent theorem of Das--Lehmann--Tanimoto--Tosteson. Over sufficiently large finite fields, and after restricting curve classes to a slightly shrunken nef cone, we obtain the predicted asymptotic with the expected leading constant. As in Das--Lehmann--Tanimoto--Tosteson's argument, we combine the uniform Betti bound with a higher genus homological sieve, a bar complex calculation, and a virtual height zeta function.

On Manin's conjecture for quartic del Pezzo fibrations

math.AG

math.NT

We generalize the homological sieve method, developed by Das, Lehmann, Tosteson, and the author, to study certain quartic del Pezzo fibrations, and we prove a version of Manin's conjecture over global function fields in these cases. Our proofs combine the $3$-dimensional positive-characteristic minimal model program, the geometry of the space of sections and the Abel--Jacobi mapping, and the homological sieve method. Our quartic del Pezzo surfaces have Picard rank $2$, and admit two birational morphisms to non-split quadric surfaces. In particular, they do not possess any conic fibrations.

Combinatorics of double cosets and fundamental domains for the subgroups of the modular group

math.NT

math.GT

v3

As noticed by R.~Kulkarni, the conjugacy classes of subgroups of the modular group correspond bijectively to bipartite cuboid graphs. We'll explain how to recover the graph corresponding to a subgroup $G$ of $\mathrm{PSL}_2(\mathbb{Z})$ from the combinatorics of the right action of $\mathrm{PSL}_2(\mathbb{Z})$ on the right cosets $G\backslash\mathrm{PSL}_2(\mathbb{Z})$. This gives a method of constructing nice fundamental domains (which Kulkarni calls "special polygons") for the action of $G$ on the upper half plane. For the classical congruence subgroups $\Gamma_0(N)$, $\Gamma_1(N)$, $\Gamma(N)$ etc. the number of operations the method requires is the index times something that grows not faster than a polynomial in $\log N$. This is roughly the square root of the number of operations required by the naive procedure. We give algorithms to locate an element of the upper half-plane on the fundamental domain and to write a given element of $G$ as a product of independent generators. We also (re)prove a few related results about the automorphism groups of modular curves. For example, we give a simple proof that the automorphism group of $X(N)$ is $\mathrm{SL}_2(\mathbb{Z}/N)/\{\pm I\}$.

Reflection theorems of Ohno-Nakagawa type for quartic rings and pairs of $n$-ary quadratic forms

math.NT

v3

We prove a reflection theorem, conjectured by Nakagawa and Ohno, for the number of quartic rings, or pairs of ternary quadratic forms, with a given cubic resolvent. Over $\mathbb{Z}$, our results are unconditional; we also allow the base to be the ring of integers of a general number field, conditional on some algebraic identities that are Monte Carlo verified. We also establish a reflection theorem for quartic $11111$-forms and $48441$-forms that relates them to the number of $3\times 3$ symmetric matrices with given characteristic polynomial. Along the way, we find elegant new results on Igusa zeta functions of conics and the average value of a quadratic character over a box in a local field. We conjecture that a reflection theorem holds for pairs of $n$-ary quadratic forms for any odd $n$, and we prove this for odd cubefree discriminant. This furnishes a more satisfactory answer for a question raised by Cohen, Diaz y Diaz, and Olivier, namely whether there exist an infinite family of reflection theorems of Ohno-Nakagawa type.

Ratios conjecture of quadratic Hecke $L$-functions of prime-related moduli

math.NT

v2

Using the method of multiple Dirichlet series, we develop L-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for quadratic families of Dirichlet and Hecke L-functions of primerelated moduli of imaginary quadratic number fields of class number one under the generalized Riemann hypothesis. As corollaries, we evaluate asymptotically the first moment of central values as well as the one-level density of the families of L-functions under consideration.

Fermat descent

math.NT

v2

Descent theory (a modern formulation of Fermat's classical method of infinite descent) is a powerful tool in arithmetic geometry. In this article, we reinterpret descent theory through the lens of quotient stacks and apply it in the setting where it first arose: the Diophantine study of generalized Fermat equations (1) \[ Ax^a + By^b + Cz^c = 0. \] We focus on understanding the arithmetic of the stacks that arise from the study of primitive integral solutions to general Fermat equations, rather than on solving any particular instance of the equation.

Good Ramanujan Expansions: A suitably enhanced decay of coefficients has important consequences

math.NT

v3

In this self-contained short note, we introduce the new definition of Good Ramanujan Expansion, say G.R.E., for a fixed arithmetic function $F$, building upon a good decay of its coefficients $G$; this, gains $\log-$powers w.r.t. the trivial bound for $G$ and precisely $\log^{1+\eta}$, where the present parameter $\eta>0$ is real. This property alone has important consequences for all the $F$ having a G.R.E. : mainly, 1) the Eratosthenes Transform $F'$ of our $F$ is infinitesimal (see in Theorem 1); 2) when $\eta>1$ (an enhanced decay) we have uniqueness of $G$ (actually, these are the classic Wintner-Carmichael coefficients, see Th.2); 3) we get a bound for $F$ (in Th.3); 4) an important new class of arithmetic functions $F$ can't have a G.R.E. (see Th.4). These are a generalization of Correlations; which in this way, if are, say, a kind of "far from constants", may not have a G.R.E., whence, a fortiori, can't have the R.E.E.F. This is the Ramanujan Exact Explicit Formula, that we introduced with Prof. Ram Murty. On the Hardy-Ramanujan Journal, I proved that: any "fair" Correlation may be "well-approximated" by a (BH) Correlation. For a (BH) Correlation, we prove here: it has a G.R.E. IF AND ONLY IF it has the (R.E.E.F.). On the other hand, next Counterexample 1 in section 3 is a (BH) Correlation without the (R.E.E.F.); also, it provides here a (BH) Correlation behaving like in Theorem 4.

Mertens products in arithmetic progressions over function fields

math.NT

math.AG

v2

We prove a function field analogue of Mertens' formula for Euler products over prime polynomials in arithmetic progressions in $\mathbb{F}_q[t]$, the counterpart of a formula of Languasco and Zaccagnini over the integers. An elementary argument shows that the product over the prime polynomials of degree at most $n$ equals $e^{-H_n}$, where $H_n$ is the $n$-th harmonic number, up to an exponentially small relative error. Combined with the unconditional Riemann hypothesis for Dirichlet $L$-functions, this gives the main result: the product over a reduced residue class is an explicit Euler-product constant times a power of the normalizing function $\mathcal{L}_q(n)=e^{H_n-\gamma}\log q$, the exponent being the reciprocal of the number of reduced classes, again with an exponentially small error and uniformly for all moduli of degree at most $n$. It is $\mathcal{L}_q(n)$, and not the naive analogue $n\log q$ of $\log x$ under $x=q^{n}$, that is the right normalization; substituting the latter turns the formula into an expansion in powers of $1/n$ whose leading coefficients we compute, the leading correction being combinatorial rather than arithmetic.

Markov fractions and Cohn matrices

math.NT

v2

We show that the Markov fractions introduced recently by Springborn coincide with the index of the Cohn matrices defined by Aigner. This provides a simple concatenation rule for the corresponding continued fractions on the Conway topograph. We also discuss the $q$-deformation of Markov fractions in the sense of Morier-Genoud and Ovsienko, as well as their ``metallic" version motivated by the work of Spalding and the author.

Extensions of the Furstenberg-S\'ark\"ozy theorem via the arithmetic level-$d$ inequality

math.NT

math.CO

v2

Green and Sawhney recently obtained a quasipolynomial bound in the Furstenberg--S\'ark\"ozy theorem for square differences by proving an ``arithmetic level-d'' inequality, thereby yielding a greatly improved density increment scheme. We apply their method to treat general intersective polynomials $h\in\mathbb{Z}[x]$. In particular, let \[ D(h(\mathbb{N}),X):= \max{|A|:\ A\subseteq [1,X]\cap\mathbb{N} \text{and}\ (A-A)\cap h(\mathbb{N})\subseteq\{0\}}. \] We prove that for every $0<\mu<1/2$ there are constants $c_0, X_{\text{min}}>0$ depending on $h$ and $\mu$ such that for every $X>X_{\text{min}}$, \[D(h(\mathbb{N}), X)\leq Xe^{-c_0(\log X)^\mu}.\] This is the best quantitative upper bound presently known for sets lacking intersective polynomial differences, improving upon the work of Arala. In order to achieve the admissible exponent range $0<\mu<1/2$, we use sieve methods to develop novel exponential sum estimates in the style of Rice, and we use the ``random sparsification'' procedure of Green and Sawhney.

Universality of the cokernels of random $p$-adic matrices with inhomogeneously balanced columns

math.NT

math.PR

v2

In this paper, we prove universality of the distribution of the cokernels of random $p$-adic matrices with inhomogeneously balanced columns. More precisely, let $u \ge 0$ be an integer, and for each positive integer $n$, let $A(n)$ be a random $n \times (n+u)$ matrix over $\mathbb{Z}_p$ whose $i$-th column is $\alpha_n(i)$-balanced. We prove that if $\sum_{i=1}^{n+u} \exp(-\epsilon \alpha_n(i)n) \to 0$ as $n \to \infty$ for every $\epsilon>0$, then the cokernels of $A(n)$ converge in distribution, as $n \to \infty$, to the same limiting law as the cokernels of Haar-random $n \times (n+u)$ matrices over $\mathbb{Z}_p$. This extends a universality theorem of Nguyen and Wood to random $p$-adic matrices with inhomogeneously balanced columns.

Ratio of sum of digits functions in two bases

math.NT

v2

In 2019 La Bret\`eche, Stoll and Tennenbaum showed that the ratio of the sum of digits function $s_{q_1}(n)/s_{q_2}(n)$ of two multiplicatively independent bases $q_1$ and $q_2$ is dense in $\mathbb{Q}^+$. Recently Spiegelhofer proved that in the special case $s_2(n)/s_3(n)=1$ we have infinitely many solutions. Spiegelhofer extended this jointly with Drmota to show that the pair $(s_2(n),s_3(n))$ attains almost every value of $\mathbb{N}^2$ and hence, in particular, that every rational ratio is attained infinitely many times.\\ In this paper we show that, indeed, for any pair of multiplicatively independent bases $p$ and $q$, that the ratio attains every rational number infinitely many times. We also study this problem in the multiplicatively dependent case, hence giving a complete characterisation in the case of 2 bases.

Adjoint Closures of Singular Quadratic Pencils and First's Pfister-Type Conjecture

math.NT

math.RA

v2

First proved a Pfister-type local--global criterion for nonsingular pairs of quadratic forms over number fields and real closed fields, and conjectured that the nonsingularity hypothesis could be removed. We disprove this conjecture. Over every formally real field $K$, we construct a singular pair on $K^7$ whose adjoint closure is exactly its two-dimensional pencil and consists entirely of hyperbolic forms, although the pair itself is not weakly hyperbolic. The counterexample reflects a general phenomenon for symmetric singular Kronecker blocks. For every block $M_\varepsilon$ of positive minimal index, its adjoint closure is its pencil; moreover, if $\cR=\{R_1,R_2\}$ has $R_1$ nondegenerate, then adjoining $M_\varepsilon$ collapses the adjoint closure of $\cR\perp M_\varepsilon$ to the resulting pencil. For Kronecker decompositions with nonsingular regular part over an infinite field, positive minimal indices force the visible regular closure back to the regular pencil, while minimal-index-zero blocks preserve the full regular closure. When the regular pencil is two-dimensional, this yields a complete closure dichotomy. Over formally real number fields and real closed fields, dimension $7$ is minimal. For the minimal example, we also determine the $18$-dimensional adjoint algebra, its $14$-dimensional Jacobson radical, and its involution-trace form.

Singular ideals over arbitrary fields for the cyclic-headed snakes

math.RA

math.NT

v2

We study the Steinberg algebras with coefficients in an arbitrary field K for the cyclic-headed snake groupoids, which are basic examples of non-Hausdorff groupoids. We are particularly interested in elements of this algebra that are no longer continuous, known as singular functions. These functions form an ideal, which may contain proper subsets that are themselves ideals of the Steinberg algebra. We provide three conditions under which such 'proper subset' ideals exist: first, when the number of heads of the snake divides the characteristic of the base field; second, when the base field is of non-prime characteristic; and third, when certain cyclotomic polynomials split over the base field. We also show the existence of many further subset ideals not covered by these conditions. We fully explore the cases of the two- and three-headed snakes. In the three-headed snake, we prove that the ideal of singular functions properly contains non-zero ideals of the Steinberg algebra if, and only if, the base field K is a splitting field of x^2 + x + 1, the third cyclotomic polynomial. Consequently, there are always proper subset ideals when K has characteristic a prime not congruent to -1 mod 3.

Monodromy rank and the semisimple Mumford-Tate conjecture for hyper-K\"ahler varieties

math.AG

math.NT

v2

We study the Mumford-Tate conjecture for hyper-K\"ahler varieties. We identify the Mumford-Tate group with a Levi factor of the connected total $\ell$-adic monodromy group. It follows that the Mumford-Tate conjecture holds after semisimplification in every cohomological degree. We call this the semisimple Mumford-Tate conjecture. As applications, we derive a Hodge-to-Tate implication for powers, prove deformation invariance of the Mumford-Tate conjecture, establish the $\ell$-adic Nagai conjecture for Type I reduction, and extend Hui-Larsen's hyperspecial maximality theorem from degree two to total cohomology. The proof combines Pink's generation theorem for weak Hodge cocharacters with a multiplicity-weighted direct-sum construction and a rigidity argument for the graded cohomology algebra.

Comparing local-global obstructions on algebraic stacks

math.AG

math.NT

v2

Let k be a number field. For quotient stacks [X/G] with X a smooth quasi-projective geometrically integral k-variety and G a linear k-group, we extend several relations between local-global obstructions previously known for varieties, showing that \'etale-Brauer obstruction is the finest among various obstructions (such as iterated descent, finite descent, descent, Brauer-Manin).