Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Connectivity of joins, cohomological quantifier elimination, and an
  algebraic Toda's theorem   Let $X \subset \mathbb{P}^{n}$ be a non-empty closed subscheme over an
algebraically closed field $k$, and $\mathrm{J}^{[p]}(X) =
\mathrm{J}(X,\mathrm{J}(X,\cdots,\mathrm{J}(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})
\rightarrow \mathrm{H}^{i}(\mathrm{J}^{[p]}(X))$, with $N = (p+1)(n+1)-1$, is
an isomorphism for $0 \leq i < 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.

21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
1
The categories of this paper are: cs
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph