A geometric model for mod $p$ bordism

Kiran Luecke

2024-04-30

Abstract:In this note I give a positive solution to Bullett's conjecture (posed in [1]) regarding a geometric presentation of the universal mod $p$ oriented ring spectrum.

Algebraic Topology

What problem does this paper attempt to address?

Connected components of the moduli space of L-parameters

Sean Cotner

2024-04-26

Abstract:Recently, in order to formulate a categorical version of the local Langlands correspondence, several authors have constructed moduli spaces of $\mathbf{Z}[1/p]$-valued L-parameters for $p$-adic groups. The connected components of these spaces over various $\mathbf{Z}[1/p]$-algebras $R$ are conjecturally related to blocks in categories of $R$-representations of $p$-adic groups. Dat-Helm-Kurinczuk-Moss described the components when $R$ is an algebraically closed field and gave a conjectural description when $R = \overline{\mathbf{Z}}[1/p]$. In this paper, we prove a strong form of this conjecture applicable to any integral domain $R$ over $\overline{\mathbf{Z}}[1/p]$.

Number Theory,Algebraic Geometry,Representation Theory
Modularity of trianguline Galois representations

Rebecca Bellovin

2023-11-16

Abstract:We use the theory of trianguline $(\varphi,\Gamma)$-modules over pseudorigid spaces to prove a modularity lifting theorem for certain Galois representations which are trianguline at $p$, including those with characteristic $p$ coefficients. The use of pseudorigid spaces lets us construct integral models of the trianguline varieties of [BHS17b], [Che13] after bounding the slope, and we carry out a Taylor--Wiles patching argument for families of overconvergent modular forms. This permits us to construct a patched quaternionic eigenvariety and deduce our modularity results.

Number Theory
A model for genuine equivariant commutative ring spectra away from the group order

Christian Wimmer

DOI: https://doi.org/10.48550/arXiv.1905.12420

2019-05-29

Algebraic Topology

Abstract:We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms in the form of additional norm maps on geometric fixed point diagrams, which turns out to be computationally managable.
Mod $p$ points on Shimura varieties of parahoric level (with an appendix by Rong Zhou)

Pol van Hoften

2024-09-03

Abstract:We study the mod $p$-points of the Kisin--Pappas integral models of Shimura varieties of Hodge type with parahoric level. We show that if the group is quasi-split, then every isogeny class contains the reduction of a CM point, proving a conjecture of Kisin--Madapusi-Pera--Shin. We furthermore show that the mod $p$ isogeny classes are of the form predicted by the Langlands--Rapoport conjecture if either the Shimura variety is proper or if the group at $p$ is unramified. The main ingredient in our work is a global argument that allows us to reduce the conjecture to the case of very special parahoric level. This case is dealt with in the appendix by Rong Zhou. As a corollary to our arguments, we determine the connected components of Ekedahl--Oort strata.

Number Theory,Algebraic Geometry
The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

Dain Kim,Nicholas Wilkins

2024-10-08

Abstract:We prove that the Serre spectral sequence of the fibration $\overline{\mathcal M}_{0, 1+p} \to E\mathbb Z/p \times_{\mathbb Z/p} \overline{\mathcal M}_{0, 1+p} \to B \mathbb Z/p$ collapses at the $E_2$ page. We use this to prove that: for any element of the $\mathbb Z/p$-equivariant cohomology with $\mathbb F_p$-coefficients of genus zero Deligne-Mumford space with $1+p$ marked points, if this element is torsion then it is non-equivariant. This concludes that the only "interesting" $\mathbb Z/p$-equivariant operations are quantum Steenrod power operations.

Algebraic Topology,Algebraic Geometry,Symplectic Geometry
The Moduli Space of Cyclic Covers in Positive Characteristic

Huy Dang,Matthias Hippold

DOI: https://doi.org/10.1093/imrn/rnae060

2024-04-05

International Mathematics Research Notices

Abstract:Abstract We study the $p$-rank stratification of the moduli space $\operatorname{\mathcal{A}\mathcal{S}\mathcal{W}}_{(d_{1},d_{2},\ldots ,d_{n})}$, which represents $\mathbb{Z}/p^{n}$-covers in characteristic $p>0$ whose $\mathbb{Z}/p^{i}$-subcovers have conductor $d_{i}$. In particular, we identify the irreducible components of the moduli space and determine their dimensions. To achieve this, we analyze the ramification data of the represented curves and use it to classify all the irreducible components of the space. In addition, we provide a comprehensive list of pairs $(p,(d_{1},d_{2},\ldots ,d_{n}))$ for which $\operatorname{\mathcal{A}\mathcal{S}\mathcal{W}}_{(d_{1},d_{2},\ldots ,d_{n})}$ in characteristic $p$ is irreducible. Finally, we investigate the geometry of $\operatorname{\mathcal{A}\mathcal{S}\mathcal{W}}_{(d_{1},d_{2},\ldots ,d_{n})}$ by studying the deformations of cyclic covers that vary the $p$-rank and the number of branch points.

