Related papers: Hodge structure on the fundamental group and its a…
We construct and investigate the structure of the Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^\lambda$ which give a categrification of quantum generalized Kac-Moody algebras. Let $U_\A(\g)$ be the integral form of…
Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line…
In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…
In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid…
Let k be a field, X a smooth, projective k-variety. If X is geometrically rational, there is an injective map from the quotient of Brauer groups Br(X)/Br(k) into the first Galois cohomology group of the lattice given by the geometric Picard…
This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…
We prove an effective, probabilistic version of Deligne's `th\'eor\`eme du pgcd' for a smooth, projective, geometrically integral (\textit{nice}) variety $X_{0}\subset \mathbb{P}^{N}$ over $\mathbb{F}_{q}$ of dimension $n$ and degree $D$,…
We classify fourfolds with trivial canonical bundle which are zero loci of general global sections of completely reducible equivariant vector bundles over exceptional homogeneous varieties of Picard number one. By computing their Hodge…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
Let $p$ be a prime number. Let $X/E$ be a geometrically connected, smooth, quasi-projective variety over a finite extension $E/\mathbb{Q}_p$. In this paper I demonstrate the existence of isomorphs of the tempered (and hence also \'etale)…
We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal…
Let $X$ be a smooth projective curve of genus $g\geq 2$ over the complex numbers. Fix $n\geq 2$, and an integer $d$. A pair $(E,\phi)$ over $X$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $X$ and a section…
This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…
Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…
Let $k$ be a field of characteristic $0$. In this paper we describe a classification of smooth log K3 surfaces $X$ over $k$ whose geometric Picard group is trivial and which can be compactified into del Pezzo surfaces. We show that such an…
Let $k$ a field of characteristic zero. Let $X$ be a smooth, projective, geometrically rational $k$-surface. Let $\mathcal{T}$ be a universal torsor over $X$ with a $k$-point et $\mathcal{T}^c$ a smooth compactification of $\mathcal{T}$.…
Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first…
Let $(X,\omega)$ be a closed symplectic manifold. A loop $\phi: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $\pi: P_{\phi} \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of…
Let $X$ be a geometrically irreducible smooth projective curve defined over a field $k$. Assume that $X$ has a $k$-rational point; fix a $k$-rational point $x\in X$. From these data we construct an affine group scheme ${\mathcal G}_X$…