A. Schwarz, I. Shapiro
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 $\zp$ (the ring of $p$-adic integers), as well as an alternative construction of the crystalline cohomology of a smooth projective variety over $\fp$ (finite field with $p$ elements).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 extend the definition of the Chen-Ruan cohomology ring to smooth, proper, tame, Deligne-Mumford stacks over fields of positive characteristic and prove that a modified version of the Frobenius action preserves the product.
v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond the middle dimension. This sharpens both Deligne's integrality theorem and the cohomological divisibility theorem proven by the first author and N. Katz. Similar lower bounds are proved for the Hodge level for a complex variety beyond the middle dimension, improving earlier results in this direction. We discuss the affine case. The previous version contained …
Frobenius structure on hypergeometric equations, p-adic polygamma values and p-adic L-values
本文研究了超几何方程上的弗罗贝尼乌斯结构，通过p进polygamma函数推广了Kedlaya的公式，并将其与p进L值联系起来，应用于p进上同调的研究。
The main purpose of this paper is to prove an identity of symmetry for the Frobenius-Euler polynomials.
In this note we study the relationship between the power series expansion of the Dwork exponential and the Mahler expansion of the $p$-adic Gamma function. We exploit this relationship to prove that certain quantities that appeared in our previous computations of the Frobenius map can be expressed in terms of the derivatives of the $p$-adic Gamma function at 0. This is used to prove a conjecture about the non-trivial off-diagonal entry in the Frobenius matrix of the mirror quintic threefold.
Weighted averages of $p$-adic hypergeometric functions and traces of Frobenius of elliptic curves
研究一类一参数椭圆曲线的弗罗贝尼乌斯迹及其与p-进超几何函数的关系，通过加权平均特殊值和特殊值表达，推导出p-进超几何函数的求和恒等式和p-进欧拉-普夫夫变换。
Presenting p-adic numbers as {\em deformations} of finite fields allows a better understanding of Frobenius lifts and their connection with p-derivations in the sense of Buium \cite{Buium-Main}. In this way "numbers {\em are} functions", as recognized before \cite{Manin:Numbers}, allowing to view initial structure deformation problems as arithmetic differential equations as in \cite{Buium-Manin}, and providing a cohomological interpretation to Buium calculus via Hochschild cohomology which controls deformations of algebraic structures. Applications to p-adic periods are considered, including t…
In \cite{mccarthy2}, McCarthy defined a function $_{n}G_{n}[\cdots]$ using Teichmüller character of finite fields and quotients of $p$-adic gamma function, and expressed the trace of Frobenius of elliptic curves in terms of special values of $_{2}G_{2}[\cdots]$. We establish two different expressions for the traces of Frobenius of elliptic curves in terms of the function $_{2}G_{2}[\cdots]$. As a result, we obtain two relations between special values of the function $_{2}G_{2}[\cdots]$ with different parameters.
We define a function in terms of quotients of the $p$-adic gamma function which generalizes earlier work of the author on extending hypergeometric functions over finite fields to the $p$-adic setting. We prove, for primes $p > 3$, that the trace of Frobenius of any elliptic curve over $\mathbb{F}_p$, whose $j$-invariant does not equal 0 or 1728, is just a special value of this function. This generalizes results of Fuselier and Lennon which evaluate the trace of Frobenius in terms of hypergeometric functions over $\mathbb{F}_p$ when $p \equiv 1 \pmod {12}$.
We show that one can express Frobenius transformation on middle-dimensional p-adic cohomology of Calabi-Yau threefold in terms of mirror map and instanton numbers. We express the mirror map in terms of Frobenius transformation on p-adic cohomology . We discuss a $p$-adic interpretation of the conjecture about integrality of Gopakumar-Vafa invariants.
Analytic Geometry and Hodge-Frobenius Structure
本文研究高维p进解析几何中的Frobenius结构及相关p进泛函分析，依托既有研究纲领与方法探究广义p进Hodge结构形变，为相关上同调、岩泽理论及非交换玉河数猜想研究奠基。
Frobenius structure and $p$-adic zeta values
本文证明了对于$n$维Calabi-Yau超曲面的单纯形和超八面体族，其$p$-adic Frobenius结构的矩阵元中确实出现$p$-adic zeta值，验证了Candelas等人的猜想。
We prove that if an $n\times n$ matrix defined over ${\mathbb Q}_p$ (or more generally an arbitrary complete, discretely-valued, non-Archimedean field) satisfies a certain congruence property, then it has a strictly maximal eigenvalue in ${\mathbb Q}_p$, and that iteration of the (normalized) matrix converges to a projection operator onto the corresponding eigenspace. This result may be viewed as a $p$-adic analogue of the Perron-Frobenius theorem for positive real matrices.
Coleman calculated the absolute Frobenius on Fermat curves explicitly. In this paper we show that a kind of $p$-adic continuity implies a large part of his formula. To do this, we study a relation between functional equations of the ($p$-adic) gamma function and monomial relations on ($p$-adic) CM-periods.
p-adic iterated integration on semistable curves
本文以幂零对数刚性基本群重构半稳定曲线上的 p-adic 迭代积分，借助 Frobenius 不变量与对偶图阐明 Berkovich–Coleman 积分，并将 Vologodsky 积分解释为沿组合典范路径的积分。
Inspired by the theory of p-adic differential equations, this paper introduces an analogous theory for q-difference equations over a local field, when |q|=1. We define some basic concepts, for instance the generic radius of convergence, introduce technical tools, such as a twisted Taylor formula for analytic functions, and prove some fundamental statements, such as an effective bound theorem, the existence of a weak Frobenius structure and a transfer theorem in regular singular disks.
On the variation of the Frobenius in a non abelian Iwasawa tower
本文研究有限域上多自同构代数簇Frobenius算子特征值的ℓ进性质，证明一类岩泽塔中étale上同调Frobenius特征多项式的ℓ进收敛性，给出相关序列收敛速率，并提出多自同构曲线超奇异性的精确判据，推广统一了过往结果。
There is a notion of $p$-adic period coming from the crystalline Frobenius automorphism of the de Rham cohomology of an algebraic variety. In this paper, we consider sequences of $p$-adic periods, one for each prime. We study the sequences using motivic periods, and we formulate an analogue of the Grothendieck period conjecture.
p-adic Rigidity and Supercongruences at Rank Two Attractors
本文研究秩二吸引子引发的p-adic刚性，提出上同调判据证明Frobenius不动点与超同余，并应用于Hulek--Verrill A_4族及镜像四次K3铅笔。
The $L$-function of exponential sums associated to the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is studied. A polygon called the Frobenius polygon of the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is defined. A $p$-adic Riemann hypothesis is formulated. It asserts that the Newton polygon of the $L$-function coincides with the Frobenius polygon when $p$ is large enough. This $p$-adic Riemann hypothesis is proved when $n=2$ and $p\equiv-1({\rm mod }\ d)$. In general, it is proved that the Newton p…
We study the asymptotic behavior of solutions of Frobenius equations defined over the ring of overconvergent series. As an application, we prove Chiarellotto-Tsuzuki's conjecture on the rationality and right continuity of Dwork's logarithmic growth filtrations associated to ordinary linear $p$-adic differential equations with Frobenius structures.
We describe a class of multivariate series rings generalizing the usual Robba ring over a p-adic field, and give a basic development of phi-modules over such rings. This makes it possible to give a unified survey of a number of recent developments in p-adic Hodge theory.
To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, which are now called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $p$-adic counterpart of the GKZ hypergeometric system. The $p$-adic GKZ hypergeometric complex is a twisted relative de Rham complex of over-convergent differential forms with logarithmic poles. It is an over-holonomic object in the derived category of arithmetic $\mathcal D$-modules with Frobenius structures. Traces of Frobenius on fibers at Techmüller points …
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic framework: first, the six operations preserve weights, and secondly, the intermediate extension of an immersion preserves pure complexes and weights.
Revisiting Dwork cohomology: Visibility and divisibility of Frobenius eigenvalues in rigid cohomology
该研究通过Dwork方法探究有限域上代数簇紧支集刚性上同调的Frobenius特征值，得到两个算术推论：仿射簇zeta函数可见证相关特征值，且刚性上同调的q-可除性下界优于ℓ进上同调的已知结果。
In this paper, we give explicit descriptions of Hyodo and Kato's Frobenius and Monodromy operators on the first $p$-adic de Rham cohomology groups of curves and Abelian varieties with semi-stable reduction over local fields of mixed characteristic. This paper was motivated by the first author's paper "A $p$-adic Shimura isomorphism and periods of modular forms," where conjectural definitions of these operators for curves with semi-stable reduction were given.
Let $K$ be a $p$-adic local field. In this work we study a special kind of $p$-adic Galois representations of it. These representations are similar to the Galois representations occurred in the exceptional zero conjecture for modular forms. In particular, we verify that a formula of Colmez can be generalized to our case. We also include a degenerated version of Colmez's formula.
We compute a basis for the p-adic Dwork cohomology of a smooth complete intersection in projective space over a finite field and use it to give p-adic estimates for the action of Frobenius on this cohomology. In particular, we prove that the Newton polygon of the characteristic polynomial of Frobenius lies on or above the associated Hodge polygon. This result was first proved by B. Mazur using crystalline cohomology.
Consider a meromorphic connection on P^1 over a p-adic field. In many cases, such as those arising from Picard-Fuchs equations or Gauss-Manin connections, this connection admits a Frobenius structure defined over a suitable rigid analytic subspace. We give an effective convergence bound for this Frobenius structure by studying the effect of changing the Frobenius lift. We also give some examples indicating that our bound is essentially optimal.
Annular Frobenius Classification of p-adic Stieltjes--Schwarzian Equations
本文对 p-adic Schwarzian 方程给出环形正规形并分类 Frobenius 结构，通过平方类条件刻画存在性，应用于模方程得到环形类型及最小 s，并证明等变性障碍。
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens-Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit ex…
We consider the problem of recovering l-adic representations from a knowledge of the character values at the Frobenius elements associated to l-adic representations constructed algebraically out of the original representations. These results generalize earlier results in of the author concerning refinements of strong multiplicity one for $l$-adic represntations, and a result of Ramakrishnan recovering modular forms from a knowledge of the squares of the Hecke eigenvalues. For example, we show that if the characters of some tensor or symmetric powers of two absolutely irreducible l-adic represe…
We prove a statement on p-adic continuity of matrices of coefficients of the logarithm of the Artin-Mazur formal group law associated to the middle cohomology of a hypersurface. As Jan Stienstra discovered in 1986, the entries of these matrices are coefficients of powers of the equation of the hypersurface, and in certain cases they satisfy congruences of Atkin and Swinnerton-Dyer type. These congruences imply that eigenvalues of our limiting matrices are eigenvalues of Frobenius of zero p-adic valuation on the middle crystalline cohomology of the fibre at p.
Given a Weil-Deligne representation with coefficients in a domain, we prove the rigidity of the structures of the Frobenius-semisimplifications of the Weyl modules associated to its pure specializations. Moreover, we show that the structures of the Frobenius-semisimplifications of the Weyl modules attached to a collection of pure representations are rigid if these pure representations lift to Weil-Deligne representations over domains containing a domain $\mathscr{O}$ and a pseudorepresentation over $\mathscr{O}$ parametrizes the traces of these lifts.
We show that the $p$-adic completion of any affine elliptic curve with ordinary reduction possesses Frobenius lifts whose "normalized" action on $1$-forms preserves mod $p$ the space of invariant $1$-forms. We next show that, after removing the $2$-torsion sections, the above situation can be "infinitesimally deformed" in the sense that the above mod $p$ result has a mod $p^2$ analogue. While the "eigenvalues" mod $p$ are given by the reciprocal of the Hasse polynomial, the "eigenvalues" mod $p^2$ are given by an appropriate $\d$-modular function whose reciprocal is a $p$-adic deformation of t…
$p$-Adic hypergeometric functions and the trace of Frobenius of elliptic curves
本文研究$p$-进超几何函数，证明了${_4}G_4$与${_2}G_2$型函数的恒等式、高低阶函数的变换公式，并给出椭圆曲线Frobenius迹的超几何函数表示，推广了有限域相关结果的适用素数范围。
Frobenius intertwiners for q-difference equations
本文研究射影空间余切丛上的量子差分方程，证明其具有 Frobenius 作用，给出交织子常数项的显式公式，并推广到 Dwork 的 p-adic 超几何与 Bessel 方程。
We define the notion of {\it Dwork family of logarithmic $F$-crystals}, a typical example of which is the family of Gauss hypergeometricdifferential systems, viewed as parametrized by their exponents of algebraic monodromy. The $p$-adic analytic dependence of the Frobenius operation upon those exponents, is Dwork's "Boyarsky Principle". We discuss, in favorable cases, the $p$-adic analytic continuation of the unit root $F$-subcrystal in the open tube of a singularity, uniformly w.r.t. the exponents. We obtain a conceptual proof of the Koblitz-Diamond formula $p$-adically analog to Gauss' evalu…
A $p$-adic cohomological approach to congruences of meromorphic modular forms
本文提出了一种基于p进上同调的方法，用于研究解析模形式的同余关系，通过刚性上同调与晶格结构的相互作用，建立了弗罗贝尼乌斯作用与U_p算子之间的联系。
Let $\mathscr{O}_K$ be a 2-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\mathscr{O}_K$ in terms of certain Frobenius module over $\mathfrak{S}:=W(k)[[u]]$. We also show the compatibility with crystalline Dieudonné theory and associated Galois representations. Our approach differs from Lau's generalization of display theory, and we additionally obtain the the compatibility with associated Galois representations.
Slopes and weights of $\ell$-adic cohomology of rigid spaces
研究p进局部域上刚性空间的ℓ进上同调，证明其弗罗贝尼乌斯特征值是代数整数并给出p进赋值界，推导权重界证明相关猜想，还给出特定单值纯反常层例子回答问题。
$p$-adic Berglund-Hübsch Duality
本文利用 p-进 D-模方法研究 Berglund-Hübsch 对偶，证明 Frobenius 自同态与该对偶在显式对角算子意义下交换。
The eigencurve at crystalline points with scalar Frobenius and Gross-Stark regulators
本文研究了R=T方法失效时p-adic eigencurve在p-irregular权一尖点形式处的局部几何，并证明了椭圆模曲线塔的普通p-adic étale上同调群在局部化时不是Hecke代数上的自由模。
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 show that if $G$ is a linear algebraic group over a number field and if $G$ is not a torus then for all but finitely many primes $p$ the $p$-adic completion of $G$ does not possess a Frobenius lift that is "Lie invariant mod $p$" (in the sense of \cite{alie1}). This is in contrast with the situation of elliptic curves studied in \cite{alie1}.
Character formula for Weil representations in terms of Frobenius traces
本文通过Frobenius迹研究Weil表示的特征公式，推广了局部域上阿贝尔簇上同调的确定性结果，并统一了p进域上的扩张条件。
$\ell$-Independence, slopes, and weights of $\ell$-adic cohomology groups of rigid spaces
针对不同素数ℓ和p的局部域上的刚性空间，研究ℓ进上同调群的相关性质，证明Weil群正部作用的迹交错和与ℓ无关且为整数，给出几何Frobenius提升特征值p进赋值的最优界，推广相关结果并证明Lu-Zheng猜想。
The goal of this article is to develop BV (Batalin-Vilkovisky) formalism in the $p$-adic Dwork theory. Based on this formalism, we explicitly construct a $p$-adic dGBV algebra (differential Gerstenhaber-Batalin-Vilkovisky algebra) for a smooth projective complete intersection variety $X$ over a finite field, whose cohomology gives the $p$-adic Dwork cohomology of $X$, and its cochain endomorphism (the $p$-adic Dwork Frobenius operator) which encodes the information of the zeta function $X$. As a consequence, we give a modern deformation theoretic interpretation of Dwork's theory of the zeta fu…
Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric …
We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the étale fundamental groups in the étale setting, in the context of $F$-isocrystals closely after Kedlaya and Kedlaya-Xu. We expect similar things could also be considered for diamonds after Scholze, in the context of Kedlaya-Liu's work namely the derived category of pseudocoherent Frobenius sheaves, which will induce some categorical form of Drinfeld's lemma for diamonds motivated by work of Carter…
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
In the late '60s, B. Dwork studied a Frobenius structure compatible with the classical hypergeometric differential equation with parameters $\left(\frac{1}{2},\frac{1}{2} ; 1 \right)$ by analyzing behavior of solutions of the differential equation under Frobenius transformation. Recently, P. Scholze conjectured the existence of $q$-de Rham cohomology groups for any $\mathbb{Z}$-scheme. In this paper, we give a Frobenius structure compatible with the $q$-hypergeometric differential equation with parameters $(q^{\frac12},q^{\frac12};q)$ by showing a $q$-analogue of some results of Dwork. This co…
On the cohomology of $p$-adic analytic spaces, I: The basic comparison theorem
本文对$p$-进域代数闭包上的光滑刚性解析簇和dagger簇证明了基本$p$-进比较定理，将稳定范围内的pro-étale上同调表为de Rham上同调的滤过Frobenius特征空间，并通过完美oid空间范畴上的层实现了几何化。
We study the algbraic dynamics for endomorphisms of projective spaces with coefficients in a p-adic field whose reduction in positive characteritic is the Frobenius. In particular, we prove a version of the dynamical Manin-Mumford conjecture and the dynamical Mordell-Lang conjecture for the coherent backward orbits for such endomorphisms. We also give a new proof of a dynamical version of the Tate-Voloch conjecture in this case. Our method is based on the theory of perfectoid spaces introduced by P. Scholze. In the appendix, we prove that under some technical condition on the field of definiti…
Drinfeld's lemma for $F$-isocrystals, II: Tannakian approach
本文证明了有限域上簇的同晶的Drinfeld引理的Tannakian形式，为将Langlands对应从$\ell$-adic扩展到$p$-adic系数提供中间步骤，并讨论了其动机和局部变体。
Arithmetic Properties Of $\ell$-adic Étale Cohomology and Nearby Cycles of Rigid-Analytic Spaces
本文研究p进非阿基米德局部域上刚性解析簇的ℓ进平展上同调，建立Frobenius特征值界、强局部单值化定理、邻近环混合性，并用perfectoid分析证明Deligne权-单值化猜想的局部版本，同时发展Deligne拓扑斯上的可构造ℓ进复形理论。
We show that a two dimensional $\ell $-adic representation of the absolute Galois group of a number field which is locally potentially equivalent to a $GL(2)$-$\ell$-adic representation $ρ$ at a set of places of $K$ of positive upper density is potentially equivalent to $ρ$. For an elliptic curver \( E \) defined over a number field \( K \) and a finite place \( v \) of \( K \) of good reduction for \( E \), let \( F(E,v) \) denote the Frobenius field of \( E \) at \( v \), given by the splitting field of the characteristic polynomial of the Frobenius automorphism at \( v \) acting on the Tate…
This work is devoted to study of algebraicty modulo p of Siegel's G-functions. Our goal is to emphasize the relevance of the notion of strong Frobenius structure, clasically studied in the theory of the p-adic diffenrential equations, for the study of a Adamczewski-Delaygue's conjecture concerning of the degree of algebraicity modulo p of G-functions. For this, we first make a Christol's result explicit by showing that if $f$ is a G-function that is solution of a differential operator $L$ in $ \mathbb{Q}(z)[d/dz]$ of order $n$ endowed of a strong Frobenius structure of period $h$ for the prime…
If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if $\sD_X$ is the sheaf of differential operators on $X$ [EGAIV], it is well known that giving an action of $\sD_X$ on an $\sO_X$-module $\sE$ is equivalent to giving an infinite sequence of $\sO_X$-modules descending $\sE$ via the iterates of the Frobenius endomorphism of $X$. We show that this result can be generalized to any infinitesimal deformation $f : X \to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic formal schemes such that $p$ belongs to an…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。