Grothendieck existence theorem
ریاضی میں، گروتھینڈیک وجود تھیوریم، جو گروتھینڈیک کے ذریعہ متعارف کرایا گیا ہے، ایسے حالات فراہم کرتا ہے جو کسی اسکیم کی لامحدود شکلوں کو کسی اخترتی کی طرف لے جانے کے قابل بناتا ہے، اور اسکیم S کے ذیلی موضوع پر لامحدود محلوں پر اسکیموں کو S سے زیادہ اسکیموں پر اٹھانے کے قابل بناتا ہے۔ اس تھیوریم کو (گروتھینڈیک کے) رسمی GAGA کی مثال کے طور پر دیکھا جا سکتا ہے۔ چو کے لیما حوالہ جات بھی دیکھیں۔ ۔ ۔ رسمی جی اے جی اے بیرونی ربط الجبرائی جیومیٹری میں رسمی جی اے جی اے نظریات کو جوڑتا ہے