Related papers: An obstruction to lifting to characteristic $0$

This paper considers the Pontryagin characters of graded vector bundles of finite rank, in the cohomology vector spaces of a Lie algebroid over the same base. These Pontryagin characters vanish if the graded vector bundle carries a…

We equip the type $A$ diagrammatic Hecke category with a special derivation, so that after specialization to characteristic $p$ it becomes a $p$-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the…

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…

In this note we extend some of the results of a previous paper \url{arXiv:math/0511593} to algebraically closed fields of finite characteristic. In particular, we show that there is an explicit expression in $n$ and $d$ which is divisible…

The cohomology of the degree-$n$ general linear group over a finite field of characteristic $p$, with coefficients also in characteristic $p$, remains poorly understood. For example, the lowest degree previously known to contain nontrivial…

Let $K$ be a field of characteristic $\ne 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 \'{e}tale…

We show that odd-dimensional projective varieties with tilting objects and only ADE-hypersurface singularities are nodal, i.e. they only have $A_1$-singularities. This is a very special case of more general obstructions to the existence of…

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant…

We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant…

Drinfeld in 2010 proved the companions conjecture for smooth varieties over a finite field, generalizing L. Lafforgue's result for smooth curves. We study the obstruction to prove the conjecture for arbitrary normal varieties. To do this,…

For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the…

We produce refined index obstructions, generalizing recently constructed index obstructions due to de Jong and Perry, for topologically trivial Brauer classes on smooth and projective complex varieties. We show that our refined obstructions…

We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find…

We study the Oort groups for a prime p, i.e. finite groups G such that every G-Galois branched cover of smooth curves over an algebraically closed field of characteristic p lifts to a G-cover of curves in characteristic 0. We prove that all…

This article studies the global hypoellipticity of a class of overdetermined systems of pseudo-differential operators defined on the torus. The main goal consists in establishing connections between the global hypoellipticity of the system…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

This paper constructs cospecialization homomorphisms between the (p') versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction (the tempered fundamental group is a sort of analog of the…

This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…

Our previous paper introduces topological notions of normal crossings symplectic divisor and variety and establishes that they are equivalent, in a suitable sense, to the desired geometric notions. Friedman's d-semistability condition is…

We solve the local lifting problem for the alternating group A_4, thus showing that it is a local Oort group. Specifically, if k is an algebraically closed field of characteristic 2, we prove that every A_4-extension of k[[s]] lifts to…