Calculability of étale cohomology modulo

DOI10.2140/ANT.2015.9.1647MaRDI QIDQ745090zbMATH OpenOpenAlexFDO

Authors Fabrice Orgogozo, David A. Madore

Publication date 13 October 2015

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.5376

zbMATH Keywords

Galois cohomologyspectral sequencestackcomputabilityprofinite groupEilenberg-MacLane spacecohomological descenteffective algebraic geometryArtin's neighborhoodsimplicial schemeétale cohomology

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Étale and other Grothendieck topologies and (co)homologies (14F20) Homotopy theory and fundamental groups in algebraic geometry (14F35) Computational aspects in algebraic geometry (14Q99) Limits, profinite groups (20E18) Galois cohomology (12G05) Eilenberg-Mac Lane spaces (55P20) Generalizations (algebraic spaces, stacks) (14A20) Computational aspects of higher-dimensional varieties (14Q15) General theory of spectral sequences in algebraic topology (55T05) Computability and recursion theory (03D99)

Abstract: Let $X$ be an algebraic scheme over an algebraically closed field and $ell$ a prime number invertible on $X$. According to classical results (due essentially to A. Grothendieck, M. Artin and P. Deligne), the 'etale cohomology groups $mathrm{H}^i(X,mathbbZ/ellmathbbZ)$ are finite-dimensional. Using an $ell$-adic variant of M. Artin's good neighborhoods and elementary results on the cohomology of pro-$ell$ groups, we express the cohomology of $X$ as a well controlled colimit of that of toposes constructed on $BG$ where the $G$ are computable finite $ell$-groups. From this, we deduce that the Betti numbers modulo $ell$ of $X$ are algorithmically computable (in the sense of Church-Turing). The proof of this fact, along with certain related results, occupies the first part of this paper. This relies on the tools collected in the second part, which deals with computational algebraic geometry. Finally, in the third part, we present a "universal" formalism for computation on the elements of a field.

Recommendations

• Computation of étale cohomology on curves in single exponential time
• Computing Néron-Severi groups and cycle class groups
• The étale cohomology of the general linear group over a finite field and the Dickson algebra
• scientific article; zbMATH DE number 4183591
• Elementary abelian \(\ell\)-groups and mod \(\ell\) equivariant étale cohomology algebras

Cited in

(8)

• scientific article; zbMATH DE number 4183591 (Why is no real title available?)
• Wild ramification and \(K(\pi , 1)\) spaces
• Using zeta functions to factor polynomials over finite fields
• Uniform constructability and tameness in étale cohomology
• Curves are algebraic \(K(\pi,1)\): theoretical and practical aspects
• Computation of étale cohomology on curves in single exponential time
• Explicit computation of a Galois representation attached to an eigenform over \(\mathrm{SL}_3\) from the \(\mathrm{H}_{\acute{\mathrm{e}}\mathrm{t}}^2\) of a surface
• Direct twisted Galois stratification

This page was built for publication: Calculability of étale cohomology modulo \(\ell\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745090)