Boundary branch divisor of toroidal compactifications
We prove that any toroidal compactification of arithmetic quotient of Hermitian symmetric domain has no boundary branch divisor, in the setting where the algebraic group is of adjoint type.
Discover
Research tools
Network
Opportunities
Account
Source author record
Shouhei Ma appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that any toroidal compactification of arithmetic quotient of Hermitian symmetric domain has no boundary branch divisor, in the setting where the algebraic group is of adjoint type.
Let F_{g,n} be the moduli space of n-pointed K3 surfaces of genus g with at worst rational double points. We establish an isomorphism between the ring of pluricanonical forms on F_{g,n} and the ring of certain orthogonal modular forms, and give applications to the birational type of F_{g,n}. We prove that the Kodaira dimension of F_{g,n} stabilizes to 19 when n is sufficiently large. Then we use explicit Borcherds products to find a lower bound of n where F_{g,n} has nonnegative Kodaira dimension, and compare this with an upper bound where F_{g,n} is unirational or uniruled using Mukai models of K3 surfaces in g<21. This reveals the exact transition point of Kodaira dimension in some g.
We introduce a method to construct special holomorphic tensors on orthogonal modular varieties from scalar-valued modular forms, and give applications to the Lang conjecture on the birational type of subvarieties of orthogonal modular varieties.
We prove that the degree k unramified cohomology with torsion coefficients of a smooth complex projective variety X with small CH_0(X) has a filtration of length [k/2], whose first piece is the torsion part of the quotient of the degree k+1 integral singular cohomology by its coniveau 2 subgroup, and whose next graded piece is controlled by the Griffiths group Griff^{k/2+1}(X) when k is even and is related to the higher Chow group CH^{(k+3)/2}(X, 1) when k is odd. The first piece is a generalization of the Artin-Mumford invariant (k=2) and the Colliot-Thelene-Voisin invariant (k=3). We also give an analogous result for certain H-cohomology groups.
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
We prove that two cusps of the same dimension in the Baily-Borel compactification of some classical series of modular varieties are linearly dependent in the rational Chow group of the compactification. This gives a higher dimensional analogue of the Manin-Drinfeld theorem. As a consequence, we obtain a higher dimensional generalization of modular units as higher Chow cycles on the modular variety.
A modular form for an even lattice L of signature (2,n) is said to be 2-reflective if its zero divisor is set-theoretically contained in the Heegner divisor defined by the (-2)-vectors in L. We prove that there are only finitely many even lattices with n>6 which admit 2-reflective modular forms. In particular, there is no such lattice in n>25 except the even unimodular lattice of signature (2,26). This proves a conjecture of Gritsenko and Nikulin in the range n>6.
We prove that the graded ring of modular forms of weight divisible by 3 is naturally isomorphic to a certain log canonical ring of the corresponding elliptic modular surface.
We prove that for any even lattice L of signature (2,n), the modular variety defined by the orthogonal group of the lattice L+mE_8 is of general type when m is sufficiently large.
We prove that there are only finitely many even lattices L of signature (2,n) with n>14 such that the modular variety defined by the stable orthogonal group of L is not of general type.
We prove that the moduli space of tetragonal curves of genus g>6 is rational when g is congruent to 1, 2, 5, 6, 9, 10 modulo 12 and not equal to 9, 45.
The moduli spaces of trigonal curves are proven to be rational when the genus is divisible by 4.
K3 surfaces with non-symplectic symmetry of order 3 are classified by open sets of twenty-four complex ball quotients associated to Eisenstein lattices. We show that twenty-two of those moduli spaces are rational.
K3 surfaces with non-symplectic involution are classified by open sets of seventy-five arithmetic quotients of type IV. We prove that those moduli spaces are rational except two classical cases.
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We study isogeny relations between K3 surfaces and Kummer surfaces. Specifically, we prove a Torelli-type theorem for the existence of rational maps from K3 surfaces to Kummer surfaces, and a Kummer sandwich theorem for K3 surfaces with Shioda-Inose structure.
We prove that the moduli spaces of K3 surfaces with non-symplectic involutions are unirational. As a by-product we describe configuration spaces of 4<d<9 points in the projective plane as arithmetic quotients of type IV.
The moduli spaces of trigonal curves of odd genus $g>4$ are proven to be rational.