SolFinder Research · YouTube · 3:48
This video segment provides an introductory overview of Algebraic Geometry and Scheme Theory. It begins by defining algebraic geometry as the study of zeros of multivariate polynomials and introduces algebraic varieties as fundamental objects. The presentation then transitions to Scheme Theory, explaining it as a generalization of varieties that accounts for multiplicities and allows definitions over any commutative ring. Key historical context is provided, noting Alexander Grothendieck's introduction of schemes in 1960 to solve problems like the Weil conjectures. The segment concludes by defining affine schemes as spectra of commutative rings and illustrating how general schemes are constructed by gluing these affine pieces, highlighting the correspondence between geometric spaces and algebraic rings. This video segment introduces foundational concepts in algebraic geometry, specifically focusing on scheme theory and sheaf theory. It begins by illustrating the correspondences between classical geometric objects like affine varieties and specific algebraic structures, and then generalizes these to affine schemes and commutative rings. The presentation defines prime ideals and the spectrum of a ring, which serves as the building block for schemes. Two equivalent definitions of a scheme are provided: one via gluing spectra of commutative rings, and another as a ringed space locally isomorphic to an affine space. The segment then transitions to sheaf theory, defining a sheaf as a tool for tracking local data over a topological space, and includes an animation visualizing this concept. Finally, it connects the two topics by explaining that schemes can be expressed in terms of sheaves of rings, highlighting how scheme theory leverages sheaf theory to study algebraic varieties similarly to its application in differential and analytic manifolds. The video concludes with a list of relevant computational software packages.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The video opens with a title card reading 'Algebraic Geometry : Scheme Theory' by SolFinder Research.
The first content slide defines Algebraic Geometry as the branch of mathematics dealing with the zeros of multivariate polynomials. It notes that the field uses abstract algebraic techniques, primarily from commutative algebra, to solve geometric problems. The fundamental objects of study are identified as algebraic varieties, which are geometric manifestations of solutions to systems of polynomial equations. Examples given include plane curves like lines, circles, parabolas, ellipses, and hyperbolas, as well as cubic curves like elliptic curves and quartic curves like lemniscates and Cassini ovals.
A diagram appears showing 'ALGEBRAIC GEOMETRY' at the center, connected by arrows to surrounding fields: Analytic Number Theory, Scheme Theory, Algebraic Curves and Riemann Surfaces, Sheaf Theory, and Algebraic Number Theory. This visualizes the central role of algebraic geometry and its interconnections with other major areas of mathematics.
The presentation moves to 'Scheme Theory'. It states that this theory creates a strong connection between algebraic geometry and number theory and utilizes methods from homological algebra and topology. A scheme is defined as a mathematical structure that enlarges the notion of an algebraic variety. Two key enhancements are highlighted: first, it takes into account multiplicities, illustrated by the fact that the equations and define the same algebraic variety but different schemes; second, it allows 'varieties' to be defined over any commutative ring, such as the integers in the case of Fermat curves.
Historical context is provided. Schemes were introduced by Alexander Grothendieck in 1960 in his treatise 'Éléments de géométrie algébrique'. The primary objective was to develop the necessary formalism to solve deep problems in algebraic geometry, specifically mentioning the Weil conjectures. The term 'scheme' itself was first used in the 1956 Chevalley Seminar, where Chevalley was pursuing ideas from Zariski.
The slide lists significant contributions of Scheme Theory. It has strengthened classical algebraic geometry by allowing flexible geometric arguments about infinitesimals and limits, which the classic theory could not handle. Concrete problems facilitated by this theory include the proof of the Weil conjectures and Mordell Conjecture, the development of the theory of moduli of curves, the resolution of the Brill–Noether–Petri problems, and the development of higher-dimensional classification theory by Mori and his coworkers.
The construction of schemes is explained. Schemes are made by gluing together open sets of a simple kind called affine schemes. An affine scheme is defined as an object made from a commutative ring, specifically a locally ringed space isomorphic to the spectrum Spec(R) of a commutative ring R. New schemes can be obtained by gluing existing schemes through gluing maps.
The final slide presents a commutative diagram illustrating the generalization from classical to modern theory. The top row shows a correspondence between '{affine varieties}' and '{finitely generated, nilpotent-free rings over an algebraically closed field K}'. Downward arrows indicate a generalization to the bottom row, which shows a correspondence between '{affine schemes}' and '{commutative rings with identity}'. This visually summarizes how scheme theory expands the domain of algebraic geometry by relaxing conditions on both the geometric spaces and the underlying algebraic structures.
The segment opens with a diagram establishing fundamental correspondences in algebraic geometry. It shows a bidirectional relationship between the set of affine varieties and the set of finitely generated, nilpotent-free rings over an algebraically closed field K. Below this, another bidirectional arrow connects the set of affine schemes to the set of commutative rings with identity. Downward arrows link the top row to the bottom row, visually representing how the concept of affine schemes generalizes affine varieties by moving from restricted rings over specific fields to broader commutative rings.
The focus shifts to the algebraic underpinnings of these geometric objects. A slide defines a prime ideal P within a commutative ring R. It specifies two necessary properties: first, if the product of any two elements a and b in R belongs to P, then at least one of the elements a or b must also belong to P; second, the ideal P cannot be the entire ring R. Building on this, the spectrum of a ring R, denoted as Spec R, is defined as the set comprising all such prime ideals of R. In the context of algebraic geometry, this ring spectrum is further characterized as a topological space equipped with a sheaf of rings, denoted by O.
Using the concept of the ring spectrum, the presentation provides two equivalent definitions for a scheme. First, a scheme is described as a topological space together with commutative rings assigned to all of its open sets, which arises from the process of gluing together the spectra of commutative rings along their open subsets. Equivalently, a scheme is defined as a ringed space that is locally a spectrum of a commutative ring, or stated differently, a ringed space that is locally isomorphic to an affine space.
The narrative then introduces sheaf theory, a crucial tool for handling local-to-global problems. A sheaf is defined as a mechanism for systematically tracking data—such as sets, abelian groups, or rings—that are attached to the open sets of a topological space and defined locally with respect to them. An illustrative example is given where, for each open set, the tracked data could be the ring of continuous functions defined on that particular open set. The overarching purpose of sheaf theory is to study the relationships between local and global phenomena, with wide-ranging applications across algebraic geometry, differential geometry, analysis, and logic.
To visualize the abstract definition of a sheaf, an animation plays. It depicts a blue oval representing a global topological space, containing two distinct open subsets shown as a red oval and a green oval. Above each colored subset, a dashed vertical rectangle appears. Sequentially, red dots populate the left rectangle from top to bottom, and green dots populate the right rectangle. This animation concretely illustrates how a sheaf assigns and tracks specific local data (represented by the columns of dots) over different open regions (the red and green ovals) of the underlying space.
The segment concludes by synthesizing the concepts of schemes and sheaves. It states that a scheme can be formally expressed in terms of a sheaf of rings defined on its underlying topological space. This formulation allows scheme theory to utilize the powerful machinery of sheaf theory to study algebraic varieties. The presentation notes that this approach is highly analogous to the way sheaf theory is employed in the study of differential and analytic manifolds, thereby unifying techniques across different branches of geometry.
Finally, a list of computational tools is displayed, providing practical resources for working with these theoretical frameworks. The slide enumerates several software packages designed for Algebraic Geometry and Scheme Theory, including alphaCertified, Bertini, Hom4PS, HomotopyContinuation.jl, Macaulay2 (noted for its core implementation of homotopy tracking and the NumericalAlgebraicGeometry package), MATLAB, and PHCPack.
Algebraic geometry is the branch of mathematics concerned with the zeros of multivariate polynomials. It employs abstract algebraic techniques, mainly from commutative algebra, to address geometric problems related to these sets of zeros.
These are the fundamental objects of study in algebraic geometry, representing the geometric shapes formed by the solutions to systems of polynomial equations. Common examples include lines, circles, parabolas, and elliptic curves.
A scheme is a mathematical structure that generalizes the notion of an algebraic variety. It differs by accounting for multiplicities (e.g., distinguishing from ) and by allowing definitions over any commutative ring, not just algebraically closed fields.
The equations and define the same set of points (the origin) and thus the same algebraic variety. However, in scheme theory, they represent different schemes because carries information about a 'double' point or multiplicity of 2.
Schemes were introduced by Alexander Grothendieck in 1960 in his work 'Éléments de géométrie algébrique'. The goal was to create a robust formalism to solve deep problems like the Weil conjectures. The term 'scheme' originated in the 1956 Chevalley Seminar.
An affine scheme is a locally ringed space that is isomorphic to the spectrum Spec(R) of a commutative ring R. These serve as the basic building blocks for constructing more complex schemes.
General schemes are constructed by gluing together affine schemes. This process is analogous to how manifolds are built from coordinate charts, using gluing maps to ensure compatibility on overlaps.
Classical algebraic geometry links affine varieties to finitely generated, nilpotent-free rings over an algebraically closed field. Scheme theory generalizes this by linking affine schemes to all commutative rings with identity, removing restrictions on the ring and the base field.
The foundational framework of scheme theory establishes precise correspondences between geometric and algebraic objects. Classically, there is a duality between affine varieties and finitely generated, nilpotent-free rings over an algebraically closed field K. Scheme theory generalizes this by introducing affine schemes, which correspond to the broader class of commutative rings with identity. This progression allows geometric intuition to be applied to more general algebraic structures.
A prime ideal P in a commutative ring R is defined by two key properties: if the product of two elements a and b is in P, then at least one of a or b must be in P, and P is not the entire ring R. The spectrum of a ring R, denoted Spec R, is the set of all prime ideals of R. In algebraic geometry, this spectrum is viewed not just as a set, but as a topological space equipped with a sheaf of rings O, forming the basic local building blocks for schemes.
A scheme can be defined in two equivalent ways. First, it is a topological space with commutative rings assigned to its open sets, constructed by gluing together the spectra of commutative rings along their open subsets. Second, a scheme is a ringed space that is locally a spectrum of a commutative ring, meaning it is locally isomorphic to an affine space. These definitions capture the essence of schemes as spaces that look locally like the spectra of rings.
A sheaf is a mathematical tool designed to systematically track local data—such as sets, abelian groups, or rings—attached to the open sets of a topological space. For instance, the data assigned to an open set could be the ring of continuous functions defined on it. Sheaf theory was developed to study the intricate relationships between local and global phenomena and has profound applications in algebraic geometry, differential geometry, analysis, and logic.
The concept of a sheaf tracking local data can be visualized through an animation. Imagine a global topological space represented by a large oval, containing distinct open subsets shown as smaller colored ovals. Above each open subset, a column of dots appears, representing the specific local data (like sections of a sheaf) assigned to that region. This visual metaphor clarifies how a sheaf organizes and relates data defined locally over different parts of a space.
Scheme theory deeply integrates sheaf theory by expressing a scheme in terms of a sheaf of rings on its underlying topological space. This formulation allows mathematicians to use the powerful techniques of sheaf theory to study algebraic varieties. The approach is highly analogous to how sheaf theory is utilized in the study of differential and analytic manifolds, providing a unified perspective across different areas of geometry.
Computational algebraic geometry and scheme theory rely on specialized software packages to perform complex calculations and simulations. Tools such as Macaulay2, Bertini, HomotopyContinuation.jl, and PHCPack are widely used for tasks ranging from symbolic computation of ideals and varieties to numerical algebraic geometry and homotopy tracking. These packages make the abstract theories of schemes and sheaves accessible for practical research and problem-solving.
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
The equation is shown on the slide.
x
A variable in an algebraic equation defining a variety or scheme.
Unspecified; contextually an element of a commutative ring or field.
The equation is shown on the slide.
The square of the variable x, used to illustrate multiplicity in scheme theory.
Unspecified; contextually an element of a commutative ring or field.
The expression Spec(R) is shown on the slide.
R
A commutative ring whose spectrum defines an affine scheme.
The class of commutative rings with identity.
The text 'over an algebraically closed field K' is shown in the diagram.
K
An algebraically closed field over which finitely generated, nilpotent-free rings are defined.
The class of algebraically closed fields.
The letter K appears in the text 'over an algebraically closed field K'.
K
An algebraically closed field.
Field
The letter R appears in the text 'An ideal P of a commutative ring R is prime...' and 'the spectrum of a ring R'.
R
A commutative ring.
Ring
The letter P appears in the text 'An ideal P of a commutative ring R is prime...' and 'their product ab is an element of P'.
P
An ideal of the commutative ring R.
Ideal
The letters a and b appear in the text 'If a and b are two elements of R such that their product ab is an element of P'.
a, b
Two elements of the commutative ring R.
Elements of R
The notation Spec R appears in the text 'is usually denoted by Spec R'.
Spec R
The set of all prime ideals of R.
Set of ideals
The letter O appears in the text 'equipped with the sheaf of rings O.'
O
The sheaf of rings on the topological space.
Sheaf of rings
Slide text: 'Algebraic geometry is a branch of mathematics which deals with zeros of multivariate polynomials.'
Algebraic geometry is defined as the branch of mathematics that studies the zeros of multivariate polynomials, using abstract algebraic techniques from commutative algebra to solve geometric problems about these sets of zeros.
Deals with multivariate polynomials
Uses commutative algebra
Slide text: 'The fundamental objects of study in algebraic geometry are algebraic varieties...'
Algebraic varieties are the fundamental objects of study in algebraic geometry, representing the geometric manifestations of solutions to systems of polynomial equations. Examples include plane curves like lines, circles, and parabolas, as well as cubic and quartic curves.
Solutions to systems of polynomial equations
Slide text: 'A scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways...'
A scheme is a mathematical structure that enlarges the notion of an algebraic variety by taking into account multiplicities (e.g., and define different schemes) and allowing varieties to be defined over any commutative ring, not just algebraically closed fields.
Enlarges the notion of algebraic variety
Accounts for multiplicities
Defined over any commutative ring
Slide text: 'An affine scheme is a locally ringed space isomorphic to the spectrum Spec(R) of a commutative ring R.'
An affine scheme is a locally ringed space that is isomorphic to the spectrum Spec(R) of a commutative ring R. Schemes in general are constructed by gluing together open sets of this simple kind.
Isomorphic to the spectrum of a commutative ring
Locally ringed space
Slide text: 'Schemes are made by gluing together open sets of a simple kind, called affine schemes.'
General schemes are constructed by gluing together affine schemes through gluing maps, analogous to how manifolds are built from coordinate charts.
Requires affine schemes
Uses gluing maps
Text '{ affine varieties } <-> { finitely generated, nilpotent-free rings over an algebraically closed field K }'.
There is a correspondence between the set of affine varieties and the set of finitely generated, nilpotent-free rings over an algebraically closed field K.
The rings must be finitely generated.
The rings must be nilpotent-free.
The base field K must be algebraically closed.
Text '{ affine schemes } <-> { commutative rings with identity }'.
There is a correspondence between the set of affine schemes and the set of commutative rings with identity.
The rings must be commutative.
The rings must have an identity element.
Text 'An ideal P of a commutative ring R is prime if it has the following two properties:'
Text 'If a and b are two elements of R such that their product ab is an element of P, then a is in P or b is in P,'
Text 'P is not the whole ring R.'
An ideal P of a commutative ring R is prime if it satisfies two properties: first, if the product ab of two elements a and b in R is in P, then at least one of a or b must be in P; second, P is not the entire ring R.
R is a commutative ring.
P is an ideal of R.
For all a, b in R, if ab is in P, then a is in P or b is in P.
P is not equal to R.
Text 'In commutative algebra, the spectrum of a ring R is the set of all prime ideals of R, and is usually denoted by Spec R'.
In commutative algebra, the spectrum of a ring R is defined as the set of all prime ideals of R, typically denoted by Spec R.
R is a commutative ring.
Text 'In algebraic geometry, ring spectrum is simultaneously a topological space equipped with the sheaf of rings O.'
In the context of algebraic geometry, the ring spectrum is considered simultaneously as a topological space that is equipped with a sheaf of rings, denoted by O.
The context is algebraic geometry.
Text 'A scheme is a topological space together with commutative rings for all of its open sets, which arises from gluing together spectra (spaces of prime ideals) of commutative rings along their open subsets.'
A scheme is a topological space equipped with commutative rings for all of its open sets. It arises from the process of gluing together the spectra (which are spaces of prime ideals) of commutative rings along their open subsets.
It involves a topological space.
It involves commutative rings assigned to open sets.
It is constructed by gluing spectra of commutative rings.
Text 'Equivalently, a scheme is a ringed space which is locally a spectrum of a commutative ring.'
Text 'In other words, a scheme is a ringed space that is locally isomorphic to an affine space.'
Equivalently, a scheme can be defined as a ringed space that is locally a spectrum of a commutative ring, or in other words, a ringed space that is locally isomorphic to an affine space.
It is a ringed space.
It is locally a spectrum of a commutative ring.
It is locally isomorphic to an affine space.
Slide text: 'The objective was to develop the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures.'
The development of scheme theory by Alexander Grothendieck was motivated by the need to create a formalism capable of solving deep problems in algebraic geometry, specifically the Weil conjectures.
Context of 1960s algebraic geometry development
Existential (the objective was...)
Slide text: 'Scheme Theory has strengthened classical algebraic geometry by allowing flexible geometric arguments about infinitesimals and limits...'
Scheme theory strengthens classical algebraic geometry by permitting flexible geometric arguments concerning infinitesimals and limits, which the classical theory could not handle.
Comparison with classical algebraic geometry
Universal (Scheme Theory has strengthened...)
A diagram shows arrows connecting '{affine varieties}' to '{finitely generated, nilpotent-free rings over an algebraically closed field K}', and '{affine schemes}' to '{commutative rings with identity}'. Downward arrows indicate a generalization from varieties to schemes and from restricted rings to all commutative rings.
Classical algebraic geometry establishes a correspondence between affine varieties and specific types of rings (finitely generated, nilpotent-free) over an algebraically closed field.
Observed in the top row of the diagram.
Scheme theory generalizes this correspondence by replacing affine varieties with affine schemes and relaxing the ring conditions to any commutative ring with identity.
Observed in the bottom row of the diagram.
Scheme theory broadens the algebro-geometric dictionary by removing restrictions on the base field and the properties of the coordinate rings.
Slide text: '(the equations and define the same algebraic variety and different schemes)'
Compare the geometric objects defined by the equations and .
Equation
Equation
Determine if they define the same variety and the same scheme.
Defines a reduced point at the origin.
Standard interpretation of linear equation.
Defines a non-reduced scheme (a 'fat point') with multiplicity 2 at the origin.
Standard interpretation of squared equation in scheme theory.
They define the same algebraic variety (the set of zeros is {0}), but different schemes because scheme theory accounts for multiplicity.
The slide explicitly states this distinction.
Slide lists historical facts: Grothendieck 1960, Chevalley Seminar 1956, Weil conjectures.
Text bullets
Names: Grothendieck, Chevalley, Zariski
Dates: 1960, 1956
Presentation of chronological development
Focus on origins and motivation
The visual layout emphasizes the historical timeline and key figures responsible for the creation of scheme theory.
A four-part diagram with bidirectional horizontal arrows and unidirectional vertical arrows connecting sets of geometric and algebraic objects.
Set {affine varieties}
Set {finitely generated... rings}
Set {affine schemes}
Set {commutative rings...}
Arrows
Vertical arrows indicate generalization from top row to bottom row
Horizontal equivalence between geometry and algebra
The diagram visually demonstrates how scheme theory generalizes classical algebraic geometry by expanding the classes of both geometric spaces and algebraic rings involved in the fundamental correspondence.
A diagram showing '{ affine varieties } <-> { finitely generated, nilpotent-free rings over an algebraically closed field K }' and '{ affine schemes } <-> { commutative rings with identity }', with downward arrows connecting the top row to the bottom row.
affine varieties
finitely generated, nilpotent-free rings over an algebraically closed field K
affine schemes
commutative rings with identity
downward arrows
bidirectional arrows
The structural relationship depicted by the arrows remains constant throughout the interval.
The diagram illustrates the foundational correspondences in scheme theory, showing how classical geometric objects (affine varieties) relate to specific algebraic structures (rings over algebraically closed fields), and how generalized geometric objects (affine schemes) relate to broader algebraic structures (commutative rings with identity). The downward arrows suggest a generalization or progression from the top concepts to the bottom ones.
An animation showing a blue oval base with two smaller ovals inside (one red, one green). Above each smaller oval is a dashed vertical rectangle containing a column of dots matching the color of the oval below. The dots appear sequentially from top to bottom.
blue oval base
red oval
green oval
left dashed vertical rectangle
right dashed vertical rectangle
red dots
green dots
Red dots appear sequentially from top to bottom inside the left dashed rectangle.
Green dots appear sequentially from top to bottom inside the right dashed rectangle.
The blue oval base remains static.
The red and green ovals on the base remain static.
The dashed vertical rectangles remain static.
The alignment of the rectangles above the respective colored ovals remains constant.
The animation visually represents the concept of a sheaf tracking local data over a topological space. The blue oval represents the global space, while the red and green ovals represent distinct open subsets. The columns of dots appearing within the dashed rectangles above each subset symbolize the local data (e.g., sections of the sheaf) being systematically assigned or 'tracked' over those specific open sets.
Slide text contrasts 'algebraic variety' with 'scheme' regarding multiplicities.
Assuming that algebraic varieties and schemes are identical concepts because they both relate to polynomial equations.
Schemes are a generalization of varieties that retain information about multiplicities (non-reduced structures) and can be defined over arbitrary commutative rings, whereas classical varieties typically correspond to reduced schemes over algebraically closed fields.
Slide text: 'A scheme is a mathematical structure that enlarges the notion of algebraic variety...'
Scheme theory enlarges the concept of an algebraic variety by incorporating multiplicities and working over general commutative rings.
Slide text: 'Schemes are made by gluing together open sets of a simple kind, called affine schemes.'
Affine schemes are the local building blocks (open sets) used to construct general schemes via gluing.
Slide text: '...isomorphic to the spectrum Spec(R) of a commutative ring R.'
The definition of an affine scheme directly applies the algebraic concept of the spectrum of a commutative ring.
Downward arrow from '{ affine varieties }' to '{ affine schemes }'.
The diagram uses a downward arrow to indicate that the concept of affine schemes generalizes the concept of affine varieties, moving from rings over algebraically closed fields to general commutative rings with identity.
Text defines prime ideal P, then states 'the spectrum of a ring R is the set of all prime ideals of R'.
The definition of a ring spectrum directly relies on and is built upon the definition of a prime ideal.
Text states a scheme 'arises from gluing together spectra... of commutative rings' and is 'locally a spectrum of a commutative ring'.
The definition of a scheme is fundamentally constructed using the concept of the spectrum of a commutative ring.
Text states 'Scheme can be expressed in terms of a sheaf of rings on the space.'
The mathematical framework of sheaves is applied to provide a formal expression and deeper understanding of schemes.
Slide explains schemes enlarge varieties via multiplicities and rings.
Slide defines affine scheme using Spec(R).
Slide mentions Grothendieck and Weil conjectures.
Slide titled 'Scheme Theory – Ring Spectrum' defining prime ideals.
Slide titled 'Scheme Theory' providing definitions of a scheme.
Slide titled 'Sheaf Theory' explaining the purpose of sheaves.
Slide titled 'Scheme Theory' linking schemes and sheaves.
Covered · Title slide: 'Algebraic Geometry : Scheme Theory'. No mathematical content beyond topic identification.
Covered · Slide defining Algebraic Geometry and Algebraic Varieties.
Covered · Diagram showing connections between Algebraic Geometry and other fields (Analytic Number Theory, Scheme Theory, Sheaf Theory, etc.). Contextual overview without new definitions.
Covered · Slide defining Scheme Theory, its connection to number theory, and the concept of multiplicity.
Covered · Slide detailing the history of Scheme Theory (Grothendieck, Chevalley, Weil conjectures).
Covered · Slide listing achievements and applications of Scheme Theory (Weil/Mordell conjectures, moduli, Brill-Noether-Petri, Mori's classification).
Covered · Slide explaining the construction of schemes from affine schemes and the definition of affine schemes via Spec(R).
Covered · Diagram illustrating the generalization from affine varieties/rings to affine schemes/rings.
Covered · Diagram showing correspondences between affine varieties/schemes and types of rings.
Covered · Slide defining prime ideals and the spectrum of a ring in commutative algebra and algebraic geometry.
Covered · Slide providing two equivalent definitions of a scheme.
Covered · Slide defining sheaves, giving an example of tracked data, and stating the purpose of sheaf theory.
Covered · Animation illustrating the concept of a sheaf tracking local data over open sets of a topological space.
Covered · Slide explaining how schemes are expressed using sheaves of rings and the utility of scheme theory.
Covered · List of software packages for Algebraic Geometry/Scheme Theory.
Reviewed subject paths
Continue with related videos in the same subject.
YouTube4:50
YouTube9:48
YouTube5:55