Related papers: The arithmetic Hodge Index Theorem and rigidity of…

We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincar\'e duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy…

It is noted that using complex Hessian equations and the concavity inequalities for elementary symmetric polynomials implies a generalized form of Hodge index inequality. Inspired by this result, using G{\aa}rding's theory for hyperbolic…

We prove an effective upper bound on the number of effective sections of a hermitian line bundle over an arithmetic surface. It is an effective version of the arithmetic Hilbert--Samuel formula in the nef case. As a consequence, we obtain…

We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.

We show an equality between the analytic torsion and the absolute value at the zero point of the Ruelle dynamical zeta function on a closed odd dimensional locally symmetric space twisted by an acyclic flat vector bundle obtained by the…

Using morphic cohomology, we produce a sequence of conjectures, called morphic conjectures, which terminates at the Grothendieck standard conjecture A. A refinement of Hodge structures is given, and with the assumption of morphic…

We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of Andr\'e's generalization of the Grothendieck period conjecture, which we…

For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on…

We show that a conjectural extension of a fixed point formula in Arakelov geometry implies results about a tautological subring in the arithmetic Chow ring of bases of abelian schemes. Among the results are an Arakelov version of the…

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…

We prove that any nef b-divisor class on a projective variety defined over an algebraically closed field of characteristic 0 is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection…

In this note, we will give a partial answer for arithmetic analogues of Grothendieck's standard conjectures due to H. Gillet and C. Soule. (Remark : I changed the title of this note.)

In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian'…

We study the Hodge theory of twisted derived categories and its relation to the period-index problem. Our main contribution is the development of a theory of twisted Mukai structures for topologically trivial Brauer classes on arbitrary…

We introduce a new approach to study height zeta functions of projective spaces and projective bundles. To study height zeta functions of projective spaces $Z(\mathbb{P}^n, H_{\mathcal{O}(1)}; s)$, we apply the Riemann-Roch theorem of…

We give a new definition of higher arithmetic Chow groups for smooth projective varieties defined over a number field, which is similar to Gillet and Soul\'e's definition of arithmetic Chow groups. We also give a compact description of the…

We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles…

In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial…

We study when the period and the index of a class in the Brauer group of the function field of a real algebraic surface coincide. We prove that it is always the case if the surface has no real points (more generally, if the class vanishes…

We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As…