MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
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.

flag

1 Answer

1

It is the image of the map $I \otimes I \to O \otimes O = O$.

link|flag
Thank you very much! I think this definition is equivalent to the above one. – MZWang Nov 22 2010 at 11:20
Certainly it is since the sheafification functor is exact. – Sasha Nov 22 2010 at 11:53

Your Answer

Get an OpenID
or

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