Discriminant of a singular conic bundle

Question

In the context of the Minimal Model Program it can arise that we need to deal with contractions of extremal rays that are conic bundles $\pi:X\to Y$ with relative Picard number 1 (with possibly degenerate fibers). So we can consider the discriminant of $\pi$:

$$\Delta=\{y\in Y\;|\;\pi^{-1}(y)\;\text{is not a smooth conic} \}. $$

As far as I read this discriminant is only used in the case that $X$ and $Y$ are smooth projective varieties, in which case it is proved that $\Delta$ is an effective divisor (A. Beauville, "Variété de Prym et Jacobiennes Intermédiaires", for instance).

So I think that it is a natural to ask, what can we say about $\Delta$ in the singular case ?

By singular I mean when $X$ and $Y$ are normal projective varieties (let's say $\mathbb{Q}$-factorial) with the singularities arising from the MMP. Maybe we can say something in the case of terminal singularities by using that the singular locus is of codimension at least 3?

I found some articles dealing with this kind of conic bundles:

• S. Cutkosky, "Elementary contractions of Gorenstein threefolds".
• S. Mori and Y. Prokhorov, "On $\mathbb{Q}$-conic bundles".
• G. Della Noce, "On the Picard number of singular Fano varities".

But it seems to me that they don't use the discriminant in their analysis (at least not explicitely).

I was reading the proof of Beauville (page 321 in his paper) to the fact that $\Delta$ is a divisor, but he uses the fact that $X$ is smooth and the flatness of $\pi$.

Thanks a lot in advance for you help and comments.

Answer 1

The OP clarified that there should be no flatness hypothesis in this question. Without any flatness hypothesis, certainly there are examples where $\Delta$ is not a divisor. (There may be flat examples as well.) First of all, for a coherent sheaf $\mathcal{F}$ on $Y$ that is reflexive of rank $2$, yet not locally free, then for the relative Proj of the symmetric algebra of $\mathcal{F}$ over $Y$, $\Delta$ equals the non-locally free locus of $\mathcal{F}$, which has codimension $2$.

For instance, let $Y$ be $\mathbb{P}^3$ with one point specified $q$. Projection away from $q$ defines a morphism $\mathbb{P}^3\setminus\{q\} \to \mathbb{P}^2$. The pullback of the tangent sheaf of $\mathbb{P}^2$ extends (uniquely) to a coherent sheaf $\mathcal{F}$ that is reflexive of generic rank $2$, yet whose rank at $q$ equals $3$. Then $X=\text{Proj}_Y \text{Sym}^\bullet_{\mathcal{O}_Y} \mathcal{F}$ is a normal, local complete intersection scheme that is factorial. The projection $\pi$ is projective and surjective, the generic fiber is isomorphic to $\mathbb{P}^1$, yet the fiber over $\{q\}$ is isomorphic to $\mathbb{P}^2$. Thus $\Delta$ equals $\{q\}$, which has codimension $3$ in $Y$.

There are also examples where $\pi$ is equidimensional. For each integer $n>0$ and for each integer $e>0$, denote by $\overline{M}_{0,0}(\mathbb{P}^n,e[\text{line}])$, the coarse moduli space of genus $0$ (unpointed) stable maps to $\mathbb{P}^n$ with curve class $e[\text{line}]$. Denote by $Y$ the dense open subset that is the complement of the boundary divisor. For good measure, also remove the closed subset where the stable map has any nontrivial automorphisms, i.e., remove the "stacky locus". Denote by $$\rho:C\to Y$$ the (restriction to $Y$ of the) universal curve, and denote by $$h:C\to \mathbb{P}^n$$ the (restriction to $Y$ of the) universal stable map. Together these define a projective, finite morphism $$(\rho,h): C \to Y \times \mathbb{P}^n.$$ Define $X$ to be the closed image. Define $\pi$ to be the natural projection. If $n>2$ and $e>2$, then $\Delta$ is a nonempty subset of codimension $>1$.