Related papers: A variational open image theorem in positive chara…
A multiplication on the 2D cohomological Hall algebra (CoHA) of the variety of commuting matrices was described by Schiffman and Vasserot. This construction can be generalised to other varieties that exist as the zero-locus of a function on…
In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…
K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…
We prove an almost minimal R=T theorem for self-dual Galois representations with coefficients in a finite field satisfying a property called rigid. We also prove the rigidity property for a large family of residual Galois representations…
Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…
Let $S$ be a Banach algebra over $\mathbb{Q}_p$ whose residue fields are finite extensions of $\mathbb{Q}_p$. Given an arithmetic family $V$ of Galois representations, i.e., a finite free $S$-module $V$ with a continuous action of the…
Fixed an algebraic scheme $Y$. We suggest a definition for the conjugate of an algebraic scheme $X$ over $Y$ in an evident manner; then $X$ is said to be Galois closed over $Y$ if $X$ has a unique conjugate over $Y$. Now let $X$ and $Y$…
We present a geometric setting for the differential Galois theory of $G$-invariant connections with parameters. As an application of some classical results on differential algebraic groups and Lie algebra bundles, we see that the Galois…
This work is a collection of old and new aplications of Galois cohomology to the clasification of algebraic and arithmetical objects.
We introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is…
In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new…
Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…
Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…
We obtain a version of the theorem of the square and a local structure result for actions of connected algebraic groups on seminormal varieties in characteristic 0, and arbitrary varieties in positive characteristics.
In this paper we prove a refined version of Uchida's theorem on isomorphisms between absolute Galois groups of global fields in positive characteristics, where one "ignores" the information provided by a "small" set of primes.
This is mainly a small exposition on extensions of valuation rings as a filtered union of smooth algebras.
In this paper we will give an explicit construction of the geometric model for a prescribed extension of a function field in several variables over a number field. As a by-product, we will also prove the existence of quasi-galois closed…
Given a number field we construct a canonical Galois gerbe over it and show that its cohomology provides a bridge between the refined local endoscopy introduced in arXiv:1304.3292 and classical global endoscopy. As particular applications,…