|
Holomorphic Lefschetz Fixed-point Formula
In mathematics, the Holomorphic Lefschetz formula is an analogue for complex manifolds of the Lefschetz fixed-point formula that relates a sum over the fixed point (mathematics), fixed points of a holomorphic vector field of a compact complex manifold to a sum over its Dolbeault cohomology groups. Statement If ''f'' is an automorphism of a compact complex manifold ''M'' with isolated fixed points, then : \sum_\frac = \sum_q(-1)^q\operatorname(f^*, H^_(M)) where *The sum is over the fixed points ''p'' of ''f'' *The linear transformation ''A''''p'' is the action induced by ''f'' on the holomorphic tangent space at ''p'' See also *Bott residue formula References *{{Citation , last1=Griffiths , first1=Phillip , author1-link=Phillip Griffiths , last2=Harris , first2=Joseph , author2-link=Joe Harris (mathematician) , title=Principles of algebraic geometry , publisher=John Wiley & Sons , location=New York , series=Wiley Classics Library , isbn=978-0-471-05059-9 , mr=128 ... [...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] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be embedded as a smooth submanifold of R2''n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it is cons ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Fixed-point Formula
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without ''any'' fixed point must have rather special topological properties (like a rotation of a circle). Formal statement For a formal statement of the theorem, let :f\colon X \rightarrow X\, be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number \Lambda_f of f by :\Lambda_f:=\sum_(-1)^k\mathrm(f_*, H_k(X,\Q)), the alternating (finite) sum of the matrix traces of the linear maps induced by f on H_k(X,\Q), the singular homology groups of X with rational coefficients. A simple versio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fixed Point (mathematics)
A fixed point (sometimes shortened to fixpoint, also known as an invariant point) is a value that does not change under a given transformation. Specifically, in mathematics, a fixed point of a function is an element that is mapped to itself by the function. In physics, the term fixed point can refer to a temperature that can be used as a reproducible reference point, usually defined by a phase change or triple point. Fixed point of a function Formally, is a fixed point of a function if belongs to both the domain and the codomain of , and . For example, if is defined on the real numbers by f(x) = x^2 - 3 x + 4, then 2 is a fixed point of , because . Not all functions have fixed points: for example, , has no fixed points, since is never equal to for any real number. In graphical terms, a fixed point means the point is on the line , or in other words the graph of has a point in common with that line. Fixed-point iteration In numerical analysis, ''fixed-point iter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dolbeault Cohomology
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let ''M'' be a complex manifold. Then the Dolbeault cohomology groups H^(M, \Complex) depend on a pair of integers ''p'' and ''q'' and are realized as a subquotient of the space of complex differential forms of degree (''p'',''q''). Construction of the cohomology groups Let Ω''p'',''q'' be the vector bundle of complex differential forms of degree (''p'',''q''). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections :\bar:\Omega^\to\Omega^ Since :\bar^2=0 this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space :H^(M,\Complex)=\frac . Dolbeault cohomology of vector bundles If ''E'' is a holomorphic vector bundle on a complex manifold ''X'', then one can define likewise a fin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In the context of abstract algebra, a mathematical object is an algebraic structure such as a group, ring, or vector space. An automorphism is simply a bijective homomorphism of an object with itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) The identity morphism (identity mapping) is called the trivial automorphism in some contexts. Respectively, other (non-identity) automorphisms are called nontrivial automorphisms. The exact definition of an automorphism depends on the type of "mathematical ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Space
In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold. Informal description In differential geometry, one can attach to every point x of a differentiable manifold a ''tangent space''—a real vector space that intuitively contains the possible directions in which one can tangentially pass through x . The elements of the tangent space at x are called the ''tangent vectors'' at x . This is a generalization of the notion of a vector, based at a given initial point, in a Euclidean space. The dimension of the tangent space at every point of a connected manifold is the same as that of the manifold itself. For example, if the given manifold is a 2 -sphere, then one can picture the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bott Residue Formula
In mathematics, the Bott residue formula, introduced by , describes a sum over the fixed points of a holomorphic vector field of a compact complex manifold. Statement If ''v'' is a holomorphic vector field on a compact complex manifold ''M'', then : \sum_\frac = \int_M P(i\Theta/2\pi) where *The sum is over the fixed points ''p'' of the vector field ''v'' *The linear transformation ''A''''p'' is the action induced by ''v'' on the holomorphic tangent space at ''p'' *''P'' is an invariant polynomial function of matrices of degree dim(''M'') *Θ is a curvature matrix of the holomorphic tangent bundle See also *Atiyah–Bott fixed-point theorem * Holomorphic Lefschetz fixed-point formula References * *{{Citation , last1=Griffiths , first1=Phillip , author1-link=Phillip Griffiths , last2=Harris , first2=Joseph , author2-link=Joe Harris (mathematician) , title=Principles of algebraic geometry , publisher=John Wiley & Sons John Wiley & Sons, Inc., commonly known as Wile ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Wiley & Sons
John Wiley & Sons, Inc., commonly known as Wiley (), is an American multinational publishing company founded in 1807 that focuses on academic publishing and instructional materials. The company produces books, journals, and encyclopedias, in print and electronically, as well as online products and services, training materials, and educational materials for undergraduate, graduate, and continuing education students. History The company was established in 1807 when Charles Wiley opened a print shop in Manhattan. The company was the publisher of 19th century American literary figures like James Fenimore Cooper, Washington Irving, Herman Melville, and Edgar Allan Poe, as well as of legal, religious, and other non-fiction titles. The firm took its current name in 1865. Wiley later shifted its focus to scientific, technical, and engineering subject areas, abandoning its literary interests. Wiley's son John (born in Flatbush, New York, October 4, 1808; died in East Orange, New Je ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifolds
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be embedded as a smooth submanifold of R2''n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it is cons ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
