Source author record

Ngaiming Mok

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.DG math.NT

Catalog footprint

Research overview

4works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Multiplicities of the Betti map associated to a section of an elliptic surface from a differential-geometric perspective

For the study of the Mordell-Weil group of an elliptic curve ${\bf E}$ over a complex function field of a projective curve $B$ , the first author introduced the use of differential-geometric methods arising from Kähler metrics on $\mathcal H \times \mathbb C$ invariant under the action of the semi-direct product ${\rm SL}(2,\mathbb R) \ltimes \mathbb R^2$ . To a properly chosen geometric model $π: \mathcal E \to B$ of ${\bf E}$ as an elliptic surface and a non-torsion holomorphic section $σ: B \to \mathcal E$ there is an associated ``verticality'' $η_σ$ of $σ$ related to the locally defined Betti map. The first-order linear differential equation satisfied by $η_σ$ , expressed in terms of invariant metrics, is made use of to count the zeros of $η_σ$ , in the case when the regular locus $B^0\subset B$ of $π: \mathcal E \to B$ admits a classifying map $f_0$ into a modular curve for elliptic curves with level- $k$ structure, $k \ge 3$ , explicitly and linearly in terms of the degree of the ramification divisor $R_{f_0}$ of the classifying map, and the degree of the log-canonical line bundle of $B^0$ in $B$ . Our method highlights ${\rm deg}(R_{f_0})$ in the estimates, and recovers the effective estimate obtained by a different method of Ulmer-Urzúa on the multiplicities of the Betti map associated to a non-torsion section, noting that the finiteness of zeros of $η_σ$ was due to Corvaja-Demeio-Masser-Zannier. The role of $R_{f_0}$ is natural in the subject given that in the case of an elliptic modular surface there is no non-torsion section by a theorem of Shioda, for which a differential-geometric proof had been given by the first author. Our approach sheds light on the study of non-torsion sections of certain abelian schemes.

preprint2020arXiv

Schur rigidity of Schubert varieties in rational homogeneous manifolds of Picard number one

Given a rational homogeneous manifold $S=G/P$ of Picard number one and a Schubert variety $S_0$ of $S$ , the pair $(S,S_0)$ is said to be homologically rigid if any subvariety of $S$ having the same homology class as $S_0$ must be a translate of $S_0$ by the automorphism group of $S$ . The pair $(S,S_0)$ is said to be Schur rigid if any subvariety of $S$ with homology class equal to a multiple of the homology class of $S_0$ must be a sum of translates of $S_0$ . Earlier we completely determined homologically rigid pairs $(S,S_0)$ in case $S_0$ is homogeneous and answered the same question in smooth non-homogeneous cases. In this article we consider Schur rigidity, proving that $(S,S_0)$ exhibits Schur rigidity whenever $S_0$ is a non-linear smooth Schubert variety.

preprint2008arXiv

Remarks on lines and minimal rational curves

We determine all of lines in the moduli space $M$ of stable bundles for arbitrary rank and degree. A further application of minimal rational curves is also given in last section.

preprint1996arXiv

Rigidity of irreducible Hermitian symmetric spaces of the compact type under K"ahler deformation

We study deformations of irreducible Hermitian symmetric spaces $S$ of the compact type, known to be locally rigid, as projective-algberaic manifolds and prove that no jump of complex structures can occur. For each $S$ of rank $\ge 2$ there is an associated reductive linear group $G$ such that $S$ admits a holomorphic $G$ -structure, corresponding to a reduction of the structure group of the tangent bundle. $S$ is characterized as the unique simply-connected compact complex manifold admitting such a $G$ -structure which is at the same time integrable. To prove the deformation rigidity of $S$ it suffices that the corresponding integrable $G$ -structures converge. We argue by contradiction using the deformation theory of rational curves. Assuming that a jump of complex structures occurs, cones of vectors tangent to degree-1 rational curves on the special fiber $X_0$ are linearly degenerate, thus defining a proper meromorphic distribution $W$ on $X_0$ . We prove that such $W$ cannot possibly exist. On the one hand, integrability of $W$ would contradict the fact that $b_2(X)=1$ . On the other hand, we prove that $W$ would be automatically integrable by producing families of integral complex surfaces of $W$ as pencils of degree-1 rational curves. For the verification that there are enough integral surfaces we need a description of generic cones on the special fiber. We show that they are in fact images of standard cones under linear projections. We achieve this by studying deformations of normalizations of Chow spaces of minimal rational curves marked at a point, which are themselves Hermitian symmetric, irreducible except in the case of Grassmannians.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.