Related papers: Constructing a CM Mumford fourfold from Shioda's f…
We prove that a 1-dimnl family of abelian varieties with an ample sheaf defining principal polarization can be canonically compactified (after a finite base change) to a projective family with an ample sheaf. We show that the central fiber…
We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…
In this paper we define the notion of a hyperk\"ahler manifold (potentially) of Jacobian type. If we view hyperk\"ahler manifolds as "abelian varieties", then those of Jacobian type should be viewed as "Jacobian varieties". Under a minor…
We construct explicit families of hyperelliptic curves over $\QQ$ whose Jacobians admit complex multiplication (CM). Each curve in these families is defined by \[ v^2 = (u+2)\,\varphi_d(u), \quad d = 2^e \text{ or } d=p \geq 3 \text{…
The moduli space of cubic surfaces in complex projective space is known to be isomorphic to the quotient of the complex 4-ball by a certain arithmetic group. We apply Borcherds' techniques to construct automorphic forms for this group and…
We conclude the construction of the algebraic complex, consisting of spaces of differentials of Euclidean metric values, for four-dimensional piecewise-linear manifolds. Assuming that the complex is acyclic, we investigate how its torsion…
After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter--Drinfel'd modules over a bicoalgebroid. It is proved that the…
We exploit the presence of moduli fields in the ${\rm AdS}_3\times { S}^3\times CY_2$, where $CY_2=T^4$ or $K3$, solution to Type IIB superstring theory, to construct a U-fold solution with geometry ${\rm AdS}_2\times S^1\times {\rm…
We prove that the problem of constructing biharmonic conformal maps on a $4$-dimensional Einstein manifold reduces to a Yamabe-type equation. This allows us to construct an infinite family of examples on the Euclidean 4-sphere. In addition,…
We study surfaces constructed from groups of units in quaternion orders $\Lambda$ over the integers in real quadratic fields k. A short presentation of some general theory of such surfaces is given, in particular, we construct certain…
The Hodge Conjecture is equivalent to a statement about conditions under which a complex vector bundle on a smooth complex projective variety admits a holomorphic structure. I advertise a class of abelian four-folds due to Mumford where…
Given a Morse 2-function $f: X^4 \to S^2$, we give minimal conditions on the fold curves and fibers so that $X^4$ and $f$ can be reconstructed from a certain combinatorial diagram attached to $S^2$. Additional remarks are made in other…
While the standard construction of the S-matrix fails on Anti-de Sitter (AdS) spacetime, a generalized S-matrix makes sense, based on the hypercylinder geometry induced by the boundary of AdS. In contrast to quantum field theory in…
In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying…
We give a completion of the period map associated to a variation of polarized Hodge structure arising from a 2-dimensional geometric family that has Hodge type (1,2,2,1). This is the second known example of a completion of a period map that…
Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Graham's…
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…
Let $U$ be a smooth connected complex algebraic variety, and let $f\colon U\to \mathbb C^*$ be an algebraic map. To the pair $(U,f)$ one can associate an infinite cyclic cover $U^f$, and (homology) Alexander modules are defined as the…
We consider families of special cycles, as introduced by Kudla, on Shimura varieties attached to anisotropic quadratic spaces over totally real fields. By augmenting these cycles with Green currents, we obtain classes in the arithmetic Chow…
We construct tilting modules over Jacobian algebras arising from knots. To a two-bridge knot $L[a_1,\ldots,a_n]$, we associate a quiver $Q$ with potential and its Jacobian algebra $A$. We construct a family of canonical indecomposable…