Function of several complex variables

  (Redirected from Several complex variables)

The theory of functions of several complex variables[clarification needed] is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variables (and analytic space), that has become a common name for that whole field of study and Mathematics Subject Classification has, as a top-level heading. A function is n-tuples of complex numbers, classically studied on the complex coordinate space .

As in complex analysis of functions of one variable, which is the case n = 1, the functions studied are holomorphic or complex analytic so that, locally, they are power series in the variables zi. Equivalently, they are locally uniform limits of polynomials; or local solutions to the n-dimensional Cauchy–Riemann equations. For one complex variable, every domain[note 1](), is the domain of holomorphy of some function, in other words every domain has a function for which it is the domain of holomorphy.[ref 1][ref 2] For several complex variables, this is not the case; there exist domains () that are not the domain of holomorphy of any function, and so is not always the domain of holomorphy, so the domain of holomorphy is one of the themes in this field.[ref 1] Patching the local data of meromorphic functions, i.e. the problem of creating a global meromorphic function from zeros and poles, is called the Cousin problem. Also, the interesting phenomena that occur in several complex variables are fundamentally important to the study of compact complex manifolds and complex projective varieties () and has a different flavour to complex analytic geometry in or on Stein manifolds.

Historical perspectiveEdit

Many examples of such functions were familiar in nineteenth-century mathematics; abelian functions, theta functions, and some hypergeometric series. Naturally also same function of one variable that depends on some complex parameter is a candidate. The theory, however, for many years didn't become a full-fledged field in mathematical analysis, since its characteristic phenomena weren't uncovered. The Weierstrass preparation theorem would now be classed as commutative algebra; it did justify the local picture, ramification, that addresses the generalization of the branch points of Riemann surface theory.

With work of Friedrich Hartogs, and of Kiyoshi Oka in the 1930s, a general theory began to emerge; others working in the area at the time were Heinrich Behnke, Peter Thullen and Karl Stein. Hartogs proved some basic results, such as every isolated singularity is removable, for every analytic function

 

whenever n > 1. Naturally the analogues of contour integrals will be harder to handle; when n = 2 an integral surrounding a point should be over a three-dimensional manifold (since we are in four real dimensions), while iterating contour (line) integrals over two separate complex variables should come to a double integral over a two-dimensional surface. This means that the residue calculus will have to take a very different character.

