Related papers: Hodge-theoretic aspects of the Decomposition Theor…

We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called…

For a certain class of complexes of pre-Hilbert $A$-modules, we prove that their cohomology groups equipped with a canonical quotient structure are again pre-Hilbert $A$-modules and derive the Hodge decomposition for them. We call these…

In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…

We propose a version of the Hodge conjecture in Bott-Chern cohomology and using results from characterizing real holomorphic chains by real rectifiable currents to provide a proof for this question. We define a Bott-Chern differential…

We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…

Using basic homotopy constructions, we show that isomorphism classes of string structures on spin bundles are naturally given by certain degree 3 cohomology classes, which we call string classes, on the total space of the bundle. Using a…

Let $\MS_g$ be the moduli space of stable holomorphic vector bundles of rank 2 and fixed determinant of odd degree over a smooth complex projective curve of genus $g$. This paper proves various properties of the rational cohomology ring…

We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles…

Let $S$ be a Riemann surface obtained by deleting a finite number of points, called cusps, from a compact Riemann surface. Let $\rho: \pi_1(S)\to Sl(n, \mathbb{C})$ be a semisimple linear representation of $\pi_1(S)$ which is unipotent near…

Let $G$ be a locally semisimple ind-group, $P$ be a parabolic subgroup, and $E$ be a finite-dimensional $P$-module. We show that, under a certain condition on $E$, the nonzero cohomologies of the homogeneous vector bundle…

In this note, we obtain a number of results related to the hard Lefschetz theorem for pseudoeffective line bundles, due to Demailly, Peternell and Schneider. Our first result states that the holomorphic sections produced by the theorem are…

This paper establishes a metric framework for Spencer complexes based on the geometric theory of compatible pairs $(D,\lambda)$ in principal bundle constraint systems, solving fundamental technical problems in computing Spencer cohomology…

For $k \in \mathbb{Z}_{>0}$, let $\mathcal{H}^{(k)}_{g,n}$ denote the vector bundle over $\mathfrak{M}_{g,n}$ whose every fiber consists of meromorphic $k$-differentials with poles of order at most $k-1$ on a fixed Riemman surface of genus…

We consider the connections among algebraic cycles, abelian varieties, and stable rationality of smooth projective varieties in positive characteristic. Recently Voisin constructed two new obstructions to stable rationality for rationally…

We show that $\kgl$-linear cohomology theories over an affine Dedekind scheme $S$ admit a canonical weight filtration on resolvable motives without inverting residual characteristics. Combined with upcoming work of Annala--Hoyois--Iwasa,…

For each holomorphic vector bundle we construct a holomorphic bundle 2-gerbe that geometrically represents its second Beilinson-Chern class. Applied to the cotangent bundle, this may be regarded as a higher analogue of the canonical line…

We construct and study a theory of bivariant cobordism of derived schemes. Our theory provides a vast generalization of the algebraic bordism theory of characteristic 0 algebraic schemes, constructed earlier by Levine and Morel, and a…

The perverse filtration in cohomology and in cohomology with compact supports is interpreted in terms of kernels of restrictions maps to suitable subvarieties by using the Lefschetz hyperplane theorem and spectral objects. Various…

In this note we identify two complex structures (one is given by algebraic geometry, the other by gauge theory) on the set of isomorphism classes of holomorphic bundles with section on a given compact complex manifold. In the case of line…

Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…