Seminar on Geometric Complex Analysis
Seminar information archive ~12/08|Next seminar|Future seminars 12/09~
Date, time & place | Monday 10:30 - 12:00 128Room #128 (Graduate School of Math. Sci. Bldg.) |
---|---|
Organizer(s) | Kengo Hirachi, Shigeharu Takayama |
2014/06/23
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)
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.
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.