skip to main content

Explore Research Products in the NSF-PAR

Title: Heights on stacks and a generalized Batyrev–Manin–Malle conjecture
Abstract We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.  more » « less
Award ID(s):
2001200
NSF-PAR ID:
10425468
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Forum of Mathematics, Sigma
Volume:
11
ISSN:
2050-5094
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ( , Discrete & Computational Geometry)
    Abstract

    We introduce tools from discrete convexity theory and polyhedral geometry into the theory of West’s stack-sorting map s. Associated to each permutation$$\pi $$πis a particular set$$\mathcal V(\pi )$$V(π)of integer compositions that appears in a formula for the fertility of $$\pi $$π, which is defined to be$$|s^{-1}(\pi )|$$|s-1(π)|. These compositions also feature prominently in more general formulas involving families of colored binary plane trees calledtroupesand in a formula that converts from free to classical cumulants in noncommutative probability theory. We show that$$\mathcal V(\pi )$$V(π)is a transversal discrete polymatroid when it is nonempty. We define thefertilitopeof$$\pi $$πto be the convex hull of$$\mathcal V(\pi )$$V(π), and we prove a surprisingly simple characterization of fertilitopes as nestohedra arising from full binary plane trees. Using known facts about nestohedra, we provide a procedure for describing the structure of the fertilitope of$$\pi $$πdirectly from$$\pi $$πusing Bousquet-Mélou’s notion of the canonical tree of $$\pi $$π. As a byproduct, we obtain a new combinatorial cumulant conversion formula in terms of generalizations of canonical trees that we callquasicanonical trees. We also apply our results on fertilitopes to study combinatorial properties of the stack-sorting map. In particular, we show that the set of fertility numbers has density 1, and we determine all infertility numbers of size at most 126. Finally, we reformulate the conjecture that$$\sum _{\sigma \in s^{-1}(\pi )}x^{\textrm{des}(\sigma )+1}$$∑σ∈s-1(π)xdes(σ)+1is always real-rooted in terms of nestohedra, and we propose natural ways in which this new version of the conjecture could be extended.

     
    more » « less
  2. ; ( , Ergodic Theory and Dynamical Systems)
    Let be a dominant rational self-map of a smooth projective variety defined over $\overline{\mathbb{Q}}$ . For each point $P\in X(\overline{\mathbb{Q}})$ whose forward $f$ -orbit is well defined, Silverman introduced the arithmetic degree $\unicode[STIX]{x1D6FC}_{f}(P)$ , which measures the growth rate of the heights of the points $f^{n}(P)$ . Kawaguchi and Silverman conjectured that $\unicode[STIX]{x1D6FC}_{f}(P)$ is well defined and that, as $P$ varies, the set of values obtained by $\unicode[STIX]{x1D6FC}_{f}(P)$ is finite. Based on constructions by Bedford and Kim and by McMullen, we give a counterexample to this conjecture when $X=\mathbb{P}^{4}$ . 
    more » « less
  3. ; ; ; ( , Mathematika)
    Abstract

    We formulate a general problem: Given projective schemes and over a global fieldKand aK‐morphism η from to of finite degree, how many points in of height at mostBhave a pre‐image under η in ? This problem is inspired by a well‐known conjecture of Serre on quantitative upper bounds for the number of points of bounded height on an irreducible projective variety defined over a number field. We give a nontrivial answer to the general problem when and is a prime degree cyclic cover of . Our tool is a new geometric sieve, which generalizes the polynomial sieve to a geometric setting over global function fields.

     
    more » « less
  4. ; ; ( , International Mathematics Research Notices)
    Abstract

    Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization is false—the log cotangent bundle is never ample. Instead, we define a notion called almost ample that roughly asks that it is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties contain finitely many integral points. In another direction, we show that the Lang–Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded.

     
    more » « less
  5. ( , Journal für die reine und angewandte Mathematik (Crelles Journal))
    Abstract We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semi-infinite Deligne–Lusztig varieties are ind-schemes comprised of limits of certain finite-type schemes X h {X_{h}} . Boyarchenko’s two conjectures are on the maximality of X h {X_{h}} and on the behavior of the torus-eigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant 1 / n {1/n} in the case h = 2 {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h {X_{h}} attains its Weil–Deligne bound, so that the cohomology of X h {X_{h}} is pure in a very strong sense. We prove that the torus-eigenspaces of the cohomology group H c i ⁢ ( X h ) {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semi-infinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ⁢ ( X h ) ⁢ [ θ ] {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p -adic groups in general. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email