ScalingStacks

0.3.3 [01L2]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

0.3.3

Plaçons nous pour commencer en géométrie analytique complexe. Soit XX une variété analytique complexe, f1,…,fnf_{1},\dots,f_{n} des fonctions holomorphes inversibles sur XX et f=(f1,…,fn):X→(𝐂∗)nf=(f_{1},\dots,f_{n})\colon X\rightarrow(\mathbf{C}^{*})^{n} l’application qui s’en déduit. Notons ftrop:X→𝐑nf_{\text{trop}}\colon X\rightarrow\mathbf{R}^{n} la composition de ff et de l’application (𝐂∗)n→𝐑n(\mathbf{C}^{*})^{n}\rightarrow\mathbf{R}^{n} donnée par (z1,…,zn)↦(log⁡|u1|,…,log⁡|un|)(z_{1},\dots,z_{n})\mapsto(\log\mathopen{|}{u_{1}}\mathclose{|},\dots,\log\mathopen{|}{u_{n}}\mathclose{|}).

Par les formules

f∗u=u∘ftrop,f∗d′xi=dlog|fi|etf∗d′′xi=dArg(fi),f^{*}u=u\circ f_{\text{trop}},\quad f^{*}\mathop{\mathrm{d^{\prime}}}x_{i}=\mathrm{d}\log\mathopen{|}{f_{i}}\mathclose{|}\quad\text{et}\quad f^{*}\mathop{\mathrm{d}^{\prime\prime}}x_{i}=\mathrm{d}\operatorname{Arg}(f_{i}),

une superforme ω\omega de type (p,q)(p,q) sur 𝐑n\mathbf{R}^{n} donne lieu à une forme différentielle réelle f∗​ωf^{*}\omega de degré p+qp+q sur XX. On prendra garde que f∗​ωf^{*}\omega n’est pas forcément de type (p,q)(p,q) : cela se voit déjà sur f∗​d′⁡xif^{*}\mathop{\mathrm{d^{\prime}}}x_{i} qui contient une composante holomorphe et une composante antiholomorphe. En revanche, si ω\omega est de type (p,p)(p,p) et symétrique, f∗​ωf^{*}\omega est de type (p,p)(p,p).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.