Bourbaki

Exercise 8, § 3

Tag 02SG, permanent. Cite it as [Bourbaki, Tag 02SG].

Spectral Theories, III, p. 122

Let U be a connected open set of C\mathbf{C}. We denote by H(U)\mathscr{H}(U) the space of holomorphic functions on U endowed with the topology of compact convergence (EVT III, p. 10, example d)).

a) Let a∈H(U)a\in \mathscr{H}(U). Multiplication by aa is a Fredholm endomorphism of H(U)\mathscr{H}(U) if and only if the set of zeros of aa is finite. Calculate its index in that case.

b) Let U=(Ui)i∈I\mathscr{U}= (U_i)_{i\in I} be a covering of U by non-empty connected open sets. We put

I2={(i,j)∈I×I∣Ui∩Uj≠∅} I_2=\{(i, j)\in I\times I|U_i\cap U_j\not =\emptyset \}
I3={(i,j,k)∈I×I×I∣Ui∩Uj∩Uk≠∅} I_3=\{(i, j, k)\in I\times I\times I|U_i\cap U_j\cap U_k\not =\emptyset \}

We consider the vector spaces

Z1(U;C)={(ci,j)∈CI2∣cij+cjk+cki=0Z^1(\mathscr{U};\mathbf{C}) =\{(c_{i,j})\in \mathbf{C}^{I_2}|c_{ij}+c_{jk}+c_{ki}= 0 for all (i,j,k)∈I3}(i, j, k)\in I_3\}

B1(U;C)={(ci,j)∈CI2∣B^1(\mathscr{U};\mathbf{C}) =\{(c_{i,j})\in \mathbf{C}^{I_2}| there exists c′∈CIc'\in \mathbf{C}^I such that

cij=ci′−cj′c_{ij}=c'_i-c'_j for all (i,j)∈I2}(i, j)\in I_2\}.

We have B1(U;C)⊂Z1(U;C)B^1(\mathscr{U};\mathbf{C})\subset Z^1(\mathscr{U};\mathbf{C}). We put

H1(U;C)=Z1(U;C)/B1(U;C) H^1(\mathscr{U};\mathbf{C}) = Z^1(\mathscr{U};\mathbf{C})/B^1(\mathscr{U};\mathbf{C})

Let V=(Vα)α∈A\mathscr{V}= (V_{\alpha})_{\alpha\in A} be a covering of U by non-empty connected open sets, finer than U\mathscr{U}, and let ϱ:A→I\varrho : A\rightarrow I be a mapping such that Vα⊂Uϱ(α)V_{\alpha}\subset U_{\varrho(\alpha)} for all α∈A\alpha \in A.

The mapping (cij)i,j↦(cϱ(α)ϱ(β))α,β(c_{ij})_{i,j}\mapsto (c_{\varrho(\alpha)\varrho(\beta)})_{\alpha ,\beta} induces a linear mapping, independent of the choice of ϱ\varrho, from H1(U;C)H^1(\mathscr{U};\mathbf{C}) into H1(V;C)H^1(\mathscr{V};\mathbf{C}).

We denote by H1(U;C)H^1(U;\mathbf{C}) the inductive limit of the vector spaces H1(U;C)H^1(\mathscr{U};\mathbf{C}) endowed with these linear mappings, when U\mathscr{U} runs through the set of coverings of U by non-empty connected open sets.

c) Let D be the endomorphism of H(U)\mathscr{H}(U) defined by Df=f′Df=f'. Prove that there exists an isomorphism of vector spaces from the cokernel of D onto H1(U;C)H^1(U;\mathbf{C}). Deduce that D is a Fredholm endomorphism if and only if the space H1(U;C)H^1(U;\mathbf{C}) is of finite dimension. Calculate then the index of D.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.