BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Sean Howe

Sean Howe contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.DGmath.GTmath.MGmath.ATmath.GRmath.RAmath.RT

Trust snapshot

Quick read

Trust 21 - Emerging
11works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The conjugate uniformization via 1-motives

We use the $p$-divisible group attached to a 1-motive to generalize the conjugate $p$-adic uniformization of Iovita--Morrow--Zaharescu to arbitrary $p$-adic formal semi-abelian schemes or $p$-divisible groups over the ring of integers in a $p$-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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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

We construct a $(\mathfrak{gl}_2, B(\mathbb{Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb{P}^1$, landing in the compactly supported completed $\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 $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $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 $H^1$ and $H^0$ reversed between the modular curve and $\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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A unipotent circle action on $p$-adic modular forms

Following a suggestion of Peter Scholze, we construct an action of $\hat{\mathbb{G}}_m$ on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the $p$-adic modular curve whose ring of functions is Serre's space of $p$-adic modular functions. This action is a local, $p$-adic analog of a global, archimedean action of the circle group $S^1$ on the lattice-unstable locus of the modular curve over $\mathbb{C}$. To construct the $\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 $q$; along the way we also prove a natural generalization of Dwork's equation $τ=\log q$ for extensions of $\mathbb{Q}_p/\mathbb{Z}_p$ by $μ_{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 $\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 $p$-adic $L$-functions.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Motivic random variables and representation stability II: Hypersurface sections

We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Transcendence of the Hodge-Tate filtration

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

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Presentations for quaternionic $S$-unit groups

The purpose of this paper is to give presentations for projective $S$-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$. To our knowledge, this provides the first explicit presentations of an $S$-arithmetic lattice in a semisimple Lie group with $S$ 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 $S$ contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set $S$.

0 citations0 reviewsNo code linkedOpen 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 $\mathbb{R}^{n}-\{0\}$ realized as the warped product $(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 $\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.

0 citations0 reviewsNo code linkedOpen access