In mathematics, Schubert calculus[1] is a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert in order to solve various counting problems of projective geometry and, as such, is viewed as part of enumerative geometry. Giving it a more rigorous foundation was the aim of Hilbert's 15th problem. It is related to several more modern concepts, such as characteristic classes, and both its algorithmic aspects and applications remain of current interest. The term Schubert calculus is sometimes used to mean the enumerative geometry of linear subspaces of a vector space, which is roughly equivalent to describing the cohomology ring of Grassmannians. Sometimes it is used to mean the more general enumerative geometry of algebraic varieties that are homogenous spaces of simple Lie groups. Even more generally, Schubert calculus is sometimes understood as encompassing the study of analogous questions in generalized cohomology theories.
The objects introduced by Schubert are the Schubert cells,[2] which are locally closed sets in a Grassmannian defined by conditions of incidence of a linear subspace in projective space with a given flag. For further details see Schubert variety.
The intersection theory[3] of these cells, which can be seen as the product structure in the cohomology ring of the Grassmannian, consisting of associated cohomology classes, allows
in particular the determination of cases in which the intersections of cells results in a finite set of points. A key result is that the Schubert cells (or rather, the classes of their Zariski closures, the Schubert cycles or Schubert varieties) span the whole cohomology ring.
Schubert calculus can be constructed using the Chow ring[3] of the Grassmannian, where the generating cycles are represented by geometrically defined data.[4] Denote the Grassmannian of -planes in a fixed -dimensional vector space as , and its Chow ring as . (Note that the Grassmannian is sometimes denoted if the vector space isn't explicitly given or as if the ambient space and its -dimensional subspaces are replaced by their projectizations.) Choosing an (arbitrary) complete flag
to each weakly decreasing -tuple of integers , where
which is used when considering cellular homology instead of the Chow ring. The latter are disjoint affine spaces, of dimension , whose union is .
An equivalent characterization of the Schubert cell may be given in terms of the dual complete flag
where
Then consists of those -dimensional subspaces that have a basis
consisting of elements
of the subspaces
Since the homology class , called a Schubert class, does not depend on the choice of complete flag , it can be written as
It can be shown that these classes are linearly independent and generate the Chow ring as their linear span. The associated intersection theory is called Schubert calculus. For a given sequence with the Schubert class is usually just denoted . The Schubert classes given by a single integer , (i.e., a horizontal partition), are called special classes. Using the Giambelli formula below, all the Schubert classes can be generated from these special classes.
Other notational conventions
In some sources,[1][2] the Schubert cells and Schubert varieties are labelled differently, as and , respectively, where is the complementary partition to with parts
,
whose Young diagram is the complement of the one for within the rectangular one (reversed, both horizontally and vertically).
Another labelling convention for and is and
, respectively, where
is the multi-index defined by
The integers are the pivot locations of the representations of elements of in reduced matricial echelon form.
Explanation
In order to explain the definition, consider a generic -plane . It will have only a zero intersection with for , whereas
for
For example, in , a -plane is the solution space of a system of five independent homogeneous linear equations. These equations will generically span when restricted to a subspace with , in which case the solution space (the intersection of with ) will consist only of the zero vector. However, if , and will necessarily have nonzero intersection. For example, the expected dimension of intersection of and is , the intersection of and has expected dimension , and so on.
The definition of a Schubert variety states that the first value of with is generically smaller than the expected value by the parameter . The -planes given by these constraints then define special subvarieties of .[4]
Properties
Inclusion
There is a partial ordering on all -tuples where if for every . This gives the inclusion of Schubert varieties
showing an increase of the indices corresponds to an even greater specialization of subvarieties.
Dimension formula
A Schubert variety has dimension equal to the weight
of the partition .
Alternatively, in the notational convention indicated above, its codimension in is the weight
of the complementary partition in the dimensional rectangular Young diagram.
This is stable under inclusions of Grassmannians.
That is, the inclusion
defined, for , by
has the property
and the inclusion
defined by adding the extra basis element to each -plane, giving a -plane,
does as well
Thus, if and are a cell and a subvariety in the Grassmannian , they may also be viewed as a cell and a subvariety within the Grassmannian for
any pair with and
.
Intersection product
The intersection product was first established using the Pieri and Giambelli formulas.
Pieri formula
In the special case , there is an explicit formula of the product of with an arbitrary Schubert class given by
where , are the weights of the partitions. This is called the Pieri formula, and can be used to determine the intersection product of any two Schubert classes when combined with the Giambelli formula. For example,
and
Giambelli formula
Schubert classes for partitions of any length can be expressed as the determinant of a matrix having the special classes as entries.
The intersection product between any pair of Schubert classes
is given by
where are the Littlewood-Richardson coefficients.[5] The Pieri formula is a special case of this, when has length .
Relation with Chern classes
There is an easy description of the cohomology ring, or the Chow ring, of the Grassmannian using the Chern classes of two natural vector bundles over . We have the exact sequence of vector bundles over
where is the tautological bundle whose fiber, over any element is the subspace itself, is the trivial vector bundle of rank , with as fiber and is the quotient vector bundle of rank , with as fiber. The Chern classes of the bundles and are
where is the partition whose Young diagram consists of a single column of length and
The tautological sequence then gives the presentation of the Chow ring as
One of the classical examples analyzed is the Grassmannian since it parameterizes lines in . Using the Chow ring , Schubert calculus can be used to compute the number of lines on a cubic surface.[4]
Recall that a line in gives a dimension subspace of , hence an element of . Also, the equation of a line can be given as a section of . Since a cubic surface is given as a generic homogeneous cubic polynomial, this is given as a generic section . A line is a subvariety of if and only if the section vanishes on . Therefore, the Euler class of can be integrated over to get the number of points where the generic section vanishes on . In order to get the Euler class, the total Chern class of must be computed, which is given as
The splitting formula then reads as the formal equation
where and for formal line bundles . The splitting equation gives the relations
and .
Since can be viewed as the direct sum of formal line bundles
^ abcdFulton, William (1997). Young Tableaux. With Applications to Representation Theory and Geometry, Chapt. 9.4. London Mathematical Society Student Texts. Vol. 35. Cambridge, U.K.: Cambridge University Press. doi:10.1017/CBO9780511626241. ISBN9780521567244.
^Fulton, William (1997). Young Tableaux. With Applications to Representation Theory and Geometry, Chapt. 5. London Mathematical Society Student Texts. Vol. 35. Cambridge, U.K.: Cambridge University Press. doi:10.1017/CBO9780511626241. ISBN9780521567244.
^Katz, Sheldon. Enumerative Geometry and String Theory. p. 96.
Fulton, William (1997). Young Tableaux. With Applications to Representation Theory and Geometry, Chapts. 5 and 9.4. London Mathematical Society Student Texts. Vol. 35. Cambridge, U.K.: Cambridge University Press. doi:10.1017/CBO9780511626241. ISBN9780521567244.
Fort Lee adalah sebuah borough di perbatasan timur Kabupaten Bergen, di negara bagian New Jersey, Amerika Serikat, yang terletak di sepanjang Sungai Hudson di atas The Palisades. Menurut sensus Amerika Serikat tahun 2020, jumlah penduduk borough ini adalah 40,191, meningkat sebanyak 4,846 (+13.7%) dari sensus tahun 2010 yang mencatat 35,345, yang pada gilirannya mencerminkan penurunan sebanyak 116 (−0.3%) dari jumlah penduduk 35,461 pada sensus tahun 2000. Bersama dengan komunitas lain di K...
Ketua Badan Pemeriksa KeuanganRepublik IndonesiaPetahanaIsma Yatunsejak 21 April 2022Masa jabatan5 tahunDibentuk1947Pejabat pertamaR. Soerasno Ketua Badan Pemeriksa Keuangan Republik Indonesia (Ketua BPK RI) adalah salah satu pimpinan Badan Pemeriksa Keuangan Republik Indonesia dipilih dari dan oleh Anggota BPK dalam sidang Anggota BPK dalam jangka waktu paling lama 1 (satu) bulan terhitung sejak tanggal diresmikannya keanggotaan BPK oleh Presiden. Pemilihan Ketua dilakukan secara musyaw...
This article is about the current Minor League Baseball team. For the 1911–1984 team of a similar name, see Salt Lake City Bees. Minor league baseball teamSalt Lake BeesFounded in 1994 Salt Lake City, Utah Minor league affiliationsClassTriple-A (1994–present)LeaguePacific Coast League (2022–present)DivisionWest DivisionPrevious leagues Triple-A West (2021) Pacific Coast League (1994–2020) Major league affiliationsTeamLos Angeles Angels (2001–present)Previous teamsMinnesota Twins (19...
Eparki FaridabadGereja Katolik Siro-Malabar LokasiNegara IndiaStatistikLuas950.000 km2 (370.000 sq mi)Populasi- Katolik150,000 (Siro-Malabar)InformasiDenominasiGereja Katolik Siro-MalabarRitusRitus Siria TimurPendirian6 Maret 2012KatedralKatedral Kristuraja, FaridabadKepemimpinan kiniPausFransiskusUskupKuriakose BharanikulangaraVikaris jenderalMsgr. Jose EdasserySitus webhttp://faridabaddiocese.in Eparki Katolik Siro-Malabar Faridabad adalah sebuah keuskupan Gere...
Disambiguazione – Se stai cercando altri significati, vedi Marcello Crescenzi (disambigua). Marcello Crescenzicardinale di Santa Romana ChiesaAmbito abruzzese sec. XVIII, Ritratto del cardinale Marcello Crescenzi Incarichi ricoperti Arcivescovo titolare di Nazianzo (1739-1743) Nunzio apostolico in Francia (1739-1743) Vice-Legato di Avignone (1739) Legato apostolico di Ferrara (1743-1746)(1761-1766) Cardinale presbitero di Santa Maria in Traspontina (1743-1768) Arcivescovo di Ferrara ...
Ruang pers Interfax di Moskwa Interfax (bahasa Rusia: Интерфакс) adalah kantor berita nonpemerintah Russia yang berbasis di Moskwa. Interfax didirikan pada tahun 1989 oleh pejabat dari layanan internasional, Radio Moskwa.[1] Interfax merupakan bagian dari Interfax Information Service Group, sebuah grup yang memiliki 30 perusahaan agen informasi baik nasional, regional, maupun cabang di bawah nama Interfax.[1] Agen berita ini memperkerjakan sekitar 1000 jurnalis da...
وليم الأوكامي (بالإنجليزية: William of Ockham) معلومات شخصية اسم الولادة (باللاتينية: Guilelmus Occhamus)، و(بالإنجليزية: William of Ockham) الميلاد 1287سري، مملكة إنجلترا الوفاة 1347ميونخ، الإمبراطورية الرومانية المقدسة الجنسية إنجليزي الحياة العملية المدرسة الأم كلية ميرتونجامعة أ...
Women's anti-war movement Not to be confused with The Woman in Black. Women in Black staging a protest in New Paltz, New York Women in Black (Hebrew: נשים בשחור, romanized: Nashim BeShahor) is a women's anti-war movement with an estimated 10,000 activists around the world. The first group was formed by Israeli women in Jerusalem in 1988, following the outbreak of the First Intifada.[1] History This section needs additional citations for verification. Please help improve ...
مراهقةمعلومات عامةجانب من جوانب تطور الإنسان طفولةيفاع أشد تعديل - تعديل مصدري - تعديل ويكي بيانات مراهقان يستمعان للموسيقى جزء من سلسلة حولنمو الإنسان وتطوره المراحل مراحل تطور الجنين البشري جنين حي رضيع الطفل المتهادي الطفولة المبكرة طفل يفاع مراهقة بالغ كهل كبر السن م...
العلاقات النمساوية الناوروية النمسا ناورو النمسا ناورو تعديل مصدري - تعديل العلاقات النمساوية الناوروية هي العلاقات الثنائية التي تجمع بين النمسا وناورو.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة ال...
Clade of plants with xylem and phloem Vascular plantTemporal range: Silurian–Present, 425–0 Ma[1][2] PreꞒ Ꞓ O S D C P T J K Pg N Common lady-fern, a non-seed-bearing plant Lemon basil, a seed-bearing plant Scientific classification Kingdom: Plantae Clade: Embryophytes Clade: Polysporangiophytes Clade: TracheophytesSinnott, 1935[3] ex Cavalier-Smith, 1998[4] Divisions† Extinct Non-seed-bearing plants †Cooksonia †Rhyniophyta †Zosterophyllophyta Ly...
Museum front. The Electric Railways Museum of Piraeus (Greek: Μουσείο Ηλεκτρικών Σιδηροδρόμων) is a railway museum in Piraeus, Athens, Greece.[1] The museum was established in 2005 in the space of the former Post Office in Piraeus railway station. The museum displays a collection of small size items, photographs and documents related to the history of Athens-Piraeus Railway, Hellenic Electric Railways (EIS), Piraeus-Perama light railway, Piraeus Harbour tr...
This article is about the car sold from 1975 to 1980 in North America. For other uses, see Monza (disambiguation). Motor vehicle Chevrolet Monza1978–1980 Chevrolet Monza CoupéOverviewManufacturerChevrolet (General Motors)Production1974–1980Model years1975–1980AssemblyLordstown, Ohio, U.S. (Lordstown Assembly)South Gate, California, U.S. (South Gate Assembly)Sainte-Thérèse, Quebec, Canada (Sainte-Thérèse Assembly)Body and chassisClassSubcompactBody style2-door 2+2 hatchbac...
Japanese original net animation Hero MaskBlu-Ray cover for North American releaseGenreCrime, action[1] Original net animationDirected byHiroyasu AokiWritten byHiroyasu AokiMusic byHisaki KatoStudioPierrotLicensed byNetflix NA: Sentai FilmworksReleasedDecember 3, 2018 (#1–15) August 23, 2019 (#16–24)Runtime24 minutesEpisodes24 (List of episodes) MangaHero Mask: A lost memoryWritten byYuuki KodamaPublished byLINEMagazineLINE MangaDemographicSeinenOrigin...
Gonzalo Jara Jara con Chile durante la Copa Confederaciones 2017.Datos personalesNombre completo Gonzalo Alejandro Jara ReyesApodo(s) Jarita.[1]Jarra.[2]Nacimiento Hualpén, Chile29 de agosto de 1985 (38 años)Nacionalidad(es) ChilenaAltura 1,78 m (5′ 10″)[3]Peso 77 kg (169 lb)[3]Pareja Roxana Luengo (matr. 2005)[4][5]Carrera deportivaDeporte FútbolClub profesionalDebut deportivo 2003(C. D. Huachipato)Club Agente libr...
1927 film ItTheatrical release posterDirected byClarence G. BadgerJosef von Sternberg (uncredited)Written byElinor Glyn (story and adaptation)George Marion Jr. (titles)Screenplay byHope LoringLouis D. LightonBased onItby Elinor GlynProduced byAdolph ZukorJesse L. LaskyB. P. SchulbergStarringClara BowAntonio MorenoWilliam AustinCinematographyH. Kinley MartinEdited byE. Lloyd SheldonDistributed byParamount PicturesRelease date February 19, 1927 (1927-02-19) (United States) Ru...