PlanetPhysics/Index of Algebraic Geometry

From testwiki
Jump to navigation Jump to search

This is a contributed entry in progress

Index of Algebraic Geometry

Algebraic Geometry (AG), and [[../NAQAT2/|non-commutative geometry/]]. On the other hand, there are also close ties between [[../CoIntersections/|algebraic]] geometry and number theory.

Outline

Disciplines in algebraic geometry

  1. Birational geometry, Dedekind \htmladdnormallink{domains {http://planetphysics.us/encyclopedia/Bijective.html} and Riemann-Roch [[../Formula/|theorem]]}
  2. Homology and [[../NoncommutativeGeometry4/|cohomology theories]]
  3. Algebraic [[../TrivialGroupoid/|groups]]: [[../BilinearMap/|Lie groups]], [[../Matrix/|matrix]] group schemes,group machines, linear groups, generalizing Lie groups, [[../CategoricalGroupRepresentation/|representation]] theory
  4. Abelian varieties
  5. Arithmetic algebraic geometry
  6. [[../TrivialGroupoid/|duality]] #[[../CategoricalOntology/|category theory applications]] in algebraic geometry
  7. [[../IndexOfCategories/|indexes of category]], [[../TrivialGroupoid/|functors]] and [[../VariableCategory2/|natural transformations]]
  8. Grothendieck's Descent theory
  9. `[[../IsomorphismClass/|Anabelian Geometry]]' #Categorical Galois theory
  10. [[../2Groupoid2/|higher dimensional algebra]] ([[../2Groupoid2/|HDA]])
  11. [[../TriangulationMethodsForQuantizedSpacetimes2/|Quantum Algebraic Topology]] ([[../QuantumOperatorAlgebra5/|QAT]])
  12. Quantum Geometry
  13. [[../Program3/|computer]] algebra [[../SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence/|systems]]; an example is: explicit projective resolutions for finitely-generated [[../RModule/|modules]] over suitable rings

Cohomology

Cohomology is an essential theory in the study of complex [[../NoncommutativeGeometry4/|manifolds]]. [[../LQG2/|computations]] in cohomology studies of complex manifolds in algebraic geometry utilize similar computations to those of cohomology theory in [[../CubicalHigherHomotopyGroupoid/|algebraic topology]]: spectral sequences, excision, the Mayer-Vietoris sequence, etc.

  1. [[../CohomologyTheoryOnCWComplexes/|cohomology groups]] are defined and then cohomology functors associate [[../TrivialGroupoid/|Abelian groups]] to sheaves on a scheme; one may view such Abelian groups them as cohomology with coefficients in a scheme.
  2. Cohomology functors
  3. [[../NaturalIsomorphism/|fundamental cohomology theorems]]
  4. A basic [[../Bijective/|type]] of cohomology for schemes is the sheaf cohomology
  5. Whitehead groups, torsion and towers
  6. xyz

Seminars on Algebraic Geometry and Topos Theory (SGA)

  1. SGA1
  2. SGA2
  3. SGA3
  4. SGA4
  5. SGA5
  6. SGA6
  7. SGA7

Algebraic varieties and the GAGA principle

  1. new1x
  2. new2y
  3. new3z

Number theory applications

Cohomology theory

  1. Cohomology group
  2. Cohomology sequence
  3. DeRham cohomology
  4. new4

Homology theory

  1. [[../ExtendedHurewiczFundamentalTheorem/|homology group]] #Homology sequence
  2. Homology complex
  3. new4

Duality in algebraic topology and category theory

  1. Tanaka-Krein duality
  2. Grothendieck duality
  3. [[../TrivialGroupoid/|categorical duality]] #[[../DualityAndTriality/|tangled duality]] #DA5
  4. DA6
  5. DA7

Category theory applications

  1. [[../AbelianCategory2/|abelian categories]]
  2. [[../CoIntersections/|topological]] [[../Cod/|category]] #[[../QuantumFundamentalGroupoid/|fundamental groupoid functor]] #Categorical Galois theory
  3. [[../ModuleAlgebraic/|non-Abelian algebraic topology]] #Group category
  4. [[../GroupoidCategory3/|groupoid category]] #𝒯op category
  5. [[../GrothendieckTopos/|topos]] and topoi axioms
  6. [[../ManyValuedLogicSubobjectClassifiers/|generalized toposes]] #Categorical logic and algebraic topology
  7. [[../MetaTheorems/|meta-theorems]] #Duality between spaces and algebras

Examples of Categories

The following is a listing of categories relevant to algebraic topology:

  1. Algebraic categories
  2. Topological category
  3. Category of sets, Set
  4. Category of topological spaces
  5. [[../CategoryOfRiemannianManifolds/|category of Riemannian manifolds]] #Category of CW-complexes
  6. Category of Hausdorff spaces
  7. [[../CategoryOfBorelSpaces/|category of Borel spaces]] #Category of CR-complexes
  8. Category of [[../Cod/|graphs]] #Category of [[../SimplicialCWComplex/|spin networks]] #Category of groups
  9. Galois category
  10. Category of [[../HomotopyCategory/|fundamental groups]] #Category of [[../InvariantBorelSet/|Polish groups]]
  11. Groupoid category
  12. [[../GroupoidCategory/|category of groupoids]] (or groupoid category)
  13. [[../CategoryOfBorelGroupoids/|category of Borel groupoids]] #Category of [[../CubicalHigherHomotopyGroupoid/|fundamental groupoids]]
  14. Category of functors (or [[../TrivialGroupoid/|functor category]])
  15. [[../ThinEquivalence/|double groupoid]] category
  16. [[../HorizontalIdentities/|double category]] #[[../CategoryOfHilbertSpaces/|category of Hilbert spaces]] #[[../CategoryOfQuantumAutomata/|category of quantum automata]] #[[../RCategory/|R-category]] #Category of [[../Algebroids/|algebroids]] #Category of [[../GeneralizedSuperalgebras/|double algebroids]]
  17. Category of [[../ContinuousGroupoidHomomorphism/|dynamical systems]]

Index of functors

The following is a contributed listing of functors:

  1. Covariant functors
  2. Contravariant functors
  3. [[../SimilarityAndAnalogousSystemsDynamicAdjointnessAndTopologicalEquivalence/|adjoint functors]]
  4. [[../PreadditiveFunctor/|preadditive functors]]
  5. Additive functor
  6. [[../CategoryOfLogicAlgebras/|representable functors]]
  7. Fundamental groupoid functor
  8. Forgetful functors
  9. Grothendieck group functor
  10. Exact functor
  11. Multi-functor
  12. [[../RightAdjointFunctor/|section functors]]
  13. NT2
  14. NT3

Index of natural transformations

The following is a contributed listing of natural transformations:

  1. [[../IsomorphismClass/|natural equivalence]] #Natural transformations in a [[../2Category/|2-category]] #NT3
  2. NT1

Grothendieck proposals

  1. Esquisse d'un Programme

\item Pursuing Stacks

  1. S2
  2. S3

Descent theory

  1. D1
  2. D2
  3. D3

Higher Dimensional Algebraic Geometry (HDAG)

  1. Categorical groups and [[../Paragroups/|supergroup]] algebras
  2. Double groupoid varieties
  3. Double algebroids
  4. Bi-algebroids
  5. R-algebroid
  6. 2-category
  7. n-category
  8. [[../SuperCategory6/|super-category]] #weak [[../InfinityGroupoid/|n-categories]] of [[../IsomorphismClass/|algebraic varieties]]
  9. Bi-dimensional Algebraic Geometry
  10. Anabelian Geometry
  11. [[../NoncommutativeGeometry/|Noncommutative geometry]]
  12. Higher-homology/cohomology theories
  13. H1
  14. H2
  15. H3
  16. H4

Axioms of cohomology theory

  1. A1
  2. A2
  3. A3

Axioms of homology theory

  1. A1
  1. A2
  2. A3

Quantum algebraic topology (QAT)

(a). Quantum algebraic topology is described as the mathematical and physical study of \htmladdnormallink{general theories {http://planetphysics.us/encyclopedia/GeneralTheory.html} of quantum [[../TrivialGroupoid/|algebraic structures]] from the standpoint of algebraic topology, [[../TrivialGroupoid/|category theory]] and their [[../AbelianCategory3/|non-Abelian]] extensions in higher dimensional algebra and [[../SuperCategory6/|supercategories]]}

  1. [[../Groupoid/|quantum operator algebras]] (such as: involution, *-algebras, or *-algebras, [[../CoordinateSpace/|von Neumann algebras]],

, JB- and JL- algebras, C* - or C*- algebras,

  1. Quantum von Neumann algebra and subfactors; Jone's towers and subfactors
  2. Kac-Moody and K-algebras
  3. categorical groups
  4. [[../QuantumGroup4/|Hopf algebras]], quantum Groups and [[../QuantumGroup4/|quantum group]] algebras
  5. [[../WeakHopfAlgebra/|quantum groupoids]] and weak Hopf C*-algebras
  6. [[../GroupoidCConvolutionAlgebra/|groupoid C*-convolution algebras]] and *-convolution algebroids
  7. [[../NonAbelianQuantumAlgebraicTopology3/|quantum spacetimes]] and [[../QuantumFundamentalGroupoid4/|quantum fundamental groupoids]]
  8. Quantum double Algebras
  9. [[../LQG2/|quantum gravity]], [[../Supersymmetry/|supersymmetries]], [[../AntiCommutationRelations/|supergravity]], [[../NewtonianMechanics/|superalgebras]] and graded `[[../BilinearMap/|Lie' algebras]] #Quantum [[../CategoryOfLogicAlgebras/|categorical algebra]] and higher--dimensional, Failed to parse (unknown function "\L"): {\displaystyle \L{}-M_n} - Toposes
  10. Quantum R-categories, [[../RDiagram/|R-supercategories]] and [[../LongRangeCoupling/|spontaneous symmetry breaking]] #[[../NonAbelianQuantumAlgebraicTopology3/|Non-Abelian Quantum Algebraic Topology]] (NA-QAT): closely related to NAAT and HDA.

Quantum Geometry

  1. [[../QuantumGeometry2/|Quantum Geometry overview]]
  2. Quantum non-commutative geometry

2x

  1. new1x
  2. new2y

13

  1. new1x
  2. new2y

14

Textbooks and bibliograpies

Bibliography on Category theory, AT and QAT

Textbooks and Expositions:

  1. A Textbook1
  2. A Textbook2
  3. A Textbook3
  4. A Textbook4
  5. A Textbook5
  6. A Textbook6
  7. A Textbook7
  8. A Textbook8
  9. A Textbook9
  10. A Textbook10
  11. A Textbook11
  12. A Textbook12
  13. A Textbook13
  14. new1x

All Sources

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]

References

  1. ↑ Alexander Grothendieck and J. Dieudonn\'{e}.: 1960, El\'{e}ments de geometrie alg\'{e}brique., Publ. Inst. des Hautes Etudes de Science , 4 .
  2. ↑ Alexander Grothendieck. S\'eminaires en G\'eometrie Alg\`ebrique- 4 , Tome 1, Expos\'e 1 (or the Appendix to Expos\'ee 1, by `N. Bourbaki' for more detail and a large number of results. AG4 is freely available in French; also available here is an extensive Abstract in English.
  3. ↑ Alexander Grothendieck. 1962. S\'eminaires en G\'eom\'etrie Alg\'ebrique du Bois-Marie, Vol. 2 - Cohomologie Locale des Faisceaux Coh\`erents et Th\'eor\`emes de Lefschetz Locaux et Globaux. , pp.287. (with an additional contributed expos\'e by Mme. Michele Raynaud)., Typewritten manuscript available in French; see also a brief summary in English . Available for free downloads at on the web.
  4. ↑ Alexander Grothendieck, 1984. "Esquisse d'un Programme", (1984 manuscript), finally published in "Geometric Galois Actions" , L. Schneps, P. Lochak, eds., London Math. Soc. Lecture Notes {\mathbf 242}, Cambridge University Press, 1997, pp.5-48; English transl., ibid., pp. 243-283. MR 99c:14034 .
  5. ↑ Qing Liu.2002. Algebraic Geometry and Arithmetic Curves , Oxford Graduate Texts in Mathematics 6, 2002. 300 pages on schemes followed by geometry and arithmetic surfaces. (Serre duality is approached via Grothendieck duality).
  6. ↑ Igor Shafarevich, Basic Algebraic Geometry Vols. 1 and 2; Vol.2: Schemes and Complex Manifolds ., Second Revised and Expanded Edition. Springer-Verlag; scheme theory, varieties as schemes, varieties and schemes over the complex numbers, and complex manifolds.
  7. ↑ James Milne, Elliptic Curves , online course notes. Available at his website.
  8. ↑ Joseph H. Silverman, The Arithmetic of Elliptic Curves . Springer-Verlag, New York, 1986.
  9. ↑ Joseph H. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves . Springer-Verlag, New York, 1994.
  10. ↑ Goro Shimura, Introduction to the Arithmetic Theory of Automorphic Functions . Princeton University Press, Princeton, New Jersey, 1971.
  11. ↑ David Mumford, Abelian Varieties , Oxford University Press, London, 1970. This book is a canonical reference on the subject. "It is written in the language of modern algebraic geometry, and provides a thorough grounding in the theory of abelian varieties."

Template:CourseCat

Retrieved from "https://en.wikiversity.beta.math.wmflabs.org/w/index.php?title=PlanetPhysics/Index_of_Algebraic_Geometry&oldid=1854"