Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm trying to understand some aspects of Oguiso's example of a Calabi-Yau threefold of Picard number 2, described in the paper "Automorphism groups of Calabi-Yau manifolds of Picard number two".

Take $X \subset \mathbb P^3 \times \mathbb P^3$ to be the intersection of general hypersurfaces of bidegree $(1,1)$, $(1,1)$, and $(2,2)$. The claim is that the projections $p_i : X \to \mathbb P^3$ have degree $2$ (clear enough), and contract "$(2(2+1)+2)^3 = 8^3$" rational curves. I'm not sure how to arrive at this count. Where does this number come from, and what can be said about the points of $\mathbb P^3$ over which there are positive-dimensional fibers?

share|improve this question
1  
If you look at a fiber of the projection, an intersection of two hyperplanes and a quadric, a rational curve can show up for two reasons. Either the two hyperplanes are the same and the quadric intersects with them to produce two degree $2$ planar curves, or they are different and the line where they intersect lies on the quadric. The first one should happen $4$ times - two different $(1,1)$ hypersurfaces are related by an element of $PGL_3$, and the hyperplanes are the same at the eigenvectors. –  Will Sawin Jan 15 '13 at 4:21
    
The second one you could perhaps view as an intersection theory calculation on $\mathbb P^3 \times Gr_2^2$. This feels like it's not going to come out to $2^9$, though, which would mean that I'm missing something. –  Will Sawin Jan 15 '13 at 4:22
    
@Will: "... which would mean that I'm missing something." I do not think so. I think that the computation is Oguiso's article is probably a mistake. –  Jason Starr Jan 15 '13 at 19:01

2 Answers 2

up vote 4 down vote accepted

I set up the enumerative computation in a manner similar to Serge Lvovski, but I also get a different answer than the one in Oguiso's paper. Serge Lvovski's answer gives $4\times 4\times 6=96$ rather than $8^3$. My answer gives $120$, rather than $8^3$. The discrepancy may be due to the same issue as in my previous comment.

Let $A$ and $B$ be the two global sections of $\mathcal{O}(1,1)$ and let $C$ be the global section of $\mathcal{O}(2,2)$. Push forward by projection to the second $\mathbb{P}^3$ factor, i.e., consider $A$ and $B$ as global sections of the rank $4$ vector bundle $V:=H^0(\mathbb{P}^3,\mathcal{O}(1))\otimes_{\mathbb{C}} \mathcal{O}(1)$. These two sections give a coherent subsheaf $S \cong \mathcal{O}\oplus \mathcal{O}$ of $V$. The issue in my comment above is that the cokernel $V/S$ fails to be locally free at $4$ points of $\mathbb{P}^3$.

What is the image $I$ of the map $S\otimes_{\mathcal{O}} V \to \text{Sym}^2 V$, or equivalently, what is the kernel $K$? Of course the image of $\bigwedge^2 S$ inside $S\otimes_{\mathcal{O}} S \subset S\otimes_{\mathcal{O}}V$ is in the kernel $K$. I claim this is the entire kernel. Since the kernel is a torsion-free subsheaf of a locally free sheaf, it can be computed at the generic point of $\mathbb{P}^3$, where the claim is basic linear algebra (in fact the same linear algebra works on the open subset that is the complement of the $4$ points where $V/S$ is not locally free). So the image $I$ is a locally free sheaf of rank $7$, and it is a coherent subsheaf of $\text{Sym}^2V$. As above, the cokernel $\text{Sym}^2 V/I$ fails to be locally free at the $4$ bad points.

Now form the direct sum of $I$ with the rank $1$ subbundle $T\cong \mathcal{O}$ of $\text{Sym}^2V$ generated by the global section $C$. Inclusion of each summand into $\text{Sym}^2 V$ gives a map of locally free sheaves, $$I\oplus T \to \text{Sym}^2 V$$ The rank of the domain is $7+1=8$ and the rank of the target is $10$. By Thom-Porteous, the expected codimension of the degeneracy locus is $(10-7)(8-7) = 3$, i.e., we expect finitely many points of $\mathbb{P}^3$ where the linear subsystem of $H^0(\mathbb{P}^3,O(2))$ generated by $A$, $B$ and $C$ is not codimension $2$. Moreover, Thom-Porteous predicts the total length of this degeneracy locus is the degree three coefficient of the power series $c_t(\text{Sym}^2 S)/c_t(I\oplus T)$.

Of course $\text{Sym}^2 V$ is just $\mathcal{O}(2)^{\oplus 10}$, which has total Chern class $$ c_t(\mathcal{O}(2)^{\oplus 10}) = c_t(\mathcal{O}(2))^{10} = (1+2H)^{10} = 1 + 20H + 180H^2 + 960 H^3,$$ where $H$ is $c_1(\mathcal{O}(1))$ on $\mathbb{P}^3$. Similarly, $c_t(I\oplus T) = c_t(I)c_t(T) = c_t(I)\cdot 1$, since $T\cong \mathcal{O}$. Since also $K \cong \mathcal{O}$, $c_t(I)$ equals $c_t(S\otimes V)$, which is just $$c_t(I\oplus T) = (1+H)^8 = 1 + 8H + 28H^2 + 56 H^3.$$ Thus the power series we need is $$ c_t(\text{Sym}^2 V)/c_t(I\oplus T) = 1 + 12H + 56H^2 + 120H^3.$$ This is how I derive the number 120.

