Calculability of étale cohomology modulo

DOI10.2140/ANT.2015.9.1647zbMATH Open1327.14095arXiv1304.5376OpenAlexW3124441966MaRDI QIDQ745090FDOQ745090

Authors: Fabrice Orgogozo, David A. Madore 

Publication date: 13 October 2015

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

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.

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

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

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)

Cited In (8)

• Constructibilité et modération uniformes en cohomologie étale
• Wild ramification and \(K(\pi , 1)\) spaces
• Using zeta functions to factor polynomials over finite fields
• 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
• Title not available (Why is that?)

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)