SearcharxivSearch

arXiv subjects

Julia Gordon

Publications and source records attributed to Julia Gordon.

At least 19 recordsLinked to original sources

On the pointwise convergence of the number of abelian varieties over $\mathbb{F}_p$ with fixed trace

Extending Katz-Sarnak heuristics, Ballini-Lombardo-Verzobio [BLV25] conjectures a limiting distribution as $p \to \infty$ for $\# A_g(\mathbb F_p,t)$, the number of $g$-dimensional PPAVs over $\mathbb F_p$ with trace $t$, as a product of natural local factors $v_\ell(t)$ for non-archimedean places $\ell$ and the Sato-Tate measure $\text{ST}_g$ corresponding to $\infty$. We prove that their conjecture is true for all $g$. As a consequence, we obtain analogous results on the distribution of curves of genus $2$ and $3$, answering questions of Bergstr\"om-Howe-Garc\'ia-Ritzenthaler [BHLR24] and [BLV25].

math.NT

Why Slop Matters

AI-generated "slop" is often seen as digital pollution. We argue that this dismissal of the topic risks missing important aspects of AI Slop that deserve rigorous study. AI Slop serves a social function: it offers a supply-side solution to a variety of problems in cultural and economic demand - that, collectively, people want more content than humans can supply. We also argue that AI Slop is not mere digital detritus but has its own aesthetic value. Like other "low" cultural forms initially dismissed by critics, it nonetheless offers a legitimate means of collective sense-making, with the potential to express meaning and identity. We identify three key features of family resemblance for prototypical AI Slop: superficial competence (its veneer of quality is belied by a deeper lack of substance), asymmetry effort (it takes vastly less effort to generate than would be the case without AI), and mass producibility (it is part of a digital ecosystem of widespread generation and consumption). While AI Slop is heterogeneous and depends crucially on its medium, it tends to vary across three dimensions: instrumental utility, personalization, and surrealism. AI Slop will be an increasingly prolific and impactful part of our creative, information, and cultural economies; we should take it seriously as an object of study in its own right.

cs.CY

Integrability and singularities of Harish-Chandra characters

Let $G$ be a reductive group over a local field $F$ of characteristic $0$. By Harish-Chandra's regularity theorem, the character $\Theta_{\pi}$ of an irreducible, admissible representation $\pi$ of $G$ is given by a locally integrable function $\theta_{\pi}$ on $G$. It is a natural question whether $\theta_{\pi}$ has better integrability properties, namely, whether it is locally $L^{1+\epsilon}$-integrable for some $\epsilon>0$. It turns out that the answer is positive, and this gives rise to a new singularity invariant of representations $\epsilon_{\star}(\pi):=\sup\left\{ \epsilon:\theta_{\pi}\in L_{Loc}^{1+\epsilon}(G)\right\} $, which we explore in this paper. We provide a lower bound on $\epsilon_{\star}(\pi)$ which depends only on the absolute root system of $G$, and explicitly determine $\epsilon_{\star}(\pi)$ in the case of a $p$-adic $\mathrm{GL}_{n}$. This is done by studying integrability properties of the Fourier transforms $\widehat{\xi}_{\mathcal{O}}$ of stable Richardson nilpotent orbital integrals $\xi_{\mathcal{O}}$. We express $\epsilon_{\star}(\widehat{\xi}_{\mathcal{O}})$ as the log-canonical threshold of a suitable relative Weyl discriminant, and use a resolution of singularities algorithm coming from the theory of hyperplane arrangements, to compute it in terms of the partition associated with the orbit. We obtain several applications; firstly, we provide bounds on the multiplicities of $K$-types in irreducible representations of $G$ in the $p$-adic case, where $K$ is an open compact subgroup. We further obtain bounds on the multiplicities of the irreducible representations appearing in the space $L^{2}(K/L)$, where $K$ is a compact simple Lie group, and $L\leq K$ is a Levi subgroup. Finally, we discover surprising applications in random matrix theory, namely to the study of the eigenvalue distribution of powers of random unitary matrices.

