Holomorphic maps between moduli spaces II

Rodrigo De Pool,Juan Souto

2024-12-02

Abstract:We prove that forgetful maps are the only non-constant holomorphic maps $\mathcal{M}_{g,r}\to \mathcal{M}_{g',r'}$ between moduli spaces, as long as $g\ge 4$ and $g'\le 3\cdot 2^{g-3}$.

Geometric Topology,Algebraic Geometry,Differential Geometry

What problem does this paper attempt to address?

Holomorphic differential forms on moduli spaces of stable curves

Claudio Fontanari

2023-10-17

Abstract:We prove that the space of holomorphic $p$-forms on the moduli space $\overline{\mathcal{M}}_{g,n}$ of stable curves of genus $g$ with $n$ marked points vanishes for $p=14, 16, 18$ unconditionally and also for $p=20$ under a natural assumption in the case $g=3$. This result is consistent with the Langlands program and it is obtained by applying the Arbarello-Cornalba inductive approach to the cohomology of moduli spaces.

Algebraic Geometry
Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

Yibo Zhang

2024-01-18

Abstract:A holomorphic curve in moduli spaces is the image of a non-constant holomorphic map from a hyperbolic surface $B$ of type $(g,n)$ to the moduli space $\mathcal{M}_h$ of closed Riemann surfaces of genus $h$. We show that, when all peripheral monodromies are of infinite order, the holomorphic map is a quasi-isometric immersion with parameters depending only on $g$, $n$, $h$ and the systole of $B$. When peripheral monodromies also satisfy an additional condition, we find a lift quasi-isometrically embedding a fundamental polygon of the hyperbolic surface $B$ into the Teichmüller space. We further improve the Parshin-Arakelov finiteness theorem, by proving that there are only finitely many monodromy homomorphisms induced by holomorphic curves of type $(g,n)$ in $\mathcal{M}_h$ where systole is bounded away from $0$, up to equivalence.

Geometric Topology,Metric Geometry
The Moduli Space of Regular Stable Maps

Joel W. Robbin,Yongbin Ruan,Dietmar A. Salamon

DOI: https://doi.org/10.1007/s00209-007-0237-x

2007-01-01

Mathematische Zeitschrift

Abstract:We prove that the moduli space of regular stable maps in a complex manifold admits a natural complex orbifold structure. Our proof is based on Hardy decompositions and Fredholm intersection theory.
Holomorphic forms and non-tautological cycles on moduli spaces of curves

Veronica Arena,Samir Canning,Emily Clader,Richard Haburcak,Amy Q. Li,Siao Chi Mok,Carolina Tamborini

2024-02-06

Abstract:We prove, for infinitely many values of $g$ and $n$, the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth, genus-$g$, $n$-pointed curves. In particular, when $n=0$, our results show that there exist non-tautological algebraic cohomology classes on $\mathcal{M}_g$ for $g=12$ and all $g \geq 16$. These results generalize the work of Graber--Pandharipande and van Zelm, who proved that the classes of particular loci of bielliptic curves are non-tautological and thereby exhibited the only previously-known non-tautological class on any $\mathcal{M}_g$: the bielliptic cycle on $\mathcal{M}_{12}$. We extend their work by using the existence of holomorphic forms on certain moduli spaces $\overline{\mathcal{M}}_{g,n}$ to produce non-tautological classes with nontrivial restriction to the interior, via which we conclude that the classes of many new double-cover loci are non-tautological.

Algebraic Geometry
Proper holomorphic maps between bounded symmetric domains with small rank differences

Sung-Yeon Kim,Ngaiming Mok,Aeryeong Seo

2024-06-12

