Knowledge

Quasi-projective variety

Source 📝

136:
subsets of projective space that are not affine, so that quasi-projective is more general than affine. Taking the complement of a single point in projective space of dimension at least 2 gives a non-affine quasi-projective variety. This is also an example of a quasi-projective variety that is neither
198: 126: 227: 247: 94: 272:: every point of a quasi-projective variety has a neighborhood which is an affine variety. This yields a basis of affine sets for the 249:
is not closed since any polynomial zero on the complement must be zero on the affine line. For another example, the complement of any
57: 367: 145:
Since quasi-projective varieties generalize both affine and projective varieties, they are sometimes referred to simply as
156: 351: 253:
in projective space of dimension 2 is affine. Varieties isomorphic to open subsets of affine varieties are called
97: 322: 312: 387: 317: 285: 153:; similarly for projective varieties. For example, the complement of a point in the affine line, i.e., 102: 149:. Varieties isomorphic to affine algebraic varieties as quasi-projective varieties are called 29: 345: 45: 203: 8: 232: 79: 33: 25: 363: 291: 355: 341: 273: 73: 41: 37: 269: 150: 133: 129: 359: 381: 250: 128:
and the affine space embedded in the projective space, this implies that any
69: 17: 53: 265: 235: 206: 159: 105: 82: 288:, often synonymous with "quasi-projective variety". 63: 241: 221: 200:, is isomorphic to the zero set of the polynomial 192: 120: 88: 193:{\displaystyle X=\mathbb {A} ^{1}\setminus \{0\}} 379: 294:, a generalization of a quasi-projective variety 187: 181: 340: 96:can be expressed as an intersection of the 168: 44:subset. A similar definition is used in 380: 229:in the affine plane. As an affine set 76:, and since any closed affine subset 36:, i.e., the intersection inside some 13: 14: 399: 178: 64:Relationship to affine varieties 276:on a quasi-projective variety. 260:Quasi-projective varieties are 305: 132:is quasiprojective. There are 112: 72:is a Zariski-open subset of a 1: 333: 298: 7: 318:Encyclopedia of Mathematics 279: 140: 10: 404: 347:Basic Algebraic Geometry 1 286:Abstract algebraic variety 121:{\displaystyle {\bar {U}}} 360:10.1007/978-3-642-37956-7 313:"Quasi-projective scheme" 264:in the same sense that a 40:of a Zariski-open and a 22:quasi-projective variety 137:affine nor projective. 50:quasi-projective scheme 243: 223: 194: 122: 90: 244: 224: 195: 123: 98:projective completion 91: 30:locally closed subset 342:Shafarevich, Igor R. 233: 222:{\displaystyle xy-1} 204: 157: 103: 80: 52:is a locally closed 388:Algebraic varieties 239: 219: 190: 118: 86: 34:projective variety 26:algebraic geometry 369:978-0-387-97716-4 292:divisorial scheme 242:{\displaystyle X} 115: 89:{\displaystyle U} 395: 373: 352:Springer Science 327: 326: 309: 274:Zariski topology 248: 246: 245: 240: 228: 226: 225: 220: 199: 197: 196: 191: 177: 176: 171: 151:affine varieties 127: 125: 124: 119: 117: 116: 108: 95: 93: 92: 87: 74:projective space 58:projective space 38:projective space 403: 402: 398: 397: 396: 394: 393: 392: 378: 377: 376: 370: 336: 331: 330: 311: 310: 306: 301: 282: 234: 231: 230: 205: 202: 201: 172: 167: 166: 158: 155: 154: 143: 107: 106: 104: 101: 100: 81: 78: 77: 66: 12: 11: 5: 401: 391: 390: 375: 374: 368: 337: 335: 332: 329: 328: 303: 302: 300: 297: 296: 295: 289: 281: 278: 262:locally affine 238: 218: 215: 212: 209: 189: 186: 183: 180: 175: 170: 165: 162: 142: 139: 134:locally closed 130:affine variety 114: 111: 85: 65: 62: 42:Zariski-closed 9: 6: 4: 3: 2: 400: 389: 386: 385: 383: 371: 365: 361: 357: 353: 349: 348: 343: 339: 338: 324: 320: 319: 314: 308: 304: 293: 290: 287: 284: 283: 277: 275: 271: 267: 263: 258: 256: 252: 236: 216: 213: 210: 207: 184: 173: 163: 160: 152: 148: 138: 135: 131: 109: 99: 83: 75: 71: 61: 59: 55: 51: 47: 46:scheme theory 43: 39: 35: 31: 27: 23: 19: 346: 316: 307: 261: 259: 255:quasi-affine 254: 146: 144: 70:affine space 67: 49: 21: 15: 268:is locally 18:mathematics 334:References 48:, where a 323:EMS Press 299:Citations 270:Euclidean 214:− 179:∖ 147:varieties 113:¯ 54:subscheme 382:Category 344:(2013). 280:See also 266:manifold 141:Examples 56:of some 325:, 2001 366:  251:conic 32:of a 28:is a 364:ISBN 20:, a 356:doi 68:An 24:in 16:In 384:: 362:. 354:. 350:. 321:, 315:, 257:. 60:. 372:. 358:: 237:X 217:1 211:y 208:x 188:} 185:0 182:{ 174:1 169:A 164:= 161:X 110:U 84:U

Index

mathematics
algebraic geometry
locally closed subset
projective variety
projective space
Zariski-closed
scheme theory
subscheme
projective space
affine space
projective space
projective completion
affine variety
locally closed
affine varieties
conic
manifold
Euclidean
Zariski topology
Abstract algebraic variety
divisorial scheme
"Quasi-projective scheme"
Encyclopedia of Mathematics
EMS Press
Shafarevich, Igor R.
Basic Algebraic Geometry 1
Springer Science
doi
10.1007/978-3-642-37956-7
ISBN

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.