Skip to main content
added 12 characters in body
Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. Let $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an irreducible one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. Let $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. Let $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an irreducible one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

added 1 character in body
Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point and. Let $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point and $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point. Let $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

added 118 characters in body
Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point and $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose $T$ isthere exists an one dimensional variety, and there exists a morphism $$e: C \times T \to X$$ which satisfies

(1) For any $t \in T$,$T \subset Mor(C,X;f|_{c})$ passing through $e(c, t)=x$

$[f]$ (2) There existswe use $o \in T$, such that$[f]$ to denote the point corresponding to $e|_{C \times \{o\}} = f$.

In other words$f$ in the moduli space), where by $T$ is a deformation$Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $f$ with$C$ to $X$ such that any morphism maps the point $c$ has fixed imageto $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point and $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose $T$ is an one dimensional variety, and there exists a morphism $$e: C \times T \to X$$ which satisfies

(1) For any $t \in T$, $e(c, t)=x$

(2) There exists $o \in T$, such that $e|_{C \times \{o\}} = f$.

In other words, $T$ is a deformation of $f$ with $c$ has fixed image $x$.

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

The following question arises from the proof of "bend-and-break" lemma:

Let $X$ be a projective variety over $\mathbb{C}$ and $C$ be an irrational smooth curve. Let $c \in C$ be a fixed closed point and $f: C \to X$ be a nonconstant morphism such that $f(c)=x$.

Suppose there exists an one dimensional variety $T \subset Mor(C,X;f|_{c})$ passing through $[f]$ (we use $[f]$ to denote the point corresponding to $f$ in the moduli space), where by $Mor(C,X;f|_{c})$, we mean the moduli space of morphisms from $C$ to $X$ such that any morphism maps the point $c$ to $x$. Let $e$ be the evaluation map restricted to $C \times T$, that is

$$e: C \times T \to C \times Mor(C,X;f|_{c}) \to X.$$

My questions is, why $\dim(e(C \times T)) >1$?

I understand when $g(C)>0$, with one point fixed, $C$ only has finite automorphism. But I don't know how to use this fact to show the claim.

Source Link
Li Yutong
  • 3.5k
  • 16
  • 34
Loading