Hilbert's fifteenth problem

Last updated

Hilbert's fifteenth problem is one of the 23 Hilbert problems set out in a list compiled in 1900 by David Hilbert. The problem is to put Schubert's enumerative calculus on a rigorous foundation.

Contents

Introduction

Schubert calculus is the intersection theory of the 19th century, together with applications to enumerative geometry. Justifying this calculus was the content of Hilbert's 15th problem, and was also the major topic of the 20 century algebraic geometry. [1] [2] In the course of securing the foundations of intersection theory, Van der Waerden and André Weil [3] [4] related the problem to the determination of the cohomology ring H*(G/P) of a flag manifold G/P, where G is a Lie group and P a parabolic subgroup of G.

The additive structure of the ring H*(G/P) is given by the basis theorem of Schubert calculus [5] [6] [7] due to Ehresmann, Chevalley, and Bernstein-Gel'fand-Gel'fand, stating that the classical Schubert classes on G/P form a free basis of the cohomology ring H*(G/P). The remaining problem of expanding products of Schubert classes as linear combinations of basis elements was called the characteristic problem [8] [9] [3] by Schubert, and regarded by him as "the main theoretic problem of enumerative geometry". [10]

While enumerative geometry made no connection with physics during the first century of its development, it has since emerged as a central element of string theory. [11]

Problem statement

The entirety of the original problem statement is as follows:

The problem consists in this: To establish rigorously and with an exact determination of the limits of their validity those geometrical numbers which Schubert especially has determined on the basis of the so-called principle of special position, or conservation of number, by means of the enumerative calculus developed by him.

Although the algebra of today guarantees, in principle, the possibility of carrying out the processes of elimination, yet for the proof of the theorems of enumerative geometry decidedly more is requisite, namely, the actual carrying out of the process of elimination in the case of equations of special form in such a way that the degree of the final equations and the multiplicity of their solutions may be foreseen. [1]

Schubert calculus

Schubert calculus is a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert to solve various counting problems of projective geometry (part of enumerative geometry). It was a precursor of several more modern theories, for example characteristic classes, and in particular its algorithmic aspects are still of interest.

The objects introduced by Schubert are the Schubert cells, 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 details see Schubert variety.

According to Van der Waerden [3] and André Weil [4] Hilbert problem fifteen has been solved. In particular,

a) Schubert's characteristic problem has been solved by Haibao Duan and Xuezhi Zhao; [12]

b) Special presentations of the Chow rings of flag manifolds have been worked out by Borel, Marlin, Billey-Haiman and Duan-Zhao, et al.; [12]

c) Major enumerative examples of Schubert [8] have been verified by Aluffi, Harris, Kleiman, Xambó, et al. [13] [12]

Related Research Articles

<span class="mw-page-title-main">Michael Atiyah</span> British-Lebanese mathematician (1929–2019)

Sir Michael Francis Atiyah was a British-Lebanese mathematician specialising in geometry. His contributions include the Atiyah–Singer index theorem and co-founding topological K-theory. He was awarded the Fields Medal in 1966 and the Abel Prize in 2004.

<span class="mw-page-title-main">Hilbert's problems</span> 23 mathematical problems stated in 1900

Hilbert's problems are 23 problems in mathematics published by German mathematician David Hilbert in 1900. They were all unsolved at the time, and several proved to be very influential for 20th-century mathematics. Hilbert presented ten of the problems at the Paris conference of the International Congress of Mathematicians, speaking on August 8 at the Sorbonne. The complete list of 23 problems was published later, in English translation in 1902 by Mary Frances Winston Newson in the Bulletin of the American Mathematical Society. Earlier publications appeared in Archiv der Mathematik und Physik.

In mathematics, the Weil conjectures were highly influential proposals by André Weil (1949). They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.

In mathematics, a Galois module is a G-module, with G being the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory.

<span class="mw-page-title-main">Jean Dieudonné</span> French mathematician (1906–1992)

Jean Alexandre Eugène Dieudonné was a French mathematician, notable for research in abstract algebra, algebraic geometry, and functional analysis, for close involvement with the Nicolas Bourbaki pseudonymous group and the Éléments de géométrie algébrique project of Alexander Grothendieck, and as a historian of mathematics, particularly in the fields of functional analysis and algebraic topology. His work on the classical groups, and on formal groups, introducing what now are called Dieudonné modules, had a major effect on those fields.

In mathematics, Schubert calculus is a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert, in order to solve various counting problems of projective geometry. It was a precursor of several more modern theories, for example characteristic classes, and in particular its algorithmic aspects are still 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 often understood to encompass the study of analogous questions in generalized cohomology theories.

In mathematics, enumerative geometry is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them.

In mathematics, the local Langlands conjectures, introduced by Robert Langlands, are part of the Langlands program. They describe a correspondence between the complex representations of a reductive algebraic group G over a local field F, and representations of the Langlands group of F into the L-group of G. This correspondence is not a bijection in general. The conjectures can be thought of as a generalization of local class field theory from abelian Galois groups to non-abelian Galois groups.

In mathematics, crystalline cohomology is a Weil cohomology theory for schemes X over a base field k. Its values Hn(X/W) are modules over the ring W of Witt vectors over k. It was introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974).

