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

DOI10.1007/S00029-020-00596-0zbMATH Open1456.14024arXiv1812.07483OpenAlexW3091862733MaRDI QIDQ2003990FDOQ2003990

Authors: Saugata Basu, Deepam Patel 

Publication date: 13 October 2020

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

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.

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Betti Numbers of Real Varieties
• On exponential sums in finite fields. II
• Sums of Betti numbers in arbitrary characteristic.
• Determinantal rings
• 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
• Title not available (Why is that?)
• Joins and Intersections
• PP is as Hard as the Polynomial-Time Hierarchy
• Definability and fast quantifier elimination in algebraically closed fields
• Local cohomological dimension in characteristic p
• Title not available (Why is that?)
• Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem
• A complex analogue of Toda's theorem
• On the Homotopy Groups of Complex Projective Algebraic Manifolds.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Formal Neighborhood of a Subvariety of Projective Space
• Complexity classes and completeness in algebraic geometry
• \'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)