math.RT

Orbital integrals and normalizations of measures

This note provides an informal introduction, with examples, to some technical aspects of the re-normalization of measures on orbital integrals used in the work of Langlands, Frenkel-Langlands-Ng\^o, and Altug on Beyond Endoscopy. In particular, we survey different relevant measures on algebraic tori and explain the connection with the Tamagawa numbers. We work out the example of $\mathrm{GL}_2$ in complete detail. The Appendix by Matthew Koster illustrates, for the Lie algebras $\mathfrak{sl}_2$ and $\mathfrak{so}_3$, the relation between the so-called geometric measure on the orbits and Kirillov's measure on co-adjoint orbits in the linear dual of the Lie algebra.

math.NT

Counting abelian varieties over finite fields via Frobenius densities

Let $[X,\lambda]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $\nu_v([X,\lambda])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,\lambda]$. The derivation of this mass formula depends on a formula of Kottwitz and on analysis of measures on the group of symplectic similitudes, and in particular does not rely on a calculation of class numbers.

math.NT

Uniform analysis on local fields and applications to orbital integrals

We study upper bounds, approximations, and limits for functions of motivic exponential class, uniformly in non-Archimedean local fields whose characteristic is $0$ or sufficiently large. Our results together form a flexible framework for doing analysis over local fields in a field-independent way. As corollaries, we obtain many new transfer principles, for example, for local constancy, continuity, and existence of various kinds of limits. Moreover, we show that the Fourier transform of an $L^2$-function of motivic exponential class is again of motivic exponential class. As an application in the realm of representation theory, we prove uniform bounds for the normalized by the discriminant Fourier transforms of orbital integrals on connected reductive $p$-adic groups.

math.AG

Elliptic curves, random matrices and orbital integrals

An isogeny class of elliptic curves over a finite field is determined by a quadratic Weil polynomial. Gekeler has given a product formula, in terms of congruence considerations involving that polynomial, for the size of such an isogeny class. In this paper, we give a new, transparent proof of this formula; it turns out that this product actually computes an adelic orbital integral which visibly counts the desired cardinality. This answers a question posed by N. Katz.

math.NT

The canonical measure on a reductive p-adic group is motivic

Let $G$ be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the N\'eron model of a tamely ramified algebraic torus. As a corollary, we prove that the canonical Haar measure on $G$, which assigns volume $1$ to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic. This result resolves a technical difficulty that arose in Cluckers-Gordon-Halupczok and Shin-Templier and permits a simplification of some of the proofs in those articles. It also allows us to show that formal degree of a compactly induced representation is a motivic function of the parameters defining the representation.

math.RT

Endoscopic transfer of orbital integrals in large residual characteristic

This article constructs Shalika germs in the context of motivic integration, both for ordinary orbital integrals and kappa-orbital integrals. Based on transfer principles in motivic integration and on Waldspurger's endoscopic transfer of smooth functions in characteristic zero, we deduce the endoscopic transfer of smooth functions in sufficiently large residual characteristic.

math.RT

Transfer principles for Bounds of motivic exponential functions

We study transfer principles for upper bounds of motivic exponential functions and for linear combinations of such functions, directly generalizing the transfer principles from [7] by Cluckers-Loeser and [13, Appendix B] by Shin-Templier (appendix B by Cluckers-Gordon-Halupczok). These functions come from rather general oscillatory integrals on local fields, and can be used to describe e.g. Fourier transforms of orbital integrals. One of our techniques consists in reducing to simpler functions where the oscillation only comes from the residue field.

math.AG

Shalika germs for sl(n) and sp(2n) are motivic

