Related papers: Steenbrink isomorphism and crystals on tubular nei…

In this paper, we study the cohomology of semisimple local systems in the spirit of classical Hodge theory. On the one hand, we establish a generalization of Hodge-Riemann bilinear relations. For a semisimple local system on a smooth…

This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one (resp. the third one), we will introduce a Frobenius structure…

We introduce logarithmic Picard algebroids, a natural class of Lie algebroids adapted to a simple normal crossings divisor on a smooth projective variety. We show that such algebroids are classified by a subspace of the de Rham cohomology…

Let $\mathfrak{g}$ be a Lie algebra all of whose regular subalgebras of rank 2 are type $A_{1}\times A_{1}$, $A_{2}$, or $C_{2}$, and let $B$ be a crystal graph corresponding to a representation of $\mathfrak{g}$. We explicitly describe the…

We discover a new Poincar\'e type phenomenon by establishing an optimal rigidity theorem for local CR mappings between circle bundles that are defined in a canonical way over (possibly reducible) bounded symmetric domains. We prove such a…

We outline an algorithm to recover the canonical (or, coarsest) stratification of a given finite-dimensional regular CW complex into cohomology manifolds, each of which is a union of cells. The construction proceeds by iteratively…

We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…

For a subvariety of a smooth projective variety, consider the family of smooth hypersurfaces of sufficiently large degree containing it, and take the quotient of the middle cohomology of the hypersurfaces by the cohomology of the ambient…

We show that the higher direct images of smooth commutative group schemes from the Kummer log flat site to the classical flat site are torsion. For (1) smooth affine commutative schemes with geometrically connected fibers, (2) finite flat…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version…

An analytic approach and description are presented for the moduli cotangent sheaf for suitable stable curve families including noded fibers. For sections of the square of the relative dualizing sheaf, the residue map at a node gives rise to…

Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental…

We prove that the higher direct images of the dualizing sheaf of a Lagrangian fibration between smooth projective manifolds are isomorphic to the cotangent bundles of base space. As a corollary, we obtain that every Hodge number of the base…

Over the last few years, crystalline topology has been used in photonic crystals to realize edge- and corner-localized states that enhance light-matter interactions for potential device applications. However, the band-theoretic approaches…

We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…

In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new…

We derive some local properties of abstract crystals with logarithmic poles over a smooth base in positive characteristic and obtain the existence of the canonical coordinates of certain ordinary crystals. We then apply the results to…

We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…

Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. We bridge this gap for a natural and important special case, planar graph isomorphism,…