Related papers: \'Etale contractible varieties in positive charact…
We give examples of finite-dimensional algebras $A$ for which the silting objects in $K^b(\mbox{proj-}A)$ are not connected by any sequence of (possibly reducible) silting mutations. The argument is based on the fact that silting mutation…
We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…
We show the vanishing of the second homotopy group of the \'etale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical…
Over a perfect field $k$ of characteristic $p > 0$, we construct a ``Witt vector cohomology with compact supports'' for separated $k$-schemes of finite type, extending (after tensorisation with $\mathbb{Q}$) the classical theory for proper…
In this work we prove that the Whitehead manifold has no complete metric of positive scalar curvature. This result can be generalized to the genus one case. Precisely, we show that no contractible genus one $3$-manifold admits a complete…
We study character varieties arising as moduli of representations of an orientable surface group into a reductive group $G$. We first show that if $G/Z$ acts freely on the representation variety, then both the representation variety and the…
v2: We improved a little bit according to the referee's wishes. v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the…
Let $k$ be a field of positive characteristic. We prove that the only linear relations between the Hodge numbers $h^{i,j}(X) = \dim H^j(X,\Omega_X^i)$ that hold for every smooth proper variety $X$ over $k$ are the ones given by Serre…
We list the irreducible reduced and not degenerate normal projective varieties $X\subset\mathbb{P}^N$ of dimension $n$ and degree five defined over an algebraically closed field $k$ of char$(k) = 0$. In the smooth case, or when $n = 2$, we…
Let k be a field of characteristic zero. We show that the norm variety associated to a prime $\ell$ and an ordered sequence of invertible elements of k is geometrically retract rational. This generalizes a recent result of…
In the present paper we discuss questions concerning the arithmetic resolution for etale cohomology. Namely, consider a smooth quasi-projective variety X over a field k together with the local scheme U at a point x. Let Y be a smooth proper…
The talk was done at the International Conference "Analysis, Topology and Applications", Harbin, China, 23.08.2011. Transitive Lie algebroids have specific properties that allow to look at the transitive Lie algebroid as an element of the…
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…
We give the first examples of $\mathcal{O}$-acyclic smooth projective geometrically connected varieties over the function field of a complex curve, whose index is not equal to one. More precisely, we construct a family of Enriques surfaces…
Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $2^{2^{|K|}}$ pairwise incomparable gt-henselian topologies…
We prove that the Albanese morphism of any normal proper variety $X$ in positive characteristic satisfying $S^0(X, \omega_X) \neq 0$ and $P_2(X) = 1$ is surjective with connected fibers, adn that $\mathrm{Alb}(X)$ is ordinary. We obtain…
Given a smooth, proper family of varieties in characteristic $p>0$, and a cycle $z$ on a fibre of the family, we formulate a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of $z$, whether $z$ extends…
We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically…
We compute (algebraically) the Euler characteristic of a complex of sheaves with constructible cohomology. A stratified Poincar\'e-Hopf formula is then a consequence of the smooth Poincar\'e-Hopf theorem and of additivity of the…
Let X be a smooth proper variety over the quotient field of a Henselian discrete valuation ring with algebraically closed residue field of characteristic p. We show that for any coherent sheaf E on X, the index of X divides the…