Avinash Kulkarni, Antonio Lerario
We prove a $p$-adic version of the Integral Geometry Formula for averaging the intersection of two $p$-adic projective algebraic sets. We apply this result to give bounds on the number of points in the modulo $p^m$ reduction of a projective set (reproving a result by Oesterlé) and to the study of random $p$-adic polynomial systems of equations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite étale descent and the associated rational cohomology coincides with rigid cohomology.
We compute the integral $p$-adic étale cohomology of Drinfeld symmetric spaces of any dimension. This refines the computation of the rational $p$-adic étale cohomology from Colmez-Dospinescu-Nizioł. The main tools are: the computation of the integral de Rham cohomology from CDN and the integral $p$-adic comparison theorems of Bhatt-Morrow-Scholze and Česnavičius-Koshikawa which replace the quasi-integral comparison theorem of Tsuji used in CDN.
The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an elliptic curve over the Witt vectors of a perfect characteristic $p$ field. As a corollary we prove a lower bound for the valuations of $p$-adic multiple zeta values.
We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.
We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.
Given an integral p-adic variety, we observe that if the integral Hodge--de Rham spectral sequence behaves nicely, then the special fiber knows the Hodge numbers of the generic fiber. Applying recent advancements of integral p-adic Hodge theory, we show that such a nice behavior is guaranteed if the p-adic variety can be lifted to an analogue of second Witt vectors and satisfies some bound on dimension and ramification index. This is a (ramified) mixed characteristic analogue of results due to Deligne--Illusie and Fontaine--Messing. Lastly, we discuss an example illustrating the necessity of t…
We use the theory of motivic integration in order to give a geometric explanation of the behavior of some p-adic integrals.
On the torsion in the cohomology of the integral structure sheaf of affinoid adic spaces
本文证明了特征零非阿基米德域上正规仿射阿迪空间的整结构层上同调一致挠，源于Bartenwerfer的注记，部分回答了Hansen和Kedlaya的问题及《非阿基米德苏格兰书》相关问题。
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of k-th invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid-analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, th…
We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.
Algorithms for hyperelliptic Mumford Curves $p$-adic Uniformization, $p$-adic integrals and $p$-adic heights
针对超椭圆Mumford曲线，提出计算$p$-adic Schottky群的算法，并利用该均匀化计算$p$-adic Abelian积分和Schneider高度，通过SageMath数值示例验证。
We discuss recent developments in $p$-adic geometry, ranging from foundational results such as the degeneration of the Hodge-to-de Rham spectral sequence for "compact $p$-adic manifolds" over new period maps on moduli spaces of abelian varieties to applications to the local and global Langlands conjectures, and the construction of "universal" $p$-adic cohomology theories. We finish with some speculations on how a theory that combines all primes $p$, including the archimedean prime, might look like.
We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.
This survey paper, to appear in he proceedings of the Miami Winter School ``Geometric Methods in Algebra and Number Theory'', is concerned with extending classical results à la Ax-Kochen-Er{š}ov to $p$-adic integrals in a motivic setting, using the framework of constructible motivic functions we introduced in math.AG/0410203. We conclude the paper by discussing briefly the relevance of our results to the study of orbital integrals and the Fundamental Lemma.
We compute the expectation of the number of linear spaces on a random complete intersection in $p$-adic projective space. Here "random" means that the coefficients of the polynomials defining the complete intersections are sampled uniformly form the $p$-adic integers. We show that as the prime $p$ tends to infinity the expected number of linear spaces on a random complete intersection tends to $1$. In the case of the number of lines on a random cubic in three-space and on the intersection of two random quadrics in four-space, we give an explicit formula for this expectation.
We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a positive answer to a $p$-adic analogue of a question asked by Kontsevich-Zagier in the reals (though the question in the reals is much harder). On the other hand, our result can also be considered as stating that over $\mathbb{Q}_p$, universal motivic integration (in the sense of Hrushovski-Kazhdan) is just $p$-adic integration.
We relate various approaches to coefficient systems in relative integral $p$-adic Hodge theory, working in the geometric context over the ring of integers of a perfectoid field. These include small generalised representations over $A_{\text{inf}}$ inspired by Faltings, modules with q-connection in the sense of q-de Rham cohomology, crystals on the prismatic site of Bhatt--Scholze, and q-deformations of Higgs bundles.
Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.
Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a non-Eisenstein maximal ideal of the Hecke algebra, is torsion-free, provided the prime p is large with the respect to the weight of the coefficient system. The proof uses p-adic Hodge theory, the dual BGG complex modulo p in order to compute the Hodge-Tate weights for the mod p cohomology. We apply this result to the construction of Hida p-adic families for symplec…
In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser fo…
We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely…
The aim of this paper is to propose an ``elementary" approach to Coleman's theory of p-adic abelian integrals. Our main tool is a theory of commutative p-adic Lie groups (the logarithm map); we use neither dagger analysis nor Monsky-Washnitzer cohomology theory. Notice that we also treat the case of bad reduction. A preliminary version of this paper appeared as Exposé 9 dans ``Problemes Diophantiens 88-89" (D. Bertrand, M. Waldschmidt), Publ. Math. Univ. Paris VI 90(1990), 15 pp.
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
A motivic integral $p$-adic cohomology
本文构造了一个积分$p$-adic上同调，与刚性上同调相容，并在奇点消解条件下证明其与Ertl-Shiho-Sprang的“好”上同调一致，从而得到motivic性质和Künneth公式。
In this note, we consider function fields of higher-dimensional algebraic varieties defined over non-local fields, and show how the Galois action on the cohomology such function fields can be used to parameterize their divisorial valuations. By applying a recent theorem of Pop, we observe that, in dimension $\geq 3$, this information is enough to completely determine the function field and the base-field in question.
$2$-adic integral models of some Shimura varieties with parahoric level structure
本文在 $p=2$ 上为具有抛物层结构的阿贝尔型 Shimura 簇构造整模型，并证明 Hodge 型情形下这些模型在 Pappas-Rapoport 意义下是典范的。
The aim of this article is to show that p-adic geometry of modular curves is useful in the study of p-adic properties of traces of singular moduli. In order to do so, we partly answer a question by Ono. As our goal is just to illustrate how p-adic geometry can be used in this context, we focus on a relatively simple case, in the hope that others will try to obtain the strongest and most general results. For example, for p=2, a result stronger than Thm.1 is proved in [Boylan], and a result on some modular curves of genus zero can be found in [Osburn] . It should be easy to apply our method, bec…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of Breuil-Kisin modules. Notably, this cohomology theory specializes to all other known p-adic cohomology theories, such as crystalline, de Rham and etale cohomology, which allows us to prove strong integral comparison theorems. The construction of the cohomology theory relies on Faltings's almost purity theorem, along with a certain functor $Lη$ on the derived cate…
Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely combinatorial and builds upon the dimension analysis of certain moduli spaces of bundle maps developed in [BFH+22].
Integral p-adic cohomology theories for open and singular varieties
本文研究正特征下开簇与奇异簇的整 p 进上同调，分别借助 cdp/cdh 拓扑及分裂正常一般 étale 超覆盖，给出次数 1 的良好理论并说明其不能推广到高次。
The eigencurve is a powerful tool introduced by Coleman and Mazur to study $p$-adic families of overconvergent modular forms. In this article, we introduce an analogous set of tools for understanding families of "overconvergent" $p$-adic representations of $π_1(X)$, where $X$ is a smooth affine variety over a finite field of characteristic $p$. Our main theorem is a trace formula relating the $L$-function of such a family to the geometry of a sequence of associated eigenvarieties. In the case of a single $p$-adic representation, our result reduces to the well known trace formula of Monsky. We …
Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups $H_{ar}^{2d-1}(\mathcal X_K, \mathbb Z(d)) \simeq π_1^{ab}(\mathcal X_K)_{W}$ from a new cohomology theory to an integral model $π_1^{ab}(\mathcal X_K)_{W}$ of the abelianized geometric fundamental groups $π_1^{ab}(\mathcal X_…
This article gives an introduction to arithmetic motivic integration in the context of p-adic integrals that arise in representation theory. A special case of the fundamental lemma is interpreted as an identity of Chow motives.
We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and ramification degree $e$, the $i$-th Breuil-Kisin cohomology group and its Hodge-Tate specialization admit nice decompositions when $ie<p-1$. Thanks to the comparison theorems in the recent works of Bhatt, Morrow and Scholze, we can then get an integral comparison theorem for formal schemes when the cohomological degree $i$ satisfies $ie<p-1$, which generalize…
The goal of the present text is to state and prove a generalization of Raynaud localization theorem in the setting of derived geometry. More explicitly, we show that the $\infty$-category of quasi-paracompact and quasi-separated derived $k$-analytic spaces can be realized as a localization of the $\infty$-category of admissible derived formal schemes. We construct a derived rigidification functor generalizing Raynaud rigidification functor. In order to construct the latter we will need to formalize derived formal $\mathcal{O}_k$-adic formal geometry via a structured spaces approach. We prove t…
It is well known that the integral identity conjecture is of prime importance in Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants for non-commutative Calabi-Yau threfolds. In this article we consider its numerical version and make it a complete demonstration in the case where the potential is a polynomial and the ground field is algebraically closed. The foundamental tool is the Berkovich spaces whose crucial point is how to use the comparison theorem for nearby cycles as well as the Künneth isomorphism for cohomology with compact support.
In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ``closed fibers at infinity''. Manin described the dual graph of any such closed fiber in terms of an infinite tangle of bounded geodesics in a hyperbolic handlebody endowed with a Schottky uniformization. In this paper we consider arithmetic surfaces over the ring of integers in a number field, with fibers of genus $g\geq 2$. We use Connes' theory of spectral triples to relate the hyperbolic geometry of the handlebody to Deninger's Archimedean cohomology…
The aim of the present paper is to provide a new aspect of the $p$-adic Teichmüller theory established by S. Mochizuki. We study the symplectic geometry of the $p$-adic formal stacks $\widehat{\mathcal{M}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of fixed genus $g>1$) and $\widehat{\mathcal{S}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of genus $g$ equipped with an indigenous bundle). A major achievement in the (classical) $p$-adic Teichmüller theory is the construction of the locus $\widehat{\mathcal{N}}_{g, \mathbb{Z}_p}^{\mathrm{ord}}$ in…
This is an introduction to $p$-adic geometry and $p$-adic analysis focusing on the theme of $p$-adic period mappings. We follow as closely as possible the development of the classical theory of complex period mappings, blending differential equations, group theory and geometry. The text ends with a detailed discussion of $p$-adic triangle groups.
We show that the de Rham cohomology of any separated and smooth rigid variety over a field of Laurent series of characteristic zero carries a natural formal meromorphic connection, which we call the Gauss-Manin connection. We compare it with the Gauss-Manin connection of a proper and smooth variety over a curve, and with the Gauss-Manin connection of the Milnor fibration at an isolated complex hypersurface singularity.
Torsion in $p$-adic étale cohomology: remarks and conjectures
本文研究了非固有光滑形式概形的整 $p$-进 étale 上同调挠元问题，发现仿射情形下挠元可表示为特殊纤维的函子且挠子群有限，并提出了预测更广泛刚性解析簇挠元的猜想。
Some Foundational Results In Adic Geometry
本文补充了 adic 几何中缺失的基础性结果，在局部诺特解析 adic 空间上建立了 Proj 构造与 lci 闭浸入理论，并发展了解析几何中的 étale 六函子形式体系及 lisse 层与可构造层的范畴化描述。
Topics in Adic Spaces
本文为海德堡春季学校迷你课程的扩展讲义，系统介绍 adic 空间中的凝聚层、态射性质及其与形式几何和 Berkovich 空间的联系。
Canonical extensions of $p$-adic shtukas on toroidal compactifications of Shimura varieties
本文在 Abel 型 Shimura 簇的环面紧化的整模型上，通过研究边界处 shtuka 的“退化”，构造了具有拟抛物水平结构的 $p$-adic shtuka 的典范扩张，并定义了 Pappas-Rapoport 意义下的典范整模型。
We develop a full 6-functor formalism for $p$-torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, s…
Existential uniform $p$-adic integration and descent for integrability and largest poles
本文提出跟踪存在量词的 $p$-进胞腔分解变体，证明存在性函数可积性的子域下降，并推出 Serre-Poincaré 级数最大极点在域扩张中只增不减。
In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded pieces are related in mixed characteristic to the complex $AΩ$ constructed in our previous work, and in equal characteristic $p$ to crystalline cohomology. Our construction of the filtration on $\mathrm{THH}$ is via flat descent to semiperfectoid rings. As one application, we refine the construction of the $AΩ$-complex by giving a cohomological construction o…
It was already known that a p-adic, locally Lipschitz continuous semi-algebraic function is piecewise Lipschitz continuous, where the pieces can be taken semi-algebraic. We prove that if the function has locally Lipschitz constant 1, then it is also piecewise Lipschitz continuous with the same Lipschitz constant 1. We do this by proving the following fine preparation results for p-adic semi-algebraic functions in one variable. Any such function can be well approximated by a monomial with fractional exponent such that moreover the derivative of the monomial is an approximation of the derivative…
Integral $p$-adic non-abelian Hodge theory for small representations
本文构造新的周期层，为光滑p进形式概形上的小$\OXp$-表示与小希格斯束建立整体p进辛普森对应，并给出典范态射，进而研究带小表示系数的德利涅-伊卢西分解类似物。
This paper constructs cospecialization homomorphisms between the (p') versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction (the tempered fundamental group is a sort of analog of the topological fundamental group of complex algebraic varieties in the p-adic world). We studied the question for families of curves in another paper. To construct them, we will start by describing the pro-(p') tempered fundamental group of a smooth and proper variety with polystable reduction in terms of the reduction endowed with its log structure, thus defining tem…
The tempered fundamental group of a p-adic analytic space classifies coverings that are dominated by a topological covering (for the Berkovich topology) of a finite etale covering of the space. Here we construct cospecialization homomorphisms between (p') versions of the tempered fundamental groups of the fibers of a smooth family of curves with semistable reduction. To do so, we will translate our problem in terms of cospecialization morphisms of fundamental groups of the log fibers of the log reduction. In particular, we will have to study invariance of the geometric log fundamental group of…
BPS invariants from $p$-adic integrals
本文通过非阿基米德局部域上的积分定义del Pezzo曲面上1维层模空间的$p$BPS不变量，证明其$\chi$-独立性，并借助Maulik-Shen结果得出与通常BPS不变量的一致性。
Perfectoid unitary Shimura varieties and $p$-adic Eichler-Shimura map I
本文通过完美体构造和收敛Eichler-Shimura映射，研究单位ary群上的$p$-adic自动机形与特征种几何及$p$-adic $L$-函数的关系。
We define a superspace over a ring $R$ as a functor on a subcategory of the category of supercommutative $R$-algebras. As an application the notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over the ring of $p$-adic integers.
We introduce a notion of constructibility for étale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We use the work of R. Huber to define an adic Verdier dual and investigate the extent to which we have a 6-functor formalism in this context. Lastly, we attempt to classify those sheaves which are reflexive with respect to the adic Verdier dual.
We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible étale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。