After 1945 important work in France, in the seminar of Henri Cartan, and Germany with Hans Grauert and Reinhold Remmert, quickly changed the picture of the theory. A number of issues were clarified, in particular that of analytic continuation. Here a major difference is evident from the one-variable theory; while for every open connected set D in   we can find a function that will nowhere continue analytically over the boundary, that cannot be said for n > 1. In fact the D of that kind are rather special in nature (especially in complex coordinate spaces   and Stein manifolds, satisfying a condition called pseudoconvexity). The natural domains of definition of functions, continued to the limit, are called Stein manifolds and their nature was to make sheaf cohomology groups vanish, also, the property that the sheaf cohomology group disappears is also found in other high-dimensional complex manifolds, indicating that the Hodge manifold is projective. In fact it was the need to put (in particular) the work of Oka on a clearer basis that led quickly to the consistent use of sheaves for the formulation of the theory (with major repercussions for algebraic geometry, in particular from Grauert's work).

From this point onwards there was a foundational theory, which could be applied to analytic geometry, [note 2] automorphic forms of several variables, and partial differential equations. The deformation theory of complex structures and complex manifolds was described in general terms by Kunihiko Kodaira and D. C. Spencer. The celebrated paper GAGA of Serre[ref 3] pinned down the crossover point from géometrie analytique to géometrie algébrique.

C. L. Siegel was heard to complain that the new theory of functions of several complex variables had few functions in it, meaning that the special function side of the theory was subordinated to sheaves. The interest for number theory, certainly, is in specific generalizations of modular forms. The classical candidates are the Hilbert modular forms and Siegel modular forms. These days these are associated to algebraic groups (respectively the Weil restriction from a totally real number field of GL(2), and the symplectic group), for which it happens that automorphic representations can be derived from analytic functions. In a sense this doesn't contradict Siegel; the modern theory has its own, different directions.

Subsequent developments included the hyperfunction theory, and the edge-of-the-wedge theorem, both of which had some inspiration from quantum field theory. There are a number of other fields, such as Banach algebra theory, that draw on several complex variables.

The complex coordinate spaceEdit

The complex coordinate space   is the Cartesian product of n copies of  , and when   is a domain of holomorphy,   can be regarded as a Stein manifold, and more generalized Stein space.   is also considered to be a complex projective variety, a Kähler manifold,[ref 4] etc. It is also an n-dimensional vector space over the complex numbers, which gives its dimension 2n over  .[note 3] Hence, as a set and as a topological space,   may be identified to the real coordinate space   and its topological dimension is thus 2n.

In coordinate-free language, any vector space over complex numbers may be thought of as a real vector space of twice as many dimensions, where a complex structure is specified by a linear operator J (such that J 2 = I) which defines multiplication by the imaginary unit i.

Any such space, as a real space, is oriented. On the complex plane thought of as a Cartesian plane, multiplication by a complex number w = u + iv may be represented by the real matrix

 

with determinant

 

Likewise, if one expresses any finite-dimensional complex linear operator as a real matrix (which will be composed from 2 × 2 blocks of the aforementioned form), then its determinant equals to the square of absolute value of the corresponding complex determinant. It is a non-negative number, which implies that the (real) orientation of the space is never reversed by a complex operator. The same applies to Jacobians of holomorphic functions from   to  .

Connected spaceEdit

Every product of a family of an connected (resp. path-connected) spaces is connected (resp. path-connected).

CompactEdit

From Tychonoff's theorem, the space mapped by the cartesian product consisting of any combination of compact spaces is a compact space.

Holomorphic functionsEdit

DefinitionEdit

When a function f defined on the domain D is complex-differentiable at each point on D, f is said to be holomorphic on D. When the function f defined on the domain D satisfies the following conditions, it is complex-differentiable at the point   on D;

Let  ,
 , since such   are uniquely determined, they are called the partial differential coefficients of f, and each are written as  

Therefore, a function f defined on a domain   is called holomorphic if f satisfies the following two conditions.

  1. f is continuous[note 4] on D[note 5]
  2. For each variable  , f is holomorphic, namely,
     
    these conditions are called Osgood's lemma.

Cauchy–Riemann equationsEdit

For each index ν let

 

and generalize the usual Cauchy–Riemann equation for one variable for each index ν, then we obtain

 

Let[clarification needed]

  (Wirtinger derivative)

through, let   be the Kronecker delta, that is  , and   if  . Then as expected,

 

therefore,

 

Cauchy's integral formulaEdit

f meets the conditions of being continuous and separately homorphic on domain D. Each disk has a rectifiable curve  ,   is piecewise smoothness, class   Jordan closed curve. ( ) Let   be the domain surrounded by each  . Cartesian product closure   is  . Also, take the polydisc   so that it becomes  . (  and let   be the center of each disk.) Using Cauchy's integral formula of one variable repeatedly,

 

Because   is a rectifiable Jordanian closed curve[note 6] and f is continuous, so the order of products and sums can be exchanged so the iterated integral can be calculated as a multiple integral. Therefore,

 

 

 

 

 

(1)

Cauchy's evaluation formulaEdit

Because the order of products and sums is interchangeable, from (1) we get

 

 

 

 

 

(2)

f is class  -function.

From (2), if f is holomorphic, on polydisc   and  , the following evaluation equation is obtained.

 

Therefore, Liouville's theorem hold.

Power series expansion of holomorphic functions on polydiscEdit

If function f is holomorphic, on polydisc  , from Cauchy's integral formula, we can see that it can be uniquely expanded to the next power series.

 

In addition, f that satisfies the following conditions is called an analytic function.

For each point  ,   is expressed as a power series expansion that is convergent on D :

 

We have already explained that holomorphic functions on polydisc are analytic. Also, from the theorem derived by Weierstrass , we can see that the analytic function on polydisc (convergent power series) is holomorphic.

If a sequence of functions   which converges uniformly on compacta inside a domain D, the limit function f of   also uniformly on compacta inside a domain D. Also, respective partial derivative of   also compactly converges on domain D to the corresponding derivative of f.
 [ref 5]

Radius of convergence of power seriesEdit

It is possible to define a combination of positive real numbers   such that the power series   converges uniformly at   and does not converge uniformly at  .

In this way it is possible to have a similar, combination of radius of convergence[note 7] for a one complex variable. This combination is generally not unique and there are an infinite number of combinations.

Laurent series expansionEdit

Let   be holomorphic in the annulus   and continuous on their circumference, then there exists the following expansion ;

 

The integral in the second term, of the right-hand side is performed so as to see the zero on the left in every plane, also this integrated series is uniformly convergent in the annulus  , where   and  , and so it is possible to integrate term.[ref 6]

Bochner–Martinelli formulaEdit

The Cauchy integral formula holds only for polydiscs, and in the domain of several complex variables, polydiscs are only one of many domain, so we introduce Bochner–Martinelli formula.

Suppose that f is a continuously differentiable function on the closure of a domain D on   with piecewise smooth boundary  . Then the Bochner–Martinelli formula states that if z is in the domain D then, for  , z in   the Bochner–Martinelli kernel   is a differential form in   of bidegree   defined by

 
 

In particular if f is holomorphic the second term vanishes, so

 

Identity theoremEdit

When the function f,g is analytic in the domain D,[note 8] even for several complex variables, the identity theorem[note 9] holds on the domain D, because it has a power series expansion the neighbourhood of point of analytic. Therefore, the maximal principle hold. Also, the inverse function theorem and implicit function theorem hold.

BiholomorphismEdit

From the establishment of the inverse function theorem, the following mapping can be defined.

For the domain U, V of the n-dimensional complex space  , the bijective holomorphic function   and the inverse mapping   is also holomorphic. At this time,   is called a U, V biholomorphism also, we say that U and V are biholomorphically equivalent or that they are biholomorphic.

The Riemann mapping theorem does not holdEdit

When  , open balls and open polydiscs are not biholomorphically equivalent, that is, there is no biholomorphic mapping between the two. This was proven by Poincaré in 1907 by showing that their automorphism groups have different dimensions as Lie groups.[ref 7][ref 2]

Analytic continuationEdit

Let U, V be domain on  ,   and  . Assume that   and   is a connected component of  . If   then f is said to be connected to V, and g is said to be analytic continuation of f. From the identity theorem, if g exists, for each way of choosing w it is unique. Whether or not the definition of this analytic continuation is well-defined should be considered whether the domains U,V and W can be defined arbitrarily. Several complex variables have restrictions on this domain, and depending on the shape of the domain , all analytic functions g belonging to V are connected to  , and there may be not exist function g with   as the natural boundary. In other words, V cannot be defined arbitrarily. There is called the Hartogs's phenomenon. Therefore, researching when domain boundaries become natural boundaries has become one of the main research themes of several complex variables. Also, in the general dimension, there may be multiple intersections between U and V. That is, f is not connected as a single-valued holomorphic function, but as a multivalued analytic function. This means that W is not unique and has different properties in the neighborhood of the branch point than in the case of one variable.

Reinhardt domainEdit

In polydisks and the Reinhardt domain, Cauchy's integral formula holds and the power series expansion of holomorphic functions is defined, but the unique radius of convergence is not defined for each variable. Also, since the Riemann mapping theorem does not hold, polydisks and open unit balls are not biholomorphic mapping. Therefore, the domain of convergence of the power series is not as simple as the case of one variable, but it satisfies the property called Logarithmically-convex. There are various convexity for the domain of convergence of several complex variables.

A domain D in the complex coordinate space  ,  , with centre at a point  , with the following property; Together with each point  , the domain also contains the set

 

A Reinhardt domain D with   is invariant under the transformations  ,  ,  . The Reinhardt domains constitute a subclass of the Hartogs domains [ref 8] and a subclass of the circular domains, which are defined by the following condition; Together with all points of  , the domain contains the set

 

i.e. all points of the circle with center   and radius   that lie on the complex line through   and  .

A Reinhardt domain D is called a complete Reinhardt domain if together with all point   it also contains the polydisc

 

A complete Reinhardt domain is star-like with respect to its centre a. Therefore, the complete Reinhardt domain is simply connected, also when the complete Reinhardt domain is the boundary line, there is a way to prove Cauchy's integral theorem without using the Jordan curve theorem.

Logarithmically-convexEdit

A Reinhardt domain D is called logarithmically convex if the image   of the set

 

under the mapping

 

is a convex set in the real coordinate space  .

Every such domain in   is the interior of the set of points of absolute convergence (i.e. the domain of convergence) of some power series in  , and conversely; The domain of convergence of every power series in   is a logarithmically-convex Reinhardt domain with centre  . [note 10]

Some resultsEdit

Hartogs's extension theorem and Hartogs's phenomenonEdit

When examining the domain of convergence on the Reinhardt domain, Hartogs found the Hartogs's phenomenon in which holomorphic functions in some domain on the   were all connected to larger domain.

On the polydisk consisting of two disks   when  .
Internal domain of  
Hartogs's extension theorem (1906);[ref 9] Let f be a holomorphic function on a set G \ K, where G is a bounded (surrounded by a rectifiable closed Jordan curve) domain[note 11] on   (n ≥ 2) and K is a compact subset of G. If the complement G \ K is connected, then every holomorphic function f regardless of how it is chosen can be each extended to a unique holomorphic function on G.[ref 11][ref 10]
It is also called Osgood–Brown theorem is that for holomorphic functions of several complex variables, the singularity is a accumulation point, not an isolated point. This means that the various properties that hold for holomorphic functions of one-variable complex variables do not hold for holomorphic functions of several complex variables. The nature of these singularities is also derived from Weierstrass preparation theorem. A generalization of this theorem using the same method as Hartogs was proved in 2007.[ref 12][ref 13]

From Hartogs's extension theorem the domain of convergence extends from   to  . Looking at this from the perspective of the Reinhardt domain,   is the Reinhardt domain containing the center z = 0, and the domain of convergence of   has been extended to the smallest complete Reinhardt domain   containing  .[ref 14]

Thullen's classic resultsEdit

Thullen's[ref 15] classical result says that a 2-dimensional bounded Reinhard domain containing the origin is biholomorphic to one of the following domains provided that the orbit of the origin by the automorphism group has positive dimension:

  1.   (polydisc);
  2.   (unit ball);
  3.   (Thullen domain).

Sunada's resultsEdit

Toshikazu Sunada (1978)[ref 16] established a generalization of Thullen's result:

Two n-dimensional bounded Reinhardt domains   and   are mutually biholomorphic if and only if there exists a transformation   given by  ,   being a permutation of the indices), such that  .

Natural domain of the holomorphic function (domain of holomorphy)Edit

When moving from the theory of one complex variable to the theory of several complex variables, depending on the range of the domain, it may not be possible to define a holomorphic function such that the boundary of the domain becomes a natural boundary. Considering the domain where the boundaries of the domain are natural boundaries (In the complex coordinate space   call the domain of holomorphy), the first result of the domain of holomorphy was the holomorphic convexity of H. Cartan and Thullen.[ref 17] Levi's problem shows that the pseudoconvex domain was a domain of holomorphy. (First for  ,[ref 18] later extended to  .[ref 19][ref 20])[ref 21] Kiyoshi Oka's[ref 22][ref 23] notion of idéal de domaines indéterminés is interpreted theory of sheaf cohomology by H. Cartan.[ref 24][ref 25][ref 26][ref 27][note 12] In sheaf cohomology, the domain of holomorphy has come to be interpreted as the theory of Stein manifolds.[ref 28] The notion of the domain of holomorphy is also considered in other complex manifolds, furthermore also the complex analytic space which is its generalization.[ref 1]

