Shuji Saito, Kanetomo Sato
In this paper we prove a finiteness result concerning the Chow group of zero-cycles for varieties over $p$-adic local fields. In this final version, there are several corrections concerning mathematical symbols and reference to related known results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the variation of the convergence Newton polygon of a differential equation along a smooth Berkovich curve over a non-archimedean complete valued field of characteristic 0. Relying on work of the second author who investigated its properties on affinoid domains of the affine line, we prove that its slopes give rise to continuous functions that factorize by the retraction through a locally finite subgraph of the curve.
A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is related to finiteness of two arithmetic objects: One is the $p$-primary torsion part of the Chow group in codimension 2 of $X$. Another is an unramified cohomology group of $X$. As an application, for a regular model ${\mathscr X}$ of $X$ over the integer ring of $k$, we show an injectivity result on torsion of a cycle class map from the Chow group in codimension …
We provide an effective version of Katz' criterion for finiteness of the monodromy group of a lisse, pure of weight zero, $\ell$-adic sheaf on a normal variety over a finite field, depending on the numerical complexity of the sheaf
We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (including a locally perfectoid one). On the positive side, we also show that if every affinoid subspace of an affinoid pre-adic space is uniform, then the structure presheaf is a sheaf; note in particular that we assume no finiteness hypotheses on our rings here. One can use our result to give a new proof that the spectrum of a perfectoid algebra is an adic space.
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then CH^{i}(X) is finitely generated for i<=4.
I prove the surjectivity of the $p$-adic regulator from Quillen's $K_2$ of Tate curve to the $p$-adic etale cohomology group when the base field is contained in a cyclotomic extension of $Q_p$. This implies the finiteness of torsion part of $K_1$ of Tate curves thanks to Suslin's exact sequence.
Ceci est un rapport sur l'article "A finiteness theorem for zero-cycles over p-adic fields" (arXiv:math/0605165) de Shuji Saito et Kanetomo Sato. ----- This is a survey on the paper "A finiteness theorem for zero-cycles over p-adic fields" (arXiv:math/0605165) by Shuji Saito and Kanetomo Sato.
The goal of this paper is to motivate a boundedness conjecture on nearby slopes of $\ell$-adic sheaves in positive characteristic, and to prove it for smooth curves. For a constructible $\ell$-adic sheaf, we prove the finiteness of the set of nearby slopes associated to a given morphism. For the constant sheaf, we prove the vanishing of nearby slopes in case of generalized semi-stable reduction.
Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a normal crossings divisor. We show that there are only finitely many log crystalline $\mathbb Z_{p^f}$-local systems over $X_K\setminus S_K$ of given rank and with geometrically absolutely irreducible residual representation, up to twisting by a character. The proof uses $p$-adic nonabelian Hodge theory and a finiteness result due Abe/Lafforgue.
Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.
We show an example of Chow group of 0-cycles on surface over a p-adic field which has infinite torsion subgroup.
Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a simple normal crossings divisor and fix positive integers $r$ and $f$. We show that the set of absolutely irreducible representations $π_1(X_{\bar K})\rightarrow \mathrm{GL}_r(\mathbb{Z}_{p^f})$ that come from log crystalline $\mathbb Z_{p^f}$-local systems over $(X_K,S_K)$ of rank $r$ is finite. The proof uses $p$-adic nonabelian Hodge theory and a finiteness result due Abe/Lafforgue.
Finiteness properties for Shimura curves and modified diagonal cycles
本文证明给定亏格界的 Shimura 曲线仅有有限多条，并猜想修正对角线环消失仅发生在有限多条曲线上，通过模形式数据与 Sage 计算给出分类结果和显式例子。
In this paper we prove a Gross-Zagier type formula for the anticyclotomic p-adic L-function of an elliptic modular form f of higher weight and of multiplicative type at p. For such f we also decribe explicitely the local Galois representation attached to it at p and compare the Fontaine-Mazur and Teitelbaum L-invariants.
Preperiodic points, finiteness, and structures of semigroups of algebraic morphisms
本文利用 p-adic arc 方法探讨态射预周期点的有限性问题，证明了自同构群元素公共预周期点与群结构性质的联系，以及有限态射的 Northcott 型结果。
Characteristic Epsilon Cycles of $\ell$-adic Sheaves on Varieties
本文研究了ℓ-adic sheaves的特征epsilon cycles，提出了一种基于奇异支撑的循环，并证明了其满足Milnor型公式，同时给出了全局epsilon因子的乘积公式及一般完美域上的推广。
Syntomic complex and $p$-adic nearby cycles
本文研究了 syntomic 复合体与 $p$-adic nearby cycles 之间的关系，通过局部相对 $p$-adic Hodge 理论和全局应用，揭示了晶态表示与 étale 局部系统之间的联系。
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite dimensional vector spaces. We also establish Poincare duality and the Kunneth formula with coefficients. The arguments use a pushforward construction in relative dimension 1, based on a relative version of Crew's conjecture on the quasi-unipotence of certain p-adic differential equations.
Arithmetic Properties Of $\ell$-adic Étale Cohomology and Nearby Cycles of Rigid-Analytic Spaces
本文研究p进非阿基米德局部域上刚性解析簇的ℓ进平展上同调，建立Frobenius特征值界、强局部单值化定理、邻近环混合性，并用perfectoid分析证明Deligne权-单值化猜想的局部版本，同时发展Deligne拓扑斯上的可构造ℓ进复形理论。
We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of étale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual six functors. We prove that the compatibility of a family is preserved by the nearby cycles functor and by the linearized $\varepsilon$-factors introduced recently by the author. We establish independence of $\ell$ for the characteristic cycles and characteristic $\varepsilon$-cycles of compatible families.
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…
We prove a finiteness result for the p-adic cohomology of the Lubin-Tate tower. For any n>=1 and p-adic field F, this provides a canonical functor from admissible p-adic representations of GL_n(F) towards admissible p-adic representations of Gal_F x D^*, where Gal_F is the absolute Galois group of F, and D/F is the central division algebra of invariant 1/n. Moreover, we verify a local-global-compatibility statement for this correspondence, and compatibility with the patching construction of Caraiani-Emerton-Gee-Geraghty-Paskunas-Shin.
We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic complexes and p-adic nearby cycles proved recently in Colmez-Niziol.
Finiteness of Heights in Isogeny Classes of Motives with Semistable Reduction
本文利用积分 $p$-adic Hodge 理论推广了阿贝尔簇的 Faltings 高度，并在假设 adelic Mumford-Tate 猜想下，证明了 motive 同构类中高度的有限性，扩展了 Kisin 和 Mocz 的相关结果。
Let f be a modular form of weight k>=2 and level N, let K be a quadratic imaginary field, and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level and the field K, one can attach to this data a p-adic L-function L_p(f,K,s), as done by Bertolini-Darmon-Iovita-Spiess. In the case of p being inert in K, this analytic function of a p-adic variable s vanishes in the critical range s=1,...,k-1, and therefore one is interested in the values of its derivative in this range. We construct, for k>=4, a Chow motive endowed with a distinguished collection of a…
Using an idelic argument and assuming the Gersten conjecture for Milnor K-theory, we show that the restriction map from one-cycles on a smooth projective scheme over a henselian local ring to a pro-system of thickened zero-cycles is surjective. We relate this restriction map to the $p$-adic cycle class map.
We construct a quintic surface over p-adic local fields such that there is infinite p-primary torsion in the Chow group of 0-cycles.
Non-injectivity of the cycle class map in continuous $\ell$-adic cohomology
本文通过构造若干反例，否定回答了 Jannsen 关于连续 ℓ-adic 上同调中整系数循环类映射单射性的问题，并揭示了其对 Chow 群 coniveau 滤过和 Schreieder 超越 Abel-Jacobi 映射的影响。
On the injectivity and non-injectivity of the $l$-adic cycle class maps
本文借助 étale 动机上同调与驯顺连续 étale 上同调改进循环类映射，证明 Tate 与 Beilinson 猜想可保证正特征下其核为挠，并分析非单射反例。
We show that for n $\ge$ 2 the space of closed n-cycles in a strongly (n -- 2)-concave complex space has a natural structure of reduced complex space locally of finite dimension and represents the functor "analytic family of n-cycles" parametrized by Banach analytic sets.
Deligne and Kato proved a formula computing the dimension of the nearby cycles complex of an l-adic sheaf on a relative curve over an excellent strictly henselian trait. In this article, we reprove this formula using Abbes-Saito's ramification theory.
We study the p-adic deformation properties of algebraic cycle classes modulo rational equivalence. We show that the crystalline Chern character of a vector bundle lies in a certain part of the Hodge filtration if and only if, rationally, the class of the vector bundle lifts to a formal pro-class in K-theory on the p-adic scheme.
Let X be a smooth projective variety. Starting with a finite set of cycles on powers X^m of X, we consider the Q-vector subspaces of the Q-linear Chow groups of the X^m obtained by iterating the algebraic operations and pullback and push forward along those morphisms X^l -> X^m for which each component X^l -> X is a projection. It is shown that these Q-vector subspaces are all finite-dimensional, provided that the Q-linear Chow motive of X is a direct summand of that of an abelian variety.
In this article, we define the l-adic homology for a morphism of schemes satisfying certain finiteness conditions. This homology has these functors similar to the Chow groups: proper push-forward, flat pull-back, base change, cap-product, etc. In particular on singular varieties, this kind of l-adic homology behaves much better that the classical l-adic cohomology. As an application, we give an much easier approach to construct the cycle maps for arbitrary algebraic schemes over fields of finite cohomology dimension. And we prove these cycle maps kill the algebraic equivalences and commute wit…
The Fourier Transform and Characteristic Cycles of Monodromic $\ell$-adic Sheaves
本文将 Brylinski–Malgrange 关于单值化代数 D-模傅里叶变换保持特征循环的经典结果推广到 ℓ-adic 层范畴，建立了 ℓ-adic 语境下的精确类比。
For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the $p$-adic étale cohomology of the geometric generic fibre, and we make a conjecture ("$p$-adic local invariant cycle theorem") that describes the behavior of this map for regular $X$, analogous to the situation in $l$-adic étale cohomology for $l\neq p$. Our main result is that, if $X$ has semistable reduction, this specialization map induces an isomorphism on the s…
In this paper we prove that the $\mathcal{E}^\dagger_K$-valued cohomology, introduced in [9] is finite dimensional for smooth curves over Laurent series fields $k((t))$ in positive characteristic, and forms an $\mathcal{E}^\dagger_K$-lattice inside `classical' $\mathcal{E}_K$-valued rigid cohomology. We do so by proving a suitable version of the p-adic local monodromy theory over $\mathcal{E}^\dagger_K$, and then using an étale pushforward for smooth curves to reduce to the case of $\mathbb{A}^1$. We then introduce $\mathcal{E}^\dagger_K$-valued cohomology with compact supports, and again prov…
Finiteness and cofiniteness of fine Selmer groups over function fields
本文在函数域的非分歧 $\mathbb{Z}_{p}$-扩张上证明了对偶精细塞尔默群的有限生成性，给出了 Coates--Sujatha 猜想的函数域版本，并进一步将有限性与零性结果推广到某些分歧的 $p$-进李扩张。
We consider a product $X=E_1\times\cdots\times E_d$ of elliptic curves over a finite extension $K$ of $\mathbb{Q}_p$ with a combination of good or split multiplicative reduction. We assume that at most one of the elliptic curves has supersingular reduction. Under these assumptions, we prove that the Albanese kernel of $X$ is the direct sum of a finite group and a divisible group, extending work of Raskind and Spiess to cases that include supersingular phenomena. Our method involves studying the kernel of the cycle map $CH_0(X)/p^n\rightarrow H^{2d}_{\text{ét}}(X, μ_{p^n}^{\otimes d})$. We give…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$-coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the …
In this paper, we construct Chern class maps and cycle class maps with values in p-adic étale Tate twists [S2]. We also relate the p-adic étale Tate twists with the finite part of Bloch-Kato. As an application, we prove that the integral part of p-adic regulator maps has values in the finite part of Galois cohomology under certain assumptions.
The characteristic cycle of a non-confluent $\ell$-adic GKZ hypergeometric sheaf
本文提出一种计算特定类型 $\ell$-adic 非合流 GKZ 超几何层特征簇的算法，通过应用正像公式并结合 GKZ 型层与 $\mathcal{D}$-module 的拓扑同构关系，提供了一种更简便的计算方法。
In this paper, we study the Brauer-Manin pairing of smooth proper varieties over local fields, and determine the $p$-adic part of the kernel of one side. We also compute the $A_0$ of a potentially rational surface which splits over a wildly ramified extension.
We propose a geometric method to measure the wild ramification of a smooth etale sheaf along the boundary. Using the method, we study the graded quotients of the logarithmic ramification groups of a local field of positive characteristic with arbitrary residue field. We also define the characteristic cycle of an l-adic sheaf, satisfying certain conditions, as a cycle on the logarithmic cotangent bundle and prove that the intersection with the 0-section computes the characteristic class, and hence the Euler number. Definition 2.1.1 is corrected in v2.
We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale s…
In this thesis, two $\bar{\mathbb{Q}}_\ell$-local systems, $\vphantom{\mathcal{E}}^\circ \mathcal{E}$ and $\vphantom{E}^\circ \mathcal{E}^\prime$ on the regular unipotent subvariety $\mathcal{U}_{0,K}$ of $p$-adic $\operatorname{SL}_2(K)$ are constructed. Making use of the equivalence between $\bar{\mathbb{Q}}_\ell$-local systems and $\ell$-adic representations of the étale fundamental group, we prove that these local systems are equivariant with respect to conjugation by $\operatorname{SL}_2(K)$ and that their nearby cycles, when taken with respect to appropriate integral models, descend to l…
We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been known for smooth schemes or in low dimensions, and unify the p-adic and l-adic theory. As an application, we generalize Rojtman's theorem to normal, projective schemes.
In this article we prove a local Riemman-Hurwitz formula which compares the dimensions of the spaces of vanishing cycles in a finite Galois cover of type (p,p,...,p) between formal germs of p-adic curves and which generalises the formula proven by the first author in the case of Galois covers of degree p. We also investigate the problem of the existence of a torsor structure for a finite Galois cover of type (p,p,...,p) between p-adic schemes.
A finiteness result on representations of the profinite étale Nori fundamental group
研究指出，对于给定的秩n，存在有限多个Nori基本群的表示，回答了Gasbarri的问题。
Geometric Detection and Finiteness of Crystalline Local Systems
该文证明p进域上光滑真概形一般纤维的晶体局部系统的几何检测定理：特殊纤维晶体实现检测几何绝对不可约性，并模常数秩一扭曲决定几何基本群限制；结合Abe--Esnault有限性定理，证明固定秩几何绝对不可约晶体局部系统在算术特征扭曲下的有限性。
In this article we propose a geometric description of Arthur packets for $p$-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for …
The Gersten conjecture for $p$-adic étale Tate twists and the $p$-adic cycle class map
本文证明了混合特征光滑概形上 $p$-adic étale Tate 扭转的 Gersten 猜想，并推广了循环类映射至任意有限剩余域。
Geometric Eisenstein series I: finiteness theorems
本文在 Fargues–Fontaine 曲线的丛栈上建立几何 Eisenstein 级数与常数项函子理论，证明最优有限性及 Bernstein 第二伴随性的几何形式，并实现 Bun_G 层范畴的尖点–Eisenstein 分解。
Let f: A^N \to A^N be a regular polynomial automorphism defined over a number field K. For each place v of K, we construct the v-adic Green functions G_{f,v} and G_{f^{-1},v} (i.e., the v-adic canonical height functions) for f and f^{-1}. Next we introduce for f the notion of good reduction at v, and using this notion, we show that the sum of v-adic Green functions over all v gives rise to a canonical height function for f that satisfies the Northcott-type finiteness property. Using previous results, we recover results on arithmetic properties of f-periodic points and non f-periodic points. We…
Monodromy results for abelian surfaces and K3 surfaces with bad reduction
本文证明了特征p下具有坏约化的常阿贝尔曲面与K3曲面的局部p进单值性定理，并由此在II型超奇异约化情形下得到Hecke轨道约化的有限性结果。
Non-commutative nature of $\ell$-adic vanishing cycles
本文证明特殊纤维的奇点范畴可恢复$\ell$-adic消失上同调，并利用相对完美复形的dg范畴计算嵌入的紧支撑K-理论。
We show that Colliot-Thélène's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary fields of transcendence degree 1 over the rational numbers.
In this paper, we show that the infinitesimal Torelli theorem implies the existence of deformations of automorphisms. In the first part, we use Hodge theory and deformation theory to study the deformations of automorphisms of complex projective manifolds. In the second part, we use crystalline cohomology to explore the p-adic analogues of the first part, which generalizes a result of Berthelot and Ogus. The study of the deformations of automorphisms also provides criterions characterizing when the action of the automorphism group of a variety on its cohomology is faithful.
We present the construction of canonical lifts of $\ell$-adic cycle classes of sections of $p$-adic projective anabelian curves to the cohomology of arbitrary proper, regular, flat models. This answers a question of Esnault and Wittenberg.
We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties, characteristic varieties and Alexander polynomials of Torelli groups, and we show that all subgroups containing the Johnson kernel have finite first Betti number, when the genus is at least four. We also prove that, in this range, the $I$-adic completion of the Alexander invariant is finite-dimensional, and the Kahler property for the Torelli group implies t…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。