We prove that Shalika germs on the Lie algebras sl(n) and sp(2n) belong to the class of so-called `motivic functions' defined by means of a first-order language of logic. We also prove, for these Lie algebras, a uniform bound of the form q^a (where q is the cardinality of the residue field) for the normalized Shalika germs. Our proof of the bound uses the theorem of Harish-Chandra that normalized Shalika germs are bounded, and a model-theoretic statement for uniform bounds of motivic functions from Appendix B to [arXiv:1208.1945].

math.RT

Local integrability results in harmonic analysis on reductive groups in large positive characteristic

Let $G$ be a connected reductive algebraic group over a non-Archimedean local field $K$, and let $g$ be its Lie algebra. By a theorem of Harish-Chandra, if $K$ has characteristic zero, the Fourier transforms of orbital integrals are represented on the set of regular elements in $g(K)$ by locally constant functions, which, extended by zero to all of $g(K)$, are locally integrable. In this paper, we prove that these functions are in fact specializations of constructible motivic exponential functions. Combining this with the Transfer Principle for integrability [R. Cluckers, J. Gordon, I. Halupczok, "Transfer principles for integrability and boundedness conditions for motivic exponential functions", preprint arXiv:1111.4405], we obtain that Harish-Chandra's theorem holds also when $K$ is a non-Archimedean local field of sufficiently large positive characteristic. Under the hypothesis on the existence of the mock exponential map, this also implies local integrability of Harish-Chandra characters of admissible representations of $G(K)$, where $K$ is an equicharacteristic field of sufficiently large (depending on the root datum of $G$) characteristic.

math.RT

Motivic functions, integrability, and uniform in p bounds for orbital integrals

This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and simplify the definitions, to make these results easily accessible to non-model theorists.

math.RT

Integrability of oscillatory functions on local fields: transfer principles

For oscillatory functions on local fields coming from motivic exponential functions, we show that integrability over $Q_p^n$ implies integrability over $F_p ((t))^n$ for large $p$, and vice versa. More generally, the integrability only depends on the isomorphism class of the residue field of the local field, once the characteristic of the residue field is large enough. This principle yields general local integrability results for Harish-Chandra characters in positive characteristic as we show in other work. Transfer principles for related conditions such as boundedness and local integrability are also obtained. The proofs rely on a thorough study of loci of integrability, to which we give a geometric meaning by relating them to zero loci of functions of a specific kind.

math.AG

On the computability of some positive-depth supercuspidal characters near the identity

This paper is concerned with the values of Harish-Chandra characters of a class of positive-depth, toral, very supercuspidal representations of $p$-adic symplectic and special orthogonal groups, near the identity element. We declare two representations equivalent if their characters coincide on a specific neighbourhood of the identity (which is larger than the neighbourhood on which Harish-Chandra local character expansion holds). We construct a parameter space $B$ (that depends on the group and a real number $r>0$) for the set of equivalence classes of the representations of minimal depth $r$ satisfying some additional assumptions. This parameter space is essentially a geometric object defined over $\Q$. Given a non-Archimedean local field $\K$ with sufficiently large residual characteristic, the part of the character table near the identity element for $G(\K)$ that comes from our class of representations is parameterized by the residue-field points of $B$. The character values themselves can be recovered by specialization from a constructible motivic exponential function. The values of such functions are algorithmically computable. It is in this sense that we show that a large part of the character table of the group $G(\K)$ is computable.

math.RT

An overview of arithmetic motivic integration

This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.

math.RT

Motivic proof of a character formula for SL(2)

We give a motivic proof of a character formula for depth zero supercuspidal representations of $p$-adic SL(2). We begin by finding the virtual Chow motives for the character values of all depth zero supercuspidal representations of $p$-adic SL(2), at topologically unipotent elements. Then we find the virtual Chow motives for the values of the Fourier transform of all regular elliptic orbital integrals with depth zero in their Cartan subalgebra, at topologically nilpotent elements. Finally, we prove a character formula for depth zero supercuspidal representations by showing that the formula corresponds to three identities in the ring of virtual Chow motives over $\mathbb{Q}$.

math.RT