Related papers: \'Etale Reconstruction for $\mathbb{F}_p(t)$-Schem…
Let $G$ be a reductive group over a field $k$ which is algebraically closed of characteristic $p \neq 0$. We prove a structure theorem for a class of subgroup schemes of $G$, for $p$ bounded below by the Coxeter number of $G$. As…
Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations.…
The aim of Bogomolov's programme is to prove birational anabelian conjectures for function fields $K|k$ of varieties of dimension $\geq 2$ over algebraically closed fields. The present article is concerned with the 1-dimensional case. While…
We aim to reconstruct a monoid scheme $X$ from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes $X$, we show that the…
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…
Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the \'etale-open topology over $K$: if $K$…
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…
The central topic is this question: is a given $k$-\'etale algebra $\prod_lE_l/k$ the specialization of a given $k$-cover $f:X\rightarrow B$ at some point $t_0\in B(k)$? Our main tool is a {\it twisting lemma} that reduces the problem to…
We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs.
We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct…
We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reformulated as the existence of certain algorithmic reductions…
Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…
We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and \'etale-in-codimension-one cover $\widetilde X \to X$ such that the \'etale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree.…
We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension $\widehat{G}$ of a finite group $G$ by a compact Lie group $K$, which we call the parametrized Tate construction $(-)^{t_G K}$. Our…
We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…
In the present paper, we show a new result on the geometrically $2$-step solvable Grothendieck conjecture for genus $0$ curves over finitely generated fields. More precisely, we show that two genus $0$ hyperbolic curves over a finitely…
We classify finite \'{e}tale extensions and finite affine \'{e}tale group schemes over the $G$-Tambara functor $\underline{\mathbb{F}}$, for $\mathbb{F}$ any algebraically closed field and $G$ any finite group. This establishes $G$-Galois…
We give an alternative proof of the theorem by Kuznetsov and Lunts, stating that any separated scheme of finite type over a field of characteristic zero admits a categorical resolution of singularities. Their construction makes use of the…
Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we…
We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…