Skip to main content
added 208 characters in body
Source Link
Chen
  • 1.6k
  • 9
  • 13

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Is there a criterion on the configuration of the rational curves such that there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and? $\mathcal{X}$and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$

EDIT:Furthermore, if $\mathcal{Y}$ is contractible as a scheme in the blow up ofsense there exists a proper $\mathcal{Z}$ along$S-$morphism from $\phi(\mathcal{Y})$$\mathcal{Y}$ to $S$ then does there exist such a $\mathcal{Z}$ as above?

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Is there a criterion on the configuration of the rational curves such that there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Is there a criterion on the configuration of the rational curves such that there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$? and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$

EDIT:Furthermore, if $\mathcal{Y}$ is contractible as a scheme in the sense there exists a proper $S-$morphism from $\mathcal{Y}$ to $S$ then does there exist such a $\mathcal{Z}$ as above?

added 70 characters in body
Source Link
Chen
  • 1.6k
  • 9
  • 13

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. DoesIs there a criterion on the configuration of the rational curves such that there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Does there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Is there a criterion on the configuration of the rational curves such that there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

added 80 characters in body; edited title
Source Link
Chen
  • 1.6k
  • 9
  • 13

Contractibility of effective divisorsunion of smooth rational curves in famillies

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible effective divisors contractible curves in $\mathcal{X}$ insatisfying the senseproperty: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible effective divisorlocal complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Does there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

Contractibility of effective divisors in famillies

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible effective divisors in $\mathcal{X}$ in the sense for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible effective divisor. Does there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

Contractibility of union of smooth rational curves in famillies

Let $\pi:\mathcal{X} \to S$ be a family of smooth surfaces containing a subfamily $\mathcal{Y} \subset \mathcal{X}$ proper, flat over $S$ parametrizing contractible curves in $\mathcal{X}$ satisfying the property: for every $s \in S$, $\mathcal{Y}_s \subset \mathcal{X}_s$ is a contractible local complete intersection curve in $\mathcal{X}_s$ which is an union of smooth rational curves. Does there exist a family of surfaces $\mathcal{Z} \to S$ along with a proper $S-$morphism $\phi:\mathcal{X} \to \mathcal{Z}$ such that for all $s \in S$, $\phi(\mathcal{Y}_s)$ is a point, $y_s \in \mathcal{Z}_s$ and $\mathcal{X}$ is the blow up of $\mathcal{Z}$ along $\phi(\mathcal{Y})$?

added 24 characters in body; edited title
Source Link
Chen
  • 1.6k
  • 9
  • 13
Loading
edited tags
Link
Chen
  • 1.6k
  • 9
  • 13
Loading
deleted 24 characters in body
Source Link
Chen
  • 1.6k
  • 9
  • 13
Loading
Source Link
Chen
  • 1.6k
  • 9
  • 13
Loading