3
$\begingroup$

First, i want to know what is $\mathcal O(-1)$ bundle is. (Definition or geometric interpretation, and so on)

Second I want understand how the following is constructed.

Consider a $\phi$ as a coordinates on a copy of $Z= C^N$

Then, I know \begin{align} |\phi_1|^2 + |\phi_2|^2 + \cdots |\phi_N|^2 = r \end{align} which describe $S^{2N-1}$.

Implementing $U(1)$ condition the space of solution is described by

\begin{align} CP^N = S^{2N+1}/U(1) \end{align} Now consider slightly different case \begin{align} |\phi_1|^2 + |\phi_2|^2 - |\phi_3|^2 - |\phi_4|^2 =r \end{align} this gives $\mathcal O(-1) \oplus \mathcal O(-1)$ over $CP^1$. I want to know what this means and how to obtain.

$\endgroup$
6
  • 3
    $\begingroup$ $\mathcal O(-1)$ is the invertible sheaf on $\mathbb P^n$ corresponding to the "tautological bundle" $\{(L, x) \in \mathbb P^n \times \mathbb A^{n+1}:x\in L\}$. $\endgroup$
    – Hoot
    Oct 28, 2015 at 4:05
  • 1
    $\begingroup$ @Hoot, i understand a $\mathcal O(-1)$ as a dual of line bundle. (But still don't know the physical or geometrical interpretation...) Can you explain why $\mathcal O(-1)$ appears in the second question that i wrote? $\endgroup$
    – phy_math
    Oct 28, 2015 at 9:12
  • $\begingroup$ Cross-posted to Physics. $\endgroup$
    – HDE 226868
    Oct 28, 2015 at 21:15
  • $\begingroup$ I think the definition is pretty geometric already: from the very start each point in $\mathbb{P}^n$ corresponds to a line, and the bundle $\mathcal{O}(-1)$ glues all of these together over $\mathbb P^n$. In the last part of your question, what's the map to $\mathbb P^1$ and what's the group action? $\endgroup$
    – Hoot
    Oct 28, 2015 at 23:32
  • $\begingroup$ @Hoot, here i guess the group action is $U(1)$. $\endgroup$
    – phy_math
    Oct 29, 2015 at 0:10

1 Answer 1

Reset to default
0
$\begingroup$

A invertible sheaf is also defined by its transition function over open subsets. In general, an invertible sheaf $O(n)$ over $\mathbb{P}^n$ is the following:

Over each $U_i=\{[*,*,..,0,*...,*]:\text{ zero in i-th position }\}$ we define $O(n)|_{U_i}=\{\text{polynomial of degree $n$ }\in O_{P^n}(U_i)\}$ and the transition function is compatible with the structure sheaf of $\mathbb{P}^n$. We can check that under this definition $O(-1)$ is isomorphic to the canonical line bundle over $\mathbb{P}^n$.( the definition mentioned by Hoot in the comment)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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