Domain of holomorphyEdit

 
The sets in the definition. Note: On this section, replace   in the figure with D

When a function f is holomorpic on the domain   and cannot directly connect to the domain outside D, including the point of the domain boundary  , the domain D is called the domain of holomorphy of f and the boundary is called the natural boundary of f. In other words, the domain of holomorphy D is the supremum of the domain where the holomorphic function f is holomorphic, and the domain D, which is holomorphic, cannot be extended any more. For several complex variables, i.e. domain  , the boundaries may not be natural boundaries. Hartogs' extension theorem gives an example of a domain where boundaries are not natural boundaries.

Formally, a domain D in the n-dimensional complex coordinate space   is called a domain of holomorphy if there do not exist non-empty domain   and  ,   and   such that for every holomorphic function f on D there exists a holomorphic function g on V with   on U.

For the   case, the every domain ( ) was the domain of holomorphy; we can define a holomorphic function with zeros accumulating everywhere on the boundary of the domain, which must then be a natural boundary for a domain of definition of its reciprocal.

Properties of the domain of holomorphyEdit

  • If   are domains of holomorphy, then their intersection   is also a domain of holomorphy.
  • If   is an increasing sequence of domains of holomorphy, then their union   is also a domain of holomorphy (see Behnke–Stein theorem).
  • If   and   are domains of holomorphy, then   is a domain of holomorphy.
  • The first Cousin problem is always solvable in a domain of holomorphy, also Cartan showed that the converse of this result was incorrect for  .[ref 29] this is also true, with additional topological assumptions, for the second Cousin problem.

Holomorphically convex hullEdit

Let   be a domain , or alternatively for a more general definition, let   be an   dimensional complex analytic manifold. Further let   stand for the set of holomorphic functions on G. For a compact set  , the holomorphically convex hull of K is

 

One obtains a narrower concept of polynomially convex hull by taking   instead to be the set of complex-valued polynomial functions on G. The polynomially convex hull contains the holomorphically convex hull.

The domain   is called holomorphically convex if for every compact subset   is also compact in G. Sometimes this is just abbreviated as holomorph-convex.

When  , every domain   is holomorphically convex since then   is the union of K with the relatively compact components of  .

When  , if f satisfies the above holomorphic convexity on D it has the following properties.   for every compact subset K in D, where   denotes the distance between K and  . Also, at this time, D is a domain of holomorphy. Therefore, every convex domain   is domain of holomorphy.[ref 2]

Levi convex (approximate from the inside on the analytic polyhedron domain)Edit

  is union of increasing sequence of analytic compact surfaces with paracompact and Holomorphically convex properties such that  . i.e. Approximate from the inside by analytic polyhedron. [note 13]

PseudoconvexEdit

Pseudoconvex Hartogs showed that   is subharmonic for the radius of convergence in the Hartogs series   when the Hartogs series is a one-variable  .[ref 1] If such a relationship holds in the domain of holomorphy of several complex variables, it looks like a more manageable condition than a holomorphically convex.[note 14] The subharmonic function looks like a kind of convex function, so it was named by Levi as a pseudoconvex domain. Pseudoconvex domain are important, as they allow for classification of domains of holomorphy.

Definition of plurisubharmonic functionEdit

A function
 
with domain  

is called plurisubharmonic if it is upper semi-continuous, and for every complex line

  with  
the function   is a subharmonic function on the set
 
In full generality, the notion can be defined on an arbitrary complex manifold or even a Complex analytic space   as follows. An upper semi-continuous function
 
is said to be plurisubharmonic if and only if for any holomorphic map

  the function

 

is subharmonic, where   denotes the unit disk.

In one-complex variable, necessary and sufficient condition that the real-valued function  , that can be second-order differentiable with respect to z of one-variable complex function is subharmonic is  . There fore, if   is of class  , then   is plurisubharmonic if and only if the hermitian matrix   is positive semidefinite.

Equivalently, a  -function u is plurisubharmonic if and only if   is a positive (1,1)-form.[ref 30]: 39–40 

Strictly plurisubharmonic functionEdit

When the hermitian matrix of u is positive-definite and class  , we call u a strict plurisubharmonic function.

(Weakly) pseudoconvex (p-pseudoconvex)Edit

Weak pseudoconvex is defined as : Let   be a domain. One says that X is pseudoconvex if there exists a continuous plurisubharmonic function   on X such that the set   is a relatively compact subset of X for all real numbers x. [note 15] i.e. there exists a smooth plurisubharmonic exhaustion function  . Often, the definition of pseudoconvex is used here and is written as; Let X be a complex n-dimensional manifold. Then is said to be weeak pseudoconvex there exists a smooth plurisubharmonic exhaustion function  .[ref 30]: 49 

Strongly (Strictly) pseudoconvexEdit

Let X be a complex n-dimensional manifold. Strongly pseudoconvex if there exists a smooth strictly plurisubharmonic exhaustion function  ,i.e.   is positive definite at every point. The strongly pseudoconvex domain is the pseudoconvex domain.[ref 30]: 49  The strong Levi pseudoconvex domain is simply called strong pseudoconvex and is often called strictly pseudoconvex to make it clear that it has a strictly plurisubharmonic exhaustion function in relation to the fact that it may not have a strictly plurisubharmonic exhaustion function.[ref 31]

(Weakly) Levi(–Krzoska) pseudoconvexityEdit

If   boundary , it can be shown that D has a defining function; i.e., that there exists   which is   so that  , and  . Now, D is pseudoconvex iff for every   and   in the complex tangent space at p, that is,

 , we have
 [ref 2]

For arbitrary complex manifold, Levi (–Krzoska) pseudoconvexity does not always have an plurisubharmonic exhaustion function, i.e. it does not necessarily have a (p-)pseudoconvex domain.[ref 31]

If D does not have a   boundary, the following approximation result can be useful.

Proposition 1 If D is pseudoconvex, then there exist bounded, strongly Levi pseudoconvex domains   with class  -boundary which are relatively compact in D, such that

 

This is because once we have a   as in the definition we can actually find a   exhaustion function.

Strongly Levi (–Krzoska) pseudoconvexity (Strongly pseudoconvex)Edit

When the Levi (–Krzoska) form is positive-definite, it is called Strongly Levi (–Krzoska) pseudoconvex or often called simply Strongly pseudoconvex.[ref 2]

Levi total pseudoconvexEdit

If for every boundary point   of D, there exists an analytic variety   passing   which lies entirely outside D in some neighborhood around  , except the point   itself. Domain D that satisfies these conditions is called Levi total pseudoconvex.[ref 32]

Oka pseudoconvexEdit

Family of Oka's diskEdit

Let n-functions   be continuous on  , holomorphic in   when the parameter t is fixed in [0, 1], and assume that   are not all zero at any point on  . Then the set   is called an analytic disc de-pending on a parameter t, and   is called its shell. If   and  , Q(t) is called Family of Oka's disk.[ref 32][ref 33]

DefinitionEdit

When   holds on any family of Oka's disk, D is called Oka pseudoconvex.[ref 32] Oka's proof of Levi's problem was that when the unramified Riemann domain[ref 34] was a domain of holomorphy (holomorphically convex), it was proved that it was necessary and sufficient that each boundary point of the domain of holomorphy is an Oka pseudoconvex.[ref 19][ref 33]

Locally pseudoconvex (locally Stein, Cartan pseudoconvex, local Levi property)Edit

