3
$\begingroup$

Suppose that we have a smooth variety $X$ of dimension $n$ that fibers (a flat morphism) over a curve $Y$, and s.t. the fibers of $X \to Y$ are all complete interesections of two quadric hypersurfaces of dimension $n$.

Suppose that generically the quadrics are smooth and the singular ones have at most corank 1.

It is easy to see that such an object always has a rational section Y->X. Does it always have a regular section? Maybe for $n$ big enough? By regular I mean a section with no intersection with the singular locus of the fibers.

$\endgroup$
3
  • $\begingroup$ Do you want the quadric hypersurfaces to assemble into a flat family, or do you just want (geometric? complex?) fibers to be isomorphic to such an intersection? $\endgroup$
    – S. Carnahan
    Sep 29, 2011 at 15:12
  • $\begingroup$ Can you count the rational sections? If there is a family of them, the answer is presumably yes, no? $\endgroup$
    – Will Sawin
    Sep 29, 2011 at 15:44
  • $\begingroup$ Yes, I want a flat family of quadrics over a ruled surface $S\to Y$, whose relative intersection gives $X$ $\endgroup$
    – Olob
    Sep 29, 2011 at 17:10

1 Answer 1

1
$\begingroup$

As long as the fibers have large enough dimension, they are rationally connected. Then something stronger than what you want follows from the comb smoothing technique developed by Mori, Koll\'ar and others (and explained in Koll\'ar's book Rational Curves on Algebraic Varieties) and the Graber-Harris-Starr (GHS). Once you know that you have a section (GHS), that X is smooth, and that the fibers are rationally connected, then you can find a section through any specified finite number of points in (different, obviously) smooth fibers. I first typed too quickly (thanks Artie) - the image of the section is automatically contained in the smooth locus of the map. The complete intersection of two quadrics in P^4 is Fano, so rationally connected (anything of higher dimensional will also be)

$\endgroup$
8
  • $\begingroup$ Maybe I'm being dumb, but I don't quite follow. You say "Once you know that you have a section..." and conclude that you can find a section avoiding the singular locus of the fibers. But a section can never intersect the singular locus of a fiber, because at such a point the differential of f fails to be surjective. Am I missing something? (On the other hand, because of rational connectedness, Graber--Harris--Starr implies that there is always section.) $\endgroup$
    – user5117
    Sep 29, 2011 at 17:07
  • $\begingroup$ very cool. is all this explained in Kollar's book? for instance is it easy to see what is the "large enough" dimension? $\endgroup$
    – Olob
    Sep 29, 2011 at 17:08
  • $\begingroup$ Yes, sorry Artie - I typed too quickly - answer amended. $\endgroup$
    – mdeland
    Sep 29, 2011 at 17:29
  • 1
    $\begingroup$ Actually it is Fano if n>2, since if n=2 it is an elliptic curve. Anyway, thanks a lot, very interesting! $\endgroup$
    – Olob
    Sep 29, 2011 at 17:39
  • 1
    $\begingroup$ Just to expand slightly on Artie's comment: if $C$ is a section, then $C.F=1$ for all fibers $F$. If $F$ is singular at $P$ with multiplicity $m$ and $C$ passes through $P$, then the local intersection number $(C.F)_P$ is at least $m$. Then $1\ge m$, contradiction. $\endgroup$
    – inkspot
    Sep 29, 2011 at 19:48

Your Answer

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