|
Quillen Metric
In mathematics, and especially differential geometry, the Quillen metric is a metric on the determinant line bundle of a family of operators. It was introduced by Daniel Quillen for certain elliptic operators over a Riemann surface, and generalized to higher-dimensional manifolds by Jean-Michel Bismut and Dan Freed. The Quillen metric was used by Quillen to give a differential-geometric interpretation of the ample line bundle over the moduli space of vector bundles on a compact Riemann surface, known as the Quillen determinant line bundle. It can be seen as defining the Chern–Weil theory, Chern–Weil representative of the first Chern class of this ample line bundle. The Quillen metric construction and its generalizations were used by Bismut and Freed to compute the holonomy of certain determinant line bundles of Dirac operators, and this holonomy is associated to certain anomaly (physics), anomaly cancellations in Chern–Simons theory predicted by Edward Witten.Bismut, J.M. and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edward Witten
Edward Witten (born August 26, 1951) is an American mathematical and theoretical physicist. He is a Professor Emeritus in the School of Natural Sciences at the Institute for Advanced Study in Princeton. Witten is a researcher in string theory, quantum gravity, supersymmetric quantum field theories, and other areas of mathematical physics. Witten's work has also significantly impacted pure mathematics. In 1990, he became the first physicist to be awarded a Fields Medal by the International Mathematical Union, for his mathematical insights in physics, such as his 1981 proof of the positive energy theorem in general relativity, and his interpretation of the Jones invariants of knots as Feynman integrals. He is considered the practical founder of M-theory.Duff 1998, p. 65 Early life and education Witten was born on August 26, 1951, in Baltimore, Maryland, to a Jewish family. He is the son of Lorraine (née Wollach) Witten and Louis Witten, a theoretical physicist specializing in gra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Differential Operator
In the theory of partial differential equations, elliptic operators are differential operators that generalize the Laplace operator. They are defined by the condition that the coefficients of the highest-order derivatives be positive, which implies the key property that the principal symbol is invertible, or equivalently that there are no real characteristic directions. Elliptic operators are typical of potential theory, and they appear frequently in electrostatics and continuum mechanics. Elliptic regularity implies that their solutions tend to be smooth functions (if the coefficients in the operator are smooth). Steady-state solutions to hyperbolic and parabolic equations generally solve elliptic equations. Definitions Let L be linear differential operator of order ''m'' on a domain \Omega in R''n'' given by Lu = \sum_ a_\alpha(x)\partial^\alpha u where \alpha = (\alpha_1, \dots, \alpha_n) denotes a multi-index, and \partial^\alpha u = \partial^_1 \cdots \partial_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Atiyah–Singer Index Theorem
In differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data). It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics. History The index problem for elliptic differential operators was posed by Israel Gel'fand. He noticed the homotopy invariance of the index, and asked for a formula for it by means of topological invariants. Some of the motivating examples included the Riemann–Roch theorem and its generalization the Hirzebruch–Riemann–Roch theorem, and the Hirzebruch signature theorem. Friedrich Hirzebruch and Armand Borel had proved the integrality of the  genus of a spin manifold, and At ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices. K-theory involves the construction of families of ''K''-functors that map from topological spaces or schemes to associated rings; these rings reflect some aspects of the structure of the original spaces or schemes. As with functors to groups in algebraic topology, the reason for this functorial mapping is that it is easier to compute some topological properties from the mapped rings than from the original spaces or schemes. Examples of results gleaned from the K-theory approach include the Grothendieck–Riemann–Roch theorem, Bott periodicity, the Atiyahâ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topological spac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Spaces
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term ''Hilbert space'' for the abstract concept that underlies ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fredholm Operator
In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator ''T'' : ''X'' → ''Y'' between two Banach spaces with finite-dimensional kernel \ker T and finite-dimensional (algebraic) cokernel \mathrm\,T = Y/\mathrm\,T, and with closed range \mathrm\,T. The last condition is actually redundant. The '' index'' of a Fredholm operator is the integer : \mathrm\,T := \dim \ker T - \mathrm\,\mathrm\,T or in other words, : \mathrm\,T := \dim \ker T - \mathrm\,\mathrm\,T. Properties Intuitively, Fredholm operators are those operators that are invertible "if finite-dimensional effects are ignored." The formally correct statement follows. A bounded operator ''T'' : ''X'' → ''Y'' between Banach spaces ''X'' and ''Y'' is Fredholm if and only if it is invertible modulo compact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Manifold
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics. Every smooth complex projective variety is a Kähler manifold. Hodge theory is a central part of algebraic geometry, proved using Kähler metrics. Definitions Since Kähler manifolds are equipped with several compatible structures, they can be described from different points of view: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karen Uhlenbeck
Karen Keskulla Uhlenbeck (born August 24, 1942) is an American mathematician and one of the founders of modern geometric analysis. She is a professor emeritus of mathematics at the University of Texas at Austin, where she held the Sid W. Richardson Foundation Regents Chair. She is currently a distinguished visiting professor at the Institute for Advanced Study and a visiting senior research scholar at Princeton University. Uhlenbeck was elected to the American Philosophical Society in 2007. She won the 2019 Abel Prize for "her pioneering achievements in geometric partial differential equations, gauge theory, and integrable systems, and for the fundamental impact of her work on analysis, geometry and mathematical physics." She is the first, and so far only, woman to win the prize since its inception in 2003. She donated half of the prize money to organizations which promote more engagement of women in research mathematics. Life and career Uhlenbeck was born in Cleveland, Ohio, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shing-Tung Yau
Shing-Tung Yau (; ; born April 4, 1949) is a Chinese-American mathematician and the William Caspar Graustein Professor of Mathematics at Harvard University. In April 2022, Yau announced retirement from Harvard to become Chair Professor of mathematics at Tsinghua University. Yau was born in Shantou, China, moved to Hong Kong at a young age, and to the United States in 1969. He was awarded the Fields Medal in 1982, in recognition of his contributions to partial differential equations, the Calabi conjecture, the positive energy theorem, and the Monge–Ampère equation. Yau is considered one of the major contributors to the development of modern differential geometry and geometric analysis. The impact of Yau's work can be seen in the mathematical and physical fields of differential geometry, partial differential equations, convex geometry, algebraic geometry, enumerative geometry, mirror symmetry, general relativity, and string theory, while his work has also touched upon applied ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Algebraic Manifold
__notoc__ In mathematics, an algebraic manifold is an algebraic variety which is also a manifold. As such, algebraic manifolds are a generalisation of the concept of smooth curves and surfaces defined by polynomials. An example is the sphere, which can be defined as the zero set of the polynomial and hence is an algebraic variety. For an algebraic manifold, the ground field will be the real numbers or complex numbers; in the case of the real numbers, the manifold of real points is sometimes called a Nash manifold. Every sufficiently small local patch of an algebraic manifold is isomorphic to ''k''''m'' where ''k'' is the ground field. Equivalently the variety is smooth (free from singular points). The Riemann sphere is one example of a complex algebraic manifold, since it is the complex projective line. Examples *Elliptic curves *Grassmannian See also *Algebraic geometry and analytic geometry In mathematics, algebraic geometry and analytic geometry are two closely related ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
