Seminar on Geometric Complex Analysis

Seminar information archive ~05/22Next seminarFuture seminars 05/23~

Date, time & place Monday 10:30 - 12:00 128Room #128 (Graduate School of Math. Sci. Bldg.)
Organizer(s) Kengo Hirachi, Shigeharu Takayama


10:30-12:00   Room #126 (Graduate School of Math. Sci. Bldg.)
Junjiro Noguchi (University of Tokyo)
A remark to the division algorithm in the proof of Oka's First Coherence Theorem (JAPANESE)
[ Abstract ]
The problem is the local finite generation of a relation sheaf $R(f_1, \ldots, f_q)$ in $\mathcal{O}_n=\mathcal{O}_{C^n}$. After $f_j$ reduced to Weierstrass' polynomials in $z_n$, it is the key to apply the induction in $n$ to show that elements of $R(f_1, \ldots, q)$ are expressed by $z_n$-polynomial-like elements of degree at most $p=\max_j\deg f_j$ over $\mathcal{O}_n$. In that proof one is used to use a divison by $f_j$ of $\deg f_j=p$ (Oka '48, Cartan '50, Hörmander, Demailly, . . .). In this talk we shall confirm that the division abve works by making use of $f_k$ of the minimum degree $\min_j \deg f_j$. This proof is natrually compatible with the simple case when some $f_j$ is a unit, and gives some improvement in the degree estimate of generators.