# Category:Theorems in algebraic geometry

Here is a list of articles in the category **Theorems in algebraic geometry** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in algebraic geometry"

The following 96 pages are in this category, out of 96 total.

### A

- Abhyankar's lemma
*(computing)* - Abhyankar–Moh theorem
*(computing)* - Addition theorem
*(computing)* - AF+BG theorem
*(computing)* - Appell–Humbert theorem
*(computing)* - Atiyah–Bott formula
*(computing)*

### B

- Base change theorems
*(computing)* - Beauville–Laszlo theorem
*(computing)* - Behrend's trace formula
*(computing)* - Belyi's theorem
*(computing)* - Bézout's theorem
*(computing)* - Birkhoff–Grothendieck theorem
*(computing)* - Borel fixed-point theorem
*(computing)* - Borel's theorem
*(computing)*

### C

- Cartan's theorems A and B
*(computing)* - Cayley–Bacharach theorem
*(computing)* - Chasles' theorem (geometry)
*(computing)* - Chasles–Cayley–Brill formula
*(computing)* - Chevalley's structure theorem
*(computing)* - Chevalley–Iwahori–Nagata theorem
*(computing)* - Chow's lemma
*(computing)* - Chow's moving lemma
*(computing)* - Clifford's theorem on special divisors
*(computing)*

### D

- De Franchis theorem
*(computing)*

### E

- ELSV formula
*(computing)* - Enriques–Babbage theorem
*(computing)*

### F

- Faltings's theorem
*(computing)* - Fulton–Hansen connectedness theorem
*(computing)*

### G

- Gabriel–Rosenberg reconstruction theorem
*(computing)* - Gram's theorem
*(computing)* - Grauert–Riemenschneider vanishing theorem
*(computing)* - Grothendieck existence theorem
*(computing)* - Grothendieck trace formula
*(computing)* - Grothendieck's connectedness theorem
*(computing)* - Grothendieck–Riemann–Roch theorem
*(computing)* - Gudkov's conjecture
*(computing)*

### H

- Harnack's curve theorem
*(computing)* - Hilbert's Nullstellensatz
*(computing)* - Hirzebruch–Riemann–Roch theorem
*(computing)* - Hodge index theorem
*(computing)* - Holomorphic Lefschetz fixed-point formula
*(computing)* - Honda–Tate theorem
*(computing)* - Hurwitz's automorphisms theorem
*(computing)*

### K

- Kawamata–Viehweg vanishing theorem
*(computing)* - Kawasaki's Riemann–Roch formula
*(computing)* - Keel–Mori theorem
*(computing)* - Kempf vanishing theorem
*(computing)* - Kempf–Ness theorem
*(computing)* - Kodaira embedding theorem
*(computing)* - Kodaira vanishing theorem
*(computing)* - Krivine–Stengle Positivstellensatz
*(computing)*

### L

- Lang's theorem
*(computing)* - Lange's conjecture
*(computing)* - Lefschetz hyperplane theorem
*(computing)* - Lefschetz theorem on (1,1)-classes
*(computing)* - Leray's theorem
*(computing)* - Luna's slice theorem
*(computing)* - Lüroth's theorem
*(computing)*

### M

- Mnëv's universality theorem
*(computing)* - Modularity theorem
*(computing)* - Mumford vanishing theorem
*(computing)*

### N

- Nagata's compactification theorem
*(computing)* - Nakano vanishing theorem
*(computing)* - Néron–Ogg–Shafarevich criterion
*(computing)* - Noether's theorem on rationality for surfaces
*(computing)*

### P

- Poincaré duality
*(computing)* - Popescu's theorem
*(computing)* - Porteous formula
*(computing)* - Positivstellensatz
*(computing)* - Projection formula
*(computing)*

### R

- Ramanujam vanishing theorem
*(computing)* - Ramanujam–Samuel theorem
*(computing)* - Raynaud's isogeny theorem
*(computing)* - Regular embedding
*(computing)* - Reider's theorem
*(computing)* - Reiss relation
*(computing)* - Ribet's theorem
*(computing)* - Riemann–Roch theorem
*(computing)* - Riemann–Roch theorem for surfaces
*(computing)*

### S

- Schlessinger's theorem
*(computing)* - Serre's theorem on affineness
*(computing)* - Serre–Tate theorem
*(computing)* - Stengle's Positivstellensatz
*(computing)* - Sumihiro's theorem
*(computing)*

### T

- Tarski–Seidenberg theorem
*(computing)* - Tate's isogeny theorem
*(computing)* - Theorem of Bertini
*(computing)* - Theorem on formal functions
*(computing)* - Torelli theorem
*(computing)* - Torsion conjecture
*(computing)* - Tsen's theorem
*(computing)*

### V

- Veblen–Young theorem
*(computing)*

### W

- Weber's theorem
*(computing)* - Weil reciprocity law
*(computing)*

### Z

- Zariski's connectedness theorem
*(computing)* - Zariski's main theorem
*(computing)*