Formal Holomorphic Function
In algebraic geometry, a formal holomorphic function along a subvariety ''V'' of an algebraic variety ''W'' is an algebraic analog of a holomorphic function defined in a neighborhood of ''V''. They are sometimes just called holomorphic functions when no confusion can arise. They were introduced by . The theory of formal holomorphic functions has largely been replaced by the theory of formal scheme In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off ...s which generalizes it: a formal holomorphic function on a variety is essentially just a section of the structure sheaf of a related formal scheme. Definition If ''V'' is an affine subvariety of the affine variety ''W'' defined by an ideal ''I'' of the coordinate ring ''R'' of ''W'', then a formal holomorphic function along ''V'' is just an ... [...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 (''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 as '' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Scheme
In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off of the scheme. For this reason, formal schemes frequently appear in topics such as deformation theory. But the concept is also used to prove a theorem such as the theorem on formal functions, which is used to deduce theorems of interest for usual schemes. A locally Noetherian scheme is a locally Noetherian formal scheme in the canonical way: the formal completion along itself. In other words, the category of locally Noetherian formal schemes contains all locally Noetherian schemes. Formal schemes were motivated by and generalize Zariski's theory of formal holomorphic functions. Algebraic geometry based on formal schemes is called formal algebraic geometry. Definition Formal schemes are usually defined only in the Noetherian case. W ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |