Related papers: \'Etale Reconstruction for $\mathbb{F}_p(t)$-Schem…

It was recently proven by Esnault, Shusterman and the second named author, that the \'etale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend…

Suppose that G is a connected reductive group over a p-adic field F, that K is a hyperspecial maximal compact subgroup of G(F), and that V is an irreducible representation of K over the algebraic closure of the residue field of F. We…

We prove a K\"unneth-type equivalence of derived categories of lisse and constructible Weil sheaves on schemes in characteristic $p > 0$ for various coefficients, including finite discrete rings, algebraic field extensions $E \supset…

We show how to recover the underlying topological space of a quasi-compact quasi-separated scheme from the tensor triangulated structure on its category of perfect complexes.

Grothendieck proposed a theory of regular polyhedra over finite fields in Section 4 of \textit{Esquisse d'un Programme}. He isolates certain key parameters from the automorphism groups of regular polyhedra, which can be extended to any…

We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized…

A method for the reconstruction of the primordial density fluctuation field is presented. Various previous approaches to this problem rendered {\it non-unique} solutions. Here, it is demonstrated that the initial positions of dark matter…

We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hat{\pi} : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime…

A local analogue of the Grothendieck Conjecture is an equivalence of the category of complete discrete valuation fields $K$ with finite residue fields of characteristic $p\ne 0$ and the category of absolute Galois groups of fields $K$…

We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

In this paper we define the pro-\'etale homotopy type of a scheme and prove some of its expected properties. Our definition is similar to the definition of the \'etale homotopy type by Michael Artin and Barry Mazur. We prove that for a qcqs…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

For a finite group scheme, the subadditive functions on finite dimensional representations are studied. It is shown that the projective variety of the cohomology ring can be recovered from the equivalence classes of subadditive functions.…

Over fields of characteristic zero, we determine all absolutely irreducible Yetter-Drinfeld modules over groups that have prime dimension and yield a finite-dimensional Nichols algebra. To achieve our goal, we introduce orders of braided…

Let $A$ be an affinoid integral domain over a non-Archimedean field $K$, and let $L$ be its field of fractions. We prove that the normalization of $A$ can be reconstructed from $L$ by taking the intersection of all maximal discrete…

We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…