arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2507.12770

On lattices generated by algebraic conjugates of prime degree

Lenny Fukshansky·Evelyne Knight
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider Euclidean lattices spanned by images of algebraic conjugates of an algebraic number under Minkowski embedding, investigating their rank, properties of their automorphism groups and sets of minimal vectors. We are especially interested in situations when the resulting lattice is well-rounded. We show that this happens for large Pisot numbers of prime degree, demonstrating infinite families of such lattices. We also fully classify well-rounded lattices from algebraic conjugates in the 2-dimensional case and present various examples in the 3-dimensional case. Finally, we derive a determinant formula for the resulting lattice in the case when the minimal polynomial of an algebraic number has its Galois group of a particular type.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lenny Fukshansky, Evelyne Knight. 2025-11-03. On lattices generated by algebraic conjugates of prime degree. https://arxiv.org/abs/2507.12770

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Analytic Study of $p$-Bessel Functions: Fractional Calculus, Integral Representations, and Complex Extensions

We present a systematic analytic study of the $p$-Bessel functions $\mathcal{J}_{ω,φ}^{[p]}$, a novel class of generalized Bessel functions arising from Fourier analysis on planar domains bounded by $p$-circles, including astroid-type shapes with $0<p\le2$ satisfying $(2/p)\in\mathbb{N}$. While previous work established Hardy-type oscillatory identities for these domains, expressing lattice point discrepancies via $p$-Bessel functions, the present paper focuses on the intrinsic analytic properties of the functions themselves. In particular, we (i) construct a hierarchical structure of $\{\mathcal{J}_{ω,φ}^{[p]}\}_{ω\ge0}$ using Erdélyi-Kober-type fractional derivatives, (ii) derive explicit real-analytic integral representations and obtain asymptotic formulas on the coordinate axes, and (iii) extend the functions to the complex domain through Poisson-type integral formulas. These results establish $p$-Bessel functions as genuinely new oscillatory kernels, providing a rigorous framework for studying anisotropic oscillatory phenomena and laying the analytic foundation for applications in $p$-circle lattice point problems.

math.NT↗
arXiv2026

Arithmetic Wu Formulas and the Generalized Hecke Theorem

We construct canonical stable Steenrod squares on modified compactly supported étale cohomology of separated finite-type schemes over rings of $S$-integers in number fields with $2$ invertible, extending Feng's absolute Wu classes to arithmetic bases. For a flat projective morphism $f:X\to B$ of pure relative dimension, with $X$ regular and $B$ such a base, we prove $v_X=\operatorname{Sq}^{-1}(w_{\mathrm{et}}(τ_f+\mathcal O_X^{\oplus3}))$ in completed mod-$2$ étale cohomology. Here $τ_f$ is the virtual relative tangent bundle, $w_{\mathrm{et}}$ the total étale Stiefel--Whitney class, and $\operatorname{Sq}^{-1}$ the inverse total Steenrod square. Over finite fields of odd characteristic, the formula holds without the three trivial summands. The proof uses a modified compactly supported relative Wu formula extending Benoist's theorem. Our generalized Hecke theorem gives universal mod-$2$ relations involving Chern classes and the Kummer class of $-1$, governed by an arithmetic deformation of Hirzebruch's $2$-Todd series. These hold modulo an explicit archimedean ideal and become vanishing identities over finite fields, over totally imaginary arithmetic bases, or when $-1$ is a square on $X$. Nonempty real loci force infinitely many nonzero Wu components. Applications include Hecke's theorem on the different away from $2$, a finite-field analog of Atiyah's theorem on theta characteristics, and new higher-dimensional relations. We also revisit Serre's Riemann--Hurwitz theorem for spin bundles, recover the Shusterman--Sawin theorem for smooth branched covers of closed $3$-manifolds and prove a function-field analog of the Lusztig--Milnor--Peterson formula, expressing the difference between mod-$2$ and $2$-adic semicharacteristics using the middle Wu class and its Tate-twisted Bockstein.

math.NT↗
arXiv2026

Modularity of Higher Theta Series III: Proof of the Modularity Conjecture

We prove the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas. For general linear shtukas, we establish a more refined phenomenon that we call supermodularity. As a key input, we prove the Trace Conjecture for Hitchin stacks of low corank, realizing virtual fundamental classes of special cycles as categorical traces.

math.NT↗