Abstract:Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications are presented. On the one hand, we show that for a very general curve $C$ and a very general hypersurface $Y\subset \mathbb P^{n+1}$ of degree $\ge 2n+1$, any map $C \to Y$ is constant. On the other hand, we give a lower bound on the genus of a family of curves with an isotrivial factor in the associated family of Jacobians; we also characterize the families of curves attaining this bound as the families of degree $2$ branched covers of a fixed curve.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the geometric properties of the mapping of a family of curves to a fixed target space and the limitations of its dimension. Specifically:
1. **Lower bound of geometric genus**: The paper proves a simple theorem and gives an exact lower bound of the geometric genus of a family of sub - varieties on a smooth algebraic variety \(Y\), and this lower bound is related to the dimension of the family of sub - varieties. This provides a theoretical basis for studying the properties of these families of sub - varieties.
2. **Upper bound of the family of curves**: As an application of the above theorem, the paper gives an upper bound of the dimension of the family of curves \(M_{\text{bir}}^{g,Y}\), especially when \(Y\) is a hypersurface or an Abelian variety. For the case of Abelian varieties, the paper further characterizes the families of curves that reach this upper bound, that is, these families of curves are quadratic branched coverings of a certain fixed curve.
### Main Theorems
#### Theorem A
Let \(Y\subset\mathbb{P}_\mathbb{C}^{n + 1}\) be a very general hypersurface with degree \(d\geq2n-1\) (if \(n\geq4\)) or \(d\geq2n + 1\) (if \(n = 2,3\)), then:
\[ \dim M_{\text{bir}}^{g,Y}\leq g-(d - 2n)\]
In particular, for a very general curve \(C\) of order \(g\):
1. If \(d\geq2n\), any mapping \(C\rightarrow Y\) is a constant mapping;
2. If \(d = 2n-1\) and \(g\geq3\), any mapping \(C\rightarrow Y\) can be decomposed through a rational curve.
#### Theorem B
Let \(Y\) be a smooth algebraic variety with \(h^0(\omega_Y)\geq1\), and let \(B\subset\text{Hilb}_Y\) be an irreducible reduced subscheme that parameterizes possibly singular but irreducible sub - varieties, with codimension \(r\) and geometric genus \(g\). Let \(f:H\rightarrow B\) be the relative desingularization of the universal family, and denote \(H_b\) as the fiber at \(b\in B\). Assume that the morphism \(\pi:H\rightarrow Y\) is generically smooth, then for any \(b\in B\), we have:
\[g\geq h^0(\omega_Y|_{\pi(H_b)})+\dim(B)-r\]
#### Theorem C
Let \(f:C\rightarrow B\) be a family of curves of order \(g\), the dimension \(q_f\geq2\) of the isomorphism factor \(A_f\) of its Jacobian variety, and \(B\rightarrow\mathcal{M}_g\) is finite to its image. Then:
\[g\geq\begin{cases}
\dim(B)+q_f&\text{if }\dim(B)\leq\frac{1}{2}(q_f - 1)\text{ or }2q_f-5\leq\dim(B)\leq2q_f - 2\\
\frac{3}{2}\max\{\dim(B)+1,q_f - 1\}+1&\text{if }\frac{1}{2}(q_f - 1)\leq\dim(B)\leq2q_f - 5\\
2q_f-1+\frac{\dim(B)}{2}&\text{if }2q_f - 2\leq\dim(B)
\end{cases}\]
Furthermore, if \(\dim(B)>2q_f - 2\), the above upper bound is exact, and the only family that realizes this upper bound is that of a certain curve of order \(q_f\)