Abstract:In this paper we study the rigidity of proper holomorphic maps $f\colon \Omega\to\Omega'$ between irreducible bounded symmetric domains $\Omega$ and $\Omega'$ with small rank differences: $2\leq \text{rank}(\Omega')< 2\,\text{rank}(\Omega)-1$. More precisely, if either $\Omega$ and $\Omega'$ have the same type or $\Omega$ is of type~III and $\Omega'$ is of type~I, then up to automorphisms, $f$ is of the form $f=\imath\circ F$, where $F = F_1\times F_2\colon \Omega\to \Omega_1'\times \Omega_2'$. Here $\Omega_1'$, $\Omega_2'$ are bounded symmetric domains, the map $F_1\colon \Omega \to \Omega_1'$ is a standard embedding, $F_2: \Omega \to \Omega_2'$, and $\imath\colon \Omega'_1\times \Omega'_2 \to \Omega'$ is a totally geodesic holomorphic isometric embedding. Moreover we show that, under the rank condition above, there exists no proper holomorphic map $f: \Omega \to \Omega'$ if $\Omega$ is of type~I and $\Omega'$ is of type~III, or $\Omega$ is of type~II and $\Omega'$ is either of type~I or III. By considering boundary values of proper holomorphic maps on maximal boundary components of $\Omega$, we construct rational maps between moduli spaces of subgrassmannians of compact duals of $\Omega$ and $\Omega'$, and induced CR-maps between CR-hypersurfaces of mixed signature, thereby forcing the moduli map to satisfy strong local differential-geometric constraints (or that such moduli maps do not exist), and complete the proofs from rigidity results on geometric substructures modeled on certain admissible pairs of rational homogeneous spaces of Picard number 1.

Complex Variables,Algebraic Geometry
On the Third Gap for Proper Holomorphic Maps between Balls

Xiaojun Huang,Shanyu Ji,Wanke Yin

DOI: https://doi.org/10.48550/arXiv.1201.6440

2014-10-14

Abstract:In this paper, we study the gap rigidity phenomenon for proper holomorphic maps between balls of different dimension. We show that any $F\in prop_3({\mathbb{B}}^n, {\mathbb{B}} ^N)$, with $3n<N\leq 4n-7$ and $n\geq 7$, is equivalent to a map of the form $(G,0)$ with $G\in Rat ({\mathbb{B}}^n,{\mathbb{B}}^{3n})$. The main ingredients for the proof of our main theorem are the normal form obtained by Huang-Ji-Xu and a lemma of the first author.

Complex Variables
On the Holomorphicity of Genus Two Lefschetz Fibrations

B Siebert,G Tian

DOI: https://doi.org/10.4007/annals.2005.161.959

IF: 4.795

2005-01-01

Annals of Mathematics

Abstract:We prove that any genus-2 Lefschetz fibration without reducible fibers and with ``transitive monodromy'' is holomorphic. The latter condition comprises all cases where the number of singular fibers is not congruent to 0 modulo 40. An auxiliary statement of independent interest is the holomorphicity of symplectic surfaces in S^2-bundles over S^2, of relative degree up to 7 over the base, and of symplectic surfaces in CP^2 of degree up to 17.
Holomorphic isometric embeddings of the complex two-plane Grassmannian into quadrics

Oscar Macia,Yasuyuki Nagatomo

DOI: https://doi.org/10.48550/arXiv.2110.12817

2021-10-25

Abstract:The present article studies holomorphic isometric embeddings of the complex two--plane Grassmannnian into quadrics. We discuss the moduli space of these embeddings up to gauge and image equivalence using a generalisation of do Carmo--Wallach theory.

Differential Geometry
The moduli space of a rational map is Carathéodory hyperbolic

Zhuchao Ji,Junyi Xie

2024-04-06

Abstract:Let $f$ be a rational map of degree $d\geq 2$. The moduli space $\mathcal{M}_f$, introduced by McMullen and Sullivan, is a complex analytic space consisting all quasiconformal conjugacy classes of $f$. For $f$ that is not flexible Lattès, we show that there is a normal affine variety $X_f$ of dimension $2d-2$ and a holomorphic injection $i:\mathcal{M}_f\to X_f$ such that $i(\mathcal{M}_f)$ is precompact in $X_f$. In particular $\mathcal{M}_f$ is Carathéodory hyperbolic (i.e. bounded holomorphic functions separate points in $\mathcal{M}_f$), provided that $f$ is not flexible Lattès. This solves a conjecture of McMullen. When $d\geq 4$, we give a concrete construction of $X_f$ as the normalization of the Zariski closure of the image of the reciprocal multiplier spectrum morphism.

Complex Variables,Algebraic Geometry,Dynamical Systems
Homomorphisms between pure mapping class groups

Rodrigo de Pool

2024-10-24

Abstract:Let $S$ and $S'$ be orientable finite-type surfaces of genus $g\geq 4$ and $g'$, respectively. We prove that every multitwist-preserving map between pure mapping class groups $\text{PMap}(S)\to \text{PMap}(S')$ is induced by a multi-embedding. As an application, we classify all homomorphisms $\text{PMap}(S)\to \text{PMap}(S')$ for $g\geq 4$ and $g' \leq 6\cdot 2^{g-4}$.

Geometric Topology,Group Theory
Positive microlocal holonomies are globally regular

Roger Casals,Wenyuan Li

2024-09-12

Abstract:We establish a geometric criterion for local microlocal holonomies to be globally regular on the moduli space of Lagrangian fillings. This local-to-global regularity result holds for arbitrary Legendrian links and it is a key input for the study of cluster structures on such moduli spaces. Specifically, we construct regular functions on derived moduli stacks of sheaves with Legendrian microsupport by studying the Hochschild homology of the associated dg-categories via relative Lagrangian skeleta. In this construction, a key geometric result is that local microlocal merodromies along positive relative cycles in Lagrangian fillings yield global Hochschild 0-cycles for these dg-categories.

Symplectic Geometry,Representation Theory
Holomorphic foliations of degree four on the complex projective space

Arturo Fernández-Pérez,Vângellis Sagnori Maia

2023-08-19

Abstract:In this paper, we study holomorphic foliations of degree four on complex projective space $\mathbb{P}^n$, where $n\geq 3$, with a special focus on obtaining a structural theorem for these foliations. Furthermore, for a foliation $\mathcal{F}$ of degree $d\geq 4$ with a sufficiently high $k^{th}$-jet, we prove that either $\mathcal{F}$ is transversely affine outside a compact hypersurface, or $\mathcal{F}$ is transversely projective outside a compact hypersurface, or $\mathcal{F}$ is the pull-back of a foliation on $\mathcal{F}^2$ by a rational map.

Complex Variables,Algebraic Geometry
Holomorphic mappings of maximal rank into projective spaces

Dinh Tuan Huynh

2024-07-23

Abstract:Let $1\leq p\leq n$ be two positive integers. For a linearly nondegenerate holomorphic mapping $f\colon\mathbb{C}^p\rightarrow\mathbb{P}^n(\mathbb{C})$ of maximal rank intersecting a family of hyperplanes in general position, we obtain a Cartan's type Second Main Theorem in which the counting functions are truncated to level $n+1-p$. Our result strengthens the classical results of Stoll and Vitter, and interpolates the important works of Cartan and Carlson-Griffiths.

Complex Variables
Hermitian Rank and Rigidity of Holomorphic Mappings

Yun Gao

2024-02-11

Abstract:Huang's Lemma is an important tool in CR geometry to study rigidity problems. This paper introduces a generalization of Huang's Lemma based on the rigidity properties of holomorphic mappings preserving certain orthogonality on projective spaces, which is optimal for the case of partial linearity. By exploring the intricate relationship between rigidity and Huang's Lemma, we establish that the rigidity properties of Segre maps or proper holomorphic mappings between generalized balls with Levi-degenerate boundaries can be inferred from those between generalized balls with Levi-non-degenerate boundaries by in a coordinate-free and more geometric manner.

Complex Variables
Functions on the moduli space of projective structures on complex curves

Indranil Biswas

2023-09-06

Abstract:We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety.

Algebraic Geometry
Universal holomorphic maps with slow growth II. functional analysis methods

Bin Guo,Song-Yan Xie

2024-09-22

Abstract:By means of hypercyclic operator theory, we complement our previous results on hypercyclic holomorphic maps between complex Euclidean spaces having slow growth rates,by showing {\it abstract abundance} rather than {\it explicit existence}. Next, we establish that, in the space of holomorphic maps from $\mathbb{C}^n$ to any connected Oka manifold $Y$, equipped with the compact-open topology, there exists a {\em dense} subset consisting of common {\em frequently hypercyclic} elements for all nontrivial translation operators. To our knowledge, this is new even for $n=1$ and $Y=\mathbb{C}$.

Complex Variables,Functional Analysis
Relative Regular Riemann-Hilbert correspondence II

Luisa Fiorot,Teresa Monteiro Fernandes,Claude Sabbah

DOI: https://doi.org/10.1112/S0010437X23007224

2024-02-12

Abstract:We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting the relative Riemann-Hilbert correspondence proved in a previous work in the one-dimensional case.

Algebraic Geometry,Complex Variables
Double Sections and Dominating Maps

Steven Shin-Yi Lu,Gregery T. Buzzard

DOI: https://doi.org/10.48550/arXiv.math/0006035

2000-06-05

Complex Variables

Abstract:As is well-known, there exist nonconstant holomorphic maps from the plane into the Riemann sphere $\PP^1$ minus two points, the simplest example of which is an explicit realization of the uniformization map given by applying the exponential map and then composing with a Mobius transformation taking 0 and $\infty$ to the two given punctures. Likewise, we can map the plane into the sphere minus one point by simply applying directly a Mobius transformation taking $\infty$ to this puncture. In this paper we prove two parametrized versions of this uniformization result using different methods. We first present a slightly easier version using complex analysis, which allows us to construct the uniformizing maps more or less explicitly in terms of the initial coordinates given. Then we give the more general and coordinate invariant version, which we prove by extending Kodaira's theory of the Jacobian fibration to a family of singular curves constructed via algebraic geometry. Finally, using the results obtained with the Jacobian fibration, we obtain two equivalent conditions for an complex surface nonhyperbolically fibered over a complex curve to be holomorphically dominable by $\CC^2$. In theorem \ref{thm:surf} we show that this dominability is equivalent to the apparently weaker condition of the existence of a Zariski dense image of $\CC$ and equivalent to the quasiprojectivity of the base curve together with the nonnegativity of the orbifold Euler characteristic.
Positive Transversality Via Transfer Operators and Holomorphic Motions with Applications to Monotonicity for Interval Maps

Genadi Levin,Weixiao Shen,Sebastian van Strien

DOI: https://doi.org/10.1088/1361-6544/ab853e

2020-01-01

Nonlinearity

Abstract:In this paper we will develop a general approach which shows that generalized 'critical relations' of families of locally defined holomorphic maps on the complex plane unfold transversally. The main idea is to define a transfer operator, which is a local analogue of the Thurston pullback operator, using holomorphic motions. Assuming a so-called lifting property is satisfied, we obtain information about the spectrum of this transfer operator and thus about transversality. An important new feature of our method is that it is not global: the maps we consider are only required to be defined and holomorphic on a neighbourhood of some finite set. We will illustrate this method by obtaining transversality for a wide class of one-parameter families of interval and circle maps, for example for maps with flat critical points, but also for maps with complex analytic extensions such as certain polynomial-like maps. As in Tsujii's approach (Tsujii M 1994 A note on Milnor and Thurston's monotonicity theoremGeometry and Analysis in Dynamical Systemvol 14 (Singapore: World Scientific) pp 60-2; Tsujii M 2000 Ergod. Theor. Dyn. Syst.20925-933), for real maps we obtain positive transversality (where > 0 holds instead of just not equal 0), and thus monotonicity of entropy for these families, and also (as an easy application) for the real quadratic family. This method additionally gives results for unimodal families of the form x -> vertical bar x vertical bar(l) vertical bar c for l > 1 not necessarily an even integer and c real.
Degeneracy of holomorphic mappings into or avoiding Fermat type hypersurfaces

