Strong Cohomological rigidity of Bott manifolds

Since b_{j+1,j} = 0, the line bundle \gamma^{\beta_{j+1}} can be regarded as a bundle over B_{j-1}. Then the space B_{j+1} is the fiber product of \mathbb{P}(\mathbb{C} \oplus \gamma^{\beta_j}) \to B_{j-1} and \mathbb{P}(\mathbb{C} \oplus \gamma^{\beta_{j+1}}) \to B_{j-1}. The diffeomorphism is given by switching the two factors of the fiber product.

Ishida [Ishida2012, Theorem 3.1] showed that rank 2 decomposable vector bundles over a Bott manifold are isomorphic if and only if they have the same Chern classes. Since a projective bundle is unchanged under tensoring by a line bundle, we have the following isomorphisms of bundles:

By pulling the bundle B_n(B) \to \mathbb{P}(\mathbb{C} \oplus \gamma^{\beta_j}) back by the above diffeomorphism, we obtain a new bundle B_n(B') \to \mathbb{P}(\mathbb{C} \oplus \gamma^{\beta_j - 2v}). The desired isomorphism g is induced from the bundle isomorphism.

For any z \neq 0, write z = \lambda(2x_i + u) for some nonzero \lambda \in \mathbb{Q}, i>0 and u \in H^2(B_n(A)) with \mathrm{ht}(u)<i. Since \mathrm{ht}(x_i) = i, it follows from Remark 2.1 and the expression (?) that u= -\alpha_i and u^2=0.

By Lemma 3.1, expression (?) and (?), the image of a primitive square zero element under (?) must be of the form \pm x_r or \pm(2x_s - x_r).

Let \ell = \mathrm{lev}(x_j). Let \bar{x}_r and \bar{\alpha}_r denote the image of x_r and \alpha_r under (?). By Lemma 3.1, we have \bar{\alpha}_{j+1} = a_{j+1,j}(\bar{x}_j - \bar{\alpha}_j/2). This implies that \bar{\alpha}_j is even. Since z_j = \bar{x}_j - \bar{\alpha}_j/2 and z_{j+1} = 2\bar{x}_{j+1} - \bar{\alpha}_{j+1}, the first statement follows from Lemma 3.6. The second statement also follows from Lemma 3.6.

We will derive properties that hold regardless of the parity of p and divide the cases later when needed. For each i > k, let

denote the class obtained from \beta_i by truncating the terms in F_{k}(B). Since \phi is k-stable, the image of \alpha_k under \phi is contained in F_{k}(B). Using Lemma 3.3 and the assumption that \ell is the smallest integer satisfying the condition \phi(x_{k+1}) \in F_{\ell}(B), we may write

for some nonzero \epsilon \in \mathbb{Q} and w \in F_{k}(B). If p=0, the proof is complete by applying Lemma 2.3 for j=\ell-1.

We assume p \neq 0 from now on. If follows from (?) and (Proof) that

We can remove all the square terms using the relation y_i^2 = \beta_i y_i. From the expression (Proof) and the condition that w, \phi(\alpha_{k+1}) \in F_k(B), all the three terms in the last expression are zero by Remark 2.1. By setting

the first two terms lead to the relations

and

Since x_{k+1}^2 is contained in the ideal generated by F_{k}(A) in H^\ast(B_n(A)), using the equation (Proof) and the assumption that \phi is k-stable, we see that (2y_{\ell} - \bar{\beta}_{\ell})^2 is contained in the ideal generated by F_{k}(B). By the classification of the square zero elements (Lemma 3.1), we see that

We divide the cases by the parity of p.

Case 1: p is even.

By (Proof) and (Proof), we have

Substituting (Proof) into (Proof), it follows that

where the last equality follows from (Proof) and (Proof). Since \bar{\beta}_{\ell-1} has no y_{\ell-1} term and u \in F_{k}(B), both terms in the last expression vanish. Hence,

By applying Lemma 2.4 for j=\ell and v = py_{\ell-1}/2, we can find a new matrix B' = (b'_{ij}) with b'_{\ell, \ell-1} = 0. This reduces the proof to the case p=0.

Case 2: p is odd.

Substituting (Proof) into (Proof), we get

By the similar reasoning as before, it follows that

and

Since p is odd, the class \bar{\beta}_{\ell-1} is divisible by 2 by (Proof). By taking v:= \bar{\beta}_{\ell-1}/2, we obtain v(\beta_{\ell-1} - v) = 0 from (Proof) and (Proof). By Lemma 2.4, we obtain a new matrix B' = (b'_{ij}) with

The assumption that \ell > k+2 implies that (Proof) is not vacuous. Note that b'_{\ell, \ell - 2} must be zero since (\bar{\beta}'_{\ell})^2 is contained in the ideal generated by F_k(B'). Applying Lemma 2.3 for j= \ell - 2, we obtain a new matrix B'' = (b''_{ij}) satisfying

This reduces the proof to the case p=0 and the proof is complete. Note that we used Lemma 2.3 for j=\ell-2 and \ell-1, and Lemma 2.4 for j=\ell-1, so the ith row for i<\ell-2 is unchanged.

Pick smallest integer \ell such that \phi(x_{k+1}) \in F_{\ell}(B). If \ell = k+1, there is nothing to prove.

For \ell > k+1, by applying Lemma 4.1 repeatedly, we can find B' and g \colon H^\ast(B_n(B)) \to H^\ast(B_n(B')) satisfying

If b'_{k+2,k+1} is even, the proof is complete by Lemma 4.1.

Now assume that b'_{k+2,k+1} is odd. From the choice of k and Lemma 3.3, it follows that \mathrm{lev}(y'_{k+1}) = \mathrm{lev}(y'_{k+2}). By Corollary 3.7, we see that k+1 and k+2 are in the same block for B'.

Next, we apply Lemma 4.1 using

while keeping the (k+1)st row of A unchanged. Then we find A' and f^{-1} \colon H^\ast(B_n(A)) \to H^\ast(B_n(A')) such that

If the image of y'_{k+1} has height k+2, the proof is complete. So we assume the height is k+3. Since k+1 and k+2 are in the same block for B', Lemma 3.5 shows that k+1 and k+3 are in the same block for A'. By Corollary 3.7, the entry a'_{k+3, k+2} must be even. By applying Lemma 4.1 once again, we are done.

The proof is by induction on n. Assume that the statement holds for all Bott towers of height less than n. Let \phi \colon H^\ast(B_n(A)) \to H^\ast(B_n(B)) be a graded ring isomorphism. Take the largest k<n such that \phi is k-stable and let \phi_k denote the restriction of \phi. By applying Theorem 4.2 repeatedly and replacing A, B, \phi with A', B', \phi', we may assume that k=n-2 or k=n-1. Now the proof is complete by Theorem 2.5.