Of course we already know our $4$ bad points will be in the degeneracy locus, and they should probably have multiplicity $>1$ since the linear subsystem has codimension $5$ at each of these $4$ points. So there should be at most 116 points (and almost certainly fewer) where the fiber is a line. It is difficult for me to reconcile this with $8^3$.

$\textbf{Edit}$. I just computed the length at each of the $4$ bad points is $10$: the scheme structure of the degeneracy locus at each bad point is cut out by precisely the third power of the maximal ideal of the point. So the total contribution of the $4$ bad points to the total length is $4\times 10 = 40$. Thus I am getting that there are $4$ fibers that are smooth plane conics, and also $80$ positive-dimensional fibers that are lines. I do not understand how Oguiso computes $8^3$ positive-dimensional fibers.

$\textbf{Second Edit}$. I think I've reconstructed Oguiso's way of getting $8^3$. The computation does have a mistake, but the method is a reasonable one. Choose homogeneous coordinates $X_0$, $X_1$, $X_2$, $X_3$ on the first factor $\mathbb{P}^3$. Then we can write $A$, $B$ and $C$ as $$ A = A_0X_0 + A_1X_1 + A_2X_2 + A_3X_3,$$ $$ B = B_0X_0 + B_1X_1 + B_2X_2 + B_3X_3,$$ $$ C = \sum_{0\leq i \leq j \leq 3} C_{i,j}X_iX_j, $$ where the $A_i$ and $B_j$ are global sections of $\mathcal{O}(1)$, and the $C_{i,j}$ are global sections of $\mathcal{O}(2)$. Now we can use $A$ to "eliminate" $A_3X_3$. Similarly, using $A_3B-B_3A$, we can use this to "eliminate" $(A_3B_2-A_2B_3)X_2$. Thus, if we multiply $C$ by $A_3^2(A_3B_2-A_2B_3)^2$, then every instance of $X_3$ occurs as $A_3X_3$, and every instance of $X_2$ occurs as $(A_3B_2-A_2B_3)X_2$. Thus, modulo the homogeneous ideal generated by $A$ and $A_3B-B_3A$, we have $$ A_3^2(A_3B_2-A_2B_3)^2C \equiv F_{0,0}X_0^2 + F_{0,1}X_0X_1 + F_{1,1}X_1^2, $$ where now $F_{i,j}$ is a linear combination of the coefficients $A_3^2(A_3B_2-A_1B_3)^2C_{i,j}$. Of course each of these coefficients is a global section of $\mathcal{O}(8)$. Wherever $F_{0,0}$, $F_{0,1}$ and $F_{1,1}$ are all zero, the expression above is in the homogeneous ideal generated by $A$ and $B$, thus the common zero locus of $A$, $B$ and this expression has dimension $\geq 1$ in the fiber $\mathbb{P}^3$. If the common zero locus of $F_{0,0}$, $F_{0,1}$ and $F_{1,1}$ were finite, it would have length $8^3$ by Bezout. Of course this common zero locus is not finite; the expression is zero on the hyperplane where $A_3$ equals $0$.

share|improve this answer
    
This is great, thank you very much. My interest in this example aside, it's always helpful to see in detail how this sort of computation goes, especially with the extra complications. –  Mark Jan 15 '13 at 22:26

The variety $X$ is projectivization of the vector bundle $\mathcal O_{\mathbb P^3}(1)^4$; hypersurfaces of bidegree $(1,1)$ correspond to sections of $\mathcal O_{X|\mathbb P^3}(1)$, and hypersurfaces of bidegree $(2,2)$ correspond to the sections of $\mathcal O_{X|\mathbb P^3}(2)$. If we denote by $Y$ the intersection of $X$ with two generic hypersurfaces of bidegree $(1,1)$, then $Y=\mathbb P_{\mathbb P^3}(\mathcal E)$, where $E$ is the bundle of rank $2$ in the exact sequence $$ 0\to \mathcal O_{\mathbb P^3}^2\to \mathcal O_{\mathbb P^3}(1)^4 \to \mathcal E\to 0 $$ (the arrow on the left corresponds to the two $(1,1)$-hypersurfaces in question).

Now the intersection of $Y$ with a generic $(2,2)$-hypersurface is the zero locus of a section of $\mathcal O_{Y|\mathbb P^3}(2)$; it intersects the generic fiber at two points (counting with multiplicities), and there is a finite number of fibers that are entirely contained in this zero locus: these are exactly the contracted curves. Now these exceptional fibers are over the points of $\mathbb P^3$ where the section of $\mathrm{Sym}^2\mathcal E$ corresponding to the section of $\mathcal O_{Y|\mathbb P^3}(2)$, vanishes. The number of such points equals $c_3(\mathrm{Sym} ^2\mathcal E)=4c_1(\mathcal E)c_2(\mathcal E)$.

share|improve this answer
    
Unfortunately there is a small issue with the above. The cokernel $\mathcal{E}$ is not locally free of rank $2$ everywhere; just consider what that would imply for the third Chern class of $\mathcal{O}_{\mathbb{P}^3}(1)^{\oplus 4}$ by the Whitney sum formula. For a generic choice of $2$ global sections of $\mathcal{O}(1)^{\oplus 4}$, the cokernel will be locally free of rank $2$ on the open complement of $4$ isolated points in $\mathbb{P}^3$. –  Jason Starr Jan 15 '13 at 13:35
    
@Jason Oops! How sutpid of me. –  Serge Lvovski Jan 17 '13 at 7:36

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.