|
Atiyah–Bott Fixed-point Theorem
In mathematics, the Atiyah–Bott fixed-point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed-point theorem for smooth manifolds ''M'', which uses an elliptic complex on ''M''. This is a system of elliptic differential operators on vector bundles, generalizing the de Rham complex constructed from smooth differential forms which appears in the original Lefschetz fixed-point theorem. Formulation The idea is to find the correct replacement for the Lefschetz number, which in the classical result is an integer counting the correct contribution of a fixed point of a smooth mapping f\colon M \to M. Intuitively, the fixed points are the points of intersection of the graph of ''f'' with the diagonal (graph of the identity mapping) in M\times M, and the Lefschetz number thereby becomes an intersection number. The Atiyah–Bott theorem is an equation in which the LHS must be the outcome of a global topological (homological) calcul ... [...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] |
Closed Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphic Form
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group ''G'' to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup \Gamma \subset G of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups. Modular forms are holomorphic automorphic forms defined over the groups SL(2, R) or PSL(2, R) with the discrete subgroup being the modular group, or one of its congruence subgroups; in this sense the theory of automorphic forms is an extension of the theory of modular forms. More generally, one can use the adelic approach as a way of dealing with the whole family of congruence subgroups at once. From this point of view, an automorphic form over the group ''G''(A''F''), for an algebraic group ''G'' and an algebraic number field ''F'', is a complex-valued function on ''G''(A''F'') that is left ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Martin Eichler
Martin Maximilian Emil Eichler (29 March 1912 – 7 October 1992) was a German number theorist. Eichler received his Ph.D. from the Martin Luther University of Halle-Wittenberg in 1936. Eichler and Goro Shimura developed a method to construct elliptic curves from certain modular forms. The converse notion that every elliptic curve has a corresponding modular form would later be the key to the proof of Fermat's Last Theorem. Selected publications * ''Quadratische Formen und orthogonale Gruppen'', Springer 1952, 1974 * * ''Einführung in die Theorie der algebraischen Zahlen und Funktionen'', Birkhäuser 1963; Eng. trans. 1966''Introduction to the theory of algebraic numbers and functions'' in which a section on modular forms is added; pbk 2014 reprint of 1963 German original * ''Projective varieties and modular forms'' 1971 (Riemann–Roch theorem); * with Don Zagier: ''The Theory of Jacobi forms'', Birkhäuser 1985; ''Über die Einheiten der Divisionsalgebren'', Mathem. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Woods Hole
Woods Hole is a census-designated place in the town of Falmouth in Barnstable County, Massachusetts, United States. It lies at the extreme southwest corner of Cape Cod, near Martha's Vineyard and the Elizabeth Islands. The population was 781 at the 2010 census. It is the site of several marine science institutions, including Woods Hole Oceanographic Institution, the Marine Biological Laboratory, the Woodwell Climate Research Center, NOAA's Northeast Fisheries Science Center (which started the Woods Hole scientific community in 1871), the Woods Hole Science Aquarium, a USGS coastal and marine geology center, and the home campus of the Sea Education Association. And the headquarter of the Climate Foundation. It is also the site of United States Coast Guard Sector Southeastern New England (formerly USCG Group Woods Hole), the Nobska Light lighthouse, and the terminus of the Steamship Authority ferry route between Cape Cod and the island of Martha's Vineyard. History Histor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Woods Hole Oceanographic Institution
The Woods Hole Oceanographic Institution (WHOI, acronym pronounced ) is a private, nonprofit research and higher education facility dedicated to the study of marine science and engineering. Established in 1930 in Woods Hole, Massachusetts, it is the largest independent oceanographic research institution in the U.S., with staff and students numbering about 1,000. Constitution The Institution is organized into six departments, the Cooperative Institute for Climate and Ocean Research, and a marine policy center. Its shore-based facilities are located in the village of Woods Hole, Massachusetts, United States and a mile and a half away on the Quissett Campus. The bulk of the Institution's funding comes from grants and contracts from the National Science Foundation and other government agencies, augmented by foundations and private donations. WHOI scientists, engineers, and students collaborate to develop theories, test ideas, build seagoing instruments, and collect data in diverse ... [...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] |
Lie Groups
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weyl Character Formula
In mathematics, the Weyl character formula in representation theory describes the character theory, characters of irreducible representations of compact Lie groups in terms of their highest weights. It was proved by . There is a closely related formula for the character of an irreducible representation of a semisimple Lie algebra. In Weyl's approach to the Compact_group#Representation_theory_of_a_connected_compact_Lie_group, representation theory of connected compact Lie groups, the proof of the character formula is a key step in proving that every dominant integral element actually arises as the highest weight of some irreducible representation. Important consequences of the character formula are the Weyl dimension formula and the Kostant_partition_function, Kostant multiplicity formula. By definition, the character \chi of a representation \pi of ''G'' is the trace of a matrix, trace of \pi(g), as a function of a group element g\in G. The irreducible representations in this case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the linear map represented by the matrix is an isomorphism. The determinant of a product of matrices is the product of their determinants (the preceding property is a corollary of this one). The determinant of a matrix is denoted , , or . The determinant of a matrix is :\begin a & b\\c & d \end=ad-bc, and the determinant of a matrix is : \begin a & b & c \\ d & e & f \\ g & h & i \end= aei + bfg + cdh - ceg - bdi - afh. The determinant of a matrix can be defined in several equivalent ways. Leibniz formula expresses the determinant as a sum of signed products of matrix entries such that each summand is the product of different entries, and the number of these summands is n!, the factorial of (t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trace Of An Endomorphism
In linear algebra, the trace of a square matrix , denoted , is defined to be the sum of elements on the main diagonal (from the upper left to the lower right) of . The trace is only defined for a square matrix (). It can be proved that the trace of a matrix is the sum of its (complex) eigenvalues (counted with multiplicities). It can also be proved that for any two matrices and . This implies that similar matrices have the same trace. As a consequence one can define the trace of a linear operator mapping a finite-dimensional vector space into itself, since all matrices describing such an operator with respect to a basis are similar. The trace is related to the derivative of the determinant (see Jacobi's formula). Definition The trace of an square matrix is defined as \operatorname(\mathbf) = \sum_^n a_ = a_ + a_ + \dots + a_ where denotes the entry on the th row and th column of . The entries of can be real numbers or (more generally) complex numbers. The trace is not ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alternating Sum
In mathematics, an alternating series is an infinite series of the form \sum_^\infty (-1)^n a_n or \sum_^\infty (-1)^ a_n with for all . The signs of the general terms alternate between positive and negative. Like any series, an alternating series converges if and only if the associated sequence of partial sums converges. Examples The geometric series 1/2 − 1/4 %2B 1/8 − 1/16 %2B %E2%8B%AF sums to 1/3. The alternating harmonic series has a finite sum but the harmonic series does not. The Mercator series provides an analytic expression of the natural logarithm: \sum_^\infty \frac x^n \;=\; \ln (1+x). The functions sine and cosine used in trigonometry can be defined as alternating series in calculus even though they are introduced in elementary algebra as the ratio of sides of a right triangle. In fact, \sin x = \sum_^\infty (-1)^n \frac, and \cos x = \sum_^\infty (-1)^n \frac . When the alternating factor is removed from these series one obtains the hyperboli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Woods Hole Oceanographic Institution")
