Related papers: Logarithmic geometry and Frobenius, II

Let $X$ be a smooth, projective, and geometrically connected curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ different from $2$ and $S\subseteq X$ a subset of closed points. Let $\overline{X}$ and $\overline{S}$ be…

We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and…

The Kuga-Satake construction associates to a K3 type polarized weight 2 Hodge structure H an abelian variety A such that H is a quotient Hodge structure of H^2(A). The first step is to consider the Clifford algebra of H. It turns out that…

We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…

We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.

Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal…

We prove the Ax-Lindemann theorem for the coarse moduli space $\mathcal{A}_{g}$ of principally polarized abelian varieties of dimension $g\ge 1$, and affirm the Andr\'e-Oort conjecture unconditionally for $\mathcal{A}_{g}$ for $g\le 6$.

We construct \Lambda-adic de Rham and crystalline analogues of Hida's ordinary \Lambda-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate…

For a possibly twisted loop group $LG$, and any character sheaf of its Iwahori subgroup, we identify the associated affine Hecke category with a combinatorial category of Soergel bimodules. In fact, we prove such results for affine Hecke…

In this paper we study mixed Hodge structures on the cohomology of locally symmetric varieties and give an application to modular forms. After proving vanishing of some Hodge numbers, we focus on the weight filtration on the last Hodge…

We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…

B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of…

For a family of log points with constant log structure and for a proper SNCL scheme with an SNCD over the family, we construct a fundamental l-adic bifiltered complex as a geometric application of the theory of the derived category of…

We combine Deligne's global invariant cycle theorem, and the algebraicity theorem of Cattani, Deligne and Kaplan, for the connected components of the locus of Hodge classes, to conclude that under simple assumptions these components are…

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann…

We give two presentations for bordisms of $S^2$ in the 3-dimensional oriented bordism category $\operatorname{Cob}(3) $, encoding the algebraic structures on $S^2$. After passing through topological field theories, we define two kinds of…

We explicitly show that symmetric Frobenius structures on a finite-dimensional, semi-simple algebra stand in bijection to homotopy fixed points of the trivial SO(2)-action on the bicategory of finite-dimensional, semi-simple algebras,…

We consider the graded space $R$ of syzygies for the coordinate algebra $A$ of projective variety $X=G/P$ embedded into projective space as an orbit of the highest weight vector of an irreducible representation of semisimple complex Lie…

Associated to an abelian variety over a number field are several interesting and related groups: the motivic Galois group, the Mumford-Tate group, $\ell$-adic monodromy groups, and the Sato-Tate group. Assuming the Mumford-Tate conjecture,…

An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…