La teoría de funciones de varias variables complejas es la rama de las matemáticas que estudia las funciones definidas en el espacio de coordenadas complejo , es decir, n -tuplas de números complejos . El campo que estudia las propiedades de estas funciones se denomina varias variables complejas (y espacio analítico ), que la Clasificación Asignatura de Matemáticas tiene como título de nivel superior.
Al igual que en el análisis complejo de funciones de una variable , que es el caso n = 1 , las funciones estudiadas son holomorfas o analíticas complejas de modo que, localmente, son series de potencias en las variables z i . Equivalentemente, son límites localmente uniformes de polinomios ; o soluciones localmente integrables al cuadrado de las ecuaciones de Cauchy-Riemann n -dimensionales. [1] [2] [3] Para una variable compleja, cada dominio [nota 1] ( ), es el dominio de holomorfía de alguna función, en otras palabras, cada dominio tiene una función para la cual es el dominio de la holomorfía. [4] [5] Para varias variables complejas, este no es el caso; existen dominios ( ) que no son el dominio de la holomorfía de ninguna función, y por lo tanto no siempre es el dominio de la holomorfía, por lo que el dominio de la holomorfía es uno de los temas en este campo. [4] El parcheo de los datos locales de funciones meromórficas , es decir, el problema de crear una función meromórfica global a partir de ceros y polos, se denomina problema de Cousin. Además, los fenómenos interesantes que ocurren en varias variables complejas son fundamentalmente importantes para el estudio de variedades complejas compactas y variedades proyectivas complejas ( ) [6] y tiene un sabor diferente a la geometría analítica compleja en o sobre las variedades de Stein , estas son mucho más similares al estudio de las variedades algebraicas que es el estudio de la geometría algebraica que la geometría analítica compleja.
Con el trabajo de Friedrich Hartogs , Pierre Cousin [fr] , EE Levi y Kiyoshi Oka en la década de 1930, comenzó a surgir una teoría general; otros que trabajaban en el área en ese momento fueron Heinrich Behnke , Peter Thullen , Karl Stein , Wilhelm Wirtinger y Francesco Severi . Hartogs demostró algunos resultados básicos, como que cada singularidad aislada es removible , para cada función analítica
siempre que n > 1. Naturalmente, los análogos de las integrales de contorno serán más difíciles de manejar; cuando n = 2, una integral que rodea un punto debe ser sobre una variedad tridimensional (ya que estamos en cuatro dimensiones reales), mientras que la iteración de integrales de contorno (línea) sobre dos variables complejas separadas debe llegar a una integral doble sobre una superficie bidimensional. Esto significa que el cálculo de residuos tendrá que tomar un carácter muy diferente.
Después de 1945, un trabajo importante en Francia, en el seminario de Henri Cartan , y en Alemania con Hans Grauert y Reinhold Remmert , cambió rápidamente el panorama de la teoría. Se aclararon varias cuestiones, en particular la de la continuación analítica . Aquí es evidente una diferencia importante con la teoría de una variable; mientras que para cada conjunto abierto conexo D en podemos encontrar una función que en ningún lugar continuará analíticamente más allá del límite, eso no puede decirse para n > 1. De hecho, las D de ese tipo son bastante especiales en su naturaleza (especialmente en espacios de coordenadas complejos y variedades de Stein, que satisfacen una condición llamada pseudoconvexidad ). Los dominios naturales de definición de funciones, continuados hasta el límite, se llaman variedades de Stein y su naturaleza era hacer que los grupos de cohomología de haces se anularan, por otro lado, el teorema de anulación de Grauert-Riemenschneider es conocido como un resultado similar para variedades complejas compactas, y la conjetura de Grauert-Riemenschneider es un caso especial de la conjetura de Narasimhan. [4] De hecho, fue la necesidad de poner (en particular) el trabajo de Oka sobre una base más clara lo que llevó rápidamente al uso consistente de haces para la formulación de la teoría (con importantes repercusiones para la geometría algebraica , en particular a partir del trabajo de Grauert).
En un lenguaje libre de coordenadas, cualquier espacio vectorial sobre números complejos puede considerarse como un espacio vectorial real con el doble de dimensiones, donde una estructura compleja se especifica mediante un operador lineal J (tal que J 2 = − I ) que define la multiplicación por la unidad imaginaria i .
Una función f definida en un dominio y con valores en se dice que es holomorfa en un punto si es compleja-diferenciable en ese punto, en el sentido de que existe una función lineal compleja tal que
Se dice que la función f es holomorfa si es holomorfa en todos los puntos de su dominio de definición D.
Si f es holomorfo, entonces todas las funciones parciales:
son holomorfas como funciones de una variable compleja: decimos que f es holomorfa en cada variable por separado. Por el contrario, si f es holomorfa en cada variable por separado, entonces f es de hecho holomorfa: esto se conoce como el teorema de Hartog , o como el lema de Osgood bajo la hipótesis adicional de que f es continua .
Ecuaciones de Cauchy-Riemann
En una variable compleja, una función definida en el plano es holomorfa en un punto si y sólo si su parte real y su parte imaginaria satisfacen las llamadas ecuaciones de Cauchy-Riemann en :
En varias variables, una función es holomorfa si y sólo si es holomorfa en cada variable por separado, y por tanto si y sólo si la parte real y la parte imaginaria satisfacen las ecuaciones de Cauchy y Riemann:
Demuestre la suficiencia de dos condiciones (A) y (B). Sea f cumple las condiciones de ser continua y homomorfa por separado en el dominio D. Cada disco tiene una curva rectificable , es suave por partes , curva cerrada de clase Jordan. ( ) Sea el dominio rodeado por cada . El cierre del producto cartesiano es . Además, tome el polidisco cerrado de modo que se convierta en . ( y sea el centro de cada disco.) Usando la fórmula integral de Cauchy de una variable repetidamente, [nota 4]
Debido a que es una curva cerrada de Jordania rectificable [nota 5] y f es continua, el orden de los productos y las sumas se puede intercambiar para que la integral iterada se pueda calcular como una integral múltiple . Por lo tanto,
Fórmula de evaluación de Cauchy
Como el orden de los productos y las sumas es intercambiable, de ( 1 ) obtenemos
f es una función de clase.
De (2), si f es holomorfo, en polidisco y , se obtiene la siguiente ecuación de evaluación.
Expansión en serie de potencias de funciones holomorfas en polidisco
Si la función f es holomorfa, en el polidisco , a partir de la fórmula integral de Cauchy, podemos ver que puede expandirse de forma única a la siguiente serie de potencias.
Además, f que satisface las siguientes condiciones se llama función analítica.
Para cada punto , se expresa como una expansión en serie de potencias que converge en D :
Ya hemos explicado que las funciones holomorfas sobre un polidisco son analíticas. Además, a partir del teorema derivado por Weierstrass, podemos ver que la función analítica sobre un polidisco (serie de potencias convergentes) es holomorfa.
Si una secuencia de funciones converge uniformemente en compacta dentro de un dominio D , la función límite f de también converge uniformemente en compacta dentro de un dominio D . Además, la derivada parcial respectiva de también converge de manera compacta en el dominio D a la derivada correspondiente de f .
[10]
Radio de convergencia de series de potencias
Es posible definir una combinación de números reales positivos tales que la serie de potencias converja uniformemente en y no converja uniformemente en .
De esta manera es posible tener una combinación similar de radios de convergencia [nota 6] para una variable compleja. Esta combinación generalmente no es única y existe un número infinito de combinaciones.
Expansión de la serie Laurent
Sea holomorfo en el anillo y continuo en su circunferencia, entonces existe el siguiente desarrollo;
La integral en el segundo término, del lado derecho se realiza de manera que se vea el cero a la izquierda en cada plano, además esta serie integrada es uniformemente convergente en el anillo , donde y , y por lo tanto es posible integrar el término. [11]
Fórmula de Bochner-Martinelli (fórmula integral de Cauchy II)
La fórmula integral de Cauchy solo es válida para polidiscos y, en el dominio de varias variables complejas, los polidiscos son solo uno de los muchos dominios posibles, por lo que introducimos la fórmula de Bochner-Martinelli .
Supóngase que f es una función continuamente diferenciable en el cierre de un dominio D en con borde liso por partes , y sea que el símbolo denota el producto exterior o de cuña de formas diferenciales. Entonces la fórmula de Bochner-Martinelli establece que si z está en el dominio D entonces, para , z en el núcleo de Bochner-Martinelli es una forma diferencial en de bigrado , definida por
En particular, si f es holomorfo, el segundo término se desvanece, por lo que
Teorema de identidad
Las funciones holomorfas de varias variables complejas satisfacen un teorema de identidad , como en una variable: dos funciones holomorfas definidas en el mismo conjunto abierto conexo y que coinciden en un subconjunto abierto N de D , son iguales en todo el conjunto abierto D. Este resultado se puede demostrar a partir del hecho de que las funciones holomorfas tienen extensiones de series de potencias, y también se puede deducir del caso de una variable. Al contrario que en el caso de una variable, es posible que dos funciones holomorfas diferentes coincidan en un conjunto que tenga un punto de acumulación, por ejemplo las funciones y coincidan en toda la recta compleja de definida por la ecuación .
A partir del establecimiento del teorema de la función inversa, se puede definir la siguiente aplicación.
Para el dominio U , V del espacio complejo n -dimensional , la función holomorfa biyectiva y la aplicación inversa también es holomorfa. En este caso, se denomina también biholomorfismo U , V , decimos que U y V son biholomórficamente equivalentes o que son biholomórficas.
El teorema de aplicación de Riemann no se cumple
Cuando , las bolas abiertas y los polidiscos abiertos no son biholomórficamente equivalentes, es decir, no hay una aplicación biholomórfica entre los dos. [12] Esto fue demostrado por Poincaré en 1907 al mostrar que sus grupos de automorfismos tienen dimensiones diferentes a los grupos de Lie . [5] [13] Sin embargo, incluso en el caso de varias variables complejas, hay algunos resultados similares a los resultados de la teoría de uniformización en una variable compleja. [14]
Continuación analítica
Sea U, V un dominio en , tal que y , ( es el conjunto/anillo de funciones holomorfas en U .) supongamos que y es un componente conexo de . Si entonces se dice que f está conexo a V , y se dice que g es una continuación analítica de f . Del teorema de identidad, si g existe, para cada forma de elegir W es único. Cuando n > 2, ocurre el siguiente fenómeno dependiendo de la forma del límite : existe un dominio U , V , tal que todas las funciones holomorfas sobre el dominio U , tienen una continuación analítica . En otras palabras, puede no existir una función tal que como límite natural. Se llama fenómeno de Hartogs. Por lo tanto, investigar cuándo los límites de dominio se convierten en límites naturales se ha convertido en uno de los principales temas de investigación de varias variables complejas. Además, cuando , sería que la V anterior tiene una parte de intersección con U distinta de W . Esto contribuyó al avance de la noción de cohomología de haces.
Dominio Reinhardt
En los polidiscos, se cumple la fórmula integral de Cauchy y se define la expansión en serie de potencias de funciones holomorfas, pero los polidiscos y las bolas unitarias abiertas no son aplicaciones biholomorfas porque el teorema de aplicación de Riemann no se cumple y, además, los polidiscos eran posibles para la separación de variables, pero no siempre se cumple para cualquier dominio. Por lo tanto, para estudiar el dominio de convergencia de la serie de potencias, fue necesario hacer una restricción adicional en el dominio, este fue el dominio de Reinhardt. Los primeros conocimientos sobre las propiedades del campo de estudio de varias variables complejas, como logarítmicamente convexas, el teorema de extensión de Hartogs, etc., se dieron en el dominio de Reinhardt.
Sea ( ) un dominio, con centro en un punto , tal que, junto con cada punto , el dominio también contiene el conjunto
Un dominio D se denomina dominio Reinhardt si satisface las siguientes condiciones: [15] [16]
Sea un número real arbitrario, cuyo dominio D es invariante bajo la rotación: .
Los dominios de Reinhardt que se definen por la siguiente condición; Junto con todos los puntos de , el dominio contiene el conjunto
Un dominio de Reinhardt D se denomina dominio de Reinhardt completo con centro en un punto a si junto con todos los puntos también contiene el polidisco
Cuando un dominio de Reinhardt completo es el dominio de convergencia de una serie de potencias, se requiere una condición adicional, que se denomina logarítmico-convexa.
Cada uno de estos dominios en es el interior del conjunto de puntos de convergencia absoluta de alguna serie de potencias en , y viceversa; El dominio de convergencia de cada serie de potencias en es un dominio de Reinhardt logarítmicamente convexo con centro . [nota 7] Pero, hay un ejemplo de un dominio de Reinhardt completo D que no es logarítmicamente convexo. [17]
Algunos resultados
Teorema de extensión de Hartogs y fenómeno de Hartogs
Al examinar el dominio de convergencia en el dominio de Reinhardt, Hartogs encontró el fenómeno de Hartogs en el que las funciones holomorfas en algún dominio estaban todas conectadas a un dominio mayor. [18]
En el polidisco formado por dos discos cuando .
Dominio interno de
Teorema de extensión de Hartogs (1906); [19] Sea f una función holomorfa en un conjunto G \ K , donde G es un dominio acotado (rodeado por una curva de Jordan cerrada rectificable) [nota 8] en ( n ≥ 2 ) y K es un subconjunto compacto de G . Si el complemento G \ K es conexo, entonces cada función holomorfa f independientemente de cómo se elija puede extenderse cada una a una función holomorfa única en G . [21] [20]
También se denomina teorema de Osgood-Brown y afirma que, para funciones holomorfas de varias variables complejas, la singularidad es un punto de acumulación, no un punto aislado. Esto significa que las diversas propiedades que se cumplen para funciones holomorfas de variables complejas de una variable no se cumplen para funciones holomorfas de varias variables complejas. La naturaleza de estas singularidades también se deriva del teorema de preparación de Weierstrass . En 2007 se demostró una generalización de este teorema utilizando el mismo método que el de Hartogs. [22] [23]
Del teorema de extensión de Hartogs, el dominio de convergencia se extiende desde hasta . Si lo analizamos desde la perspectiva del dominio de Reinhardt, es el dominio de Reinhardt que contiene el centro z = 0, y el dominio de convergencia de se ha extendido hasta el dominio de Reinhardt completo más pequeño que contiene . [24]
Los resultados clásicos de Thullen
El resultado clásico de Thullen [25] dice que un dominio de Reinhard acotado bidimensional que contiene el origen es biholomorfo a uno de los siguientes dominios siempre que la órbita del origen por el grupo de automorfismos tenga dimensión positiva:
(polidisco);
(bola unitaria);
(Dominio Thullen).
Resultados de Sunada
Toshikazu Sunada (1978) [26] estableció una generalización del resultado de Thullen:
Dos dominios de Reinhardt acotados de dimensión n y son mutuamente biholomorfos si y solo si existe una transformación dada por , que es una permutación de los índices), tal que .
Dominio natural de la función holomorfa (dominio de la holomorfía)
Al pasar de la teoría de una variable compleja a la teoría de varias variables complejas, dependiendo del rango del dominio, puede que no sea posible definir una función holomorfa tal que el límite del dominio se convierta en un límite natural. Considerando el dominio donde los límites del dominio son límites naturales (en el espacio de coordenadas complejo llamado dominio de holomorfía), el primer resultado del dominio de holomorfía fue la convexidad holomorfa de H . Cartan y Thullen. [27] El problema de Levi muestra que el dominio pseudoconvexo era un dominio de holomorfía. (Primero para , [28] luego extendido a . [29] [30] ) [31] La noción de ideal de dominios indeterminados de Kiyoshi Oka [34] [35] es interpretada por la teoría de la cohomología de haces por H . Cartan y más desarrollo Serre. [nota 10] [36] [37] [38] [39] [40] [41] [6] En la cohomología de haces, el dominio de la holomorfía ha llegado a interpretarse como la teoría de las variedades de Stein. [42] La noción del dominio de la holomorfía también se considera en otras variedades complejas, además también en el espacio analítico complejo que es su generalización. [4]
Dominio de la holomorfía
Cuando una función f es holomorfa en el dominio y no puede conectarse directamente con el dominio fuera de D , incluido el punto del límite del dominio , el dominio D se llama dominio de holomorfía de f y el límite se llama límite natural de f . En otras palabras, el dominio de holomorfía D es el supremo del dominio donde la función holomorfa f es holomorfa, y el dominio D , que es holomorfo, no puede extenderse más. Para varias variables complejas, es decir, dominio , los límites pueden no ser límites naturales. El teorema de extensión de Hartogs da un ejemplo de un dominio donde los límites no son límites naturales. [43]
Formalmente, un dominio D en el espacio de coordenadas complejo n -dimensional se denomina dominio de holomorfía si no existen dominios no vacíos y , y tales que para cada función holomorfa f en D existe una función holomorfa g en V con en U .
Para el caso, el dominio de cada ( ) era el dominio de la holomorfía; podemos definir una función holomorfa con ceros acumulándose en todas partes en el límite del dominio, que debe ser entonces un límite natural para un dominio de definición de su recíproco.
Propiedades del dominio de la holomorfía
Si son dominios de holomorfía, entonces su intersección también es un dominio de holomorfía.
Si es una secuencia creciente de dominios de holomorfía, entonces su unión también es un dominio de holomorfía (véase el teorema de Behnke-Stein ). [44]
Si y son dominios de holomorfía, entonces es un dominio de holomorfía.
El primer problema de Cousin siempre se puede resolver en un dominio de holomorfía; además, Cartan demostró que el inverso de este resultado era incorrecto para . [45] Esto también es cierto, con supuestos topológicos adicionales, para el segundo problema de Cousin.
Cáscara holomórficamente convexa
Sea un dominio o, alternativamente, para una definición más general, sea una variedad analítica compleja dimensional . Además, sea el conjunto de funciones holomorfas en G. Para un conjunto compacto , la envoltura holomorfamente convexa de K es
Se obtiene un concepto más estrecho de envoltura polinomialmente convexa al tomar en cambio como el conjunto de funciones polinomiales de valores complejos en G . La envoltura polinomialmente convexa contiene la envoltura holomorfamente convexa.
El dominio se llama holomorfo-convexo si para cada subconjunto compacto también es compacto en G. A veces esto simplemente se abrevia como holomorfo-convexo .
Cuando , cada dominio es holomorfamente convexo ya que entonces es la unión de K con los componentes relativamente compactos de .
Cuando , si f satisface la convexidad holomorfa anterior en D, tiene las siguientes propiedades. para cada subconjunto compacto K en D , donde denota la distancia entre K y . Además, en este momento, D es un dominio de holomorfía. Por lo tanto, cada dominio convexo es dominio de holomorfía. [5]
Pseudoconvexidad
Hartogs demostró que
Hartogs (1906): [19] Sea D un dominio de Hartogs en y R una función positiva en D tal que el conjunto en definido por y es un dominio de holomorfía. Entonces es una función subarmónica en D . [4]
Si tales relaciones se dan en el dominio de la holomorfía de varias variables complejas, parece una condición más manejable que una holomorfía convexa. [nota 11] La función subarmónica parece una especie de función convexa , por lo que Levi la denominó dominio pseudoconvexo (pseudoconvexidad de Hartog). Los dominios pseudoconvexos (límites de la pseudoconvexidad) son importantes, ya que permiten la clasificación de los dominios de holomorfía. Un dominio de holomorfía es una propiedad global; por el contrario, la pseudoconvexidad es esa propiedad analítica local o geométrica local del límite de un dominio. [46]
La función es una función subarmónica en el conjunto.
En términos generales , la noción se puede definir en una variedad compleja arbitraria o incluso en un espacio analítico complejo de la siguiente manera: Una función semicontinua superior
se dice que es plurisubarmónico si y solo si para cualquier mapa holomorfo
La función
es subarmónico, donde denota el disco unitario.
En una función compleja de una variable, la condición necesaria y suficiente de que la función de valor real , que puede ser diferenciable en segundo orden con respecto a z de una función compleja de una variable, sea subarmónica es . Por lo tanto, si es de clase , entonces es plurisubarmónica si y solo si la matriz hermítica es semidefinida positiva.
De manera equivalente, una -función u es plurisubarmónica si y solo si es una forma (1,1) positiva . [47] : 39–40
Función estrictamente plurisubarmónica
Cuando la matriz hermítica de u es positiva-definida y de clase , llamamos u una función plurisubarmónica estricta.
(Débilmente) pseudoconvexo (p-pseudoconvexo)
La pseudoconvexa débil se define como: Sea un dominio. Se dice que X es pseudoconvexa si existe una función plurisubarmónica continua en X tal que el conjunto es un subconjunto relativamente compacto de X para todos los números reales x . [nota 12] es decir, existe una función de agotamiento plurisubarmónica suave . A menudo, la definición de pseudoconvexa se utiliza aquí y se escribe como; Sea X una variedad compleja de n -dimensional. Entonces se dice que es pseudoconvexa débil existe una función de agotamiento plurisubarmónica suave . [47] : 49
Fuertemente (estrictamente) pseudoconvexo
Sea X una variedad compleja de n dimensiones. Fuertemente (o estrictamente) pseudoconvexa si existe una función de agotamiento estrictamente plurisubarmónica suave , es decir, es definida positiva en cada punto. El dominio fuertemente pseudoconvexo es el dominio pseudoconvexo. [47] : 49 Fuertemente pseudoconvexo y estrictamente pseudoconvexo (es decir, 1-convexo y 1-completo [48] ) se usan a menudo indistintamente, [49] consulte Lempert [50] para la diferencia técnica.
Forma de Levi
Pseudoconvexidad (débil) de Levi(–Krzoska)
Si el límite es , se puede demostrar que D tiene una función definitoria; es decir, que existe una función que es tal que , y . Ahora bien, D es pseudoconvexa si y solo si para cada y en el espacio tangente complejo en p, es decir,
, tenemos
[5] [51]
Si D no tiene un límite, el siguiente resultado de aproximación puede ser útil.
Proposición 1 Si D es pseudoconvexo, entonces existen dominios pseudoconvexos de Levi fuertemente acotados con límite de clase que son relativamente compactos en D , tales que
Esto se debe a que una vez que tenemos un como en la definición, en realidad podemos encontrar una función de agotamiento.
Fuertemente (o estrictamente) pseudoconvexo de Levi (–Krzoska) (también conocido como Fuertemente (estrictamente) pseudoconvexo)
Cuando la forma de Levi (–Krzoska) es definida positiva, se denomina fuertemente pseudoconvexa de Levi (–Krzoska) o, a menudo, simplemente fuertemente (o estrictamente) pseudoconvexa. [5]
Levi total pseudoconvexo
Si para cada punto límite de D existe una variedad analítica que pasa y se encuentra completamente fuera de D en algún entorno alrededor de , excepto el punto mismo, el dominio D que satisface estas condiciones se denomina pseudoconvexo total de Levi. [52]
Oka pseudoconvexo
Familia de discos de Oka
Sean n -funciones continuas en , holomorfas en cuando el parámetro t está fijo en [0, 1], y supongamos que no son todas cero en ningún punto de . Entonces el conjunto se denomina disco analítico que depende de un parámetro t , y se denomina su capa. Si y , Q(t) se denomina Familia del disco de Oka. [52] [53]
Definición
Cuando se cumple en cualquier familia del disco de Oka, D se llama Oka pseudoconvexo. [52] La prueba de Oka del problema de Levi fue que cuando el dominio de Riemann no ramificado sobre [54] era un dominio de holomorfía (holomórficamente convexo), se demostró que era necesario y suficiente que cada punto límite del dominio de holomorfía fuera un Oka pseudoconvexo. [29] [53]
Pseudoconvexo local (también conocido como pseudoconvexo local de Stein, pseudoconvexo de Cartan, propiedad local de Levi)
Para cada punto existe un entorno U de x y f holomorfo (es decir, holomorfamente convexo) tal que f no puede extenderse a ningún entorno de x . Es decir, sea una función holomorfa, si cada punto tiene un entorno U tal que admite una función de agotamiento -plurisubarmónica (débilmente 1-completa [55] ), en esta situación, decimos que X es localmente pseudoconvexo (o localmente Stein) sobre Y. Como nombre antiguo, también se le llama pseudoconvexo de Cartan. En el dominio localmente pseudoconvexo es en sí mismo un dominio pseudoconvexo y es un dominio de holomorfía. [56] [52] Por ejemplo, Diederich–Fornæss [57] encontró dominios acotados pseudoconvexos locales con borde suave en variedades no Kähler tales que no es débilmente 1-completa. [58] [nota 13]
Condiciones equivalentes al dominio de la holomorfía
Para un dominio las siguientes condiciones son equivalentes: [nota 14]
Las implicaciones , [nota 15] , [nota 16] y son resultados estándar. Demostrar , es decir, construir una función holomorfa global que no admite extensión a partir de funciones no extensibles definidas solo localmente. Esto se llama el problema de Levi (en honor a EE Levi ) y fue resuelto para dominios de Riemann no ramificados por Kiyoshi Oka, [nota 17] pero para dominios de Riemann ramificados, la pseudoconvexidad no caracteriza la convexidad holomorfa, [66] y luego por Lars Hörmander usando métodos de análisis funcional y ecuaciones diferenciales parciales (una consecuencia de -problema(ecuación) con métodos L 2 ). [1] [43] [3] [67]
Gavillas
La introducción de haces en varias variables complejas permitió la reformulación y solución de varios problemas importantes en el campo.
Idéal de domaines indéterminés (El predecesor de la noción de coherente (gavilla))
Oka introdujo la noción que denominó "ideal de dominios indeterminados" o "ideal de dominios indeterminados". [34] [35] Específicamente, es un conjunto de pares , holomorfos en un conjunto abierto no vacío , tal que
Si y es arbitrario, entonces .
Para cada , entonces
El origen de los dominios indeterminados proviene del hecho de que los dominios cambian dependiendo del par . Cartan [36] [37] tradujo esta noción en la noción de haz coherente ( haz ) (Especialmente, haz analítico coherente) en cohomología de haces. [67] [68] Este nombre proviene de H. Cartan. [69] Además, Serre (1955) introdujo la noción de haz coherente en la geometría algebraica, es decir, la noción de haz algebraico coherente. [70] La noción de coherente ( cohomología de haces coherentes ) ayudó a resolver los problemas en varias variables complejas. [39]
Haz coherente
Definición
La definición del haz coherente es la siguiente. [70] [71] [72] [73] [47] : 83–89
Un haz cuasi-coherente en un espacio anillado es un haz de - módulos que tiene una presentación local, es decir, cada punto en tiene un vecindario abierto en el que hay una secuencia exacta
para algunos conjuntos (posiblemente infinitos) y .
Un haz coherente en un espacio anillado es un haz que satisface las dos propiedades siguientes:
es de tipo finito sobre , es decir, cada punto en tiene un vecindario abierto en tal que existe un morfismo sobreyectivo para algún número natural ;
para cada conjunto abierto , entero y morfismo arbitrario de -módulos, el núcleo de es de tipo finito.
Los morfismos entre haces (cuasi-)coherentes son los mismos que los morfismos de haces de -módulos.
Si en una secuencia exacta de haces de módulos dos de los tres haces son coherentes, entonces el tercero también es coherente.
(Oka-Cartan) teorema coherente
El teorema coherente (Oka-Cartan) [34] dice que cada haz que cumple las siguientes condiciones es coherente. [74]
el haz de gérmenes de funciones holomorfas en , o el haz de estructura de subvariedades complejas o cada espacio analítico complejo [75]
el haz ideal de un subconjunto analítico A de un subconjunto abierto de . (Cartan 1950 [36] ) [76] [77]
La normalización del haz de estructuras de un espacio analítico complejo [78]
Del teorema de Serre (1955) anterior, se obtiene un haz coherente; además, (i) se utiliza para demostrar los teoremas A y B de Cartan .
Problema de primos
En el caso de funciones complejas de una variable, el teorema de Mittag-Leffler fue capaz de crear una función meromórfica global a partir de unas partes principales dadas (problema de Cousin I), y el teorema de factorización de Weierstrass fue capaz de crear una función meromórfica global a partir de unos ceros o un lugar geométrico de ceros dados (problema de Cousin II). Sin embargo, estos teoremas no se cumplen en varias variables complejas porque las singularidades de la función analítica en varias variables complejas no son puntos aislados; estos problemas se denominan problemas de Cousin y se formulan en términos de cohomología de haces. Fueron introducidos por primera vez en casos especiales por Pierre Cousin en 1895. [79] Fue Oka quien mostró las condiciones para resolver el primer problema de Cousin para el dominio de la holomorfía [nota 18] en el espacio de coordenadas complejo, [82] [83] [80] [nota 19] resolviendo también el segundo problema de Cousin con suposiciones topológicas adicionales. El problema de Cousin es un problema relacionado con las propiedades analíticas de variedades complejas, pero las únicas obstrucciones para resolver problemas de una propiedad analítica compleja son puramente topológicas; [80] [39] [31] Serre llamó a esto el principio de Oka. [84] Ahora se plantean y resuelven para una variedad compleja arbitraria M , en términos de condiciones sobre M . M , que satisface estas condiciones, es una forma de definir una variedad de Stein. El estudio del problema de Cousin nos hizo darnos cuenta de que en el estudio de varias variables complejas, es posible estudiar propiedades globales a partir del parcheo de datos locales, [36] es decir, ha desarrollado la teoría de la cohomología de haces. (p. ej., seminario de Cartan. [42] ) [39]
Problema del primo hermano
Sin el lenguaje de haces, el problema puede formularse de la siguiente manera. En una variedad compleja M , se dan varias funciones meromórficas junto con los dominios donde están definidas, y donde cada diferencia es holomorfa (dondequiera que esté definida la diferencia). El primer problema de Cousin pide entonces una función meromórfica en M tal que sea holomorfa en ; en otras palabras, que comparta el comportamiento singular de la función local dada.
Ahora, sea K el haz de funciones meromórficas y O el haz de funciones holomorfas sobre M. El primer problema de Cousin siempre se puede resolver si la siguiente función es sobreyectiva:
es exacta, y por lo tanto el primer problema de Cousin siempre es solucionable siempre que el primer grupo de cohomología H 1 ( M , O ) se anule. En particular, por el teorema de Cartan B , el problema de Cousin siempre es solucionable si M es una variedad de Stein.
Problema del segundo primo
El segundo problema de Cousin comienza con una configuración similar a la del primero, especificando en cambio que cada razón es una función holomorfa no nula (donde dicha diferencia está definida). Solicita una función meromórfica en M tal que sea holomorfa y no nula.
Sea el haz de funciones holomorfas que no se anulan en ninguna parte y el haz de funciones meromórficas que no son idénticamente cero. Ambos son haces de grupos abelianos y el haz cociente está bien definido. Si la siguiente función es sobreyectiva, entonces se puede resolver el problema del primo segundo:
La secuencia de cohomología de haces larga y exacta asociada al cociente es
Por lo tanto, el segundo problema del primo se puede resolver en todos los casos siempre que
El grupo de cohomología para la estructura multiplicativa en se puede comparar con el grupo de cohomología con su estructura aditiva tomando un logaritmo. Es decir, existe una secuencia exacta de haces
donde el haz más a la izquierda es el haz localmente constante con fibra . La obstrucción para definir un logaritmo en el nivel de H 1 está en , de la secuencia de cohomología exacta larga
Cuando M es una variedad de Stein, la flecha del medio es un isomorfismo porque para ello una condición necesaria y suficiente en ese caso para que el segundo problema de Cousin sea siempre solucionable es que (esta condición se llama principio de Oka).
Variedades analíticas y variedades con varias variables complejas
Colector Stein (colector Kähler no compacto)
Dado que una superficie de Riemann no compacta (abierta) [85] siempre tiene una función holomorfa unidimensional no constante, [86] y satisface el segundo axioma de contabilidad , la superficie de Riemann abierta es de hecho una variedad compleja unidimensional que posee una aplicación holomorfa en el plano complejo . (De hecho, Gunning y Narasimhan han demostrado (1967) [87] que cada superficie de Riemann no compacta en realidad tiene una inmersión holomorfa en el plano complejo. En otras palabras, hay una aplicación holomorfa en el plano complejo cuya derivada nunca se desvanece.) [88] El teorema de incrustación de Whitney nos dice que cada variedad n -dimensional suave puede incrustarse como una subvariedad suave de , mientras que es "raro" que una variedad compleja tenga una incrustación holomorfa en . Por ejemplo, para una variedad compleja arbitraria compacta y conexa X , cada función holomorfa en ella es constante por el teorema de Liouville, y por lo tanto no puede tener ninguna incrustación en el espacio n complejo. Es decir, para varias variables complejas, las variedades complejas arbitrarias no siempre tienen funciones holomorfas que no sean constantes. Por lo tanto, considere las condiciones bajo las cuales una variedad compleja tiene una función holomorfa que no es una constante. Ahora bien, si tuviéramos una incrustación holomorfa de X en , entonces las funciones de coordenadas de se restringirían a funciones holomorfas no constantes en X , contradiciendo la compacidad, excepto en el caso de que X sea solo un punto. Las variedades complejas en las que se pueden incrustar holomorfamente se denominan variedades de Stein. Además, las variedades de Stein satisfacen el segundo axioma de contabilidad. [89]
Una variedad de Stein es una subvariedad compleja del espacio vectorial de n dimensiones complejas. Fueron introducidas por Karl Stein (1951) y nombradas en honor a esa idea. [90] Un espacio de Stein es similar a una variedad de Stein, pero se le permite tener singularidades. Los espacios de Stein son los análogos de las variedades afines o esquemas afines en geometría algebraica. Si el dominio univalente en es una conexión a una variedad, puede considerarse como una variedad compleja y satisface la condición de separación descrita más adelante, la condición para convertirse en una variedad de Stein es satisfacer la convexidad holomorfa. Por lo tanto, la variedad de Stein es las propiedades del dominio de definición de la continuación analítica (máxima) de una función analítica.
Definición
Supóngase que X es una variedad compleja paracompacta de dimensión compleja y sea el anillo de funciones holomorfas en X. Llamamos a X una variedad de Stein si se cumplen las siguientes condiciones: [91]
X es holomórficamente convexo, es decir, para cada subconjunto compacto , la denominada envoltura holomórficamente convexa ,
El vecindario abierto de cada punto de la variedad tiene una carta holomórfica a la .
Obsérvese que la condición (3) puede derivarse de las condiciones (1) y (2). [92]
Toda superficie de Riemann no compacta (abierta) es una variedad de Stein
Sea X una superficie de Riemann conexa, no compacta (abierta) . Un teorema profundo de Behnke y Stein (1948) [86] afirma que X es una variedad de Stein.
Cartan extendió el problema de Levi a las variedades de Stein. [93]
Si el subconjunto abierto relativamente compacto de la variedad de Stein X es localmente pseudoconvexo, entonces D es una variedad de Stein, y a la inversa, si D es localmente pseudoconvexo, entonces X es una variedad de Stein. es decir, entonces X es una variedad de Stein si y sólo si D es localmente la variedad de Stein. [94]
Esto fue demostrado por Bremermann [95] al insertarlo en una dimensión suficientemente alta y reducirlo al resultado de Oka. [29]
Además, Grauert demostró para variedades complejas arbitrarias M . [nota 21] [98] [31] [96]
Si el subconjunto relativamente compacto de una variedad compleja arbitraria M es fuertemente pseudoconvexo en M , entonces M es una variedad holomorfamente convexa (es decir, una variedad de Stein). Además, D es en sí misma una variedad de Stein.
Y Narasimhan [99] [100] extendió el problema de Levi al espacio analítico complejo , generalizado en el caso singular de variedades complejas.
Un espacio analítico complejo que admite una función de agotamiento estrictamente plurisubarmónica continua (es decir, fuertemente pseudoconvexa) es el espacio de Stein. [4]
El problema de Levi sigue sin resolverse en los casos siguientes:
Supóngase que X es un espacio de Stein singular, [nota 22] . Supóngase que para todo existe un entorno abierto tal que es el espacio de Stein. ¿Es D en sí mismo un espacio de Stein? [4] [102] [101]
más generalizado
Supóngase que N es un espacio de Stein y f un dominio inyectivo y también un dominio no ramificado de Riemann, de modo que la función f es una función pseudoconvexa local (es decir, un morfismo de Stein). Entonces, M es en sí mismo Stein ? [101] [103] : 109
y también,
Supongamos que X es un espacio de Stein y una unión creciente de conjuntos abiertos de Stein. Entonces D es en sí mismo Stein ?
Esto significa que el teorema de Behnke-Stein, que es válido para las variedades de Stein, no ha encontrado condiciones que se puedan establecer en el espacio de Stein. [101]
K-completo
Grauert introdujo el concepto de K-completo en la prueba del problema de Levi.
Sea X una variedad compleja, X es K-completa si, para cada punto , existen finitos mapas holomorfos de X en , , tales que es un punto aislado del conjunto . [98] Este concepto también se aplica al espacio analítico complejo. [104]
Propiedades y ejemplos de variedades de Stein
El espacio complejo estándar [nota 23] es una variedad de Stein.
Cada dominio de holomorfía en es una variedad de Stein. [12]
Se puede demostrar con bastante facilidad que cada subvariedad compleja cerrada de una variedad de Stein es también una variedad de Stein.
El teorema de incrustación para variedades de Stein establece lo siguiente: Toda variedad de Stein X de dimensión compleja n puede ser incrustada en ella por una función propia biholomórfica . [105] [106] [107]
Estos hechos implican que una variedad de Stein es una subvariedad compleja cerrada del espacio complejo, cuya estructura compleja es la del espacio ambiente (porque la incrustación es biholomórfica).
Toda variedad de Stein de dimensión (compleja) n tiene el tipo de homotopía de un complejo CW de dimensión n . [108]
En una dimensión compleja, la condición de Stein se puede simplificar: una superficie de Riemann conexa es una variedad de Stein si y sólo si no es compacta. Esto se puede demostrar utilizando una versión del teorema de Runge [109] para superficies de Riemann, [nota 24] debida a Behnke y Stein. [86]
Toda variedad de Stein X es holomorfamente expandible, es decir, para cada punto , hay n funciones holomorfas definidas en todo X que forman un sistema de coordenadas local cuando se restringen a algún vecindario abierto de x .
El primer problema de Cousin siempre se puede resolver en una variedad de Stein.
Ser una variedad de Stein es equivalente a ser una variedad (compleja) fuertemente pseudoconvexa . Esto último significa que tiene una función exhaustiva fuertemente pseudoconvexa (o plurisubarmónica ), [98] es decir, una función real suave en X (que puede asumirse que es una función de Morse ) con , [98] tal que los subconjuntos son compactos en X para cada número real c . Esta es una solución al llamado problema de Levi , [110] llamado así por EE Levi (1911). La función invita a una generalización de la variedad de Stein a la idea de una clase correspondiente de variedades complejas compactas con borde llamada dominio de Stein . [111] Un dominio de Stein es la preimagen . Algunos autores llaman a tales variedades, por lo tanto, variedades estrictamente pseudoconvexas.
Relacionado con el punto anterior, otra definición equivalente y más topológica en dimensión compleja 2 es la siguiente: una superficie de Stein es una superficie compleja X con una función de Morse de valor real f en X tal que, lejos de los puntos críticos de f , el campo de tangencias complejas a la preimagen es una estructura de contacto que induce una orientación en X c concordante con la orientación usual como frontera de Es decir, es un relleno de Stein de X c .
Existen numerosas caracterizaciones adicionales de dichas variedades, en particular las que capturan la propiedad de que tienen "muchas" funciones holomorfas que toman valores en los números complejos. Véanse, por ejemplo, los teoremas A y B de Cartan , relacionados con la cohomología de haces .
En el conjunto de analogías GAGA , las variedades de Stein corresponden a variedades afines . [112]
Las variedades de Stein son en cierto sentido duales con las variedades elípticas en el análisis complejo, que admiten "muchas" funciones holomorfas de los números complejos en sí mismas. Se sabe que una variedad de Stein es elíptica si y sólo si es fibrante en el sentido de la denominada "teoría de homotopía holomorfa".
Función meromorfa en función compleja de una variable se estudió en una superficie de Riemann compacta (cerrada), porque dado que el teorema de Riemann-Roch ( desigualdad de Riemann ) se cumple para superficies de Riemann compactas (por lo tanto, la teoría de la superficie de Riemann compacta puede considerarse como la teoría de la curva algebraica (suave (no singular) proyectiva) sobre [113] [114] ). De hecho, la superficie de Riemann compacta tenía una función meromorfa de un solo valor no constante [85] , y también una superficie de Riemann compacta tenía suficientes funciones meromorfas. Una variedad compleja unidimensional compacta era una esfera de Riemann . Sin embargo, la noción abstracta de una superficie de Riemann compacta es siempre algebraizable ( teorema de existencia de Riemann , teorema de incrustación de Kodaira ), [nota 25] pero no es fácil verificar qué espacios analíticos complejos compactos son algebraizables. [115] De hecho, Hopf encontró una clase de variedades complejas compactas sin funciones meromórficas no constantes. [56] Sin embargo, hay un resultado de Siegel que da las condiciones necesarias para que las variedades complejas compactas sean algebraicas. [116] La generalización del teorema de Riemann-Roch a varias variables complejas fue extendida por primera vez a superficies analíticas compactas por Kodaira, [117] Kodaira también extendió el teorema a variedades tridimensionales, [118] y n-dimensionales de Kähler. [119] Serre formuló el teorema de Riemann-Roch como un problema de dimensión de cohomología de haces coherentes , [6] y también Serre demostró la dualidad de Serre . [120] Cartan y Serre demostraron la siguiente propiedad: [121] el grupo de cohomología es de dimensión finita para un haz coherente en una variedad compleja compacta M. [122] Weil demostró Riemann-Roch en una superficie de Riemann para un fibrado vectorial en 1938. [123] Hirzebruch generalizó el teorema a variedades complejas compactas en 1994 [124] y Grothendieck lo generalizó a una versión relativa (enunciados relativos sobre morfismos .). [125] [126] A continuación, la generalización del resultado de que "las superficies compactas de Riemann son proyectivas" a la alta dimensión. En particular, considere las condiciones que cuando se incrusta la subvariedad compleja compacta X en el espacio proyectivo complejo . [nota 26] El teorema de desaparición (fue introducido por primera vez porKodaira en 1953) da la condición, cuando el grupo de cohomología de haces se desvanece, y la condición es satisfacer un tipo de positividad . Como aplicación de este teorema, el teorema de incrustación de Kodaira [127] dice que una variedad de Kähler compacta M , con una métrica de Hodge, hay una incrustación analítica compleja de M en un espacio proyectivo complejo de suficiente alta dimensión N . Además, el teorema de Chow [128] muestra que el subespacio analítico complejo (subvariedad) de un espacio proyectivo complejo cerrado es un algebraico, es decir, por lo que es el cero común de algunos polinomios homogéneos, tal relación es un ejemplo de lo que se llama principio GAGA de Serre . [8] El subespacio analítico complejo (variedad) del espacio proyectivo complejo tiene propiedades tanto algebraicas como analíticas. Luego, combinado con el resultado de Kodaira, una variedad de Kähler compacta M se incrusta como una variedad algebraica. Este resultado da un ejemplo de una variedad compleja con suficientes funciones meromórficas. En términos generales, el principio GAGA dice que la geometría de los espacios analíticos complejos proyectivos (o variedades) es equivalente a la geometría de las variedades proyectivas complejas. La combinación de métodos analíticos y algebraicos para variedades proyectivas complejas conduce a áreas como la teoría de Hodge . Además, la teoría de la deformación de las variedades complejas compactas se ha desarrollado como la teoría de Kodaira-Spencer. Sin embargo, a pesar de ser una variedad compleja compacta, hay contraejemplos que no se pueden incrustar en el espacio proyectivo y no son algebraicos. [129] Analogía de los problemas de Levi sobre el espacio proyectivo complejo de Takeuchi. [4] [130] [131] [132]
^ Nombre adoptado, de manera confusa, para la geometría de los ceros de las funciones analíticas ; no se trata de la geometría analítica que se aprende en la escuela (en otras palabras, en el sentido de GAGA sobre Serre). [8]
^ El campo de números complejos es un espacio vectorial bidimensional sobre números reales.
^ Nótese que esta fórmula solo es válida para polidisco. Véase §Fórmula de Bochner-Martinelli para la fórmula integral de Cauchy en el dominio más general.
^ Según el teorema de la curva de Jordan, el dominio D es un conjunto cerrado acotado, es decir, cada dominio es compacto.
^ Pero hay un punto en el que converge fuera del círculo de convergencia. Por ejemplo, si una de las variables es 0, entonces algunos términos, representados por el producto de esta variable, serán 0 independientemente de los valores que tomen las otras variables. Por lo tanto, incluso si se toma una variable que diverge cuando una variable es distinta de 0, puede converger.
^ Cuando se describe utilizando el dominio de holomorfía, que es una generalización del dominio de convergencia, un dominio de Reinhardt es un dominio de holomorfía si y solo si es logarítmicamente convexo.
^ Este teorema se cumple incluso si la condición no está restringida al conjunto acotado, es decir, el teorema se cumple incluso si esta condición se reemplaza por un conjunto abierto. [20]
^ Oka dice que [32] el contenido de estos dos documentos es diferente. [33]
^ De hecho, esto fue demostrado por Kiyoshi Oka [28] con respecto al dominio. Véase el lema de Oka .
^ Se trata de una condición de envoltura hullomorfamente convexa expresada por una función plurisubarmónica. Por este motivo, también se la denomina p-pseudoconvexa o simplemente p-convexa.
^ Definición de débilmente 1-completo. [59]
^ En geometría algebraica, existe un problema sobre si es posible eliminar el punto singular del espacio analítico complejo realizando una operación llamada modificación [60] [61] en el espacio analítico complejo (cuando n = 2, el resultado de Hirzebruch, [62] cuando n = 3 el resultado de Zariski [63] para la variedad algebraica), pero Grauert y Remmert han informado de un ejemplo de un dominio que no es ni pseudoconvexo ni convexo holomorfo, aunque es un dominio de holomorfía: [64]
^ Esta relación se llama teorema de Cartan-Thullen. [65]
^ Nótese que el teorema de extensión de Riemann y sus referencias explicadas en el artículo vinculado incluyen una versión generalizada del teorema de extensión de Riemann de Grothendieck que se demostró utilizando el principio GAGA; además, cada variedad compleja compacta unidimensional es una variedad de Hodge.
^ Este es el método estándar para la compactificación de , pero no el único método como la esfera de Riemann que fue la compactificación de .
Referencias
Citas en línea
^ ab Hörmander, Lars (1965). "Estimaciones L2 y teoremas de existencia para el operador ∂ ¯ {\displaystyle {\bar {\partial }}}". Acta Mathematica . 113 : 89–152. doi : 10.1007/BF02391775 . S2CID 120051843.
^ Ohsawa, Takeo (2002). Análisis de varias variables complejas. ISBN978-1-4704-4636-9.
^ ab Błocki, Zbigniew (2014). "Cauchy–Riemann se encuentra con Monge–Ampère". Boletín de Ciencias Matemáticas . 4 (3): 433–480. doi : 10.1007/s13373-014-0058-2 . S2CID 53582451.
^ abcdefghi Siu, Yum-Tong (1978). "Pseudoconvexidad y el problema de Levi". Boletín de la Sociedad Matemática Americana . 84 (4): 481–513. doi : 10.1090/S0002-9904-1978-14483-8 . MR 0477104.
^ abcde Chen, So-Chin (2000). "Análisis complejo en una y varias variables". Revista taiwanesa de matemáticas . 4 (4): 531–568. doi : 10.11650/twjm/1500407292 . JSTOR 43833225. MR 1799753. Zbl 0974.32001.
^ abc Chong, CT; Leong, YK (1986). "Una entrevista con Jean-Pierre Serre". The Mathematical Intelligencer . 8 (4): 8–13. doi :10.1007/BF03026112. S2CID 121138963.
^ Freitag, Eberhard (2011). "Funciones analíticas de varias variables complejas". Análisis complejo 2. Universitext. págs. 300–346. doi :10.1007/978-3-642-20554-5_5. ISBN978-3-642-20553-8.
^ Ohsawa, Takeo (1984). "Teoremas de desaparición en variedades de Kähler completas". Publicaciones del Instituto de Investigación de Ciencias Matemáticas . 20 : 21–38. doi : 10.2977/prims/1195181825 .
^ Ozaki, Shigeo; Onô, Isao ( 1 de febrero de 1953). "Funciones analíticas de varias variables complejas". Science Reports of the Tokyo Bunrika Daigaku, Sección A. 4 (98/103): 262–270. JSTOR 43700400.
^ ab Field, M (1982). "Variedades complejas". Varias variables complejas y variedades complejas I. págs. 134-186. doi :10.1017/CBO9781107325562.005. ISBN .9780521283014.
^ Poincaré, 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.
^ Siu, Yum-Tong (1991). "Uniformización en varias variables complejas". En Wu, Hung-Hsi (ed.). Geometría contemporánea. pág. 494. doi :10.1007/978-1-4684-7950-8. ISBN978-1-4684-7950-8.
^ Jarnicki, Marek; Pflug, Peter (2008). Primeros pasos en varias variables complejas: dominios de Reinhardt. doi :10.4171/049. ISBN978-3-03719-049-4.
^ Sakai, Eiichi (1970). "Completado meromórfico u holomórfico de un dominio de Reinhardt". Nagoya Mathematical Journal . 38 : 1–12. doi : 10.1017/S0027763000013465 . S2CID 118248529.
^ Range, R. Michael (1986). "Dominios de holomorfía y pseudoconvexidad". Funciones holomorfas y representaciones integrales en varias variables complejas. Textos de posgrado en matemáticas. Vol. 108. pág. 10.1007/978-1-4757-1918-5_2. doi :10.1007/978-1-4757-1918-5_2. ISBN978-1-4419-3078-1.
^ Krantz, Steven G. (2008). "El fenómeno de extensión Hartogs redux". Variables complejas y ecuaciones elípticas . 53 (4): 343–353. doi :10.1080/17476930701747716. S2CID 121700550.
^ ab 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 (en alemán), 36 : 223–242, JFM 37. 0443 .01
^ ab Simonič, Aleksander (2016). "Enfoque elemental del teorema de extensión de Hartogs". arXiv : 1608.00950 [math.CV].
^ Laufer, Henry B. (1 de junio de 1966). "Algunas observaciones sobre un teorema de Hartogs". Actas de la American Mathematical Society . 17 (6): 1244–1249. doi : 10.1090/S0002-9939-1966-0201675-2 . JSTOR 2035718.
^ Merker, Joël; Porten, Egmont (2007). "Una prueba teórica de Morse del teorema de extensión de Hartogs". Journal of Geometric Analysis . 17 (3): 513–546. arXiv : math/0610985 . doi : 10.1007/BF02922095 . S2CID 449210.
^ Boggess, A.; Dwilewicz, RJ; Slodkowski, Z. (2013). "Extensión de Hartogs para tubos generalizados en Cn". Revista de análisis matemático y aplicaciones . 402 (2): 574–578. doi : 10.1016/j.jmaa.2013.01.049 .
^ Cartan, Henri (1931). "Las funciones de dos variables complejas y el problema de la representación analítica". Revista de Mathématiques Pures et Appliquées . 10 : 1–116. Zbl 0001.28501.
^ Thullen, Peter (1931). "Zu den Abbildungen durch analytische Funktionen mehrerer komplexer Veränderlichen die Invarianz des Mittelpunktes von Kreiskörpern". Annalen Matemáticas . 104 : 244–259. doi : 10.1007/bf01457933 . S2CID 121072397.
^ Sunada, Toshikazu (1978). "Problema de equivalencia holomorfa para dominios de Reinhardt acotados". Mathematische Annalen . 235 (2): 111–128. doi : 10.1007/BF01405009 . S2CID 124324696.
^ Cartan, Enrique; Thullen, Peter (1932). "Zur Theorie der Singularitäten der Funktionen mehrerer komplexen Veränderlichen Regularitäts-und Konvergenzbereiche". Annalen Matemáticas . 106 : 617–647. doi : 10.1007/BF01455905 .
^ ab Oka, Kiyoshi (1943), "Sur les fonctions analytiques de plusieurs variables. VI. Domaines pseudoconvexes", Tohoku Mathematical Journal , primera serie, 49 : 15–52, ISSN 0040-8735, Zbl 0060.24006
^ abc Oka, Kiyoshi (1953), "Sur les fonctions analytiques de plusieurs variables. IX. Domaines finis sans point critique intérieur", Revista japonesa de matemáticas: transacciones y resúmenes , 23 : 97–155, doi : 10.4099/jjm1924.23.0 _97 , ISSN 0075-3432
^ 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
^ abcd 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.
^ Bueno, Kiyoshi (1953). Merker, j.; Noguchi, j. (eds.). "Sur les formes Objectives et les contenus subjetivaifs dans les sciences math'ematiques; Propos post'erieur" (PDF) .
^ Noguchi, J. "Relacionado con las obras del Dr. Kiyoshi OKA".
^ a b C Oka, Kiyoshi (1950). "Sur les fonctions analytiques de plusieurs variables. VII. Sur quelques notions arithmétiques". Boletín 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, Tokio (Versión original de Oka) .[nota 9]
^ ab Oka, Kiyoshi (1951), "Sur les Fonctions Analytiques de Plusieurs Variables, VIII - Lemme Fondamental", Revista de la Sociedad Matemática de Japón , 3 (1): 204–214, doi : 10.2969/jmsj/00310204, Oka, Kiyoshi (1951), "Sur les Fonctions Analytiques de Plusieurs Variables, VIII - Lemme Fondamental (Suite)", Revista de la Sociedad Matemática de Japón , 3 (2): 259–278, doi : 10.2969/jmsj/ 00320259
^ abcd Cartan, Henri (1950). "Idéaux et módulos de funciones analíticas de variables complejas". Boletín de la Société Mathématique de France . 2 : 29–64. doi : 10.24033/bsmf.1409 .
^ ab Cartan, Henri (1953). "Variétés analytiques complexes et cohomologie". Colloque sur les fonctions de plusieurs variables, Bruselas : 41–55. Señor 0064154. Zbl 0053.05301.
^ abcde Chorlay, Renaud (enero de 2010). "De los problemas a las estructuras: los problemas de primos y el surgimiento del concepto de gavilla". Archivo de Historia de las Ciencias Exactas . 64 (1): 1–73. doi :10.1007/s00407-009-0052-3. JSTOR 41342411. S2CID 73633995.
^ Gavillas en colectores. Grundlehren der mathematischen Wissenschaften. vol. 136. 1990. doi : 10.1007/978-3-662-02661-8. ISBN978-3-642-08082-1.
^ Serre, Jean-Pierre (1953). "Quelques problèmes globaux rélatifs aux variétés de Stein". Centro Belga Rech. Math., Colloque Fonctions Plusieurs Variables, Bruxelles du 11 Au 14 Mars : 67–58. Zbl 0053.05302.
^ ab Cartan, H.; Bruhat, F.; Cerf, Jean.; Dolbeault, P.; Frenkel, Jean.; Hervé, Michel; malaciano.; Serre, JP. "Séminaire Henri Cartan, Tomo 4 (1951-1952)". Archivado desde el original el 20 de octubre de 2020.
^ ab Forstnerič, Franc (2011). "Múltiples Stein". Colectores Stein y mapeos holomorfos . Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / Una serie de estudios modernos en matemáticas. vol. 56.doi :10.1007/978-3-642-22250-4 . ISBN978-3-642-22249-8.
^ Behnke, H.; Stein, K. (1939). "Konvergente Folgen von Regularitätsbereichen und die Meromorphiekonvexität". Annalen Matemáticas . 116 : 204–216. doi :10.1007/BF01597355. S2CID 123982856.
^ Kajiwara, Joji (1 de enero de 1965). "Relaciones entre dominios de holomorfía y problemas múltiples de Cousin". Revista matemática Kodai . 17 (4). doi : 10.2996/kmj/1138845123 .
^ Range, R. Michael (2012). "¿QUÉ ES... un dominio pseudoconvexo?". Avisos de la American Mathematical Society . 59 (2): 1. doi : 10.1090/noti798 .
^ abcd Geometría analítica y diferencial compleja
^ Fritzsche, Klaus; Grauert, Hans (6 de diciembre de 2012). De funciones holomorfas a variedades complejas. Saltador. ISBN9781468492736.
^ Krantz, Steven George (2001). Teoría de funciones de varias variables complejas. American Mathematical Soc. ISBN9780821827246.
^ Lempert, Lászlo (1981). "La métrique de Kobayashi et la représentation des domaines sur la boule". Boletín de la Société Mathématique de France . 109 : 427–474. doi : 10.24033/bsmf.1948 .
^ Shon, Kwang Ho (1987). "Bases de vecindad de Stein para conjuntos de productos de polidiscos e intervalos abiertos". Memorias de la Facultad de Ciencias, Universidad de Kyushu. Serie A, Matemáticas . 41 : 45–80. doi : 10.2206/kyushumfs.41.45 .
^ abcd Sin Hitomatsu (1958), "Sobre algunas conjeturas concernientes a dominios pseudoconvexos", Journal of the Mathematical Society of Japan , 6 (2): 177–195, doi : 10.2969/jmsj/00620177 , Zbl 0057.31503
^ ab Kajiwara, Joji (1959). "Algunos resultados sobre la equivalencia de haces de fibras analíticos complejos". Memorias de la Facultad de Ciencias, Universidad de Kyushu. Serie A, Matemáticas . 13 : 37–48. doi : 10.2206/kyushumfs.13.37 .
^ Ohsawa, Takeo (2018). "Sobre la pseudoconvexidad local de ciertas familias analíticas de C {\displaystyle \mathbb {C} }". Annales de l'Institut Fourier . 68 (7): 2811–2818. doi : 10.5802/aif.3226 .
^ ab Ohsawa, Takeo (febrero de 2021). "Rigidez de NISHIno, mapas pseudoconvexos locales y movimientos holomórficos (Topología de dominios pseudoconvexos y análisis de núcleos reproductores)". RIMS Kôkyûroku . 2175 : 27–46. hdl :2433/263965.
^ Diederich, Klas; Fornæss, John Erik (1982). "Un dominio pseudoconvexo suave sin agotamiento pseudoconvexo". Manuscripta Mathematica . 39 : 119–123. doi :10.1007/BF01312449. S2CID 121224216.
^ Ohsawa, Takeo (2012). "Teoremas de extensión de tipo Hartog en algunos dominios en variedades de Kähler". Annales Polonici Mathematici . 106 : 243–254. doi : 10.4064/ap106-0-19 . S2CID 123827662.
^ Ohsawa, Takeo (1981). "Variedad débilmente 1-completa y problema de Levi". Publicaciones del Instituto de Investigación de Ciencias Matemáticas . 17 : 153–164. doi : 10.2977/prims/1195186709 .
^ Heinrich Behnke y Karl Stein (1951), "Modifikationen komplexer Mannigfaltigkeiten und Riernannscher Gebiete", Mathematische Annalen , 124 : 1–16, doi :10.1007/BF01343548, S2CID 120455177, Zbl 0043.30301
^ 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
^ Oscar Zariski (1944), "Reducción de las singularidades de las variedades algebraicas tridimensionales", Anales de Matemáticas , Segunda serie, 45 (3): 472–542, doi :10.2307/1969189, JSTOR 1969189
^ Hans Grauert y 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
^ Tsurumi, Kazuyuki; Jimbo, Toshiya (1969). "Algunas propiedades de la convexidad holomorfa en álgebras de funciones generales". Informes científicos del Tokyo Kyoiku Daigaku, Sección A. 10 (249/262): 178–183. JSTOR 43698735.
^ Fornæss, John Erik (1978). "Un contraejemplo para el problema de Levi para dominios de Riemann ramificados sobre C n {\displaystyle \mathbb {C} ^{n}}". Mathematische Annalen . 234 (3): 275–277. doi :10.1007/BF01420649.
^ ab Noguchi, Junjiro (2019). "Una breve crónica del problema de Levi (inverso de Hartog), coherencia y problema abierto". Avisos del Congreso Internacional de Matemáticos Chinos . 7 (2): 19–24. arXiv : 1807.08246 . doi :10.4310/ICCM.2019.V7.N2.A2. S2CID 119619733.
^ Noguchi, Junjiro (2016). Teoría de funciones analíticas de varias variables. Elementos de la coherencia de Oka (px). p. XVIII, 397. doi :10.1007/978-981-10-0291-5. ISBN978-981-10-0289-2.S2CID125752012 .
^ Noguchi, Junjiro (2016). Teoría de funciones analíticas de varias variables. Elementos de la coherencia de Oka (p. 33). p. XVIII, 397. doi :10.1007/978-981-10-0291-5. ISBN978-981-10-0289-2.S2CID125752012 .
^ Grothendiec, Alejandro; Dieudonn, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas (cap.0 § 5. FAISCEAUX QUASI-COHÉRENTS ET FAISCEAUX COHÉRENTS (0.5.1–0.5.3))". Publicaciones Mathématiques de l'IHÉS . 4 . doi :10.1007/bf02684778. SEÑOR 0217083. S2CID 121855488.
^ Remmert, R. (1994). "Teoría local de espacios complejos". Varias variables complejas VII §6. Cálculos de haces coherentes. Enciclopedia de ciencias matemáticas. Vol. 74. págs. 7–96. doi :10.1007/978-3-662-09873-8_2. ISBN978-3-642-08150-7.
^ Ohsawa, Takeo (10 de diciembre de 2018). Enfoques L2 en varias variables complejas: hacia la teoría de Oka-Cartan con límites precisos. Springer Monographs in Mathematics. doi :10.1007/978-4-431-55747-0. ISBN9784431568513.
^ Noguchi, Junjiro (2019), "Un teorema de coherencia débil y comentarios sobre la teoría de Oka" (PDF) , Kodai Math. J. , 42 (3): 566–586, arXiv : 1704.07726 , doi : 10.2996/kmj/1572487232, S2CID 119697608
^ Grauert, H.; Remmert, R. (6 de diciembre de 2012). Gavillas analíticas coherentes. Saltador. pag. 60.ISBN978-3-642-69582-7.
^ Grauert, H.; Remmert, R. (6 de diciembre de 2012). Gavillas analíticas coherentes. Saltador. pag. 84.ISBN978-3-642-69582-7.
^ Demailly, Jean-Pierre. "Resultados básicos sobre haces y conjuntos analíticos" (PDF) . Instituto Fourier.
^ Grauert, Hans; Remmert, Reinhold (1984). "Normalización de Espacios Complejos". Gavillas analíticas coherentes . Grundlehren der mathematischen Wissenschaften. vol. 265, págs. 152-166. doi :10.1007/978-3-642-69582-7_8. ISBN978-3-642-69584-1.
^ Primo, Pierre (1895). "Sur les fonctions de n variables complexes". Acta Matemática . 19 : 1–61. doi : 10.1007/BF02402869 .
^ a b C Oka, Kiyoshi (1939). "Sur les fonctions analytiques de plusieurs variables. III–Deuxième problème de Cousin". Revista de Ciencias de la Universidad de Hiroshima . 9 : 7–19. doi : 10.32917/hmj/1558490525 .
^ Serre, Jean-Pierre (2003). "Quelques problèmes globaux rélatifs aux variétés de Stein". Oeuvres - Artículos recopilados I (en francés). Springer Berlín Heidelberg. pag. XXIII, 598. ISBN978-3-642-39815-5.
^ Bueno, Kiyoshi (1936). "Sur les fonctions analytiques de plusieurs variables. I. Domaines convexes par rapport aux fonctions rationnelles". Revista de Ciencias de la Universidad de Hiroshima . 6 : 245–255. doi : 10.32917/hmj/1558749869 .
^ Bueno, Kiyoshi (1937). "Sur les fonctions analytiques de plusieurs variables. II – Domaines d'holomorphie". Revista de Ciencias de la Universidad de Hiroshima . 7 : 115-130. doi : 10.32917/hmj/1558576819 .
^ Serre, J.-P. "Aplicaciones de la teoría general de diversos problemas globales". Seminario Henri Cartan . 4 : 1–26.
^ abc Heinrich Behnke y Karl Stein (1948), "Entwicklung analytischer Funktionen auf Riemannschen Flächen", Mathematische Annalen , 120 : 430–461, doi :10.1007/BF01447838, S2CID 122535410, Zbl 0038.23502
^ Disparando, RC; Narasimhan, Raghavan (1967). "Inmersión de superficies abiertas de Riemann". Annalen Matemáticas . 174 (2): 103–108. doi :10.1007/BF01360812. S2CID 122162708.
^ Fornaess, JE; Forstneric, F; Wold, EF (2020). "El legado de Weierstrass, Runge, Oka–Weil y Mergelyan". En Breaz, Daniel; Rassias, Michael Th. (eds.). Avances en análisis complejo: aproximación holomorfa . Springer Nature . págs. 133–192. arXiv : 1802.03924 . doi :10.1007/978-3-030-40120-7. ISBN.978-3-030-40119-1.S2CID220266044 .
^ Patyi, Imre (2011). "Sobre variedades complejas de Banach similares a las variedades de Stein". Cuentas Rendus Mathematique . 349 (1–2): 43–45. arXiv : 1010.3738 . doi :10.1016/j.crma.2010.11.020. S2CID 119631664.
^ Stein, Karl (1951), "Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem", Math. Ana. (en alemán), 123 : 201–222, doi : 10.1007/bf02054949, MR 0043219, S2CID 122647212
^ Noguchi, Junjiro (2011). "Otra prueba directa del teorema de Oka (Oka IX)" (PDF) . J. Math. Sci. Univ. Tokio . 19 (4). arXiv : 1108.2078 . MR 3086750.
^ Grauert, Hans (1955). "Características del holomorfo vollständigen komplexen Räume". Annalen Matemáticas . 129 : 233–259. doi :10.1007/BF01362369. S2CID 122840967.
^ Cartan, Henri (1957). "Variétés analytiques réelles et variétés analytiques complexes". Boletín de la Société Mathématique de France . 85 : 77–99. doi : 10.24033/bsmf.1481 .
^ Barth, Theodore J. (1968). "Familias de divisores no negativos". Trans. Amer. Math. Soc . 131 : 223–245. doi : 10.1090/S0002-9947-1968-0219751-3 .
^ Bremermann, Hans J. (1957). "Sobre el teorema de Oka para variedades de Stein". Seminarios sobre funciones analíticas. Instituto de Estudios Avanzados (Princeton, NJ) . 1 : 29–35. Zbl 0192.18304.
^ ab Sibony, Nessim (2018). "Problema de Levi en variedades complejas". Anales matemáticos . 371 (3–4): 1047–1067. arXiv : 1610.07768 . doi :10.1007/s00208-017-1539-x. S2CID 119670805.
^ Grauert, Hans (1963). "Bemerkenswerte pseudokonvex Mannigfaltigkeiten". Mathematische Zeitschrift . 81 (5): 377–391. doi :10.1007/BF01111528. S2CID 122214512.
^ abcd Hans Grauert (1958), "Sobre el problema de Levi y la incrustación de variedades de análisis real", Anales de Matemáticas , Segunda serie, 68 (2): 460–472, doi :10.2307/1970257, JSTOR 1970257, Zbl 0108.07804
^ Narasimhan, Raghavan (1961). "El problema de Levi para espacios complejos". Annalen Matemáticas . 142 (4): 355–365. doi :10.1007/BF01451029. S2CID 120565581.
^ Narasimhan, Raghavan (1962). "El problema de Levi para espacios complejos II". Annalen Matemáticas . 146 (3): 195–216. doi :10.1007/BF01470950. S2CID 179177434.
^ abcd Coltoiu, Mihnea (2009). "El problema de Levi en espacios de Stein con singularidades. Un estudio". arXiv : 0905.2343 [math.CV].
^ Fornæss, John Erik; Sibony, Nessim (2001). "Algunos problemas abiertos en análisis complejos de dimensiones superiores y dinámica compleja". Publicaciones Matemáticas . 45 (2): 529–547. doi :10.5565/PUBLMAT_45201_11. JSTOR 43736735.
^ Ohsawa, Takeo (10 de diciembre de 2018). Enfoques L2 en varias variables complejas: hacia la teoría de Oka-Cartan con límites precisos. Springer Monographs in Mathematics. doi :10.1007/978-4-431-55747-0. ISBN9784431568513.
^ Andreotti, Aldo; Narasimhan, Raghavan (1964). "El Heftungslemma de Oka y el problema de Levi para espacios complejos". Transacciones de la American Mathematical Society . 111 (2): 345–366. doi : 10.1090/S0002-9947-1964-0159961-3 . JSTOR 1994247.
^ Raghavan, Narasimhan (1960). "Incrustación de espacios complejos holomorfamente completos". American Journal of Mathematics . 82 (4): 917–934. doi :10.2307/2372949. JSTOR 2372949.
^ Eliashberg, Yakov; Gromov, Mikhael (1992). "Incrustaciones de variedades Stein de dimensión n en el espacio afín de dimensión 3n/2 +1". Anales de Matemáticas . Segunda Serie. 136 (1): 123-135. doi :10.2307/2946547. JSTOR 2946547.
^ Remmert, Reinhold (1956). "Sur les espaces analytiques holomorphiquement séparables et holomorphiquement convexes". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris (en francés). 243 : 118-121. Zbl 0070.30401.
^ Forster, Otto (1967). "Algunas observaciones sobre variedades de Stein paralelizables". Boletín de la Sociedad Matemática Americana . 73 (5): 712–716. doi : 10.1090/S0002-9904-1967-11839-1 .
^ Simha, RR (1989). "El teorema de Behnke-Stein para superficies abiertas de Riemann". Actas de la American Mathematical Society . 105 (4): 876–880. doi : 10.1090/S0002-9939-1989-0953748-X . JSTOR 2047046.
^ Ohsawa, Takeo (1982). "Un dominio de Stein con un límite suave que tiene una estructura de producto". Publicaciones del Instituto de Investigación de Ciencias Matemáticas . 18 (3): 1185–1186. doi : 10.2977/prims/1195183303 .
^ Neeman, Amnon (1988). "Steins, Affines y el decimocuarto problema de Hilbert". Anales de Matemáticas . 127 (2): 229–244. doi :10.2307/2007052. JSTOR 2007052.
^ Miranda, Rick (1995). Curvas algebraicas y superficies de Riemann. Estudios de posgrado en matemáticas. Vol. 5. doi :10.1090/gsm/005. ISBN9780821802687.
^ Arapura, Donu (15 de febrero de 2012). Geometría algebraica sobre números complejos. Springer. ISBN9781461418092.
^ Danilov, VI (1996). "Cohomología de variedades algebraicas". Geometría Algebraica II. Enciclopedia de Ciencias Matemáticas. vol. 35. págs. 1-125. doi :10.1007/978-3-642-60925-1_1. ISBN978-3-642-64607-2.
^ Kodaira, Kunihiko (1951). "El teorema de Riemann-Roch sobre superficies analíticas compactas". American Journal of Mathematics . 73 (4): 813–875. doi :10.2307/2372120. JSTOR 2372120.
^ Kodaira, Kunihiko (1952). "El teorema de Riemann-Roch para sistemas adjuntos en variedades algebraicas tridimensionales". Anales de Matemáticas . 56 (2): 298–342. doi :10.2307/1969802. JSTOR 1969802.
^ Kodaira, Kunihiko (1952). "Sobre el teorema de Riemann-Roch para sistemas adjuntos en variedades de Kahler". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 38 (6): 522–527. Bibcode :1952PNAS...38..522K. doi : 10.1073/pnas.38.6.522 . JSTOR 88542. PMC 1063603 . PMID 16589138.
^ Cartan, Enrique; Serre, Jean-Pierre (1953). "Un teorema de finitud con respecto a las variedades analíticas compactas". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences de Paris . 237 : 128-130. Zbl 0050.17701.
^ Brînzănescu, Vasile (1996). "Fibrados vectoriales sobre variedades complejas". Fibrados vectoriales holomorfos sobre superficies complejas compactas . Lecture Notes in Mathematics. Vol. 1624. págs. 1–27. doi :10.1007/BFb0093697. ISBN978-3-540-61018-2.
^ Weil, A. (1938). "Zur algebraischen Theorie der algebraischen Funktionen. (Aus einem Brief an H. Hasse.)". Journal für die reine und angewandte Mathematik . 179 : 129-133. doi :10.1515/crll.1938.179.129. S2CID 116472982.
^ Hirzebruch, Friedrich (1966). Métodos topológicos en geometría algebraica . doi :10.1007/978-3-642-62018-8. ISBN978-3-540-58663-0.
^ Berthelot, Pierre (1971). Alejandro Grothendieck; Luc Illusie (eds.). Teoría de las intersecciones y Teoría de Riemann-Roch . Apuntes de conferencias de matemáticas. vol. 225. Springer Ciencia + Medios comerciales. págs. xii+700. doi :10.1007/BFb0066283. ISBN978-3-540-05647-8.
^ Borel, Armand; Serre, Jean-Pierre (1958). "El teorema de Riemann-Roch". Boletín de la Société Mathématique de France . 86 : 97-136. doi : 10.24033/bsmf.1500 . SEÑOR 0116022.
^ Kodaira, K. (1954). "Sobre las variedades de Kahler de tipo restringido (una caracterización intrínseca de las variedades algebraicas)". Anales de Matemáticas . Segunda serie. 60 (1): 28–48. doi :10.2307/1969701. JSTOR 1969701.
^ Chow, Wei-Liang (1949). "Sobre variedades analíticas complejas compactas". American Journal of Mathematics . 71 (2): 893–914. doi :10.2307/2372375. JSTOR 2372375.
^ Calabi, Eugenio; Eckmann, Beno (1953). "Una clase de variedades compactas y complejas que no son algebraicas". Anales de Matemáticas . 58 (3): 494–500. doi :10.2307/1969750. JSTOR 1969750.
^ Ohsawa, Takeo (2012). "Sobre el complemento de divisores efectivos con fibrado normal semipositivo". Kyoto Journal of Mathematics . 52 (3). doi : 10.1215/21562261-1625181 . S2CID 121799985.
^ Matsumoto, Kazuko (2018). "Igualdad de Takeuchi para la forma de Levi de la distancia de Fubini-Study a subvariedades complejas en espacios proyectivos complejos". Kyushu Journal of Mathematics . 72 (1): 107–121. doi : 10.2206/kyushujm.72.107 .
^ Takeuchi, Akira (1964). "Domaines pseudoconvexes infinis et la métrique riemannienne dans un espace projecti". Revista de la Sociedad Matemática de Japón . 16 (2). doi : 10.2969/jmsj/01620159 . S2CID 122894640.
Libros de texto
Behnke, H.; Thullen, P. (1934). Theorie der Funktionen mehrerer komplexer Veränderlichen . doi :10.1007/978-3-642-99659-7. ISBN 978-3-642-98844-8.
Bochner, S.; Martin, WT (1948). Varias variables complejas . Serie matemática de Princeton. Princeton University Press. ISBN 978-0-598-34865-4.
Forster, Otto (1981). Lecciones sobre superficies de Riemann . Texto de posgrado en matemáticas. Vol. 81. Nueva York: Springer Verlag. ISBN.0-387-90617-7.
Фукс, Б.А. (1962). Введение в теорию аналитических функции многих комплексных переменных (en ruso). OCLC 896179082.
Fuks, Boris Abramovich (1963). Teoría de funciones analíticas de varias variables complejas . American Mathematical Society. ISBN 978-1-4704-4428-0.
Cartan, Henri; Takahashi, Reiji (1992). Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes (en francés) (6é. ed., nouv. tir ed.). París: Hermann. pag. 231.ISBN 9782705652159.
Cartan, Henri (1992). Teoría elemental de funciones analíticas de una o varias variables complejas. Courier Corporation. pág. 228. ISBN 9780486318677.
Freitag, Eberhard (2011). Análisis complejo 2: superficies de Riemann, varias variables complejas, funciones abelianas, funciones modulares superiores. Universitext (2.ª ed.). Springer. doi :10.1007/978-3-642-20554-5. ISBN .978-3-642-20554-5.
Forstnerič, Franc (2011). Colectores Stein y mapeos holomorfos . Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / Una serie de estudios modernos en matemáticas. vol. 56.doi :10.1007/978-3-642-22250-4 . ISBN 978-3-642-22249-8.
Grauert, Hans; Remmert, Reinhold (1979), Teoría de los espacios de Stein , Grundlehren der Mathematischen Wissenschaften, vol. 236, Berlín-Nueva York: Springer-Verlag, ISBN 3-540-90388-7, Sr. 0580152
Шабат, Б.В. (1985). Введение в комплексный анализ / Vvedenie v kompleksnyĭ analiz (en ruso). Nauka, Glav. rojo. fiziko-matematicheskoĭ lit-ry, Moscú. OCLC 14003250.
Introducción al análisis complejo. Parte II. Funciones de varias variables . Traducciones de monografías matemáticas. Vol. 110. 1992. doi :10.1090/mmono/110. ISBN 9780821819753.
Lars Hörmander (1990) [1966], Introducción al análisis complejo en varias variables (3.ª ed.), Holanda Septentrional, ISBN 978-1-493-30273-4
Gunning, Robert Clifford; Rossi, Hugo (2009). Funciones analíticas de varias variables complejas. American Mathematical Soc. ISBN 978-0-8218-2165-7.
Kaup, Ludger; Kaup, Burchard (9 de mayo de 2011). Funciones holomorfas de varias variables: una introducción a la teoría fundamental. Walter de Gruyter. ISBN 9783110838350.
Kodaira, Kunihiko (17 de noviembre de 2004). Variedades complejas y deformación de estructuras complejas. Clásicos de las matemáticas. Springer. doi :10.1007/b138372. ISBN.3-540-22614-1.
Krantz, Steven G. (1992). Teoría de funciones de varias variables complejas (segunda edición). AMS Chelsea Publishing. pág. 340. doi :10.1090/chel/340. ISBN 978-0-8218-2724-6.
Funciones holomorfas y representaciones integrales en varias variables complejas . Textos de posgrado en matemáticas. Vol. 108. 1986. doi :10.1007/978-1-4757-1918-5. ISBN 978-1-4419-3078-1.
Introducción al análisis complejo en varias variables . 2005. doi :10.1007/3-7643-7491-8. ISBN 3-7643-7490-X.
Noguchi, Junjiro (2016). Teoría de funciones analíticas de varias variables. Elementos de la coherencia de Oka . p. XVIII, 397. doi :10.1007/978-981-10-0291-5. ISBN 978-981-10-0289-2.S2CID125752012 .
Vladimirov, Vasiliy Sergeyevich; Technica, Scripta (enero de 2007). Métodos de la teoría de funciones de muchas variables complejas. Courier Corporation. ISBN 9780486458120.
Krantz, Steven G. (1987), "¿Qué son varias variables complejas?", The American Mathematical Monthly , 94 (3): 236–256, doi :10.2307/2323391, JSTOR 2323391
Seebach, J. Arthur; Seebach, Linda A.; Steen, Lynn A. (1970). "¿Qué es una gavilla?". The American Mathematical Monthly . 77 (7): 681–703. doi :10.2307/2316199. JSTOR 2316199.
Oka, Kiyoshi (1984), Remmert, R. (ed.), Collected Papers , Springer-Verlag Berlin Heidelberg, p. XIV, 226, ISBN 978-3-662-43412-3
Martin, WT (1956). "Informe científico sobre el segundo instituto de verano, varias variables complejas. Parte I. Informe sobre el seminario de análisis". Boletín de la Sociedad Matemática Americana . 62 (2): 79–102. doi : 10.1090/S0002-9904-1956-10013-X .
Chern, Shiing-Shen (1956). "Informe científico sobre el segundo instituto de verano, varias variables complejas. Parte II. Variedades complejas". Boletín de la Sociedad Matemática Americana . 62 (2): 101–118. doi : 10.1090/S0002-9904-1956-10015-3 .
Zariski, Oscar (1956). "Informe científico sobre el segundo instituto de verano, varias variables complejas. Parte III. Teoría de haces algebraicos". Boletín de la Sociedad Matemática Americana . 62 (2): 117–142. doi : 10.1090/S0002-9904-1956-10018-9 .
Remmert, Reinhold (1998). «De las superficies de Riemann a los espacios complejos» (PDF) . Séminarios y Congresos . Zbl 1044.01520.
Enlaces externos
Deliciosos fragmentos de varias variables complejas, libro de código abierto de Jiří Lebl
Geometría analítica compleja y diferencial (libro OpenContent Ver B2)
Demailly, Jean-Pierre (2012). "Henri Cartan et les fonctions holomorphes de plusieurs variables" (PDF) . En Harinck, Pascale; Plagne, Alain; Sabbah, Claude (eds.). Henri Cartan y André Weil. Mathématiciens du XXesiècle. Journées mathématiques X-UPS, Palaiseau, Francia, 3 y 4 de mayo de 2012 . Palacio: Les Éditions de l'École Polytechnique. págs. 99-168. ISBN 978-2-7302-1610-4.
Victor Guillemin. 18.117 Temas en varias variables complejas. Primavera de 2005. Instituto Tecnológico de Massachusetts: MIT OpenCourseWare, https://ocw.mit.edu. Licencia: Creative Commons BY-NC-SA .
Este artículo incorpora material de los siguientes artículos de PlanetMath , que están licenciados bajo la Licencia Creative Commons Atribución/Compartir-Igual : dominio de Reinhardt, holomorfamente convexo, dominio de holomorfía, polidisco, biholomórficamente equivalente, pseudoconvexo de Levi, pseudoconvexo, función de agotamiento.