mathematics
Ordinary Modular Forms and Companion Points on the Eigencurve

John Bergdall

DOI: https://doi.org/10.1016/j.jnt.2013.07.014

2013-09-03

Abstract:We give a new proof of a result due to Breuil and Emerton which relates the splitting behavior at p of the p-adic Galois representation attached to a p-ordinary modular form to the existence of an overconvergent p-adic companion form for f.

Number Theory
On the geometry of the Pappas-Rapoport models in the (AR) case

Stéphane Bijakowski,Valentin Hernandez

2024-01-16

Abstract:We study some integral model of P.E.L. Shimura varieties of type A for ramified primes. Precisely, we look at the Pappas-Rapoport model (or splitting model) of some unitary Shimura varieties for which there is ramification in the degree 2 CM extension. We show that the model isn't smooth, but that it is normal with Cohen-Macaulay special fiber. We moreover study its special fiber by introducing a combinatorial stratification for which we can compute the closure relations. Even if there are "extra" components in special fiber, we prove that those do not contribute to mod p modular forms in regular degree. We also study the interaction of the stratification with the natural stratification given by the vanishing of some partial Hasse invariants, in the case of signature (1,n-1).

Algebraic Geometry,Number Theory
$p$-adic hyperbolicity for moduli spaces of abelian motives

Abhishek Oswal,Ananth N. Shankar,Xinwen Zhu,Anand Patel

2024-10-09

Abstract:We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free level structure. We prove every rigid-analytic map defined over a discretely valued $p$-adic field $\mathsf{D}^{\times} \times X \rightarrow S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{an}}$ extends to an analytic map $\mathsf{D} \times X \rightarrow (S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}})^{\textrm{an}}$, where $S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}}$ is the Baily-Borel compactification of $S(G,\mathcal{H})_{\mathsf{K}}$. We also deduce various applications to algebraicity of analytic maps, degenerations of families of abeloids, and to $p$-adic notions of hyperbolicity. Along the way, we also prove an extension result for Rapoport-Zink spaces.

Number Theory,Algebraic Geometry
Mod-p Poincaré Duality in p-adic Analytic Geometry

Bogdan Zavyalov

2024-02-22

Abstract:We show Poincaré Duality for $\mathbf{F}_p$-étale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a]. We prove duality via constructing Faltings' trace map relating Poincaré Duality on the generic fiber to (almost) Grothendieck Duality on the mod-$p$ fiber of a formal model. We also formally deduce Poincaré Duality for $\mathbf{Z}/p^n\mathbf{Z}$, $\mathbf{Z}_p$, and $\mathbf{Q}_p$-coefficients.

Algebraic Geometry,Number Theory
Arithmeticity of the Monodromy of the Wiman–Edge Pencil

Benson Farb,Eduard Looijenga

DOI: https://doi.org/10.5802/aif.3423

2022-01-01

Abstract:The {\em Wiman-Edge pencil} is the universal family $\Cs/\mathcal B$ of projective, genus $6$, complex-algebraic curves admitting a faithful action of the icosahedral group $\Af_5$. The goal of this paper is to prove that the monodromy of $\Cs/\mathcal B$ is commensurable with a Hilbert modular group; in particular is arithmetic. We then give a modular interpretation of this, as well as a uniformization of $\mathcal B$.
On the lower bounds of $p$-modulus of families of paths and a finite connectedness

Evgeny Sevost'yanov,Zarina Kovba,Heorhii Nosal

2024-08-18

Abstract:We study the problem of the lower bounds of the modulus of families of paths of order $p,$ $p>n-1,$ and their connection with the geometry of domains containing the specified families. Among other things, we have proved an analogue of Näkki's theorem on the positivity of the $p$-module of families of paths joining a pair of continua in the given domain. The geometry of domains with a strongly accessible boundary in the sense of the $p$-modulus of families of paths was also studied. We show that domains with a $p$-strongly accessible boundary with respect to a $p$-modulus, $p>n-1,$ are are finitely connected at their boundary. The mentioned result generalizes Näkki's result, which was proved for uniform domains in the case of a conformal modulus.

Complex Variables
A mod p variant of the André-Oort conjecture

Bas Edixhoven,Rodolphe Richard

DOI: https://doi.org/10.48550/arXiv.1807.03607

2018-07-10

Abstract:We state and prove a variant of the André-Oort conjecture for the product of 2 modular curves in positive characteristic, assuming GRH for quadratic fields.

Number Theory
Galois covers of the open p-adic disc

Scott Corry

DOI: https://doi.org/10.1007/s00229-009-0301-4

2011-03-09

Abstract:This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.

Number Theory
A remark on a theorem of Narasimhan and Ramanan

Jagadish Pine

2024-11-24

