Content deleted Content added
Silvermatsu (talk | contribs) Withdrawal Creating pseudoconvex sections in several complex variables seems okay, but the story of merge was strange because I said I should be in the ___domain of holomorphy. |
→Bad English and grammar: new section |
||
| (13 intermediate revisions by 5 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Start|
{{WikiProject Mathematics|importance=Mid}}
}}
{{merged-from|Reinhardt ___domain|2020-11-20}}
{{merged-from|Holomorphically convex hull|2020-11-25}}
{{Archives}}
== I'm considering merge the ___domain of holomorphy into Several complex variables, but the ___domain of holomorphy (theory) may be the title of this page ==▼
The reason for branching into several complex variables from the trunk of complex analysis is that, unlike the case of one variable, the boundaries of all domains do not always become natural boundaries. I think the purpose of this page is to explain the mathematical elements that have become the elements that branch off from the trunk of complex analysis into several complex variables. This mathematical element seems to be called the ___domain of holomorphy, and since holomorphically convex and local Levi property etc. are conditions that make it a ___domain of holomorphy (And the theory of sheaf seems to be used to elucidate this condition. ), it seemed like we could read the ___domain of holomorphy as the theory that led to the branching of several complex variables from the trunk complex analysis. However, on the contrary, it seems good to rename the title of this page to the ___domain of holomorphy (theory). The lack of a page called several complex variables in [[Encyclopedia of Mathematics|EOM]] makes me think about this. The title of the textbook uses several complex variables, so my idea may be off the mark. thanks!--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 05:33, 21 December 2020 (UTC)▼
I made a draft of the lead section. I think that the lead sentence is subjective, so I thought I would consult before adding it.--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 13:15, 2 December 2020 (UTC)▼
▲I
:I don't think I agree with the assertion that several complex variables is distinct from complex analysis in one variable only in the sense that it is the study of domains of holomorphy/Stein manifolds. The interesting phenomena that occur in several complex variables are fundamentally important to the study of compact complex manifolds and projective complex varieties for example, and has a different flavour to complex analytic geometry in <math>\mathbb{C}^n</math> or on Stein manifolds, which is what the current lead gives most of its weight to.▼
:I don't think it is standard anywhere to refer to the theory of complex functions of several variables as "domains of holomorphy theory" so Wikipedia should definitely avoid presenting that as the main name of the subject. As you point out however, people do refer to "several complex variables" and that is the title of the main book on the subject, so that is surely the better name for the article. I think we probably agree that the area is different enough in flavour to complex analysis of a single variable that it deserves its own article. I wouldn't be opposed to merging with [[complex analysis]], which is quite a thin article, but I don't think there is any particular need to. In particular I think complex analysis of a single variable gets a very different (and much broader) treatment pedagogically, and that is an article looked at frequently by people who are not pure mathematicians interested in several complex variables (engineers, physicists) and presenting all the definitions on that page in their largest generality would serve more to obfuscate the point rather than elucidate it for most visitors. Just my two cents. Thank you for improving the articles in complex analysis! [[User:Tazerenix|Tazerenix]] ([[User talk:Tazerenix|talk]]) 05:53, 23 December 2020 (UTC)▼
::Thank you very much for teaching me. Thanks for giving me many interesting examples of other manifolds. Sure, it seems too narrow, so I turn the suggestion into a section redirect to the ___domain of holomorphism. Then, I will modify the lead sentence and correct it to say, "One of the reasons why this field has come to be studied is that the boundary does not become a natural boundary." thanks!--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 08:01, 23 December 2020 (UTC)▼
::
== A memo about the structure of the section ==
== Is this right? ==
▲Please see [[Infinite-dimensional holomorphy|this page]]. Thanks!--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 12:14, 11 December 2020 (UTC)
The section '''Stein manifold''' begins as follows:
"''Since a non-compact (open) Riemann surface always has a non-constant single-valued holomorphic function, and satisfies the [[second axiom of countability]], the open Riemann surface can be thought of ''1''-dimensional complex manifold to have a holomorphic embedding into a complex plane <math>\Complex</math>.''"
But wait. A holomorphic embedding is certainly also a topological embedding. But most non-compact surfaces do not have any topological embeddings into the complex plane.
For instance, the torus with one point removed (the "punctured torus") has no topological embedding into the plane.
Question: Is it possible that the phrase "holomorphic embedding" should be replaced with '''holomorphic immersion'''? Or just '''holomorphic mapping'''? [[Special:Contributions/2601:200:C000:1A0:9AE:98DB:C7E0:3910|2601:200:C000:1A0:9AE:98DB:C7E0:3910]] ([[User talk:2601:200:C000:1A0:9AE:98DB:C7E0:3910|talk]]) 17:57, 28 December 2022 (UTC)
▲== I'm considering merge the ___domain of holomorphy into Several complex variables, but the ___domain of holomorphy (theory) may be the title of this page ==
:Apparently Gunning and Narasimhan proved that every non-compact Riemann surface '''does''' in fact '''immerse''' in the complex plane.
▲The reason for branching into several complex variables from the trunk of complex analysis is that, unlike the case of one variable, the boundaries of all domains do not always become natural boundaries. I think the purpose of this page is to explain the mathematical elements that have become the elements that branch off from the trunk of complex analysis into several complex variables. This mathematical element seems to be called the ___domain of holomorphy, and since holomorphically convex and local Levi property etc. are conditions that make it a ___domain of holomorphy (And the theory of sheaf seems to be used to elucidate this condition. ), it seemed like we could read the ___domain of holomorphy as the theory that led to the branching of several complex variables from the trunk complex analysis. However, on the contrary, it seems good to rename the title of this page to the ___domain of holomorphy (theory). The lack of a page called several complex variables in [[Encyclopedia of Mathematics|EOM]] makes me think about this. The title of the textbook uses several complex variables, so my idea may be off the mark. thanks!--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 05:33, 21 December 2020 (UTC)
:(R. C. Gunning and Raghavan Narasimhan, Immersion of open Riemann surfaces, Math. Annalen 174 (1967), 103–108.)
:Therefore I will correct the text to reflect this fact. [[Special:Contributions/2601:200:C000:1A0:9AE:98DB:C7E0:3910|2601:200:C000:1A0:9AE:98DB:C7E0:3910]] ([[User talk:2601:200:C000:1A0:9AE:98DB:C7E0:3910|talk]]) 18:58, 28 December 2022 (UTC)
▲:I don't think I agree with the assertion that several complex variables is distinct from complex analysis in one variable only in the sense that it is the study of domains of holomorphy/Stein manifolds. The interesting phenomena that occur in several complex variables are fundamentally important to the study of compact complex manifolds and projective complex varieties for example, and has a different flavour to complex analytic geometry in <math>\mathbb{C}^n</math> or on Stein manifolds, which is what the current lead gives most of its weight to.
▲:I don't think it is standard anywhere to refer to the theory of complex functions of several variables as "domains of holomorphy theory" so Wikipedia should definitely avoid presenting that as the main name of the subject. As you point out however, people do refer to "several complex variables" and that is the title of the main book on the subject, so that is surely the better name for the article. I think we probably agree that the area is different enough in flavour to complex analysis of a single variable that it deserves its own article. I wouldn't be opposed to merging with [[complex analysis]], which is quite a thin article, but I don't think there is any particular need to. In particular I think complex analysis of a single variable gets a very different (and much broader) treatment pedagogically, and that is an article looked at frequently by people who are not pure mathematicians interested in several complex variables (engineers, physicists) and presenting all the definitions on that page in their largest generality would serve more to obfuscate the point rather than elucidate it for most visitors. Just my two cents. Thank you for improving the articles in complex analysis! [[User:Tazerenix|Tazerenix]] ([[User talk:Tazerenix|talk]]) 05:53, 23 December 2020 (UTC)
▲::Thank you very much for teaching me. Thanks for giving me many interesting examples of other manifolds. Sure, it seems too narrow, so I turn the suggestion into a section redirect to the ___domain of holomorphism. Then, I will modify the lead sentence and correct it to say, "One of the reasons why this field has come to be studied is that the boundary does not become a natural boundary." thanks!--[[User:SilverMatsu|SilverMatsu]] ([[User talk:SilverMatsu|talk]]) 08:01, 23 December 2020 (UTC)
== Please say what you mean by superscript n ==
The definition of a '''coherent sheaf''' is given as follows:
"''A '''coherent sheaf''' on a [[ringed space]] <math>(X, \mathcal O_X)</math> is a sheaf <math>\mathcal F</math> satisfying the following two properties:
<ol type="1">
<li> <math>\mathcal F</math> is of ''finite type'' over <math>\mathcal O_X</math>, that is, every point in <math>X</math> has an [[open neighborhood]] <math>U</math> in <math>X</math> such that there is a surjective morphism <math>\mathcal{O}_X^n|_{U} \to \mathcal{F}|_{U} </math> for some natural number <math>n</math>;</li>
<li> for arbitrary open set <math>U\subseteq X</math>, arbitrary natural number <math>n</math>, and arbitrary morphism <math>\varphi: \mathcal{O}_X^n|_{U} \to \mathcal{F}|_{U} </math> of <math>\mathcal O_X</math>-modules, the kernel of <math>\varphi</math> is of finite type.''"</li></ol>
But what does the superscript n mean in the symbol "<math>\mathcal{O}_X^n|_{U}</math>"?
The article does not say, and nothing in the linked article [[ringed space]] uses this notation.
I can guess two distinct possibilities for what "<math>\mathcal{O}_X^n|_{U}</math>" means.
I hope someone knowledgeable about this subject can explain the notation and avoid having thousands of future readers of Wikipedia also have to guess what it means. [[Special:Contributions/2601:200:C082:2EA0:E1A8:CCAE:61A1:827C|2601:200:C082:2EA0:E1A8:CCAE:61A1:827C]] ([[User talk:2601:200:C082:2EA0:E1A8:CCAE:61A1:827C|talk]]) 02:25, 9 February 2023 (UTC)
== Bad English and grammar ==
| |||