Related papers: Logarithmic de Rham Stacks and Non-Abelian Hodge T…

We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of…

Let $K$ be a finite extension of ${\mathbb Q}_p$ and let $X$ be Drinfel'd's symmetric space of dimension $d$ over $K$. Let $\Gamma\subset {\rm SL}_{d+1}(K)$ be a cocompact discrete (torsionfree) subgroup and let…

In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also…

Let $k$ be a perfect field of characteristic $p$, and let $X/k$ be a smooth variety. It is known that given a Frobenius lifting of $X$, we can identify prismatic crystals and nilpotent Higgs bundles, known as a positive characteristic…

We study log D-modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b-functions. As applications, we deduce a log index theorem and a Riemann-Roch type formula for…

We construct correspondences in logarithmic Hodge theory over a perfect field of arbitrary characteristic. These are represented by classes in the cohomology of sheaves of differential forms with log poles and, notably, log zeroes on…

In this paper, We develop the stratified de Rham theory on singular spaces using modern tools including derived geometry and stratified structures. This work unifies and extends the de Rham theory, Hodge theory, and deformation theory of…

In this work we prove a Baum-Bott type formula for non-compact complex manifold of the form $\tilde{X}=X- \mathcal{D}$, where $X$ is a complex compact manifold and $\mathcal{D}$ is a normal crossing divisor on $X$. As applications, we…

We give an algorithm to compute the following cohomology groups on $U = \C^n \setminus V(f)$ for any non-zero polynomial $f \in \Q[x_1, ..., x_n]$; 1. $H^k(U, \C_U)$, $\C_U$ is the constant sheaf on $U$ with stalk $\C$. 2. $H^k(U, \Vsc)$,…

In arXiv:2011.08830 we established a series of correspondences relating five enumerative theories of log Calabi-Yau surfaces, i.e. pairs $(Y,D)$ with $Y$ a smooth projective complex surface and $D=D_1+\dots +D_l$ an anticanonical divisor on…

For an equivariant log pair $(X, D)$ where $X$ is a normal toric variety and $D$ a reduced Weil divisor, we study slope-stability of the logarithmic tangent sheaf $\mathcal{T}_{X}(- \log D)$. We give a complete description of divisors $D$…

We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To…

We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…

Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying…

We present a semicontinuity result, proven in recent joint work with Morrow and Scholze, relating the mod $p$ singular cohomology of a smooth projective complex algebraic variety X to the de Rham cohomology of a smooth characteristic $p$…

Let $(X,B)$ be a log canonical pair and $\mathcal{V}$ be a finite set of divisorial valuations with log discrepancy in $[0,1)$. We prove that there exists a projective birational morphism $\pi \colon Y\rightarrow X$ so that the exceptional…

In order to compute with $l$--adic sheaves or crystals on a line over $\mathbb{F} _q$ a low-technology alternative to the traditional computation with the Hecke operators on the automorphic side could be helpful. A program which has evolved…

Illusie has suggested that one should think of the classifying group of $M_X^{gp}$-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard…

We introduce the notions of a differentiable groupoid and a differentiable stratified groupoid, generalizations of Lie groupoids in which the spaces of objects and arrows have the structures of differentiable spaces, respectively…

Fix a smooth projective family of curves $C \to S$ and a split reductive group scheme $G$ over a Noetherian base scheme $S$. For any (possibly nonreduced) fixed relative Cartier divisor $D$, we provide a treatment of the moduli of…