|
Oka Coherence Theorem
In mathematics, the Oka coherence theorem, proved by , states that the sheaf \mathcal_ of holomorphic functions on \mathbb^n (and subsequently the sheaf \mathcal_ of holomorphic functions on a complex manifold X) is coherent.In paper it was called the idéal de domaines indéterminés. See also * Cartan's theorems A and B * Several complex variables * GAGA * Oka–Weil theorem * Weierstrass preparation theorem In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point ''P''. It states that such a function is, up to multiplication by a function not zero at ''P'', a poly ... Note References * * * * * Theorems in complex analysis Theorems in complex geometry {{mathanalysis-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf (mathematics)
In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well-behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every datum is the sum of its constituent data). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their precise definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Function
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivative in a neighbourhood is a very strong condition: It implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (is '' analytic''). Holomorphic functions are the central objects of study in complex analysis. Though the term '' analytic function'' is often used interchangeably with "holomorphic function", the word "analytic" is defined in a broader sense to denote any function (real, complex, or of more general type) that can be written as a convergent power series in a neighbourhood of each point in its domain. That all holomorphic functions are complex analytic functions, and vice versa, is a major theorem in complex analysis. Holomorphic functions are also sometimes referred to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with a ''complex structure'', that is an atlas (topology), atlas of chart (topology), charts to the open unit disc in the complex coordinate space \mathbb^n, such that the transition maps are Holomorphic function, 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) or an almost complex manifold, ''almost'' complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth manifold, smooth and complex manifolds have very different flavors: compact space, compact complex manifolds are much closer to algebraic variety, algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be Embedding, embedded as a smooth subma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X- modules that has a local presentation, that is, every point in X has an open neighborhood U in which there ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Idéal De Domaines Indéterminés
The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space \mathbb C^n, that is, -tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables (and analytic space), which the Mathematics Subject Classification has as a top-level heading. As in complex analysis of functions of one variable, which is the case , the functions studied are ''holomorphic'' or ''complex analytic'' so that, locally, they are power series in the variables . Equivalently, they are locally uniform limits of polynomials; or locally square-integrable solutions to the -dimensional Cauchy–Riemann equations. For one complex variable, every domainThat is an open connected subset. (D \subset \mathbb C), is the domain of holomorphy of some function, in other words every domain has a function for which it is the domain of holomorphy. For several complex vari ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan's Theorems A And B
In mathematics, Cartan's theorems A and B are two results mathematical proof, proved by Henri Cartan around 1951, concerning a coherent sheaf on a Stein manifold . They are significant both as applied to Function of several complex variables, several complex variables, and in the general development of sheaf cohomology. Theorem B is stated in cohomological terms (a formulation that Cartan (#CITEREFCartan1953, 1953, p. 51) attributes to J.-P. Serre): Analogous properties were established by Jean-Pierre Serre, Serre (#CITEREFSerre1957, 1957) for coherent sheaves in algebraic geometry, when is an affine scheme. The analogue of Theorem B in this context is as follows : These theorems have many important applications. For instance, they imply that a holomorphic function on a closed complex submanifold, , of a Stein manifold can be extended to a holomorphic function on all of . At a deeper level, these theorems were used by Jean-Pierre Serre to prove the GAGA theorem. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Of Several Complex Variables
The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space \mathbb C^n, that is, -tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables (and analytic space), which the Mathematics Subject Classification has as a top-level heading. As in complex analysis of functions of one variable, which is the case , the functions studied are ''holomorphic'' or ''complex analytic'' so that, locally, they are power series in the variables . Equivalently, they are locally uniform limits of polynomials; or locally square-integrable solutions to the -dimensional Cauchy–Riemann equations. For one complex variable, every domainThat is an open connected subset. (D \subset \mathbb C), is the domain of holomorphy of some function, in other words every domain has a function for which it is the domain of holomorphy. For several complex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry And Analytic Geometry
In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties. Main statement Let X be a projective complex algebraic variety. Because X is a complex variety, its set of complex points X(\C) can be given the structure of a compact complex analytic space. This analytic space is denoted X^\mathrm. Similarly, if \mathcal is a sheaf on X, then there is a corresponding sheaf \mathcal^\text on X^\mathrm. This association of an analytic object to an algebraic one is a functor. The prototypical theorem relating X and X^\mathrm says that for any two coherent s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oka–Weil Theorem
In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil. Statement The Oka–Weil theorem states that if ''X'' is a Stein space and ''K'' is a compact \mathcal(X)-convex subset of ''X'', then every holomorphic function in an open neighborhood of ''K'' can be approximated uniformly on ''K'' by holomorphic functions on \mathcal(X) (in particular, by polynomials). Applications Since Runge's theorem may not hold for several complex variables, the Oka–Weil theorem is often used as an approximation theorem for several complex variables. The Behnke–Stein theorem was originally proved using the Oka–Weil theorem. See also * Oka coherence theorem In mathematics, the Oka coherence theorem, proved by , states that the sheaf \mathcal_ of holomorphic functions on \mathbb^n (and subsequently the sheaf \mathcal_ of holomorphic functio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weierstrass Preparation Theorem
In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point ''P''. It states that such a function is, up to multiplication by a function not zero at ''P'', a polynomial in one fixed variable ''z'', which is monic, and whose coefficients of lower degree terms are analytic functions in the remaining variables and zero at ''P''. There are also a number of variants of the theorem, that extend the idea of factorization in some ring ''R'' as ''u''·''w'', where ''u'' is a unit and ''w'' is some sort of distinguished Weierstrass polynomial. Carl Siegel has disputed the attribution of the theorem to Weierstrass, saying that it occurred under the current name in some of late nineteenth century ''Traités d'analyse'' without justification. Complex analytic functions For one variable, the local form of an analytic function ''f''(''z'') near 0 is ''z''''k''''h''(''z'') where ''h''(0) is not 0, and ''k'' i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Complex Analysis
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ''corollary'' for less important theorems. In mathematical logic, the concepts of theorems and proofs have been formalized in order to allow mathematical reasonin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
