BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Sean Howe

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.NTmath.AGmath.DGmath.GTmath.MGmath.ATmath.GRmath.RAmath.RT

Catalog footprint

Research overview

11works
9topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

11 publications

preprint2022arXiv

Cohomological and motivic inclusion-exclusion

We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.

Open access
preprint2022arXiv

The conjugate uniformization via 1-motives

We use the pp-divisible group attached to a 1-motive to generalize the conjugate pp-adic uniformization of Iovita--Morrow--Zaharescu to arbitrary pp-adic formal semi-abelian schemes or pp-divisible groups over the ring of integers in a pp-adic field. This mirrors a mixed Hodge theory construction of the inverse uniformization map for complex semi-abelian varieties. We also highlight the geometric structure of the target of the conjugate uniformization map, which is an étale cover of a negative Banach--Colmez space in the sense of Fargues--Scholze.

Open access
preprint2021arXiv

Overconvergent modular forms are highest weight vectors in the Hodge-Tate weight zero part of completed cohomology

We construct a (gl2,B(Qp))(\mathfrak{gl}_2, B(\mathbb{Q}_p)) and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at 00 of a sheaf on P1\mathbb{P}^1, landing in the compactly supported completed Cp\mathbb{C}_p-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest weight vector for any overconvergent modular form of infinitesimal weight not equal to 11. For classical weight k≥2k\geq 2, the Verma has an algebraic quotient H1(P1,O(−k))H^1(\mathbb{P}^1, \mathcal{O}(-k)), and on classical forms the pairing factors through this quotient, giving a geometric description of "half" of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of H1H^1 and H0H^0 reversed between the modular curve and P1\mathbb{P}^1. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan in arXiv:2008.07099, but the perspective here is different and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology.

Open access
preprint2021arXiv

Zeta statistics and Hadamard functions

We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational Witt ring, and the Hadamard topology allows for a conjectural unification of results in arithmetic and motivic statistics: The completion of the Witt ring for the Hadamard topology can be identified with a space of meromorphic functions which we call Hadamard functions, and we make the meta-conjecture that any "natural" sequence of zeta functions which converges to a Hadamard function in both the weight and point-counting topologies converges also in the Hadamard topology. For statistics arising from Bertini problems, zero-cycles or the Batyrev-Manin conjecture, this yields an explicit conjectural unification of existing results in motivic and arithmetic statistics that were previously connected only by analogy. As evidence for our conjectures, we show that Hadamard convergence holds for many natural statistics arising from zero-cycles, as well as for the motivic height zeta function associated to the motivic Batyrev-Manin problem for split toric varieties.

Open access
preprint2020arXiv

A unipotent circle action on pp-adic modular forms

Following a suggestion of Peter Scholze, we construct an action of G^m\hat{\mathbb{G}}_m on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the pp-adic modular curve whose ring of functions is Serre's space of pp-adic modular functions. This action is a local, pp-adic analog of a global, archimedean action of the circle group S1S^1 on the lattice-unstable locus of the modular curve over C\mathbb{C}. To construct the G^m\hat{\mathbb{G}}_m-action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates qq; along the way we also prove a natural generalization of Dwork's equation τ=log⁡qτ=\log q for extensions of Qp/Zp\mathbb{Q}_p/\mathbb{Z}_p by μp∞μ_{p^\infty} valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of G^m\hat{\mathbb{G}}_m integrates the differential operator θθ coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and pp-adic LL-functions.

Open access
preprint2020arXiv

Motivic random variables and representation stability II: Hypersurface sections

We prove geometric and cohomological stabilization results for the universal smooth degree dd hypersurface section of a fixed smooth projective variety as dd goes to infinity. We show that relative configuration spaces of the universal smooth hypersurface section stabilize in the completed Grothendieck ring of varieties, and deduce from this the stabilization of the Hodge Euler characteristic of natural families of local systems constructed from the vanishing cohomology. We prove explicit formulas for the stable values using a probabilistic interpretation, along with the natural analogs in point counting over finite fields. We explain how these results provide new geometric examples of a weak version of representation stability for symmetric, symplectic, and orthogonal groups. This interpretation of representation stability was studied in the prequel for configuration spaces.

Open access
preprint2020arXiv

Transcendence of the Hodge-Tate filtration

For CC a complete algebraically closed extension of Qp\mathbb{Q}_p, we show that a one-dimensional pp-divisible group G/OCG/ \mathcal{O}_C can be defined over a complete discretely valued subfield L⊂CL \subset C with Hodge-Tate period ratios contained in LL if and only if GG has CM, if and only if the period ratios generate an extension of Qp\mathbb{Q}_p of degree equal to the height of the connected part of GG. This is a pp-adic analog of a classical transcendence result of Schneider which states that for ττ in the complex upper half plane, ττ and j(τ)j(τ) are simultaneously algebraic over Q\mathbb{Q} if and only if ττ is contained in a quadratic extension of Q\mathbb{Q}. We also briefly discuss a conjectural generalization to shtukas with one paw.

Open access
preprint2015arXiv

Asymptotics of conductors of elliptic curves over Q

In this note we study numbers which occur as conductors of elliptic curves over Q. We show, by constructing families of elliptic curves with quadratic discriminant and invoking a theorem of Iwaniec, that this set contains infinitely many almost primes. We show, assuming a strong version of the Cohen-Lenstra heuristics, that the set of prime conductors has an explicitly bounded density in the set of primes. Studying the Cremona and Stein-Watkins databases of elliptic curves we conjecture that the set of conductors should be of density zero in the set of natural numbers and that the set of prime conductors should be of density zero in the set of prime numbers.

Open access
preprint2014arXiv

Presentations for quaternionic SS-unit groups

The purpose of this paper is to give presentations for projective SS-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field Q\mathbb{Q}. To our knowledge, this provides the first explicit presentations of an SS-arithmetic lattice in a semisimple Lie group with SS large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product of Bruhat--Tits trees. We also include some discussion and experimentation related to the congruence subgroup problem, which is open when SS contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set SS.

Open access
preprint2014arXiv

The Log-Convex Density Conjecture and vertical surface area in warped products

We examine the vertical component of surface area in the warped product of a Euclidean interval and a fiber manifold with product density. We determine general conditions under which vertical fibers minimize vertical surface area among regions bounding the same volume and use these results to conclude that in many such spaces vertical fibers are isoperimetric. Our main hypothesis is that the surface area of a fiber be a convex function of the volume it bounds. We apply our results in the specific case of Rn−{0}\mathbb{R}^{n}-\{0\} realized as the warped product (0,∞)×rSn−1(0,\infty)\times_{r}S^{n-1}, providing many new examples of densities where spheres about the origin are isoperimetric, including simple densities with finite volume, simple densities that at the origin are neither log-convex nor smooth, and non-simple densities. We also generalize the results of Kolesnikov and Zhdanov on large balls in Rn\mathbb{R}^{n} with increasing strictly log-convex simple density. We situate our work in relation to the Log-Convex Density Conjecture of Rosales et al. and the recent work by Morgan, Ritoré, and others on formulating a generalized log-convex density/stable spheres conjecture.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.