Kiran S. Kedlaya
We describe an algorithm for counting points on an arbitrary hyperelliptic curve over a finite field of odd characteristic, using Monsky-Washnitzer cohomology to compute a p-adic approximation to the characteristic polynomial of Frobenius. For fixed p, the asymptotic running time for a curve of genus g over the field of p^n elements is O(g^{4+ε} n^{3+ε}).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we prove that the integral Monsky-Washnitzer cohomology groups are well-defined, for any nonsingular affine variety over a perfect field of characteristic p. We then compare these cohomology groups with overco…
We construct the dagger realization functor for analytic motives over non-archimedean fields of mixed characteristic, as well as the Monsky-Washnitzer realization functor for algebraic motives over a discrete field of positive characteristic. In particular, the motivic language on the classic étale site provides a new direct definition of the overconvergent de Rham cohomology and rigid cohomology and shows that their finite dimensionality follows formally from the one of Betti cohomology for smooth projective complex varieties.
Mimicking Ogus's construction, we define a site, for varieties over a field of char. p > 0, using Monsky--Washnitzer algebras/weak formal schemes. We prove a comparison theorem between the MW cohomology and a certain analytic cohomology.
The author constructs a theory of dagger formal schemes over $R$ and then defines the de Rham cohomology for flat dagger formal schemes $X$ with integral and regular reductions $\bar{X}$ which generalizes the Monsky-Washnitzer cohomology. Finally the author gets Lefschetz' fixed pointed formula for $X$ with certain conditions.
We describe an algorithm to compute the zeta function of any non-hyperelliptic genus 3 plane curve $C$ over a finite field with automorphism group $G = \mathbb{Z} / 2 \mathbb{Z}$. This algorithm computes in the Monsky-Washnitzer cohomology of~the curve. Using the relation between the Monsky-Washnitzer cohomology of $C$ and its quotient $E := C/G$, the computation splits into 2 parts: one in a subspace of the Monsky-Washnitzer cohomology and a second which reduces to the point counting on an elliptic curve $E$. The former corresponds to the dimension $2$ abelian surface $\mathrm{ker}(\mathrm{Ja…
The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$. Le but de ce travail est de prolonger un résultat de Christopher Davis et David Zureick-Brown concernant la comparaison entre la cohomologie de Monsky-Washnitzer entière et la cohomologie de de~Rham-Witt surconvergente d'une varié…
Invertible Calabi-Yau Orbifolds over Finite Fields II
本文提出关于有限域上Berglund-Hübsch轨道超曲面crepant解析zeta函数的猜想，并展示其满足Weil猜想及与Monsky-Washnitzer上同调的联系。
We describe a more efficient algorithm to compute p-adic Coleman integrals on odd degree hyperelliptic curves for large primes p. The improvements come from using fast linear recurrence techniques when reducing differentials in Monsky-Washnitzer cohomology, a technique introduced by Harvey arXiv:math/0610973 when computing zeta functions. The complexity of our algorithm is quasilinear in $\sqrt p$ and is polynomial in the genus and precision. We provide timings comparing our implementation with existing approaches.
In this paper we present a p-adic algorithm to compute the zeta function of a nondegenerate curve over a finite field using Monsky-Washnitzer cohomology. The paper vastly generalizes previous work since all known cases, e.g. hyperelliptic, superelliptic and C_{ab} curves, can be transformed to fit the nondegenerate case. For curves with a fixed Newton polytope, the property of being nondegenerate is generic, so that the algorithm works for almost all curves with given Newton polytope. For a genus g curve over F_{p^n}, the expected running time is O(n^3g^6 + n^2g^{6.5}), whereas the space compl…
Overconvergent prismatic cohomology
本文定义过收敛棱柱与过收敛棱柱上同调，证明其可特化为刚性、de Rham 及 étale 等 $p$-进上同调，并给出与之关联的过收敛 $A\Omega$ 复形。
Let $V$ be a complete discrete valuation ring with residue field $k$ of positive characteristic and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using completions of bornological $V$-algebras. This leads us to a functorial chain complex for a finitely generated commutative algebra over the residue field $k$ that computes its rigid cohomology in the sense of Berthelot.
Let $V$ be a complete discrete valuation ring with residue field $k$ and with fraction field $K$ of characteristic 0. We clarify the analysis behind the Monsky--Washnitzer completion of a commutative $V$-algebra using spectral radius estimates for bounded subsets in complete bornological $V$-algebras. This leads us to a functorial chain complex for commutative $k$-algebras that computes Berthelot's rigid cohomology. This chain complex is related to the periodic cyclic homology of certain complete bornological $V$-algebras.
We describe an algorithm to count the number of rational points of an hyperelliptic curve defined over a finite field of odd characteristic which is based upon the computation of the action of the Frobenius morphism on a basis of the Monsky-Washnitzer cohomology with compact support. This algorithm follows the vein of a systematic exploration of potential applications of cohomology theories to point counting. Our algorithm decomposes in two steps. A first step which consists in the computation of a basis of the cohomology and then a second step to obtain a representation of the Frobenius morph…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。