Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem

DOI10.1007/S00029-020-00596-0MaRDI QIDQ2003990zbMATH OpenOpenAlexFDO

Authors Saugata Basu, Deepam Patel

Publication date 13 October 2020

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Exponential sums (11T23) Quantifier elimination, model completeness, and related topics (03C10) Classical real and complex (co)homology in algebraic geometry (14F25)

Abstract: Let $Xsubsetmathbb{P}^n$ be a non-empty closed subscheme over an algebraically closed field $k$, and $mathrm{J}^{[p]}(X)=mathrmJ(X,mathrmJ(X,cdots,mathrmJ(X,X)cdots)$ denote the $p$-fold iterated join of $X$ with itself. In this article, we prove that the restriction homomorphism on cohomology $mathrm{H}^i(mathbb{P}^N)ightarrowmathrm{H}^i(mathrm{J}^{[p]}(X))$, with $N=(p+1)(n+1)-1$, is an isomorphism for $0leqi<p$, and injective for $i=p$, for any good cohomology theory. We also prove this result in the more general setting of relative joins for $X$ over a base scheme $S$, where $S$ is of finite type over $k$. We give several applications of these results including a cohomological version of classical quantifier elimination in the first order theory of algebraically closed fields of arbitrary characteristic, as well as an algebraic version of Toda's theorem in complexity theory valid over algebraically closed fields of arbitrary characteristic. We also apply our results to obtain effective bounds on the Betti numbers of image of projective varieties under projection map.

Recommendations

• A complex analogue of Toda's theorem
• An algebraic proof of Barlet's join theorem
• NORI’S CONNECTIVITY THEOREM AND HIGHER CHOW GROUPS
• On the complexity of deciding connectedness and computing Betti numbers of a complex algebraic variety

Cites work

• scientific article; zbMATH DE number 3936520 (Why is no real title available?)
• scientific article; zbMATH DE number 4087798 (Why is no real title available?)
• scientific article; zbMATH DE number 3526827 (Why is no real title available?)
• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 3223507 (Why is no real title available?)
• scientific article; zbMATH DE number 3053541 (Why is no real title available?)
• A complex analogue of Toda's theorem
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Completeness and reduction in algebraic complexity theory
• Complexity classes and completeness in algebraic geometry
• Definability and fast quantifier elimination in algebraically closed fields
• Determinantal rings
• Joins and Intersections
• Local cohomological dimension in characteristic p
• On exponential sums in finite fields. II
• On the Betti Numbers of Real Varieties
• On the Formal Neighborhood of a Subvariety of Projective Space
• On the Homotopy Groups of Complex Projective Algebraic Manifolds.
• PP is as Hard as the Polynomial-Time Hierarchy
• Sums of Betti numbers in arbitrary characteristic.
• \'Etale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields

Cited in

(1)

• Categorical complexity

This page was built for publication: Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem

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