Dinh Tuan Huynh

2024-07-23

Abstract:We prove that if $f\colon\mathbb{C}^p\rightarrow\mathbb{P}^n(\mathbb{C})$ is a holomorphic mapping of maximal rank whose image lies in the Fermat hypersurface of degree $d>(n+1)\max\{n-p,1\}$, then its image is contained in a linear subspace of dimension at most $\bigg[\dfrac{n-1}{2}\bigg]$. Analog in the logarithmic case is also given. Our result strengthens a classical result of Green and provides a Nevanlinna theoretic proof for a recent result due to Etesse.

Complex Variables,Algebraic Geometry

Holomorphic maps between moduli spaces II

Holomorphic differential forms on moduli spaces of stable curves

Holomorphic Curves in Moduli Spaces Are Quasi-Isometrically Immersed

The Moduli Space of Regular Stable Maps

Holomorphic forms and non-tautological cycles on moduli spaces of curves

Proper holomorphic maps between bounded symmetric domains with small rank differences

On the Third Gap for Proper Holomorphic Maps between Balls

On the Holomorphicity of Genus Two Lefschetz Fibrations

Holomorphic isometric embeddings of the complex two-plane Grassmannian into quadrics

The moduli space of a rational map is Carathéodory hyperbolic

Homomorphisms between pure mapping class groups

Positive microlocal holonomies are globally regular

Holomorphic foliations of degree four on the complex projective space

Holomorphic mappings of maximal rank into projective spaces

Hermitian Rank and Rigidity of Holomorphic Mappings

Functions on the moduli space of projective structures on complex curves

Universal holomorphic maps with slow growth II. functional analysis methods

Relative Regular Riemann-Hilbert correspondence II

Double Sections and Dominating Maps

Positive Transversality Via Transfer Operators and Holomorphic Motions with Applications to Monotonicity for Interval Maps

Degeneracy of holomorphic mappings into or avoiding Fermat type hypersurfaces