112 problems

Let $F$ be a global field and let $l\ge 2$. If $l=2$, assume that $\mu_4\subset F$. For $n>1$ and $l\ne\operatorname{char} F$, let $K_n^{\mathrm{et}}$ denote étale $K$-theory. Quil…

Let $k$ be a field and let $w\geq 0$. The group … denotes étale hypercohomology with $p$-local motivic coefficients. Beilinson–Lichtenbaum conjecture. One has … This is presented a…

Let $X$ be a proper smooth variety over a local field $k$, and let $V$ be its $i$th $\ell$-adic étale cohomology group. Write $N$ for the monodromy operator, let $W_\bullet$ be the…

Let $X$ be an arithmetic scheme, meaning a separated scheme of finite type over $\operatorname{Spec}\mathbb{Z}$, and let $n<0$. Write $X_{\text{ét}}$ for its étale site and…

Lyubeznik's conjecture.

Let $X$ be as above, let $p$ be a prime of good reduction, and let $m<2r-1$. Write $H^m_{\operatorname{\acute{e}t}}(X_{\overline{\mathbb{Q}}},\mathbb{Q}_p(r))$ for the $p$-adic éta…

Let $k$ be a perfect field, let $X$ be a closed subscheme of a smooth scheme over $k$, and let $\Lambda$ be the finite local coefficient ring in the setup. Let $\mathcal F$ be a co…

Let $\mathcal S$ be a henselian trait with perfect residue field of characteristic $p>0$, with closed point $s$, generic point $\eta$, and geometric generic point $\overline\eta$.…

Let $X$ be a proper, smooth, separated scheme of finite type over a non-Archimedean local field $K$, let $l$ be a prime different from the residue characteristic, and let…

ℓ-adic integral Tate conjecture in codimension $c$. The cycle class map

ℓ-independent Lefschetz standard conjecture in degree $i$. For $X$, $h$, and $i$ as above, there exists a codimension $i$ cycle…

Let $K$ be a discretely valued field with separable closure $K^{\operatorname{sep}}$, let $X$ be a variety over $K$ with semistable model, and let $E_r^{p,q}$ be its weight spectra…

Let $\alpha^*$ be the inverse-image functor from etale to Zariski motivic complexes, let $j^*{\Bbb Z}_l(n)_S$ be the indicated arithmetic etale Tate-twist complex, and let $n\ge0$.…

Let $S$ be the arithmetic scheme in the source, let $j$ be the relevant open immersion, let $e$ be the indicated cup-product class, and let $A(1)$ be the real Tate-twist object. Co…

Let $S$ be the open arithmetic scheme and let $A(n)$ denote the real Tate-twist object used in the source. Theorem 12.1(a) gives a comparison isomorphism for positive twists betwee…

Finiteness conjecture. These groups are finite. This conjecture is introduced to obtain finite-generation consequences for motivic cohomology when combined with the etale realizati…

Zariski realization conjecture. (a) This morphism is an isomorphism. (b) The Zariski sheaf $R^{n+1}\alpha_*{\Bbb Z}_l(n)^c$ is torsion-free. Under resolution of singularities and t…

Etale realization conjecture. This morphism is an isomorphism. Equivalently, after tensoring with ${\Bbb Q}$, the induced morphism is an isomorphism. The mod-$l$ reduction is alrea…

Let ${\mathscr X}$ be the arithmetic scheme in the paper, with Zariski and small étale sites ${\mathscr X}_{{\mathrm{Zar}}}$ and ${\mathscr X}_{{\mathrm{\acute{e}t}}}$, and let…

Comparison conjecture. (1) There is an isomorphism in $D^b(X_{{\mathrm{\acute{e}t}}},{\Bbb Z}/p^r{\Bbb Z})$

Let ${\mathscr F}$ be a constructible étale sheaf of flat $\Lambda$-modules on $\eta$, and let $r>1$ be a critical slope of ${\mathscr F}$. Assume that … Thus $r$ is the unique cri…

Let $X$ be a smooth, projective scheme over ${\cal O}_K[1/S]$, and let $\bar{X}:=X\times_{{\cal O}_K[1/S]}\bar{K}$ be its base change to an algebraic closure. For integers $i$ and…

Swan trace formula conjecture. Then

Let $G$ be an algebraic group over an algebraically closed field $k$, and let $n$ be a positive integer such that the characteristic of $k$ does not divide $n$. The simplicial sche…

Beilinson's Tate conjecture. In case $k$ is finitely generated over $\mathbb Q$, $\operatorname{reg}_{U,\mathrm{et}}^q$ is surjective.