Related papers: \'Etale contractible varieties in positive charact…

Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties…

An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on…

We give a characterization of all complete smooth toric varieties whose rational homotopy is of elliptic type. All such toric varieties of complex dimension not more than three are explicitly described.

Let k be an algebraically closed field of odd characteristic. We describe derivations of a large class of quantizations of affine normal Poisson varieties over k.

Let G be a Lie group over a local field of positive characteristic which admits a contractive automorphism f (i.e., the forward iterates f^n(x) of each group element x converge to the neutral element 1). We show that then G is a torsion…

We show that when $A$ is a reduced algebra over a characteristic zero field $k$ and the module of K\"ahler differentials $\Omega_{A/k}=0$, then $A$ is ind-\'etale, partially answering a question of Bhatt. As further applications of this…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We construct normal rationally connected varieties (of arbitrarily large dimension) not containing any smooth rational curves.

We prove that every geometrically reduced projective variety of pure dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into…

We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties.…

We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial…

We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of \'etale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically \'etale morphisms are…

We prove, using $p$-adic Hodge theory for open algebraic varieties, that for a smooth projective variety over a subfield $k\subset\mathbb C$ which is of finite type over $\mathbb Q$, the complex abel jacobi map vanishes if the etale abel…

We prove the existence of abelian varieties not isogenous to Jacobians over characterstic $p$ function fields. Our methods involve studying the action of degree $p$ Hecke operators on hypersymmetric points, as well as their effect on the…

Let $k_0$ be a field of characteristic $0$ with algebraic closure $k$. Let $G$ be a connected reductive $k$-group, and let $Y$ be a spherical variety over $k$ (a spherical homogeneous space or a spherical embedding). Let $G_0$ be a…

This paper studies etale twists of derived categories of schemes and associative algebras. A general method, based on a new construction called the twisted Brauer space, is given for classifying etale twists, and a complete classification…

Generalizing Karoubi's multiplicative K-theory and multiplicative cohomology groups for smooth manifolds we define secondary theories and characteristic classes for smooth etale groupoids. As special cases we obtain versions of the groups…

We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

Let $k$ be a perfect field of characteristic $p$. Associated to any (1-dimensional, commutative) formal group law of finite height $n$ over $k$ there is a complex oriented cohomology theory represented by a spectrum denoted $E(n)$ and…