For every point   there exist a neighbourhood U of x and f holomorphic. ( i.e.   be holomorphically convex.) such that f cannot be extended to any neighbourhood of x. i.e. A holomorphic map   will be said to be locally pseudoconvex if every point   has a neighborhood U such that   is Stein (weakly 1-complete[ref 35]). In this situation, we shall also say that X is locally pseudoconvex over Y. This was also called locally Stein and was classically called Cartan Pseudoconvex. In   the Clocally pseudoconvexdomain is itself a pseudoconvex domain and is a domain of holomorphy.[ref 36][ref 32]

Conditions equivalent to domain of holomorphyEdit

For a domain   the following conditions are equivalent.[note 16]:

  1. D is a domain of holomorphy.
  2. D is holomorphically convex.
  3. D is Levi convex.
  4. D is pseudoconvex.
  5. D is Locally pseudoconvex.

The implications  ,[note 17]  ,[note 18] and   are standard results. Proving  , i.e. constructing a global holomorphic function which admits no extension from non-extendable functions defined only locally. This is called the Levi problem (after E. E. Levi) and was first solved by Kiyoshi Oka,[note 19] and then by Lars Hörmander using methods from functional analysis and partial differential equations (a consequence of  -problem).

SheafEdit

Idéal de domaines indéterminés (The predecessor of the notion of the coherent (sheaf))Edit

Oka introduced the notion which he termed "idéal de domaines indéterminés" or "ideal of indeterminate domains".[ref 22][ref 23] Specifically, it is a set   of pairs  ,   holomorphic on a non-empty open set  , such that

  1. If   and   is arbitrary, then  .
  2. For each  , then  

The origin of indeterminate domains comes from the fact that domains change depending on the pair  . Cartan[ref 24][ref 25] translated this notion into the notion of the coherent (sheaf) in sheaf cohomology.[ref 42][ref 43] This name comes from H. Cartan.[ref 44] The notion of coherent helped solve the problems in several complex variables.[ref 27]

Coherent sheafEdit

DefinitionEdit

The definition of the coherent sheaf is as follows.[ref 45]

A coherent sheaf on a ringed space   is a sheaf   satisfying the following two properties:

  1.   is of finite type over  , that is, every point in   has an open neighborhood   in   such that there is a surjective morphism   for some natural number  ;
  2. for arbitrary open set  , arbitrary natural number  , and arbitrary morphism   of  -modules, the kernel of   is of finite type.

Morphisms between (quasi-)coherent sheaves are the same as morphisms of sheaves of  -modules.

Also, Jean-Pierre Serre (1955)[ref 45] proves that

If in an exact sequence   of sheaves of  -modules two of the three sheaves   are coherent, then the third is coherent as well.

A quasi-coherent sheaf on a ringed space   is a sheaf   of  -modules which has a local presentation, that is, every point in   has an open neighborhood   in which there is an exact sequence

 

for some (possibly infinite) sets   and  .

Oka's coherent theoremEdit

Oka's coherent theorem[ref 22] says that each sheaf that meets the following conditions is a coherent.[ref 46]

  1. the sheaf   of germs of holomorphic functions on   or complex submanifold
  2. the ideal sheaf   of an analytic subset A of an open subset of  
  3. the normalization of the structure sheaf of a complex analytic space

From the above Serre(1955) theorem,   is a coherent sheaf, also, (i) is used to prove Cartan's theorems A and B.

Ideal sheafEdit

If   is a closed subscheme of a locally Noetherian scheme  , the sheaf   of all regular functions vanishing on   is coherent. Likewise, if   is a closed analytic subspace of a complex analytic space  , the ideal sheaf   is coherent.

Cousin problemEdit

In the case of one variable complex functions, Mittag-Leffler's theorem was able to create a global meromorphic function from a given pole, and Weierstrass factorization theorem was able to create a global meromorphic function from a given zero. However, these theorems do not hold because the singularities of analytic function in several complex variables is not isolated points, this problem is called the Cousin problem and is formulated in sheaf cohomology terms. They were introduced in special cases by Pierre Cousin in 1895.[ref 47] It was Kiyoshi Oka who showed[note 20] the conditions for solving first Cousin problem for the domain of holomorphy on the complex coordinate space, and also solving with additional topological assumptions, for the second Cousin problem, the Cousin problem is a problem related to the analytical properties of complex manifolds, but the condition for solving second Cousin problem is pure a topological property,[ref 27] and J.P., Serre[ref 48] called this the Oka principle.[ref 49][ref 50][ref 51] They are now posed, and solved, for arbitrary complex manifold M, in terms of conditions on M. M, which satisfies these conditions, is one way to define a Stein manifold. The study of Cousin problems has developed the theory of sheaf cohomology. (e.g.Cartan seminar.[ref 28])[ref 27]

First Cousin problemEdit

Definition without sheaf cohomology wordsEdit

Each difference   is a holomorphic function, where it is defined. It asks for a meromorphic function f on M such that   is holomorphic on Ui; in other words, that f shares the singular behaviour of the given local function.

Definition using sheaf cohomology wordsEdit

Let K be the sheaf of meromorphic functions and O the sheaf of holomorphic functions on M. If the next map is surjective, Cousin first problem can be solved.

 

By the long exact cohomology sequence,

 

is exact, and so the first Cousin problem is always solvable provided that the first cohomology group H1(M,O) vanishes. In particular, by Cartan's theorem B, the Cousin problem is always solvable if M is a Stein manifold.

Second Cousin problemEdit

Definition without Sheaf cohomology wordsEdit

Each ratio   is a non-vanishing holomorphic function, where it is defined. It asks for a meromorphic function f on M such that   is holomorphic and non-vanishing.

Definition using sheaf cohomology wordsEdit

let   be the sheaf of holomorphic functions that vanish nowhere, and   the sheaf of meromorphic functions that are not identically zero. These are both then sheaves of abelian groups, and the quotient sheaf   is well-defined. If the next map   is surjective, then Second Cousin problem can be solved.

 

The long exact sheaf cohomology sequence associated to the quotient is

 

so the second Cousin problem is solvable in all cases provided that  

The cohomology group   for the multiplicative structure on   can be compared with the cohomology group   with its additive structure by taking a logarithm. That is, there is an exact sequence of sheaves

 

where the leftmost sheaf is the locally constant sheaf with fiber  . The obstruction to defining a logarithm at the level of H1 is in  , from the long exact cohomology sequence

 

When M is a Stein manifold, the middle arrow is an isomorphism because   for   so that a necessary and sufficient condition in that case for the second Cousin problem to be always solvable is that   (This condition called Oka principle.)

Manifolds with several complex variablesEdit

Stein manifold (non-compact manifold)Edit

Since an non-compact (open) Riemann surface[ref 52] always has a non-constant single-valued holomorphic function,[ref 53] and satisfies the second axiom of countability, the open Riemann surface can be thought of complex manifold to have a holomorphic embedding into a one-dimensional complex plane  . The Whitney embedding theorem tells us that every smooth n-dimensional manifold can be embedded as a smooth submanifold of  , whereas it is "rare" for a complex manifold to have a holomorphic embedding into  . Consider for example arbitrary compact connected complex manifold X: every holomorphic function on it is constant by Liouville's theorem. Now that we know that for several complex variables, complex manifolds do not always have holomorphic functions that are not constants, consider the conditions that have holomorphic functions. Now if we had a holomorphic embedding of X into  , then the coordinate functions of   would restrict to nonconstant holomorphic functions on X, contradicting compactness, except in the case that X is just a point. Complex manifolds that can be holomorphic embedded into   are called Stein manifolds. Also Stein manifolds satisfy the second axiom of countability.[ref 54]

A Stein manifold is a complex submanifold of the vector space of n complex dimensions. They were introduced by and named after Karl Stein (1951).[ref 55] A Stein space is similar to a Stein manifold but is allowed to have singularities. Stein spaces are the analogues of affine varieties or affine schemes in algebraic geometry. If the univalent domain on   is connection to a manifold, can be regarded as a complex manifold and satisfies the separation condition described later, the condition for becoming a Stein manifold is to satisfy the holomorphic convexity. Therefore, the Stein manifold is the properties of the domain of definition of the (maximal) analytic continuation of an analytic function.