In algebraic geometry, a Schubert variety is a certain subvariety of a Grassmannian, of -dimensional subspaces of a vector space , usually with singular points. Like the Grassmannian, it is a kind of moduli space, whose elements satisfy conditions giving lower bounds to the dimensions of the intersections of its elements , with the elements of a specified complete flag. Here may be a vector space over an arbitrary field, but most commonly this taken to be either the real or the complex numbers.

In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. One of the original applications of these conjectures, envisaged by Alexander Grothendieck, was to prove that his construction of pure motives gave an abelian category that is semisimple. Moreover, as he pointed out, the standard conjectures also imply the hardest part of the Weil conjectures, namely the "Riemann hypothesis" conjecture that remained open at the end of the 1960s and was proved later by Pierre Deligne; for details on the link between Weil and standard conjectures, see Kleiman (1968). The standard conjectures remain open problems, so that their application gives only conditional proofs of results. In quite a few cases, including that of the Weil conjectures, other methods have been found to prove such results unconditionally.

Foundations of Algebraic Geometry is a book by André Weil that develops algebraic geometry over fields of any characteristic. In particular it gives a careful treatment of intersection theory by defining the local intersection multiplicity of two subvarieties.

In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic forms on these groups and representations of Galois groups.

<span class="mw-page-title-main">Christopher Deninger</span> German mathematician

Christopher Deninger is a German mathematician at the University of Münster. Deninger's research focuses on arithmetic geometry, including applications to L-functions.

Mathematics is a broad subject that is commonly divided in many areas that may be defined by their objects of study, by the used methods, or by both. For example, analytic number theory is a subarea of number theory devoted to the use of methods of analysis for the study of natural numbers.

<span class="mw-page-title-main">Alexander Varchenko</span>

Alexander Nikolaevich Varchenko is a Soviet and Russian mathematician working in geometry, topology, combinatorics and mathematical physics.

Prakash Belkale is an Indian-American mathematician, specializing in algebraic geometry and representation theory.

Carlos Tschudi Simpson is an American mathematician, specializing in algebraic geometry.

References

  1. 1 2 Hilbert, David, "Mathematische Probleme" Göttinger Nachrichten, (1900), pp. 253-297, and in Archiv der Mathematik und Physik, (3) 1 (1901), 44-63 and 213-237. Published in English translation by Dr. Maby Winton Newson, Bulletin of the American Mathematical Society 8 (1902), 437-479 Web-viewable text PDF text doi : 10.1090/S0002-9904-1902-00923-3.
  2. ↑ F. Sottile, Schubert calculus, Springer Encyclopedia of Mathematics
  3. 1 2 3 Waerden, B. L. van der (1930). "Topologische Begründung des Kalküls der abzählenden Geometrie". Math. Ann. 102 (1): 337–362. doi:10.1007/BF01782350. MR   1512581. S2CID   177808901.
  4. 1 2 Weil, A. (1962), Foundations of algebraic geometry, Student Mathematical Library, vol. 32, American Mathematical Society, MR   0144898
  5. ↑ Ehresmann, C. (1934). "Sur la topologie de certains espaces homogenes" (PDF). Ann. of Math. 35 (2): 396–443. doi:10.2307/1968440. JSTOR   1968440.
  6. ↑ Chevalley, C. (1994). "Sur les décompositions cellulaires des espaces G/B". Algebraic Groups and Their Generalizations: Classical Methods. Proceedings of Symposia in Pure Mathematics. Vol. 56. pp. 1–26. doi:10.1090/pspum/056.1. ISBN   9780821815403.
  7. ↑ I.N. Bernstein; I.M. Gel'fand; S.I. Gel'fand (1973). "Schubert cells and cohomology of the spaces G/P". Russian Math. Surveys. 28 (3): 1–26. doi:10.1070/RM1973v028n03ABEH001557. S2CID   250748691.
  8. 1 2 H. Schubert, Kalkül der abzählenden Geometrie, 1879, Leipzig: B.G. Teubner
  9. ↑ H. Schubert, Lösung des Charakteristiken-Problems für lineare Räume beliebiger Dimension, Mitteilungen der Mathematische Gesellschaft in Hamburg 1 (1886), 134-155.
  10. ↑ S. Kleiman, Book review on “Intersection Theory by W. Fulton”, Bull. AMS, Vol.12, no.1(1985), 137-143. https://projecteuclid.org/euclid.bams/1183552346
  11. ↑ Katz, Sheldon (2006), Enumerative Geometry and String Theory, Student Mathematical Library, vol. 32, American Mathematical Society
  12. 1 2 3 H. Duan; X. Zhao (2020). "On Schubert's Problem of Characteristic". In J. Hu; et al. (eds.). Schubert Calculus and Its Applications in Combinatorics and Representation Theory. Springer Proceedings in Mathematics & Statistics. Vol. 332. pp. 43–71. arXiv: 1912.10745 . doi:10.1007/978-981-15-7451-1_4. ISBN   978-981-15-7450-4. S2CID   209444479.
  13. ↑ S. Kleiman, Intersection theory and enumerative geometry: A decade in review, Proc. Symp. Pure Math., 46:2, Amer. Math. Soc. (1987), 321-370. https://www.ams.org/books/pspum/046.2/ doi : 10.1090/pspum/046.2
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.