Abstract:In this short note, we provide an alternative proof of a notable theorem by Narasimhan and Ramanan. The theorem states that the moduli space of $S$-equivalence classes of semistable rank $2$ vector bundles over a curve $X$ of genus $2$ with trivial determinant is isomorphic to $\mathbb{P}^3$. Our proof relies on a criterion by Bauer and Szemberg, which characterizes projective spaces among smooth Fano varieties using Seshadri constants.

Algebraic Geometry
Mod $p$ and torsion homology growth in nonpositive curvature

Grigori Avramidi,Boris Okun,Kevin Schreve

DOI: https://doi.org/10.1007/s00222-021-01057-x

2024-01-18

Abstract:We compute the mod $p$ homology growth of residual sequences of finite index normal subgroups of right-angled Artin groups. We find examples where this differs from the rational homology growth, which implies the homology of subgroups in the sequence has lots of torsion. More precisely, the homology torsion grows exponentially in the index of the subgroup. For odd primes $p$, we construct closed locally CAT(0) manifolds with nonzero mod $p$ homology growth outside the middle dimension. These examples show that Singer's conjecture on rational homology growth and Lück's conjecture on torsion homology growth are incompatible with each other, so at least one of them must be wrong.

Group Theory,Geometric Topology
Lubin–Tate moduli space of semisimple mod p Galois representations for and Hecke modules

Cédric Pépin,Tobias Schmidt

DOI: https://doi.org/10.1007/s00209-024-03640-3

2024-12-03

Mathematische Zeitschrift

Abstract:Let p be an odd prime. Let F be a non-archimedean local field of residue characteristic p , and let be its residue field. Let be the pro- p -Iwahori-Hecke algebra of the p -adic group with coefficients in , and let be its center. We define a scheme whose geometric points parametrize the semisimple two-dimensional Galois representations of over . Then we construct a morphism from to generalizing the morphism appearing in [15] for . In the case , we show that the induced map from Hecke modules to Galois representations, when restricted to supersingular modules, coincides with Grosse-Klönne's bijection [8]. For this, we determine the Lubin–Tate -modules associated to absolutely irreducible Galois representations.

mathematics
Geometry of canonical genus 4 curves

Fatemeh Rezaee

DOI: https://doi.org/10.1112/plms.12577

2024-01-17

Proceedings of the London Mathematical Society

Abstract:Abstract We apply the machinery of Bridgeland stability conditions on derived categories of coherent sheaves to describe the geometry of classical moduli spaces associated with canonical genus 4 space curves via an effective control over its wall‐crossing. This article provides the first description of a moduli space of Pandharipande–Thomas stable pairs that is used as an intermediate step toward the description of the associated Hilbert scheme, which in turn is the first example where the components of a classical moduli space were completely determined via wall‐crossing. We give a full list of irreducible components of the space of stable pairs, along with a birational description of each component, and a partial list for the Hilbert scheme. There are several long standing open problems regarding classical sheaf theoretic moduli spaces, and the present work will shed light on further studies of such moduli spaces such as Hilbert schemes of curves and moduli of stable pairs that are very hard to tackle without the wall‐crossing techniques.

mathematics
Algebraic Cobordism in mixed characteristic

Markus Spitzweck

DOI: https://doi.org/10.48550/arXiv.1404.2542

2014-04-10

Abstract:We compute the geometric part of algebraic cobordism over Dedekind domains of mixed characteristic after inverting the positive residue characteristics and prove cases of a Conjecture of Voevodsky relating this geometric part to the Lazard ring for regular local bases. The method is by analyzing the slice tower of algebraic cobordism, relying on the Hopkins-Morel isomorphism from the quotient of the algebraic cobordism spectrum by the generators of the Lazard ring to the motivic Eilenberg-MacLane spectrum, again after inverting the positive residue characteristics.

Algebraic Topology,Algebraic Geometry

A geometric model for mod $p$ bordism

Connected components of the moduli space of L-parameters

Modularity of trianguline Galois representations

A model for genuine equivariant commutative ring spectra away from the group order

Mod $p$ points on Shimura varieties of parahoric level (with an appendix by Rong Zhou)

The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

The Moduli Space of Cyclic Covers in Positive Characteristic

Ordinary Modular Forms and Companion Points on the Eigencurve

On the geometry of the Pappas-Rapoport models in the (AR) case

$p$-adic hyperbolicity for moduli spaces of abelian motives

Mod-p Poincaré Duality in p-adic Analytic Geometry

Arithmeticity of the Monodromy of the Wiman–Edge Pencil

On the lower bounds of $p$-modulus of families of paths and a finite connectedness

A mod p variant of the André-Oort conjecture

Galois covers of the open p-adic disc

A remark on a theorem of Narasimhan and Ramanan

Mod $p$ and torsion homology growth in nonpositive curvature

Lubin–Tate moduli space of semisimple mod p Galois representations for and Hecke modules

Geometry of canonical genus 4 curves

Algebraic Cobordism in mixed characteristic