2
$\begingroup$

Let $C$ be a curve (smooth projective over a field k) and $p$ a rational point on $C$. Put $\dot{C}=C-\{p\}$. Set $T=Spec R$ where $R$ is a noetherian k-algebra. Let $Y$ be a locally trivial fiber bundle (suppose for etale topology), with smooth affine fibers, over $\dot{C}_T:=\dot{C}\times T$. My question is as follows: can one extend the fiber bundle Y to a flat family over entire relative curve $C_T$?

$\endgroup$
4
  • $\begingroup$ In this generality, it seems unlikely that anything can be said. What happens when $T$ is a point and $Y$ is a principal $G$-bundle, for an algebraic group $G$? $\endgroup$ Dec 11, 2010 at 15:59
  • $\begingroup$ What do you mean by a flat family? You need to assume more than flatness (otherwise you could "extend" by taking the composite $Y \to \dot C \to C$). $\endgroup$
    – Angelo
    Dec 11, 2010 at 16:14
  • $\begingroup$ Right, I meant to extend the family over the point $p$, i.e. to add the fiber over $p$ in such a way that doesn't violate flatness of family, let's say "faithfully flat". As Keerthi Madapusi Sampath suggested, let us stick to the simplest case when $T$ is a point, and suppose further that we can embed the family $Y$ over $\dot{C}$ to some ambient space $E$ that's flat over $C$ (namely the case of $G$-bundles) such that $Y$ is closed inside the restriction of $E$ to $\dot{C}$, then the statement is implied by the properness of quot scheme. $\endgroup$
    – Samuel
    Dec 11, 2010 at 18:52
  • $\begingroup$ Dear Samuel, the Quot scheme exists when $E$ is proper over $C$. For proper maps, you just require that the extension be proper and flat, and that's it. In the affine case it is not at all clear to me what you should require. $\endgroup$
    – Angelo
    Dec 12, 2010 at 4:04

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.