|
Hodge Theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic. The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology. It has major applications in two settings: Riemannian manifolds and Kähler manifolds. Hodge's primary motivation, the study of complex projective varieties, is encompassed by the latter case. Hodge theory has become an important tool in algebraic geometry, particularly through its connection to the study of algebraic cycles. While Hodge theory is intrinsically dependent upon the real and complex numbers, it can be applied to questions ... [...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 poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic Hodge Theory
In mathematics, ''p''-adic Hodge theory is a theory that provides a way to classify and study ''p''-adic Galois representations of characteristic 0 local fields with residual characteristic ''p'' (such as Q''p''). The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of ''p''-adic cohomology theories analogous to the Hodge decomposition, hence the name ''p''-adic Hodge theory. Further developments were inspired by properties of ''p''-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field. General classification of ''p''-adic representations Let ''K'' be a local field with residue field ''k'' of characteristic ''p''. In this article, a ''p-adic representation'' of ''K'' (or of ''GK'', the absolute Galois group of ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cup Product
In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree ''p'' and ''q'' to form a composite cocycle of degree ''p'' + ''q''. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space ''X'' into a graded ring, ''H''∗(''X''), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944. Definition In singular cohomology, the cup product is a construction giving a product on the graded cohomology ring ''H''∗(''X'') of a topological space ''X''. The construction starts with a product of cochains: if \alpha^p is a ''p''-cochain and \beta^q is a ''q''-cochain, then :(\alpha^p \smile \beta^q)(\sigma) = \alpha^p(\sigma \circ \iota_) \cdot \beta^q(\sigma \circ \iota_) where σ is a singular (''p'' + ''q'') -simpl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wedge Product
A wedge is a triangular shaped tool, and is a portable inclined plane, and one of the six simple machines. It can be used to separate two objects or portions of an object, lift up an object, or hold an object in place. It functions by converting a force applied to its blunt end into forces perpendicular ( normal) to its inclined surfaces. The mechanical advantage of a wedge is given by the ratio of the length of its slope to its width..''McGraw-Hill Concise Encyclopedia of Science & Technology'', Third Ed., Sybil P. Parker, ed., McGraw-Hill, Inc., 1992, p. 2041. Although a short wedge with a wide angle may do a job faster, it requires more force than a long wedge with a narrow angle. The force is applied on a flat, broad surface. This energy is transported to the pointy, sharp end of the wedge, hence the force is transported. The wedge simply transports energy in the form of friction and collects it to the pointy end, consequently breaking the item. History Wedges have e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rigorous formulation of the integral, the Riemann integral, and his work on Fourier series. His contributions to complex analysis include most notably the introduction of Riemann surfaces, breaking new ground in a natural, geometric treatment of complex analysis. His 1859 paper on the prime-counting function, containing the original statement of the Riemann hypothesis, is regarded as a foundational paper of analytic number theory. Through his pioneering contributions to differential geometry, Riemann laid the foundations of the mathematics of general relativity. He is considered by many to be one of the greatest mathematicians of all time. Biography Early years Riemann was born on 17 September 1826 in Breselenz, a village near D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solomon Lefschetz
Solomon Lefschetz (russian: Соломо́н Ле́фшец; 3 September 1884 – 5 October 1972) was an American mathematician who did fundamental work on algebraic topology, its applications to algebraic geometry, and the theory of non-linear ordinary differential equations. Life He was born in Moscow, the son of Alexander Lefschetz and his wife Sarah or Vera Lifschitz, Jewish traders who used to travel around Europe and the Middle East (they held Ottoman passports). Shortly thereafter, the family moved to Paris. He was educated there in engineering at the École Centrale Paris, but emigrated to the US in 1905. He was badly injured in an industrial accident in 1907, losing both hands. He moved towards mathematics, receiving a Ph.D. in algebraic geometry from Clark University in Worcester, Massachusetts in 1911. He then took positions in University of Nebraska and University of Kansas, moving to Princeton University in 1924, where he was soon given a permanent position. He ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
École Polytechnique Fédérale De Lausanne
École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine The Seine ( , ) is a river in northern France. Its drainage basin is in the Paris Basin (a geological relative lowland) covering most of northern France. It rises at Source-Seine, northwest of Dijon in northeastern France in the Langres plate ... flowing in région Île-de-France * École, Savoie, a French commune * École-Valentin, a French commune in the Doubs département * Grandes écoles, higher education establishments in France * The École, a French-American bilingual school in New York City Ecole may refer to: * Ecole Software, a Japanese video-games developer/publisher {{disambiguation, geo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold ( compact and without boundary), then the ''k''th cohomology group of ''M'' is isomorphic to the (n-k)th homology group of ''M'', for all integers ''k'' :H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and (n-k)th Betti numbers of a closed (i.e., compact and without boundary) orientable ''n''-manifold are equal. The ''cohomology'' concept was at that time ab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perfect Pairing
In mathematics, a bilinear form is a bilinear map on a vector space (the elements of which are called '' vectors'') over a field ''K'' (the elements of which are called '' scalars''). In other words, a bilinear form is a function that is linear in each argument separately: * and * and The dot product on \R^n is an example of a bilinear form. The definition of a bilinear form can be extended to include modules over a ring, with linear maps replaced by module homomorphisms. When is the field of complex numbers , one is often more interested in sesquilinear forms, which are similar to bilinear forms but are conjugate linear in one argument. Coordinate representation Let be an - dimensional vector space with basis . The matrix ''A'', defined by is called the ''matrix of the bilinear form'' on the basis . If the matrix represents a vector with respect to this basis, and analogously, represents another vector , then: B(\mathbf, \mathbf) = \mathbf^\textsf A\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singular Homology
In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space ''X'', the so-called homology groups H_n(X). Intuitively, singular homology counts, for each dimension ''n'', the ''n''-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions (see also the related theory simplicial homology). In brief, singular homology is constructed by taking maps of the standard ''n''-simplex to a topological space, and composing them into formal sums, called singular chains. The boundary operation – mapping each ''n''-dimensional simplex to its (''n''−1)-dimensional boundary – induces the singular chain complex. The singular homology is then the homology of the chain complex. The resu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stokes' Theorem
Stokes's theorem, also known as the Kelvin–Stokes theorem Nagayoshi Iwahori, et al.:"Bi-Bun-Seki-Bun-Gaku" Sho-Ka-Bou(jp) 1983/12Written in Japanese)Atsuo Fujimoto;"Vector-Kai-Seki Gendai su-gaku rekucha zu. C(1)" :ja:培風館, Bai-Fu-Kan(jp)(1979/01) [] (Written in Japanese) after Lord Kelvin and Sir George Stokes, 1st Baronet, George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical Stokes' theorem can be stated in one sentence: The line integral of a vector field over a loop is equal to the '' flux of its curl'' through the enclosed surface. Stokes' theorem is a special case of the generalized Stokes' theorem. In particular, a vector field on can be considered as a 1-form in which case its curl is its exterior d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
