Let $E$ be a rank $r$ complex vector bundle over the complex projective plane, $X=\mathbb{C}\mathbb{P}^2$, $c_1(E)$ and $c_2(E)$ its Chern classes. What is the effect on the Chern classes of tensoring with the twisting sheaf $\mathcal{O}_X(n)$ (i.e. what are $c_i(E(n))$)? Any answers or references would be appreciated.
Effect on Chern classes of tensoring with $\mathcal{O}(n)$
algebraic-geometrycharacteristic-classesreference-requestvector-bundles
Related Solutions
I made a number of relevant comments to this question on tigu's previous question. Here they are again, lightly edited.
No, but this there is a true statement like this. When you describe $V_i$ as the locus where some sections are dependent, there are a lot of subtleties in that description. It is only literally correct if there are "enough" holomorphic sections and if those sections are "generic enough". Otherwise, you have to start talking about keeping tracks of multiplicities and signs.
The details of how you deal with the technicalities will be different depending on whether you are looking at algebraic/holomorphic sections (in this case, your best source is Fulton's "Intersection Theory") or whether you are looking at smooth sections (in this case, Milnor's "Characteristic Classes" has a good reputation, thought I haven't read it). I'll discuss a single example.
Look at $\mathbb{P}^2$ and let $U:= \mathcal{O}(1) \oplus \mathcal{O}(−1)$. The Chern class is $1−h^2$, where $h$ generates $H^2(\mathbb{P}^2, \mathbb{Z})$. The point is that $\mathcal{O}(−1)$ has no nonzero holomorphic sections. So all the holomorphic sections of $U$ are of the form $(0, \sigma)$ for $\sigma$ a section of $\mathcal{O}(1)$. In particular, any two holomorphic sections of $U$ are proportional everywhere on $\mathbb{P}^2$.
If we perturb the above sections so that they are not holomorphic then, I think, there will be are two curves $C$ and $C'$ on which they become dependent. One of these curve should be weighted positively and one negatively, and their degrees cancel in $H^2(\mathbb{P}^2)$. It would be fun to work out an example of this. UPDATE: I worked this out below and, at least for the two sections I tried, I got a single contractible sphere rather than two curves.
Similarly, if you look at one holomorphic section of $U$, it will vanish along an entire line in $\mathbb{P}^2$. If you perturb this section to be smooth, then it will vanish along a codimension $2$ subvariety, with multiplicity $−1$. You might want to read this question for a further understanding of how negative numbers show up as intersection multiplicities. That $-1$ explains that $-h^2$.
The true statement I allude to above should be something like "If $U$ has enough holomorphic sections, and $c_1(U)=0$, then $U$ is trivial." I do not know what the right definition of "enough" is; I would guess "globally generated".
Okay, let's actually work out the examples discussed above. We will describe a point of $\mathbb{P}^2$ using homogenous coordinates $(x:y:z)$. The fiber of $\mathcal{O}(-1)$ over $(x:y:z)$ is the line in $\mathbb{C}^3$ spanned by $(x,y,z)$. The fiber of $\mathcal{O}(1)$ over $(x:y:z)$ is the dual of that, in other words, $\mathrm{Hom}(\mathrm{Span}_{\mathbb{C}} (x,y,z), \mathbb{C})$. It is easy to give global holomorphic sections of $\mathcal{O}(1)$: Just take an element of $\mathrm{Hom}(\mathbb{C}^3, \mathbb{C})$ and restrict it to every fiber of $\mathcal{O}(-1)$. Let $\sigma_1$ be the section obtained by restricting $(x,y,z) \mapsto x$ and let $\sigma_2$ and $\sigma_3$ use the other two coordinate functions.
There are no holomorphic sections of $\mathcal{O}(-1)$, but there are lots of smooth sections. Let $$\tau_1(x:y:z) = \frac{1}{|x|^2+|y|^2+|z|^2} ( x \overline{x}, y \overline{x}, z \overline{x}).$$ Define $\tau_2$ and $\tau_3$ similarly.
It turns out that $\sigma_1 \oplus \tau_1$ is not sufficiently generic is, but $\sigma_1 \oplus \tau_2$, so let's look at that. The section $\sigma_1$ vanishes whenever $x=0$, a line in $\mathbb{P}^2$. The section $\tau_2$ vanishes when $y=0$. However, if you check closely, you'll see that $\tau_2$ is anti-holomorphic, not holomorphic, in a neighborhood of its vanishing locus. So that vanishing should count negatively, and $\tau_2$ vanishes with multiplicity $-1$ on the line $y=0$. The section $(\sigma_1, \tau_2)$ vanishes at the point $(0:0:1)$, where $x=y=0$, and does so with sign $1 \times (-1) = -1$. This shows that $c_2 = -h^2$.
Similarly, let's look at the pair of sections $(\sigma_1, \tau_2)$ and $(\sigma_2, \tau_3)$. Assuming that $x$ and $y$ are nonzero, the ratio $\sigma_1/\sigma_2$ is $x/y$, while the ratio $\tau_3/\tau_2 = \overline{z}/\overline{y}$. So $(\sigma_1, \tau_2)$ and $(\sigma_2, \tau_3)$ are proportional when $x/y = \overline{y}/\overline{z}$, in other words, when $x \overline{z} = |y|^2$. I didn't check carefully, but I believe that $(\sigma_1, \tau_2)$ and $(\sigma_2, \tau_1)$ are linearly dependent precisely when $x \overline{z} = |y|^2$, including in the degenerate cases where these coordinates vanish.
The set $\{ (x:y:z) \in \mathbb{P}^2 : x \overline{z} = |y|^2 \}$ is a sphere. I can parameterize it as $(e^{i \theta} (1+\sin \phi) : \cos \phi : e^{i \theta} (1-\sin \phi))$ where $\theta$ is the longitude coordinate, running through $\mathbb{R}/(2 \pi \mathbb{Z})$, and $\phi$ is the lattitude coordinate, living in $[-\pi/2, \pi/2]$. I claim that this sphere is contractible in $\mathbb{P}^2$. To see this, map $S^2 \times [0,1]$ to $\mathbb{P}^2$ by $(\theta, \phi, t) \mapsto (e^{i \theta} (1+\sin \phi) : (1-t) \cos \phi : e^{i \theta} (1-\sin \phi))$. At one end of the homotopy, we have the previously described embedding. At the other end, we have the line segment $\{ (1+r:0:1-r) : r \in [-1, 1] \}$. This line segment is obviously contractible.
So the space where $(\sigma_1, \tau_2)$ and $(\sigma_2, \tau_3)$ are dependent has homology class $0$, showing that $c_1=0$.
I'm not really $100\%$ sure my solution is correct, also, there remains an indeterminacy in the end result: I don't quite identify the class you are looking for in $P^1\Bbb H\simeq \Bbb S^4$, only up to sign.
Let $Q$ be the projectivisation of $p:V\rightarrow P^1\Bbb H$. As you note, $Q$ is isomorphic to $P^3\Bbb C$. To be precise, we consider $\Bbb C\subset \Bbb H$ through $1,i\mapsto 1,i$ respectively. Thanks to the standard left $\Bbb H$-vector space structure on $\Bbb H^2$, $\Bbb H^2$ can be seen as a complex vector space isomorphic $\Bbb C^4$. Now by definition of $Q$ we get a homeomorphism $$\begin{array}{rcl}Q=\coprod_{S\subset\Bbb H^2}P(S)&\longleftrightarrow &P^3\Bbb C\\ l&\mapsto&l\\l\in P(\Bbb H\cdot l)&\gets&l\end{array}$$ The direct sum is taken over all quaternionic (left) lines $S$, and for every such line $S$, $P(S)$ is the complex projective space on $S$.
The pullback bundle of $V$ over $Q$ splits into two complex line bundles $L\oplus L'$ ver $Q$, with the fiber of $L$ over $l$ being $l$ itself, so that (modulo the above isomorphism), $$L\text{ is isomorphic to the tautological line bundle over }P^3\Bbb C$$
@Matt E gave a convincing argument for the vanishing of the first Chern class of $V$. Computing the total Chern class of the pullback bundle gives $$\pi^*(1+c_2(V))=c(L\oplus L')=c(L)c(L')=1+c_1(L)+c_1(L')+c_1(L)c_1(L')$$ The class $c_1(L)+c_1(L')$ vanishes, and it follows (I believe) that $L'\simeq L^*$, since both are line bundles, and thus completely caracterized by their first Chern class. If $c$ is the standard degree $2$ generator of $H^3(Q)=H^2(P^3(\Bbb C))$ (i.e. the first Chern class of the tautological line bundle over $P^3(\Bbb C)$), then $$\pi^*(c_2(V))=-c^2.$$
It remains to understand $\pi$. The canonical map $Q\to P^1\Bbb H$ is a fibration. Actually, it is obtained from the Hopf fibration $\Bbb S^3\hookrightarrow\Bbb S^7\hookrightarrow\Bbb S^4$ by quotienting out the action of $\Bbb S^1$). $$\begin{array}{rc}\Bbb S^2\simeq P^1\Bbb C\hookrightarrow & P^3(\Bbb C)\\&\downarrow\\ &\Bbb S^4\end{array}$$ The associated spectral sequence collapses at rank $2$ because of how the nonzero nodes are placed, and this tells us that the cohomology of $\Bbb S^4$ in degree $4$ is isomorphic to that of $P^3\Bbb C$ in degree $4$ through $\pi^*$. Since $\pi^*(c_2(V))=-c^2$ is a generator in degree $4$, we necessarily have $c_2(V)=$ one of the two generators of $H^4(\Bbb S^4)$ . I don't know which one this is.
Best Answer
Are you familiar with the Chern character? Its definition and basic properties are outlined here https://stacks.math.columbia.edu/tag/02UM.
Since we are on $\mathbb P^2$, I will write $c_1(E) = c_1H$ and $c_2(E) = c_2H^2$, where $c_1,c_2 \in \mathbb Z$ and $H$ is the hyperplane class. Now the Chern character of a rank $r$ bundle on $\mathbb P^2$ is $$ r + c_1H + \frac{(c_1H)^2 - 2c_2H^2}{2} = r + c_1H + \frac{c_1^2 - 2c_2}{2}H^2. $$
The reason we use the Chern character is because of nice formal properties like $ch(E\otimes F) = ch(E)ch(F)$. We have $ch(\mathcal O(n)) = 1 + nH$, so multiplying out (and using $H^3 = 0$) we get $$ ch(E(n)) = r + (c_1 + rn)H + \frac{c_1^2 + 2nc_1 - 2c_2}{2}H^2. $$
Now, writing $d_iH^i = c_i(E(n))$, we can immediately read off $d_1 = c_1 + rn$ (by comparing to the formula for $ch$ of an arbitrary bundle). Plugging this into the relation obtained from setting $d_1^2 - 2d_2$ equal to the coefficient of $H^2$, we get a relation for $d_2$ which, if my scribbled algebra is correct, can be solved to yield $$ d_2 = c_2 + (r-1)nc_1 + \frac{r^2n^2}{2}. $$