Each book on algebraic geometry write I^2 when it deal with nongsingular varieties, here I is a ideal sheaf. But no one give the definition. I guess it's the sheafification. It's right?
Thanks.
|
0
|
Each book on algebraic geometry write I^2 when it deal with nongsingular varieties, here I is a ideal sheaf. But no one give the definition. I guess it's the sheafification. It's right? Thanks. |
||
|
|
|
1
|
It is the image of the map $I \otimes I \to O \otimes O = O$. |
||