DefinitionEdit

Suppose X is a paracompact complex manifolds of complex dimension   and let   denote the ring of holomorphic functions on X. We call X a Stein manifold if the following conditions hold:[ref 56]

  • X is holomorphically convex, i.e. for every compact subset  , the so-called holomorphically convex hull,
 
is also a compact subset of X.
  • X is holomorphically separable,[note 21] i.e. if   are two points in X, then there exists   such that  
  • The open neighborhood of every point on the manifold has a holomorphic chart to the  .

All non-compact (open) Riemann surfaces are Stein manifoldEdit

Let X be a connected, non-compact (open) Riemann surface. A deep theorem (1939)[ref 57] of Heinrich Behnke and Stein (1948)[ref 53] asserts that X is a Stein manifold.

Another result, attributed to Hans Grauert and Helmut Röhrl (1956), states moreover that every holomorphic vector bundle on X is trivial. In particular, every line bundle is trivial, so  . The exponential sheaf sequence leads to the following exact sequence:

 

Now Cartan's theorem B shows that  , therefore  .

This is related to the solution of the second (multiplicative) Cousin problem.

Levi problemsEdit

Cartan extended Levi's problem to Stein manifolds.[ref 58]

If the relative compact open subset   of the Stein manifold X is a Locally pseudoconvex, then D is a Stein manifold, and conversely, if D is a Locally pseudoconvex, then X is a Stein manifold. i.e. Then X is a Stein manifold if and only if D is locally the Stein manifold.[ref 59]

This was proved by Bremermann[ref 60] by embedding it in a sufficiently high dimensional  , and reducing it to the result of Oka.[ref 19]

Also, Grauert proved for arbitrary complex manifolds M.[note 22][ref 63][ref 21][ref 61]

If the relative compact subset   of a arbitrary complex manifold M is a strongly pseudoconvex on M, then M is a holomorphically convex (i.e. Stein manifold). Also, D is itself a Stein manifold.

And Narasimhan[ref 64][ref 65] extended Levi's problem to Complex analytic space, a generalized in the singular case of complex manifolds.

A Complex analytic space which admits a continuous strictly plurisubharmonic exhaustion function (i.e.strongly pseudoconvex) is Stein space.[ref 1][ref 66]

and also,

Let X is a Stein space with isolated singularities,   , and also, for all   there is an open neighborhood  , so that   is Stein space. Then D is itself Stein.[ref 1][ref 67]

Levi's problem remains unresolved in the following cases;

Suppose that N be a Stein space and f an injective, and also   a Riemann unbranched domain, such that map f is a locally pseudoconvex map (i.e. Stein morphism). Then M is itself Stein ?[ref 67][ref 68]: 109 

and also,

Suppose that X be a Stein space and   an increasing union of Stein open sets. Then D is itself Stein ?[ref 69]

This means that Behnke–Stein theorem, which holds for Stein manifolds, has not found a conditions to be established in Stein space. [ref 67]

K-completeEdit

Grauert introduced the concept of K-complete in the proof of Levi's problem.

Let X is complex manifold, X is K-complete if, to each point  , there exist finitely many holomorphic map   of X into  ,  , such that   is an isolated point of the set  .[ref 63] This concept also applies to complex analytic space.[ref 70]

Properties and examples of Stein manifoldsEdit

  • The standard[note 23] complex space   is a Stein manifold.
  • Every domain of holomorphy in   is a Stein manifold.
  • It can be shown quite easily that every closed complex submanifold of a Stein manifold is a Stein manifold, too.
  • The embedding theorem for Stein manifolds states the following: Every Stein manifold X of complex dimension n can be embedded into   by a biholomorphic proper map.[ref 71][ref 72]

These facts imply that a Stein manifold is a closed complex submanifold of complex space, whose complex structure is that of the ambient space (because the embedding is biholomorphic).

  • Every Stein manifold of (complex) dimension n has the homotopy type of an n-dimensional CW-Complex.
  • In one complex dimension the Stein condition can be simplified: a connected Riemann surface is a Stein manifold if and only if it is not compact. This can be proved using a version of the Runge theorem[ref 73] for Riemann surfaces,[note 24] due to Behnke and Stein.[ref 53]
  • Every Stein manifold X is holomorphically spreadable, i.e. for every point  , there are n holomorphic functions defined on all of X which form a local coordinate system when restricted to some open neighborhood of x.
  • The first Cousin problem can always be solved on a Stein manifold.
  • Being a Stein manifold is equivalent to being a (complex) strongly pseudoconvex manifold. The latter means that it has a strongly pseudoconvex (or plurisubharmonic) exhaustive function,[ref 63] i.e. a smooth real function   on X (which can be assumed to be a Morse function) with  , such that the subsets   are compact in X for every real number c. This is a solution to the so-called Levi problem,[ref 74] named after E. E. Levi (1911). The function   invites a generalization of Stein manifold to the idea of a corresponding class of compact complex manifolds with boundary called Stein domain.[ref 75] A Stein domain is the preimage  . Some authors call such manifolds therefore strictly pseudoconvex manifolds.
  • Related to the previous item, another equivalent and more topological definition in complex dimension 2 is the following: a Stein surface is a complex surface X with a real-valued Morse function f on X such that, away from the critical points of f, the field of complex tangencies to the preimage   is a contact structure that induces an orientation on Xc agreeing with the usual orientation as the boundary of   That is,   is a Stein filling of Xc.

Numerous further characterizations of such manifolds exist, in particular capturing the property of their having "many" holomorphic functions taking values in the complex numbers. See for example Cartan's theorems A and B, relating to sheaf cohomology.

In the GAGA set of analogies, Stein manifolds correspond to affine varieties.

Stein manifolds are in some sense dual to the elliptic manifolds in complex analysis which admit "many" holomorphic functions from the complex numbers into themselves. It is known that a Stein manifold is elliptic if and only if it is fibrant in the sense of so-called "holomorphic homotopy theory".

Complex projective varieties (compact manifold)Edit

