BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Jared Weinstein contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article extends Scholze's six functor formalism for diamonds to a very general class of stacky morphisms between v-stacks, using $\infty$-categorical techniques developed by Liu-Zheng.
Kottwitz's conjecture describes the contribution of a supercuspidal represention to the cohomology of a local Shimura variety in terms of the local Langlands correspondence. A natural extension of this conjecture concerns Scholze's more general spaces of local shtukas. Using a new Lefschetz-Verdier trace formula for v-stacks, we prove the extended conjecture, disregarding the action of the Weil group, and modulo a virtual representation whose character vanishes on the locus of elliptic elements. As an application, we show that for an irreducible smooth representation of an inner form of $\mathrm{GL}_n$, the $L$-parameter constructed by Fargues-Scholze agrees with the usual semisimplified parameter arising from local Langlands.
Rapoport-Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinite-level Rapoport-Zink space of EL type, and let $\mathscr{M}_{\infty}^\circ$ be one geometrically connected component of it. We show that $\mathscr{M}_{\infty}^{\circ}$ contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of $p$-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve $X(p^\infty)^{\circ}$ is exactly the locus of elliptic curves $E$ with supersingular reduction, such that the formal group of $E$ has no extra endomorphisms.
Let F be a non-Archimedean local field and let E be an unramified extension of F of degree n>1. To each sufficiently generic multiplicative character of E (the details are explained in the body of the paper) one can associate an irreducible n-dimensional representation of the Weil group W_F of F, which corresponds to an irreducible supercuspidal representation π of GL_n(F) via the local Langlands correspondence. In turn, via the Jacquet-Langlands correspondence, π corresponds to an irreducible representation ρ of the multiplicative group of the central division algebra over F with invariant 1/n. In this note we give a new geometric construction of the representations π and ρ, which is simpler than the existing algebraic approaches (in particular, the use of the Weil representation over finite fields is eliminated).
The cohomology of the Lubin-Tate tower is known to realize the local Langlands correspondence for GL(n) over a nonarchimedean local field. In this article we make progress towards a purely local proof of this fact. To wit, we find a family of open affinoid subsets of Lubin-Tate space at infinite level, whose cohomology realizes the local Langlands correspondence for a broad class of supercuspidals (those whose Weil parameters are induced from an unramified degree n extension). A key role is played by a certain variety X, defined over a finite field, which is "maximal" in the sense that the number of rational points of X is the largest possible among varieties with the same Betti numbers as X. The variety X is derived from a certain unipotent algebraic group, in an analogous manner as Deligne-Lusztig varieties are derived from reductive algebraic groups.
We prove several results about p-divisible groups and Rapoport-Zink spaces. Our main goal is to prove that Rapoport-Zink spaces at infinite level are naturally perfectoid spaces, and to give a description of these spaces purely in terms of p-adic Hodge theory. This allows us to formulate and prove duality isomorphisms between basic Rapoport-Zink spaces at infinite level in general. Moreover, we identify the image of the period morphism, reproving results of Faltings. For this, we give a general classification of p-divisible groups over the ring of integers of a complete algebraically closed field in the spirit of Riemann's classification of complex abelian varieties. Another key ingredient is a full faithfulness result for the Dieudonné module functor for p-divisible groups over semiperfect rings (meaning rings on which the Frobenius map is surjective).
We analyze the geometry of the tower of Lubin-Tate deformation spaces, which parametrize deformations of a one-dimensional formal module of height h together with level structure. According to the conjecture of Deligne-Carayol, these spaces realize the local Langlands correspondence in their l-adic cohomology. This conjecture is now a theorem, but currently there is no purely local proof. Working in the equal characteristic case, we find a family of affinoids in the Lubin-Tate tower with good reduction equal to a rather curious nonsingular hypersurface, whose equation we present explicitly. Granting a conjecture on the L-functions of this hypersurface, we find a link between the conjecture of Deligne-Carayol and the theory of Bushnell-Kutzko types, at least for certain class of wildly ramified supercuspidal representations of small conductor.
Let $F$ be a locally compact non-Archimedean field, and let $B/F$ be a division algebra of dimension 4. The Jacquet-Langlands correspondence provides a bijection between smooth irreducible representations of $B^\times$ of dimension $>1$ and irreducible cuspidal representations of $GL_2(F)$. We present a new construction of this bijection in which the preservation of epsilon factors is automatic.