|
Atiyah–Bott Formula
In algebraic geometry, the Atiyah–Bott formula says the cohomology ring :\operatorname^*(\operatorname_G(X), \mathbb_l) of the moduli stack of principal bundles is a free graded-commutative algebra on certain homogeneous generators. The original work of Michael Atiyah and Raoul Bott concerned the integral cohomology ring of \operatorname_G(X). See also *Borel's theorem In topology, a branch of mathematics, Borel's theorem, due to , says the cohomology ring of a classifying space or a classifying stack is a polynomial ring. See also *Atiyah–Bott formula In algebraic geometry, the Atiyah–Bott formula s ..., which says that the cohomology ring of a classifying stack is a polynomial ring. Notes References * * Theorems in algebraic geometry {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology Ring
In mathematics, specifically algebraic topology, the cohomology ring of a topological space ''X'' is a ring formed from the cohomology groups of ''X'' together with the cup product serving as the ring multiplication. Here 'cohomology' is usually understood as singular cohomology, but the ring structure is also present in other theories such as de Rham cohomology. It is also functorial: for a continuous mapping of spaces one obtains a ring homomorphism on cohomology rings, which is contravariant. Specifically, given a sequence of cohomology groups ''H''''k''(''X'';''R'') on ''X'' with coefficients in a commutative ring ''R'' (typically ''R'' is Z''n'', Z, Q, R, or C) one can define the cup product, which takes the form :H^k(X;R) \times H^\ell(X;R) \to H^(X; R). The cup product gives a multiplication on the direct sum of the cohomology groups :H^\bullet(X;R) = \bigoplus_ H^k(X; R). This multiplication turns ''H''•(''X'';''R'') into a ring. In fact, it is naturally an N-graded ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Stack Of Principal Bundles
In algebraic geometry, given a smooth projective curve ''X'' over a finite field \mathbf_q and a smooth affine group scheme ''G'' over it, the moduli stack of principal bundles over ''X'', denoted by \operatorname_G(X), is an algebraic stack given by: for any \mathbf_q-algebra ''R'', :\operatorname_G(X)(R) = the category of principal ''G''-bundles over the relative curve X \times_ \operatornameR. In particular, the category of \mathbf_q-points of \operatorname_G(X), that is, \operatorname_G(X)(\mathbf_q), is the category of ''G''-bundles over ''X''. Similarly, \operatorname_G(X) can also be defined when the curve ''X'' is over the field of complex numbers. Roughly, in the complex case, one can define \operatorname_G(X) as the quotient stack of the space of holomorphic connections on ''X'' by the gauge group. Replacing the quotient stack (which is not a topological space) by a homotopy quotient (which is a topological space) gives the homotopy type of \operatorname_G(X). In the fin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Algebra
In mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the polynomial ring may be regarded as a free commutative algebra. Definition For ''R'' a commutative ring, the free (associative, unital) algebra on ''n'' indeterminates is the free ''R''-module with a basis consisting of all words over the alphabet (including the empty word, which is the unit of the free algebra). This ''R''-module becomes an ''R''-algebra by defining a multiplication as follows: the product of two basis elements is the concatenation of the corresponding words: :\left(X_X_ \cdots X_\right) \cdot \left(X_X_ \cdots X_\right) = X_X_ \cdots X_X_X_ \cdots X_, and the product of two arbitrary ''R''-module elements is thus uniquely determined (because the multiplication in an ''R''-algebra must be ''R''-bilinear). This ''R''- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Supercommutative Algebra
In mathematics, a supercommutative (associative) algebra is a superalgebra (i.e. a Z2-graded algebra) such that for any two homogeneous elements ''x'', ''y'' we have :yx = (-1)^xy , where , ''x'', denotes the grade of the element and is 0 or 1 (in Z) according to whether the grade is even or odd, respectively. Equivalently, it is a superalgebra where the supercommutator : ,y= xy - (-1)^yx always vanishes. Algebraic structures which supercommute in the above sense are sometimes referred to as skew-commutative associative algebras to emphasize the anti-commutation, or, to emphasize the grading, graded-commutative or, if the supercommutativity is understood, simply commutative. Any commutative algebra is a supercommutative algebra if given the trivial gradation (i.e. all elements are even). Grassmann algebras (also known as exterior algebras) are the most common examples of nontrivial supercommutative algebras. The supercenter of any superalgebra is the set of elements that sup ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Atiyah
Sir Michael Francis Atiyah (; 22 April 1929 – 11 January 2019) 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. Life Atiyah grew up in Sudan and Egypt but spent most of his academic life in the United Kingdom at the University of Oxford and the University of Cambridge and in the United States at the Institute for Advanced Study. He was the President of the Royal Society (1990–1995), founding director of the Isaac Newton Institute (1990–1996), master of Trinity College, Cambridge (1990–1997), chancellor of the University of Leicester (1995–2005), and the President of the Royal Society of Edinburgh (2005–2008). From 1997 until his death, he was an honorary professor in the University of Edinburgh. Atiyah's mathematical collaborators included Raoul Bott, Friedrich Hirzebruch and Isadore Sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Raoul Bott
Raoul Bott (September 24, 1923 – December 20, 2005) was a Hungarian-American mathematician known for numerous basic contributions to geometry in its broad sense. He is best known for his Bott periodicity theorem, the Morse–Bott functions which he used in this context, and the Borel–Bott–Weil theorem. Early life Bott was born in Budapest, Hungary, the son of Margit Kovács and Rudolph Bott. His father was of Austrian descent, and his mother was of Hungarian Jewish descent; Bott was raised a Catholic by his mother and stepfather. Bott grew up in Czechoslovakia and spent his working life in the United States. His family emigrated to Canada in 1938, and subsequently he served in the Canadian Army in Europe during World War II. Career Bott later went to college at McGill University in Montreal, where he studied electrical engineering. He then earned a PhD in mathematics from Carnegie Mellon University in Pittsburgh in 1949. His thesis, titled ''Electrical Network Theory'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Borel's Theorem
In topology, a branch of mathematics, Borel's theorem, due to , says the cohomology ring of a classifying space or a classifying stack is a polynomial ring. See also *Atiyah–Bott formula In algebraic geometry, the Atiyah–Bott formula says the cohomology ring :\operatorname^*(\operatorname_G(X), \mathbb_l) of the moduli stack of principal bundles is a free graded-commutative algebra on certain homogeneous generators. The origin ... Notes References * * {{topology-stub Theorems in algebraic topology Theorems in algebraic geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Transactions Of The Royal Society A
''Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences'' is a fortnightly peer-reviewed scientific journal published by the Royal Society. It publishes original research and review content in a wide range of physical scientific disciplines. Articles can be accessed online a few months prior to the printed journal. All articles become freely accessible two years after their publication date. The current editor-in-chief is John Dainton. Overview ''Philosophical Transactions of the Royal Society A'' publishes themed journal issues on topics of current scientific importance and general interest within the physical, mathematical and engineering sciences, edited by leading authorities and comprising original research, reviews and opinions from prominent researchers. Past issue titles include "Supercritical fluids - green solvents for green chemistry?", "Tsunamis: Bridging science, engineering and society", "Spatial transformations: from f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Princeton University Press
Princeton University Press is an independent publisher with close connections to Princeton University. Its mission is to disseminate scholarship within academia and society at large. The press was founded by Whitney Darrow, with the financial support of Charles Scribner, as a printing press to serve the Princeton community in 1905. Its distinctive building was constructed in 1911 on William Street in Princeton. Its first book was a new 1912 edition of John Witherspoon's ''Lectures on Moral Philosophy.'' History Princeton University Press was founded in 1905 by a recent Princeton graduate, Whitney Darrow, with financial support from another Princetonian, Charles Scribner II. Darrow and Scribner purchased the equipment and assumed the operations of two already existing local publishers, that of the ''Princeton Alumni Weekly'' and the Princeton Press. The new press printed both local newspapers, university documents, ''The Daily Princetonian'', and later added book publishing to it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
