This HTML5 document contains 33 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Scheme-theoretic_intersection
rdfs:label
Scheme-theoretic intersection
rdfs:comment
In algebraic geometry, the scheme-theoretic intersection of closed subschemes X, Y of a scheme W is , the fiber product of the closed immersions . It is denoted by . Locally, W is given as for some ring R and X, Y as for some ideals I, J. Thus, locally, the intersection is given as Here, we used (for this identity, see tensor product of modules#Examples.) Example: Let be a projective variety with the homogeneous coordinate ring S/I, where S is a polynomial ring. If is a hypersurface defined by some homogeneous polynomial f in S, then
dcterms:subject
dbc:Algebraic_geometry
dbo:wikiPageID
52580781
dbo:wikiPageRevisionID
1119807704
dbo:wikiPageWikiLink
dbr:Serre's_inequality_on_height dbr:Algebraic_cycle dbr:Gysin_homomorphism dbr:Bertini's_theorem dbr:Intersection_theory dbr:Kleiman's_theorem dbr:Ergebnisse_der_Mathematik_und_ihrer_Grenzgebiete dbr:Chow's_moving_lemma dbr:Intersection_multiplicity dbr:Intersection_number dbr:Hyperplane_section dbr:Complete_intersection dbr:Derived_algebraic_geometry dbr:Algebraic_geometry dbc:Algebraic_geometry dbr:Springer-Verlag dbr:Projective_variety dbr:Tensor_product_of_modules dbr:Derived_intersection
owl:sameAs
wikidata:Q28456520 n14:2eCZw
dbp:wikiPageUsesTemplate
dbt:Hartshorne_AG dbt:Citation dbt:Reflist
dbo:abstract
In algebraic geometry, the scheme-theoretic intersection of closed subschemes X, Y of a scheme W is , the fiber product of the closed immersions . It is denoted by . Locally, W is given as for some ring R and X, Y as for some ideals I, J. Thus, locally, the intersection is given as Here, we used (for this identity, see tensor product of modules#Examples.) Example: Let be a projective variety with the homogeneous coordinate ring S/I, where S is a polynomial ring. If is a hypersurface defined by some homogeneous polynomial f in S, then If f is linear (deg = 1), it is called a hyperplane section. See also: Bertini's theorem. Now, a scheme-theoretic intersection may not be a correct intersection, say, from the point of view of intersection theory. For example, let = the affine 4-space and X, Y closed subschemes defined by the ideals and . Since X is the union of two planes, each intersecting with Y at the origin with multiplicity one, by the linearity of intersection multiplicity, we expect X and Y intersect at the origin with multiplicity two. On the other hand, one sees the scheme-theoretic intersection consists of the origin with multiplicity three. That is, a scheme-theoretic multiplicity of an intersection may differ from an intersection-theoretic multiplicity, the latter given by Serre's Tor formula. Solving this disparity is one of the starting points for derived algebraic geometry, which aims to introduce the notion of .
prov:wasDerivedFrom
wikipedia-en:Scheme-theoretic_intersection?oldid=1119807704&ns=0
dbo:wikiPageLength
4463
foaf:isPrimaryTopicOf
wikipedia-en:Scheme-theoretic_intersection