Meromorphic function in one-variable complex function were studied in the compact (closed) Riemann surface, because the compact Riemann surface had a non-constant single-valued meromorphic function,[ref 52] and also the compact Riemann surface had enough meromorphic functions (Riemann's existence theorem). The compact one-dimensional complex manifold was the Riemann sphere  . However, for high-dimensional (several complex variables) compact complex manifolds, the existence of meromorphic functions cannot be easily indicated because the singularity is not an isolated point. In fact, Hopf found a class of compact complex manifolds without nonconstant meromorphic functions.[ref 36] Consider expanding the closed (compact) Riemann surface to a higher dimension ,that is, consider compactification of  , such as, holomorphic embedding close Complex submanifold M into the complex projective space   (especially complex projective algebraic varieties),[note 25] Complex projective varieties In high-dimensional complex manifolds, the phenomenon that the sheaf cohomology group disappears occurs, and it is Kodaira vanishing theorem and its generalization Nakano vanishing theorem etc. that gives the condition for this phenomenon to occur. Kodaira embedding theorem[ref 76] gives complex Kähler manifold M, with a Hodge metric large enough dimension N into complex projective space, and also Chow's theorem[ref 77] shows that the analytic subspace of a closed complex projective space is an algebraic manifold, and when combined with Kodaira's result, M embeds as an algebraic manifold. These give an example embeddings in manifolds with meromorphic functions. Similarities in Levi problems on the complex projective space  , have been proved in some patterns, for example by Takeuchi.[ref 1][ref 78][ref 79][ref 80] Broadly, the GAGA principle says that the geometry of projective complex analytic spaces (or manifolds) is equivalent to the geometry of projective complex varieties. The combination of analytic and algebraic methods for complex projective varieties lead to areas such as Hodge theory.

See alsoEdit

AnnotationEdit

  1. ^ That is an open connected subset.
  2. ^ A name adopted, confusingly, for the geometry of zeroes of analytic functions; this is not the analytic geometry learned at school. (In other words, in the sense of GAGA on Serre.)[ref 3]
  3. ^ The field of complex numbers is a 2-dimensional vector space over real numbers.
  4. ^ It is not separate continuous.
  5. ^ Using Hartogs's theorem on separate holomorphicity, If condition (B) is met, it will be derived to be continuous. But, there is no theorem similar to several real variables, and there is no theorem that indicates the continuity of the function, assuming differentiability.
  6. ^ According to the Jordan curve theorem, domain D is bounded closed set, that is, each domain   is compact.
  7. ^ But there is a point where it converges outside the circle of convergence. For example if one of the variables is 0, then some terms, represented by the product of this variable, will be 0 regardless of the values taken by the other variables. Therefore, even if you take a variable that diverges when a variable is other than 0, it may converge.
  8. ^ For several variables, the boundary of each domain is not always the natural boundary, so depending on how the domain is taken, there may not be a analytic function that makes that domain the natural boundary. See domain of holomorphy for an example of a condition where the boundary of a domain is a natural boundary.
  9. ^ Note that from Hartogs' extension theorem or Weierstrass preparation theorem , the zeros of analytic functions of several variables are not isolated points. Therefore, for several variables it is not enough that   is satisfied at the accumulation point.
  10. ^ When described using the domain of holomorphy, which is a generalization of the convergence domain, a Reinhardt domain is a domain of holomorphy if and only if logarithmically convex.
  11. ^ This theorem holds even if the condition is not restricted to the bounded. i.e. The theorem holds even if this condition is replaced with an open set.[ref 10]
  12. ^ The idea of the sheaf itself is by Jean Leray.
  13. ^   cannot be "touched from inside" by a sequence of analytic surfaces
  14. ^ In fact, this was proved by Kiyoshi Oka[ref 18] with respect to   domain.See Oka's lemma.
  15. ^ This is a hullomorphically convex hull condition expressed by a plurisubharmonic function. For this reason, it is also called p-pseudoconvex or simply p-convex.
  16. ^ In algebraic geometry, there is a problem whether it is possible to remove the singular point of the complex analytic space by performing an operation called modification[ref 37][ref 38] on the complex analytic space (when n = 2, the result by Hirzebruch,[ref 39] when n = 3 the result by Zariski[ref 40] for algebraic varietie.), but, Grauert and Remmert has reported an example of a domain that is neither pseudoconvex nor holomorphic convex, even though it is a domain of holomorphy. [ref 41]
  17. ^ The Cartan–Thullen theorem
  18. ^ See Oka's lemma
  19. ^ Oka's proof uses Oka pseudoconvex instead of Cartan pseudoconvex.
  20. ^ This is called the classic Cousin problem.[ref 27]
  21. ^ From this condition, we can see that the Stein manifold is not compact.
  22. ^ Levi problem is not true for domains in arbitrary manifolds.[ref 21][ref 61][ref 62]
  23. ^   (  is a projective complex varieties) does not become a Stein manifold, even if it satisfies the holomorphic convexity.
  24. ^ The proof method uses an approximation by the polyhedral domain, as in Oka-Weil theorem.
  25. ^ This is the standard method for compactification of  , but not the only method like the Riemann sphere that was compactification of  .

ReferencesEdit

Inline citationsEdit

  1. ^ a b c d e f g Siu, Yum-Tong (1978). "Pseudoconvexity and the problem of Levi". Bulletin of the American Mathematical Society. 84 (4): 481–513. doi:10.1090/S0002-9904-1978-14483-8. MR 0477104.
  2. ^ a b c d e Chen, So-Chin (2000). "Complex analysis in one and several variables". Taiwanese Journal of Mathematics. 4 (4): 531–568. doi:10.11650/twjm/1500407292. JSTOR 43833225. MR 1799753. Zbl 0974.32001.
  3. ^ a b Serre, Jean-Pierre (1956), "Géométrie algébrique et géométrie analytique", Annales de l'Institut Fourier, 6: 1–42, doi:10.5802/aif.59, ISSN 0373-0956, MR 0082175
  4. ^ Ohsawa, Takeo (1984). "Vanishing theorems on complete Kähler manifolds". Publications of the Research Institute for Mathematical Sciences. 20: 21–38. doi:10.2977/prims/1195181825.
  5. ^ Solomentsev, E.D. (2001) [1994], "Weierstrass theorem", Encyclopedia of Mathematics, EMS Press
  6. ^ Ozaki, Shigeo; Onô, Isao (February 1, 1953). "Analytic Functions of Several Complex Variables". Science Reports of the Tokyo Bunrika Daigaku, Section A. 4 (98/103): 262–270. JSTOR 43700400.
  7. ^ Poincare, M. Henri (1907). "Les fonctions analytiques de deux variables et la représentation conforme". Rendiconti del Circolo Matematico di Palermo. 23: 185–220. doi:10.1007/BF03013518. S2CID 123480258.
  8. ^ Chirka, E.M. (2001) [1994], "Hartogs domain", Encyclopedia of Mathematics, EMS Press
  9. ^ Hartogs, Fritz (1906), "Einige Folgerungen aus der Cauchyschen Integralformel bei Funktionen mehrerer Veränderlichen.", Sitzungsberichte der Königlich Bayerischen Akademie der Wissenschaften zu München, Mathematisch-Physikalische Klasse (in German), 36: 223–242, JFM 37.0443.01
  10. ^ a b Simonič, Aleksander (2016). "Elementary approach to the Hartogs extension theorem". arXiv:1608.00950. Cite journal requires |journal= (help)
  11. ^ Laufer, Henry B. (1 June 1966). "Some remarks about a theorem of Hartogs". Proceedings of the American Mathematical Society. 17 (6): 1244–1249. doi:10.1090/S0002-9939-1966-0201675-2. JSTOR 2035718.
  12. ^ Merker, Joël; Porten, Egmont (2007). "A Morse-theoretical proof of the Hartogs extension theorem". Journal of Geometric Analysis. 17 (3): 513–546. doi:10.1007/BF02922095. S2CID 449210.
  13. ^ Boggess, A.; Dwilewicz, R.J.; Slodkowski, Z. (2013). "Hartogs extension for generalized tubes in Cn". Journal of Mathematical Analysis and Applications. 402 (2): 574–578. doi:10.1016/j.jmaa.2013.01.049.
  14. ^ Cartan, Henri (1931). "Les fonctions de deux variables complexes et le problème de la représentation analytique". Journal de Mathématiques Pures et Appliquées. 10: 1–116. Zbl 0001.28501.
  15. ^ Thullen, Peter (1931). "Zu den Abbildungen durch analytische Funktionen mehrerer komplexer Veränderlichen die Invarianz des Mittelpunktes von Kreiskörpern". Mathematische Annalen. 104: 244–259. doi:10.1007/bf01457933. S2CID 121072397.
  16. ^ Sunada, Toshikazu (1978). "Holomorphic equivalence problem for bounded Reinhardt domains". Mathematische Annalen. 235 (2): 111–128. doi:10.1007/BF01405009. S2CID 124324696.
  17. ^ Cartan, Henri; Thullen, Peter (1932). "Zur Theorie der Singularitäten der Funktionen mehrerer komplexen Veränderlichen Regularitäts-und Konvergenzbereiche". Mathematische Annalen. 106: 617–647. doi:10.1007/BF01455905.
  18. ^ a b Oka, Kiyoshi (1943), "Sur les fonctions analytiques de plusieurs variables. VI. Domaines pseudoconvexes", Tohoku Mathematical Journal, First Series, 49: 15–52, ISSN 0040-8735, Zbl 0060.24006
  19. ^ a b c Oka, Kiyoshi (1953), "Sur les fonctions analytiques de plusieurs variables. IX. Domaines finis sans point critique intérieur", Japanese Journal of Mathematics: Transactions and Abstracts, 23: 97–155, doi:10.4099/jjm1924.23.0_97, ISSN 0075-3432
  20. ^ Hans J. Bremermann (1954), "Über die Äquivalenz der pseudokonvexen Gebiete und der Holomorphiegebiete im Raum vonn komplexen Veränderlichen", Mathematische Annalen, 106: 63–91, doi:10.1007/BF01360125, S2CID 119837287
  21. ^ a b c Huckleberry, Alan (2013). "Hans Grauert (1930–2011)". Jahresbericht der Deutschen Mathematiker-Vereinigung. 115: 21–45. arXiv:1303.6933. doi:10.1365/s13291-013-0061-7. S2CID 119685542.
  22. ^ a b c Oka, Kiyoshi (1950). "Sur les fonctions analytiques de plusieurs variables. VII. Sur quelques notions arithmétiques". Bulletin de la Société Mathématique de France. 2: 1–27. doi:10.24033/bsmf.1408., Oka, Kiyoshi (1961). "Sur les fonctions analytiques de plusieurs variables. VII. Sur quelques notions arithmétiques" (PDF). Iwanami Shoten, Tokyo (Oka's Original Version).
  23. ^ a b Oka, Kiyoshi (1951), "Sur les Fonctions Analytiques de Plusieurs Variables, VIII--Lemme Fondamental", Journal of the Mathematical Society of Japan, 3 (1): 204–214, doi:10.2969/jmsj/00310204, Oka, Kiyoshi (1951), "Sur les Fonctions Analytiques de Plusieurs Variables, VIII--Lemme Fondamental (Suite)", Journal of the Mathematical Society of Japan, 3 (2): 259–278, doi:10.2969/jmsj/00320259
  24. ^ a b Cartan, Henri (1950). "Idéaux et modules de fonctions analytiques de variables complexes". Bulletin de la Société Mathématique de France. 2: 29–64. doi:10.24033/bsmf.1409.
  25. ^ a b Cartan, Henri (1953). "Variétés analytiques complexes et cohomologie". Colloque sur les fonctions de plusieurs variables, Bruxelles: 41–55. MR 0064154. Zbl 0053.05301.
  26. ^ Cartan, H.; Eilenberg, Samuel; Serre, J-P. "Séminaire Henri Cartan, Tome 3 (1950-1951)". Cite journal requires |journal= (help)
  27. ^ a b c d e Chorlay, Renaud (January 2010). "From Problems to Structures: the Cousin Problems and the Emergence of the Sheaf Concept". Archive for History of Exact Sciences. 64 (1): 1–73. doi:10.1007/s00407-009-0052-3. JSTOR 41342411. S2CID 73633995.
  28. ^ a b Cartan, H.; Bruhat, F.; Cerf, Jean.; Dolbeault, P.; Frenkel, Jean.; Hervé, Michel; Malatian.; Serre, J-P. "Séminaire Henri Cartan, Tome 4 (1951-1952)".
  29. ^ Kajiwara, Joji (1 January 1965). "Relations between domains of holomorphy and multiple Cousin's problems". Kodai Mathematical Journal. 17 (4). doi:10.2996/kmj/1138845123.
  30. ^ a b c Complex Analytic and Differential Geometry
  31. ^ a b Diederich, Klas; Fornaess, John Erik (1982). "A smooth pseudoconvex domain without pseudoconvex exhaustion". Manuscripta Mathematica. 39: 119–123. doi:10.1007/BF01312449. S2CID 121224216.
  32. ^ a b c d Sin Hitomatsu (1958), "On some conjectures concerning pseudo-convex domains", Journal of the Mathematical Society of Japan, 6 (2): 177–195, doi:10.2969/jmsj/00620177, Zbl 0057.31503
  33. ^ a b Kajiwara, Joji (1959). "Some Results on the Equivalence of Complex-Analytic Fibre Bundles". Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics. 13: 37–48. doi:10.2206/kyushumfs.13.37.
  34. ^ Solomentsev, E.D. (2001) [1994], "Riemannian domain", Encyclopedia of Mathematics, EMS Press
  35. ^ Ohsawa, Takeo (2018). "On the local pseudoconvexity of certain analytic families of  ". Annales de l'Institut Fourier. 68 (7): 2811–2818. doi:10.5802/aif.3226.
  36. ^ a b Ohsawa, Takeo (February 2021). "NISHIno's Rigidity, Locally pseudoconvex maps, and holomorphic motions (Topology of pseudoconvex domains and analysis of reproducing kernels)". RIMS Kôkyûroku. 2175: 27–46. hdl:2433/263965.
  37. ^ Heinrich Behnke & Karl Stein (1951), "Modifikationen komplexer Mannigfaltigkeiten und Riernannscher Gebiete", Mathematische Annalen, 124: 1–16, doi:10.1007/BF01343548, S2CID 120455177, Zbl 0043.30301
  38. ^ Onishchik, A.L. (2001) [1994], "Modification", Encyclopedia of Mathematics, EMS Press
  39. ^ Friedrich Hirzebruch (1953), "Über vierdimensionaleRIEMANNsche Flächen mehrdeutiger analytischer Funktionen von zwei komplexen Veränderlichen", Mathematische Annalen, 126: 1–22, doi:10.1007/BF01343146, hdl:21.11116/0000-0004-3A47-C, S2CID 122862268
  40. ^ Oscar Zariski (1944), "Reduction of the Singularities of Algebraic Three Dimensional Varieties", Annals of Mathematics, Second Series, 45 (3): 472–542, doi:10.2307/1969189, JSTOR 1969189
  41. ^ Hans Grauert & Reinhold Remmert (1956), "Konvexität in der komplexen Analysis. Nicht-holomorph-konvexe Holomorphiegebiete und Anwendungen auf die Abbildungstheorie", Commentarii Mathematici Helvetici, 31: 152–183, doi:10.1007/BF02564357, S2CID 117913713, Zbl 0073.30301
  42. ^ Noguchi, Junjiro (2018), A Brief Chronicle of the Levi (Hartogs' Inverse) Problem, Coherence and an Open, pp. 481–513, arXiv:1807.08246
  43. ^ Noguchi, Junjiro (2016). Analytic Function Theory of Several Variables Elements of Oka's Coherence (p.x). p. XVIII, 397. doi:10.1007/978-981-10-0291-5. ISBN 978-981-10-0289-2.
  44. ^ Noguchi, Junjiro (2016). Analytic Function Theory of Several Variables Elements of Oka's Coherence (p.33). p. XVIII, 397. doi:10.1007/978-981-10-0291-5. ISBN 978-981-10-0289-2.
  45. ^ a b Serre, Jean-Pierre (1955), "Faisceaux algébriques cohérents", Annals of Mathematics, 61 (2): 197–278, doi:10.2307/1969915, JSTOR 1969915, MR 0068874
  46. ^ Noguchi, Junjiro (2019), "A Weak Coherence Theorem and Remarks to the Oka Theory" (PDF), Kodai Math. J., 42 (3): 566–586, arXiv:1704.07726, doi:10.2996/kmj/1572487232, S2CID 119697608
  47. ^ Cousin, Pierre (1895). "Sur les fonctions de n variables complexes". Acta Mathematica. 19: 1–61. doi:10.1007/BF02402869.
  48. ^ Serre, J. -P. "Applications de la théorie générale à divers problèmes globaux". Séminaire Henri Cartan. 4: 1–26.
  49. ^ Oka, Kiyoshi (1936). "Sur les fonctions analytiques de plusieurs variables. I. Domaines convexes par rapport aux fonctions rationnelles". Journal of Science of the Hiroshima University. 6: 245–255. doi:10.32917/hmj/1558749869.
  50. ^ Oka, Kiyoshi (1937). "Sur les fonctions analytiques de plusieurs variables. II–Domaines d'holomorphie". Journal of Science of the Hiroshima University. 7: 115–130. doi:10.32917/hmj/1558576819.
  51. ^ Oka, Kiyoshi (1939). "Sur les fonctions analytiques de plusieurs variables. III–Deuxième problème de Cousin". Journal of Science of the Hiroshima University. 9: 7–19. doi:10.32917/hmj/1558490525.
  52. ^ a b Weyl, Hermann (2009) [1913], The concept of a Riemann surface (3rd ed.), New York: Dover Publications, ISBN 978-0-486-47004-7, MR 0069903
  53. ^ a b c Heinrich Behnke & Karl Stein (1948), "Entwicklung analytischer Funktionen auf Riemannschen Flächen", Mathematische Annalen, 120: 430–461, doi:10.1007/BF01447838, S2CID 122535410, Zbl 0038.23502
  54. ^ Patyi, Imre (2011). "On complex Banach manifolds similar to Stein manifolds". Comptes Rendus Mathematique. 349 (1–2): 43–45. arXiv:1010.3738. doi:10.1016/j.crma.2010.11.020. S2CID 119631664.
  55. ^ Stein, Karl (1951), "Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem", Math. Ann. (in German), 123: 201–222, doi:10.1007/bf02054949, MR 0043219, S2CID 122647212
  56. ^ Noguchi, Junjiro (2011). "Another Direct Proof of Oka's Theorem (Oka IX)". arXiv:1108.2078. Cite journal requires |journal= (help)
  57. ^ Behnke, H.; Stein, K. (1939). "Konvergente Folgen von Regularitätsbereichen und die Meromorphiekonvexität". Mathematische Annalen. 116: 204–216. doi:10.1007/BF01597355. S2CID 123982856.
  58. ^ Cartan, Henri (1957). "Variétés analytiques réelles et variétés analytiques complexes". Bulletin de la Société Mathématique de France. 85: 77–99. doi:10.24033/bsmf.1481.
  59. ^ Barth, Theodore J. (1968). "Families of nonnegative divisors". Trans. Amer. Math. Soc. 131: 223–245. doi:10.1090/S0002-9947-1968-0219751-3.
  60. ^ Bremermann, Hans J. (1957). "On Oka's theorem for Stein manifolds". Seminars on Analytic Functions. Institute for Advanced Study (Princeton, N.J.). 1: 29–35.
  61. ^ a b Sibony, Nessim (2018). "Levi problem in complex manifolds". Mathematische Annalen. 371 (3–4): 1047–1067. arXiv:1610.07768. doi:10.1007/s00208-017-1539-x. S2CID 119670805.
  62. ^ Grauert, Hans (1963). "Bemerkenswerte pseudokonvexe Mannigfaltigkeiten". Mathematische Zeitschrift. 81 (5): 377–391. doi:10.1007/BF01111528. S2CID 122214512.
  63. ^ a b c Hans Grauert (1958), "On Levi's Problem and the Imbedding of Real-Analytic Manifolds", Annals of Mathematics, Second Series, 68 (2): 460–472, doi:10.2307/1970257, JSTOR 1970257, Zbl 0108.07804
  64. ^ Narasimhan, Raghavan (1961). "The Levi problem for complex spaces". Mathematische Annalen. 142 (4): 355–365. doi:10.1007/BF01451029. S2CID 120565581.
  65. ^ Narasimhan, Raghavan (1962). "The Levi problem for complex spaces II". Mathematische Annalen. 146 (3): 195–216. doi:10.1007/BF01470950. S2CID 179177434.
  66. ^ Harrington, Phillip S.; Shaw, Mei-Chi (2007). "The strong Oka's lemma, bounded plurisubharmonic functions and the  -Neumann problem". Asian Journal of Mathematics. 11: 127–140. doi:10.4310/AJM.2007.v11.n1.a12.
  67. ^ a b c Coltoiu, Mihnea (2009). "The Levi problem on Stein spaces with singularities. A survey". arXiv:0905.2343 [math.CV].
  68. ^ Ohsawa, Takeo (10 December 2018). L2 Approaches in Several Complex Variables: Towards the Oka–Cartan Theory with Precise Bounds. Springer Monographs in Mathematics. doi:10.1007/978-4-431-55747-0. ISBN 9784431568513.
  69. ^ Fornæss, John Erik; Sibony, Nessim (2001). "Some open problems in higher dimensional complex analysis and complex dynamics". Publicacions Matemàtiques. 45 (2): 529–547. doi:10.5565/PUBLMAT_45201_11. JSTOR 43736735.
  70. ^ Andreotti, Aldo; Narasimhan, Raghavan (1964). "Oka's Heftungslemma and the Levi Problem for Complex Spaces". Transactions of the American Mathematical Society. 111 (2): 345–366. doi:10.1090/S0002-9947-1964-0159961-3. JSTOR 1994247.
  71. ^ Raghavan, Narasimhan (1960). "Imbedding of Holomorphically Complete Complex Spaces". American Journal of Mathematics. 82 (4): 917–934. doi:10.2307/2372949. JSTOR 2372949.
  72. ^ Eliashberg, Yakov; Gromov, Mikhael (1992). "Embeddings of Stein Manifolds of Dimension n into the Affine Space of Dimension 3n/2 +1". Annals of Mathematics. Second Series. 136 (1): 123–135. doi:10.2307/2946547. JSTOR 2946547.
  73. ^ Simha, R. R. (1989). "The Behnke-Stein Theorem for Open Riemann Surfaces". Proceedings of the American Mathematical Society. 105 (4): 876–880. doi:10.1090/S0002-9939-1989-0953748-X. JSTOR 2047046.
  74. ^ Onishchik, A.L. (2001) [1994], "Levi problem", Encyclopedia of Mathematics, EMS Press
  75. ^ Ohsawa, Takeo (1982). "A Stein domain with smooth boundary which has a product structure". Publications of the Research Institute for Mathematical Sciences. 18 (3): 1185–1186. doi:10.2977/prims/1195183303.
  76. ^ Kodaira, K. (1954). "On Kahler Varieties of Restricted Type (An Intrinsic Characterization of Algebraic Varieties)". Annals of Mathematics. Second Series. 60 (1): 28–48. doi:10.2307/1969701. JSTOR 1969701.
  77. ^ Chow, Wei-Liang (1949). "On Compact Complex Analytic Varieties". American Journal of Mathematics. 71 (2): 893–914. doi:10.2307/2372375. JSTOR 2372375.
  78. ^ Ohsawa, Takeo (2012). "On the complement of effective divisors with semipositive normal bundle". Kyoto Journal of Mathematics. 10.1215/21562261-1625181 (3). doi:10.1215/21562261-1625181.
  79. ^ Matsumoto, Kazuko (2018). "Takeuchi's equality for the levi form of the Fubini–Study distance to complex submanifolds in complex projective spaces". Kyushu Journal of Mathematics. 72 (1): 107–121. doi:10.2206/kyushujm.72.107.
  80. ^ Takeuchi, Akira (1964). "Domaines pseudoconvexes infinis et la métrique riemannienne dans un espace projecti". Journal of the Mathematical Society of Japan. 10.2969/jmsj/01620159 (2). doi:10.2969/jmsj/01620159.

TextbooksEdit

Encyclopedia of MathematicsEdit

PlanetMathEdit

Further readingEdit

  • Krantz, Steven G. (1987), "What is Several Complex Variables?", The American Mathematical Monthly, 94 (3): 236–256, doi:10.2307/2323391, JSTOR 2323391
  • Oka, Kiyoshi (1984), Remmert, R. (ed.), Collected Papers, Springer-Verlag Berlin Heidelberg, p. XIV, 226, ISBN 978-3-662-43412-3

External linksEdit