Related papers: Section conjectures over $\mathbb{C}$ and Kodaira …

We present the concept of cotorsion pairs cut along subcategories of an abelian category. This provides a generalization of complete cotorsion pairs, and represents a general framework to find approximations restricted to certain…

We introduce several families of filtrations on the space of vector bundles over a smooth projective variety. These filtrations are defined using the large k asymptotics of the kernel of the Dolbeault Dirac operator on a bundle twisted by…

This is loosely a continuation of the author's previous paper arXiv:1802.09496. In the first part, given a fibered variety, we pull back the Leray filtration to the Chow group, and use this to give some criteria for the Hodge and Tate…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

In this preprint we prove that any finite slope modular form fits into a p-adic family of modular forms which is indexed by the weight. Here, the term p-adic family means that p-adic congruences between weights entail certain p-adic…

In this short note we prove the Borel conjecture for a family of aspherical manifolds that includes higher graph manifolds.

Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…

We explore the relationship between fibrations arising naturally from a surjective morphism to an abelian variety. These fibrations encode geometric information about the morphism. Our study focuses on the interplay of these fibrations and…

We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira…

We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3 type and of Generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic…

In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This…

We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian…

The families index theory for the overlap lattice Dirac operator is applied to derive topological features of the space of SU(N) lattice gauge fields on the 4-torus: The topological sectors, specified by the fermionic topological charge,…

A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected-Hodge-type; such schemes should include all…

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational…

We study the generalized Hodge conjecture for certain sub-Hodge structure defined as the kernel of the cup product map with a big cohomology class, which is of Hodge coniveau at least 1. As predicted by the generalized Hodge conjecture, we…

Let $|H|$ be a linear system on a smooth surface $S$. We study the cohomology classes of sections of the universal Jacobian over lines in $|H|$. When $S$ is a K3 surface, the universal compactified Jacobian is a hyperk\"ahler manifold, and…

A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite…

Given a family of nodal curves, a semistable modification of it is another family made up of curves obtained by inserting chains of rational curves of any given length at certain nodes of certain curves of the original family. We give…

We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…