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 |
Seminar information archive
2023/05/15
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Yuya Takeuchi (Tsukuba Univeristy)
$\mathcal{I}'$-curvatures and the Hirachi conjecture (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
Yuya Takeuchi (Tsukuba Univeristy)
$\mathcal{I}'$-curvatures and the Hirachi conjecture (Japanese)
[ Abstract ]
Hirachi conjecture deals with a relation between the integrals of local pseudo-Hermitian invariants and global CR invariants. This is a CR analogue of the Deser-Schwimmer conjceture, which was proved by Alexakis. In this talk, I would like to explain some results on the Hirachi conjecture. In particular, I'll introduce the $\mathcal{I}'$-curvatures and prove that these produce counterexamples to the Hirachi conjecture in higher dimensions. This talk is based on joint work with Jeffrey S. Case.
[ Reference URL ]Hirachi conjecture deals with a relation between the integrals of local pseudo-Hermitian invariants and global CR invariants. This is a CR analogue of the Deser-Schwimmer conjceture, which was proved by Alexakis. In this talk, I would like to explain some results on the Hirachi conjecture. In particular, I'll introduce the $\mathcal{I}'$-curvatures and prove that these produce counterexamples to the Hirachi conjecture in higher dimensions. This talk is based on joint work with Jeffrey S. Case.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
2023/05/08
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Hisashi Kasuya (Osaka Univeristy)
Non-Kähler Hodge theory and resolutions of cyclic orbifolds (日本語)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
Hisashi Kasuya (Osaka Univeristy)
Non-Kähler Hodge theory and resolutions of cyclic orbifolds (日本語)
[ Abstract ]
This talk is based on the joint works with Jonas Stelzig (LMU München). We discuss the Hodge theory of non-Kähler compact complex manifolds. In this term, we think several types of compact complex manifolds and compact Kähler manifolds are considered as the "simplest”. We give a way of constructing simply connected compact complex non-Kähler manifolds of certain types by using resolutions of cyclic orbifolds.
[ Reference URL ]This talk is based on the joint works with Jonas Stelzig (LMU München). We discuss the Hodge theory of non-Kähler compact complex manifolds. In this term, we think several types of compact complex manifolds and compact Kähler manifolds are considered as the "simplest”. We give a way of constructing simply connected compact complex non-Kähler manifolds of certain types by using resolutions of cyclic orbifolds.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
2023/04/24
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
On site+Zoom
Takeo Ohsawa (Nogoya Universiry)
Guan's theorems on optimal strong openness and concavity of minimal $L^2$ integrals (日本語)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
On site+Zoom
Takeo Ohsawa (Nogoya Universiry)
Guan's theorems on optimal strong openness and concavity of minimal $L^2$ integrals (日本語)
[ Abstract ]
Motivated by a question of approximating plurisubharmonic (=psh) functions by those with tame singularities, Demailly and Kollar asked several basic questions on the singularities of psh functions. Guan solved two of them effectively in a paper published in 2019. One of their corollaries says the following.
THEOREM. Let $\Omega$ be a pseudoconvex domain in $\mathbb{C}^n$ and let $\varphi$ be a negative psh function on $\Omega$ such that $\int_\Omega{e^{-\varphi}}<\infty$. Then, $e^{-p\varphi}\in L^1_{\text{loc}}$ around $x$ for any $x\in\Omega$ and $p>1$ satisfying the inequality $$
\frac{p}{p-1}>\frac{\int_\Omega{e^{-\varphi}}}{K_\Omega(x)},
$$ where $K_\Omega$ denotes the diagonalized Bergman kernel of $\Omega$.
This remarkable result is a consequence of a basic property of the minimal $L^2$ integrals (=MLI). The main purpose of the talk is to give an outline of the proof of Theorem by explaining the relation between several notions including the MLI which measure the singularities of psh functions. It will also be mentioned that the proof of Theorem is essentially based on the optimal Ohsawa-Takegoshi type extension theorem, which leads to a concavity property of MLI. Recent papers by Guan and his students will be reviewed, too.
[ Reference URL ]Motivated by a question of approximating plurisubharmonic (=psh) functions by those with tame singularities, Demailly and Kollar asked several basic questions on the singularities of psh functions. Guan solved two of them effectively in a paper published in 2019. One of their corollaries says the following.
THEOREM. Let $\Omega$ be a pseudoconvex domain in $\mathbb{C}^n$ and let $\varphi$ be a negative psh function on $\Omega$ such that $\int_\Omega{e^{-\varphi}}<\infty$. Then, $e^{-p\varphi}\in L^1_{\text{loc}}$ around $x$ for any $x\in\Omega$ and $p>1$ satisfying the inequality $$
\frac{p}{p-1}>\frac{\int_\Omega{e^{-\varphi}}}{K_\Omega(x)},
$$ where $K_\Omega$ denotes the diagonalized Bergman kernel of $\Omega$.
This remarkable result is a consequence of a basic property of the minimal $L^2$ integrals (=MLI). The main purpose of the talk is to give an outline of the proof of Theorem by explaining the relation between several notions including the MLI which measure the singularities of psh functions. It will also be mentioned that the proof of Theorem is essentially based on the optimal Ohsawa-Takegoshi type extension theorem, which leads to a concavity property of MLI. Recent papers by Guan and his students will be reviewed, too.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZEqceqsrTIjEtRxenSMdPogvCxlWzAogj5A
2023/02/13
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Junjiro Noguchi (The University of Tokyo)
On a presentation to introduce function theory of several variables (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Junjiro Noguchi (The University of Tokyo)
On a presentation to introduce function theory of several variables (Japanese)
[ Abstract ]
微積分は,主に1変数の理論を講義するが,後半で多変数の内容を入れる.同じ様に,複素解析(函数論)でも,一変数の後につなぎよく,多変数の講義を段差なく行えるようにしたい.
モデルケースとして'リーマンの写像定理'がある.現在多くの教科書に書かれているモンテルの定理による初等的な証明(1922, Fejér--Riesz)まで,もとのリーマンの学位論文(1851)から約70年の歳月がかかている.
岡理論・多変数関数論基礎についてみると,Oka IX (1953)より本年でやはり70年たつが,あまり'初等化'の方面へは進展していないように思う.こここでは,学部の複素解析のコースで'リーマンの写像定理'の後に,段差無く完全証明付きで岡理論・多変数関数論基礎を講義する展開を考える.
初等化には,岡のオリジナル法(1943未発表, IX 1953)を第1連接定理に基づき展開するのが適当であることを紹介したい.学部講義の数学内容に日本人による成果が入ることで,学生のモチベーションに好効果を与えるであろうことも期待したい.
時間が許せば,擬凸問題解決の岡のオリジナル法と別証明とされるGrauertの証明との間のFredholm定理をめぐる類似性についても述べたい.
[ Reference URL ]微積分は,主に1変数の理論を講義するが,後半で多変数の内容を入れる.同じ様に,複素解析(函数論)でも,一変数の後につなぎよく,多変数の講義を段差なく行えるようにしたい.
モデルケースとして'リーマンの写像定理'がある.現在多くの教科書に書かれているモンテルの定理による初等的な証明(1922, Fejér--Riesz)まで,もとのリーマンの学位論文(1851)から約70年の歳月がかかている.
岡理論・多変数関数論基礎についてみると,Oka IX (1953)より本年でやはり70年たつが,あまり'初等化'の方面へは進展していないように思う.こここでは,学部の複素解析のコースで'リーマンの写像定理'の後に,段差無く完全証明付きで岡理論・多変数関数論基礎を講義する展開を考える.
初等化には,岡のオリジナル法(1943未発表, IX 1953)を第1連接定理に基づき展開するのが適当であることを紹介したい.学部講義の数学内容に日本人による成果が入ることで,学生のモチベーションに好効果を与えるであろうことも期待したい.
時間が許せば,擬凸問題解決の岡のオリジナル法と別証明とされるGrauertの証明との間のFredholm定理をめぐる類似性についても述べたい.
https://forms.gle/hYT2hVhDE3q1wDSh6
2023/01/16
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Takayuki Koike (Osaka Metropolitan University)
Holomorphic foliation associated with a semi-positive class of numerical dimension one (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Takayuki Koike (Osaka Metropolitan University)
Holomorphic foliation associated with a semi-positive class of numerical dimension one (Japanese)
[ Abstract ]
Let $X$ be a compact Kähler manifold and $\alpha$ be a Dolbeault cohomology class of bidegree $(1,1)$ on $X$.
When the numerical dimension of $\alpha$ is one and $\alpha$ admits at least two smooth semi-positive representatives, we show the existence of a family of real analytic Levi-flat hypersurfaces in $X$ and a holomorphic foliation on a suitable domain of $X$ along whose leaves any semi-positive representative of $\alpha$ is zero.
As an application, we give the affirmative answer to a conjecture on the relation between the semi-positivity of the line bundle $[Y]$ and the analytic structure of a neighborhood of $Y$ for a smooth connected hypersurface $Y$ of $X$.
As an application, we give the affirmative answer to a conjecture on the relation between the semi-positivity of the line bundle $[Y]$ and the analytic structure of a neighborhood of $Y$ for a smooth connected hypersurface $Y$ of $X$.
[ Reference URL ]Let $X$ be a compact Kähler manifold and $\alpha$ be a Dolbeault cohomology class of bidegree $(1,1)$ on $X$.
When the numerical dimension of $\alpha$ is one and $\alpha$ admits at least two smooth semi-positive representatives, we show the existence of a family of real analytic Levi-flat hypersurfaces in $X$ and a holomorphic foliation on a suitable domain of $X$ along whose leaves any semi-positive representative of $\alpha$ is zero.
As an application, we give the affirmative answer to a conjecture on the relation between the semi-positivity of the line bundle $[Y]$ and the analytic structure of a neighborhood of $Y$ for a smooth connected hypersurface $Y$ of $X$.
As an application, we give the affirmative answer to a conjecture on the relation between the semi-positivity of the line bundle $[Y]$ and the analytic structure of a neighborhood of $Y$ for a smooth connected hypersurface $Y$ of $X$.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/12/12
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Takahiro Inayama (Tokyo University of Science)
$L^2$-extension index and its applications (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Takahiro Inayama (Tokyo University of Science)
$L^2$-extension index and its applications (Japanese)
[ Abstract ]
In this talk, we introduce a new concept of $L^2$-extension indices. By using this notion, we propose a new way to study the positivity of curvature. We prove that there is an equivalence between how sharp the $L^2$-extension is and how positive the curvature is. As applications, we study Prekopa-type theorems and the positivity of a certain direct image sheaf.
[ Reference URL ]In this talk, we introduce a new concept of $L^2$-extension indices. By using this notion, we propose a new way to study the positivity of curvature. We prove that there is an equivalence between how sharp the $L^2$-extension is and how positive the curvature is. As applications, we study Prekopa-type theorems and the positivity of a certain direct image sheaf.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/12/05
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Shota Kikuchi (National Institute of Technology, Suzuka College)
On sharper estimates of Ohsawa--Takegoshi $L^2$-extension theorem in higher dimensional case (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Shota Kikuchi (National Institute of Technology, Suzuka College)
On sharper estimates of Ohsawa--Takegoshi $L^2$-extension theorem in higher dimensional case (Japanese)
[ Abstract ]
Hosono proposed an idea of getting an $L^2$-estimate sharper than the one of Berndtsson--Lempert type $L^2$-extension theorem by allowing constants depending on weight functions in $\mathbb{C}$.
In this talk, I explain the details of "sharper estimates" and the higher dimensional case of it. Also, I explain my recent studies related to it.
[ Reference URL ]Hosono proposed an idea of getting an $L^2$-estimate sharper than the one of Berndtsson--Lempert type $L^2$-extension theorem by allowing constants depending on weight functions in $\mathbb{C}$.
In this talk, I explain the details of "sharper estimates" and the higher dimensional case of it. Also, I explain my recent studies related to it.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/11/21
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Joe Kamimoto (Kyushu University)
Resolution of singularities for $C^{\infty}$ functions and meromorphy of local zeta functions (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Joe Kamimoto (Kyushu University)
Resolution of singularities for $C^{\infty}$ functions and meromorphy of local zeta functions (Japanese)
[ Abstract ]
In this talk, we attempt to resolve the singularities of the zero variety of a $C^{\infty}$ function of two variables as much as possible by using ordinary blowings up. As a result, we formulate an algorithm to locally express the zero variety in the “almost” normal crossings form, which is close to the normal crossings form but may include flat functions. As an application, we investigate analytic continuation of local zeta functions associated with $C^{\infty}$ functions of two variables.
[ Reference URL ]In this talk, we attempt to resolve the singularities of the zero variety of a $C^{\infty}$ function of two variables as much as possible by using ordinary blowings up. As a result, we formulate an algorithm to locally express the zero variety in the “almost” normal crossings form, which is close to the normal crossings form but may include flat functions. As an application, we investigate analytic continuation of local zeta functions associated with $C^{\infty}$ functions of two variables.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/11/14
15:00-16:30 Online
Hideki Miyach (Kanazawa University)
The double holomorphic tangent space of the Teichmueller spaces (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Hideki Miyach (Kanazawa University)
The double holomorphic tangent space of the Teichmueller spaces (Japanese)
[ Abstract ]
The double holomorphic tangent space of a complex manifold is the holomorphic tangent space of the holomorphic tangent bundle of the complex manifold. In this talk, we will give an intrinsic description of the double tangent spaces of the Teichmueller spaces of closed Riemann surfaces of genus at least 2.
[ Reference URL ]The double holomorphic tangent space of a complex manifold is the holomorphic tangent space of the holomorphic tangent bundle of the complex manifold. In this talk, we will give an intrinsic description of the double tangent spaces of the Teichmueller spaces of closed Riemann surfaces of genus at least 2.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/10/31
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Eiji Inoue (RIKEN)
The non-archimedean μ-entropy in toric case (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Eiji Inoue (RIKEN)
The non-archimedean μ-entropy in toric case (Japanese)
[ Abstract ]
The non-archimedean μ-entropy is a functional on the space of test configurations of a polarized variety. It plays a key role in μK-stability and can be interpreted as a dual functional to Perelman’s μ-entropy for Kahler metrics. The fundamental question on the non-archimedean μ-entropy is the existence and uniqueness of maximizers. To find its maximizers, it is natural to extend the functional to a suitable completion of the space of test configurations. For general polarized variety, we can realize such completion and extension based on the non-archimedean pluripotential theory.
In the toric case, the torus invariant subspace of the completion is identified with a suitable space of convex functions on the moment polytope and then the non-archimedean μ-entropy is simply expressed by integrations of convex functions on the polytope. I will show a compactness result in the toric case, by which we conclude the existence of maximizers for the toric non-archimedean μ-entropy.
[ Reference URL ]The non-archimedean μ-entropy is a functional on the space of test configurations of a polarized variety. It plays a key role in μK-stability and can be interpreted as a dual functional to Perelman’s μ-entropy for Kahler metrics. The fundamental question on the non-archimedean μ-entropy is the existence and uniqueness of maximizers. To find its maximizers, it is natural to extend the functional to a suitable completion of the space of test configurations. For general polarized variety, we can realize such completion and extension based on the non-archimedean pluripotential theory.
In the toric case, the torus invariant subspace of the completion is identified with a suitable space of convex functions on the moment polytope and then the non-archimedean μ-entropy is simply expressed by integrations of convex functions on the polytope. I will show a compactness result in the toric case, by which we conclude the existence of maximizers for the toric non-archimedean μ-entropy.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/10/24
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Taro Fujisawa (Tokyo Denki University)
A new approach to the nilpotent orbit theorem via the $L^2$ extension theorem of Ohsawa-Takegoshi type (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Taro Fujisawa (Tokyo Denki University)
A new approach to the nilpotent orbit theorem via the $L^2$ extension theorem of Ohsawa-Takegoshi type (Japanese)
[ Abstract ]
I will talk about a new proof of (a part of) the nilpotent orbit theorem for unipotent variations of Hodge structure. This approach is largely inspired by the recent works of Deng and of Sabbah-Schnell. In my proof, the $L^2$ extension theorem of Ohsawa-Takegoshi type plays essential roles.
[ Reference URL ]I will talk about a new proof of (a part of) the nilpotent orbit theorem for unipotent variations of Hodge structure. This approach is largely inspired by the recent works of Deng and of Sabbah-Schnell. In my proof, the $L^2$ extension theorem of Ohsawa-Takegoshi type plays essential roles.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/07/11
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Yoshihiko Matsumoto (Osaka University)
The CR Killing operator and Bernstein-Gelfand-Gelfand construction in CR geometry (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Yoshihiko Matsumoto (Osaka University)
The CR Killing operator and Bernstein-Gelfand-Gelfand construction in CR geometry (Japanese)
[ Abstract ]
In this talk, I introduce the CR Killing operator associated with compatible almost CR structures on contact manifolds, which describes trivial infinitesimal deformations generated by contact Hamiltonian vector fields, and discuss how it can also be reconstructed by the Bernstein-Gelfand-Gelfand construction in the general theory of parabolic geometries. The “modified” adjoint tractor connection defined by Cap (2008) plays a crucial role. If time permits, I’d also like to discuss what this observation might mean in relation to asymptotically complex hyperbolic Einstein metrics, which are bulk geometric structures for compatible almost CR structures at infinity.
[ Reference URL ]In this talk, I introduce the CR Killing operator associated with compatible almost CR structures on contact manifolds, which describes trivial infinitesimal deformations generated by contact Hamiltonian vector fields, and discuss how it can also be reconstructed by the Bernstein-Gelfand-Gelfand construction in the general theory of parabolic geometries. The “modified” adjoint tractor connection defined by Cap (2008) plays a crucial role. If time permits, I’d also like to discuss what this observation might mean in relation to asymptotically complex hyperbolic Einstein metrics, which are bulk geometric structures for compatible almost CR structures at infinity.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/07/04
10:30-12:00 Online
Katsutoshi Yamanoi (Osaka University)
Bloch's principle for holomorphic maps into subvarieties of semi-abelian varieties (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Katsutoshi Yamanoi (Osaka University)
Bloch's principle for holomorphic maps into subvarieties of semi-abelian varieties (Japanese)
[ Abstract ]
We discuss a generalization of the logarithmic Bloch-Ochiai theorem about entire curves in subvarieties of semi-abelian varieties, in terms of sequences of holomorphic maps from the unit disc.
This generalization implies, among other things, that subvarieties of log general type in semi-abelian varieties are pseudo-Kobayashi hyperbolic.
As another application, we discuss an improvement of a classical theorem due to Cartan in 1920's about the system of nowhere vanishing holomorphic functions on the unit disc satisfying Borel's identity.
[ Reference URL ]We discuss a generalization of the logarithmic Bloch-Ochiai theorem about entire curves in subvarieties of semi-abelian varieties, in terms of sequences of holomorphic maps from the unit disc.
This generalization implies, among other things, that subvarieties of log general type in semi-abelian varieties are pseudo-Kobayashi hyperbolic.
As another application, we discuss an improvement of a classical theorem due to Cartan in 1920's about the system of nowhere vanishing holomorphic functions on the unit disc satisfying Borel's identity.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/06/20
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Taiji Marugame (The University of Electro-Communications)
Constructions of CR GJMS operators in dimension three (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Taiji Marugame (The University of Electro-Communications)
Constructions of CR GJMS operators in dimension three (Japanese)
[ Abstract ]
CR GJMS operators are invariant differential operators on CR manifolds whose leading parts are powers of the sublaplacian. Such operators can be constructed by Fefferman's ambient metric or the Cheng-Yau metric, but the construction is obstructed at a finite order due to the ambiguity of these metrics. Gover-Graham constructed some higher order CR GJMS operators by using tractor calculus and BGG constructions. In particular, they showed that three dimensional CR manifolds admit CR GJMS operators of all orders. In this talk, we give proofs to this fact in two different ways. One is by the use of self-dual Einstein ACH metric and the other is by the Graham-Hirachi inhomogeneous ambient metric adapted to the Fefferman conformal structure. We also state a conjecture on the relationship between these two metrics.
[ Reference URL ]CR GJMS operators are invariant differential operators on CR manifolds whose leading parts are powers of the sublaplacian. Such operators can be constructed by Fefferman's ambient metric or the Cheng-Yau metric, but the construction is obstructed at a finite order due to the ambiguity of these metrics. Gover-Graham constructed some higher order CR GJMS operators by using tractor calculus and BGG constructions. In particular, they showed that three dimensional CR manifolds admit CR GJMS operators of all orders. In this talk, we give proofs to this fact in two different ways. One is by the use of self-dual Einstein ACH metric and the other is by the Graham-Hirachi inhomogeneous ambient metric adapted to the Fefferman conformal structure. We also state a conjecture on the relationship between these two metrics.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/05/30
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Yusaku Tiba (Ochanomizu University)
Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Yusaku Tiba (Ochanomizu University)
Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds (Japanese)
[ Abstract ]
In this talk, we study an asymptotic estimate of holomorphic sections of a positive line bundle. Let $M$ be a complex manifold and $L$ be a positive line bundle over $M$ with a Hermitian metric $h$ whose Chern form is a Kähler form $\omega$. Let $X \subset M$ be a Lagrangian submanifold of $(M, \omega)$. When $X$ satisfies the Bohr-Sommerfeld condition, we prove a submean value theorem for holomorphic sections and we give an asymptotic estimate of $\inf_{x \in X}|f(x)|_{h^k}$ for $f \in H^0(M, L^k)$. This estimate provides an analog result about the leading term of the asymptotic series expansion formula of the Bergman kernel function.
[ Reference URL ]In this talk, we study an asymptotic estimate of holomorphic sections of a positive line bundle. Let $M$ be a complex manifold and $L$ be a positive line bundle over $M$ with a Hermitian metric $h$ whose Chern form is a Kähler form $\omega$. Let $X \subset M$ be a Lagrangian submanifold of $(M, \omega)$. When $X$ satisfies the Bohr-Sommerfeld condition, we prove a submean value theorem for holomorphic sections and we give an asymptotic estimate of $\inf_{x \in X}|f(x)|_{h^k}$ for $f \in H^0(M, L^k)$. This estimate provides an analog result about the leading term of the asymptotic series expansion formula of the Bergman kernel function.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/04/18
10:30-12:00 Online
Takeo Ohasawa (Nagoya University)
Approximation and bundle convexity on complex manifolds of pseudo convex type (Japanese)
https://forms.gle/hYT2hVhDE3q1wDSh6
Takeo Ohasawa (Nagoya University)
Approximation and bundle convexity on complex manifolds of pseudo convex type (Japanese)
[ Abstract ]
An approximation theorem will be proved for the space of holomorphic sections of vector bundles on certain Zariski open sets of weakly 1-complete manifolds. As an existence result on such manifolds, a solution of the bundle-valued version of the Levi problem will be given by a variant of a method of Hoermander.
[ Reference URL ]An approximation theorem will be proved for the space of holomorphic sections of vector bundles on certain Zariski open sets of weakly 1-complete manifolds. As an existence result on such manifolds, a solution of the bundle-valued version of the Levi problem will be given by a variant of a method of Hoermander.
https://forms.gle/hYT2hVhDE3q1wDSh6
2022/01/24
10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)
Junjiro Noguchi (The University of Tokyo)
Analytic Ax-Schanuel Theorem for semi-abelian varieties and Nevanlinna theory (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Junjiro Noguchi (The University of Tokyo)
Analytic Ax-Schanuel Theorem for semi-abelian varieties and Nevanlinna theory (Japanese)
[ Abstract ]
The present study is motivated by $\textit{Schanuel Conjecture}$, which in particular implies the algebraic independence of $e$ and $\pi$. Our aim is to explore, as a transcendental functional analogue of Schanuel Conjecture, the value distribution theory (Nevanlinna theory) of the entire curve $\widehat{\mathrm{ex}}_A f:=(\exp_Af,f):\mathbf{C} \to A \times \mathrm{Lie}(A)$ associated with an entire curve $f: \mathbf{C} \to \mathrm{Lie}(A)$, where $\exp_A:\mathrm{Lie}(A)\to A$ is an exponential map of a semi-abelian variety $A$.
We firstly give a Nevanlinna theoretic proof to the $\textit{analytic Ax-Schanuel Theorem}$ for semi-abelian varieties, which was proved by J. Ax 1972 in the case of formal power series $\mathbf{C}[[t]]$ (Ax-Schanuel Theorem). We assume some non-degeneracy condition for $f$ such that in the case of $A=(\mathbf{C}^*)^n$ and $\mathrm{Lie}((\mathbf{C}^*)^n)=\mathbf{C}^n$, the elements of the vector-valued function $f(z)-f(0)$ are $\mathbf{Q}$-linearly independent. Then by the method of Nevanlinna theory (the Log Bloch-Ochiai Theorem), we prove that $\mathrm{tr.deg}_\mathbf{C}\, \widehat{\mathrm{ex}}_A f \geq n+ 1.$
Secondly, we prove a $\textit{Second Main Theorem}$ for $\widehat{\mathrm{ex}}_A f$ and an algebraic divisor $D$ on $A \times \mathrm{Lie}(A)$ with compactifications $\bar D \subset \bar A \times \overline{\mathrm{Lie}(A)}$ such that
\[
T_{\widehat{\mathrm{ex}}_Af}(r, L({\bar D})) \leq N_1 (r,
(\widehat{\mathrm{ex}}_A f)^* D)+
\varepsilon T_{\exp_Af}(r)+O(\log r) ~~ ||_\varepsilon.
\]
We will also deal with the intersections of $\widehat{\mathrm{ex}}_Af$ with higher codimensional algebraic cycles of $A \times \mathrm{Lie}(A)$ as well as the case of higher jets.
[ Reference URL ]The present study is motivated by $\textit{Schanuel Conjecture}$, which in particular implies the algebraic independence of $e$ and $\pi$. Our aim is to explore, as a transcendental functional analogue of Schanuel Conjecture, the value distribution theory (Nevanlinna theory) of the entire curve $\widehat{\mathrm{ex}}_A f:=(\exp_Af,f):\mathbf{C} \to A \times \mathrm{Lie}(A)$ associated with an entire curve $f: \mathbf{C} \to \mathrm{Lie}(A)$, where $\exp_A:\mathrm{Lie}(A)\to A$ is an exponential map of a semi-abelian variety $A$.
We firstly give a Nevanlinna theoretic proof to the $\textit{analytic Ax-Schanuel Theorem}$ for semi-abelian varieties, which was proved by J. Ax 1972 in the case of formal power series $\mathbf{C}[[t]]$ (Ax-Schanuel Theorem). We assume some non-degeneracy condition for $f$ such that in the case of $A=(\mathbf{C}^*)^n$ and $\mathrm{Lie}((\mathbf{C}^*)^n)=\mathbf{C}^n$, the elements of the vector-valued function $f(z)-f(0)$ are $\mathbf{Q}$-linearly independent. Then by the method of Nevanlinna theory (the Log Bloch-Ochiai Theorem), we prove that $\mathrm{tr.deg}_\mathbf{C}\, \widehat{\mathrm{ex}}_A f \geq n+ 1.$
Secondly, we prove a $\textit{Second Main Theorem}$ for $\widehat{\mathrm{ex}}_A f$ and an algebraic divisor $D$ on $A \times \mathrm{Lie}(A)$ with compactifications $\bar D \subset \bar A \times \overline{\mathrm{Lie}(A)}$ such that
\[
T_{\widehat{\mathrm{ex}}_Af}(r, L({\bar D})) \leq N_1 (r,
(\widehat{\mathrm{ex}}_A f)^* D)+
\varepsilon T_{\exp_Af}(r)+O(\log r) ~~ ||_\varepsilon.
\]
We will also deal with the intersections of $\widehat{\mathrm{ex}}_Af$ with higher codimensional algebraic cycles of $A \times \mathrm{Lie}(A)$ as well as the case of higher jets.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/12/13
10:30-12:00 Online
Masaya Kawamura (National Institute of Technology)
A generalized Hermitian curvature flow on almost Hermitian manifolds (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Masaya Kawamura (National Institute of Technology)
A generalized Hermitian curvature flow on almost Hermitian manifolds (Japanese)
[ Abstract ]
It is well-known that the Uniformization theorem (any Riemannian metric on a closed 2-manifold is conformal to one of constant curvature) can be proven by using the Ricci flow. J. Streets and G. Tian questioned whether or not a geometric flow can be used to classify non-Kähler complex surfaces as in the case of the Ricci flow. Also they asked if it is possible to prove classification results in higher dimensions by using geometric flows in non-Kähler Hermitian geometry. Streets and Tian considered that these flows should be close to the Kähler-Ricci flow as much as possible. From this point of view, they introduced a geometric flow called the Hermitian curvature flow (HCF) which evolves an initial Hermitian metric in the direction of a Ricci-type tensor of the Chern connection modified with some lower order torsion terms. Streets and Tian also introduced another geometric flow, which is called the pluriclosed flow (PCF), by choosing torsion terms to preserve the pluriclosed condition on Hermitian metrics. Y. Ustinovskiy studied a particular version of the HCF over a compact Hermitian manifold. Ustinovskiy proved that if the initial metric has Griffiths positive (non-negative) Chern curvature, then this property is preserved along the flow.
In recent years, some results concerning geometric flows on complex manifolds have been extended to the almost complex setting. For instance, L. Vezzoni defined a new Hermitian curvature flow on almost Hermitian manifolds for generalizing some studies on the HCF and the Hermitian Hilbert functional. And J. Chu, V. Tosatti and B. Weinkove considered parabolic Monge-Ampère equation on almost Hermitian manifolds, which is equivalent to the almost complex Chern-Ricci flow. T. Zheng characterized the maximal existence time for a solution to the almost complex Chern-Ricci flow.
In this talk, we consider a generalized Hermitian curvature flow in almost Hermitian geometry and introduce that it has some properties such as the long-time existence obstruction, the uniform equivalence between its solution and an almost Hermitian metric, and the preservation result along the flow.
[ Reference URL ]It is well-known that the Uniformization theorem (any Riemannian metric on a closed 2-manifold is conformal to one of constant curvature) can be proven by using the Ricci flow. J. Streets and G. Tian questioned whether or not a geometric flow can be used to classify non-Kähler complex surfaces as in the case of the Ricci flow. Also they asked if it is possible to prove classification results in higher dimensions by using geometric flows in non-Kähler Hermitian geometry. Streets and Tian considered that these flows should be close to the Kähler-Ricci flow as much as possible. From this point of view, they introduced a geometric flow called the Hermitian curvature flow (HCF) which evolves an initial Hermitian metric in the direction of a Ricci-type tensor of the Chern connection modified with some lower order torsion terms. Streets and Tian also introduced another geometric flow, which is called the pluriclosed flow (PCF), by choosing torsion terms to preserve the pluriclosed condition on Hermitian metrics. Y. Ustinovskiy studied a particular version of the HCF over a compact Hermitian manifold. Ustinovskiy proved that if the initial metric has Griffiths positive (non-negative) Chern curvature, then this property is preserved along the flow.
In recent years, some results concerning geometric flows on complex manifolds have been extended to the almost complex setting. For instance, L. Vezzoni defined a new Hermitian curvature flow on almost Hermitian manifolds for generalizing some studies on the HCF and the Hermitian Hilbert functional. And J. Chu, V. Tosatti and B. Weinkove considered parabolic Monge-Ampère equation on almost Hermitian manifolds, which is equivalent to the almost complex Chern-Ricci flow. T. Zheng characterized the maximal existence time for a solution to the almost complex Chern-Ricci flow.
In this talk, we consider a generalized Hermitian curvature flow in almost Hermitian geometry and introduce that it has some properties such as the long-time existence obstruction, the uniform equivalence between its solution and an almost Hermitian metric, and the preservation result along the flow.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/11/29
10:30-12:00 Online
Akira Kitaoka (The University of Tokyo)
レンズ空間上のRay-Singer捩率とRumin複体のラプラシアン (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Akira Kitaoka (The University of Tokyo)
レンズ空間上のRay-Singer捩率とRumin複体のラプラシアン (Japanese)
[ Abstract ]
Rumin複体は、接触多様体に関するBernstein-Gelfand-Gelfand複体(BGG複体)である。BGG複体は、放物型幾何やフィルター付き多様体に対して構成される複体であり、BGG複体のコホモロジーはde Rhamコホモロジーに一致するという事が挙げられる。また、Rumin複体はsub-Riemmann極限を考えた際に自然に現れるという性質を持つ。
De Rham複体を使って定義した概念をRumin複体に置き換えるとどうなるのか、ということを考える。本講演では、この考えを解析的捩率に適応した場合を話す。レンズ空間上のユニモジュラーなホロのミーから誘導される平坦ベクトル束に対して、Rumin複体の解析的捩率の値が、Betti数とRay-Singer捩率を用いて表されることを報告する。
[ Reference URL ]Rumin複体は、接触多様体に関するBernstein-Gelfand-Gelfand複体(BGG複体)である。BGG複体は、放物型幾何やフィルター付き多様体に対して構成される複体であり、BGG複体のコホモロジーはde Rhamコホモロジーに一致するという事が挙げられる。また、Rumin複体はsub-Riemmann極限を考えた際に自然に現れるという性質を持つ。
De Rham複体を使って定義した概念をRumin複体に置き換えるとどうなるのか、ということを考える。本講演では、この考えを解析的捩率に適応した場合を話す。レンズ空間上のユニモジュラーなホロのミーから誘導される平坦ベクトル束に対して、Rumin複体の解析的捩率の値が、Betti数とRay-Singer捩率を用いて表されることを報告する。
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/11/15
10:30-12:00 Online
Katsusuke Nabeshima (Tokyo University of Science)
Computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Katsusuke Nabeshima (Tokyo University of Science)
Computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals (Japanese)
[ Abstract ]
The concept of logarithmic vector fields along a hypersurface, introduced by K. Saito (1980), is of considerable importance in singularity theory.
Logarithmic vector fields have been extensively studied and utilized by several researchers. A. G. Aleksandrov (1986) and J. Wahl (1983) considered quasihomogeneous complete intersection cases and gave independently, among other things, a closed formula of generators of logarithmic vector fields. However, there is no closed formula for generators of logarithmic vector fields, even for semi-quasihomogeneous hypersurface isolated singularity cases. Many problems related with logarithmic vector fields remain still unsolved, especially for non-quasihomogeneous cases.
Bruce-Roberts Milnor number was introduced in 1988 by J. W. Bruce and R. M. Roberts as a generalization of the Milnor number, a multiplicity of an isolated critical point of a holomorphic function germ. This number is defined for a critical point of a holomorphic function on a singular variety in terms of logarithmic vector fields. Recently, Bruce-Robert Milnor numbers are investigated by several researchers. However, many problems related with Bruce-Roberts Milnor numbers remain unsolved.
In this talk, we consider logarithmic vector fields along a hypersurface with an isolated singularity. We present methods to study complex analytic properties of logarithmic vector fields and illustrate an algorithm for computing logarithmic vector fields. As an application of logarithmic vector fields, we consider Bruce-Roberts Milnor numbers in the context of symbolic computation.
[ Reference URL ]The concept of logarithmic vector fields along a hypersurface, introduced by K. Saito (1980), is of considerable importance in singularity theory.
Logarithmic vector fields have been extensively studied and utilized by several researchers. A. G. Aleksandrov (1986) and J. Wahl (1983) considered quasihomogeneous complete intersection cases and gave independently, among other things, a closed formula of generators of logarithmic vector fields. However, there is no closed formula for generators of logarithmic vector fields, even for semi-quasihomogeneous hypersurface isolated singularity cases. Many problems related with logarithmic vector fields remain still unsolved, especially for non-quasihomogeneous cases.
Bruce-Roberts Milnor number was introduced in 1988 by J. W. Bruce and R. M. Roberts as a generalization of the Milnor number, a multiplicity of an isolated critical point of a holomorphic function germ. This number is defined for a critical point of a holomorphic function on a singular variety in terms of logarithmic vector fields. Recently, Bruce-Robert Milnor numbers are investigated by several researchers. However, many problems related with Bruce-Roberts Milnor numbers remain unsolved.
In this talk, we consider logarithmic vector fields along a hypersurface with an isolated singularity. We present methods to study complex analytic properties of logarithmic vector fields and illustrate an algorithm for computing logarithmic vector fields. As an application of logarithmic vector fields, we consider Bruce-Roberts Milnor numbers in the context of symbolic computation.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/10/11
10:30-12:00 Online
Takahiro Aoi (Abuno High School)
cscK計量に付随する完備スカラー平坦Kähler計量について (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Takahiro Aoi (Abuno High School)
cscK計量に付随する完備スカラー平坦Kähler計量について (Japanese)
[ Abstract ]
複素多様体上のKähler計量であって, そのスカラー曲率が定数となるもの(cscK計量)が存在するか, という問題は非自明であり,極めて重要である.ここでは正則ベクトル場などに対して適当な条件を満たす偏極多様体と, 滑らかな超曲面を考える. 本講演では,この超曲面を無限遠と見做し, それが適当な偏極類にcscK計量を持つ, という境界条件を満たせば,その補集合は漸近錐的完備なスカラー平坦Kähler計量を許容する, という結果について紹介を行い,時間が許す限り関連する問題についても紹介する.
[ Reference URL ]複素多様体上のKähler計量であって, そのスカラー曲率が定数となるもの(cscK計量)が存在するか, という問題は非自明であり,極めて重要である.ここでは正則ベクトル場などに対して適当な条件を満たす偏極多様体と, 滑らかな超曲面を考える. 本講演では,この超曲面を無限遠と見做し, それが適当な偏極類にcscK計量を持つ, という境界条件を満たせば,その補集合は漸近錐的完備なスカラー平坦Kähler計量を許容する, という結果について紹介を行い,時間が許す限り関連する問題についても紹介する.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/07/19
10:30-12:00 Online
Makoto Abe (Hiroshima University)
$\mathbb{C}^n$上の不分岐Riemann領域に対する中間的擬凸性 (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Makoto Abe (Hiroshima University)
$\mathbb{C}^n$上の不分岐Riemann領域に対する中間的擬凸性 (Japanese)
[ Abstract ]
The talk is based on a joint work with T. Shima and S. Sugiyama.
We characterize the intermediate pseudoconvexity for unramified Riemann domains over $\mathbb{C}^n$ by the continuity property which holds for a class of maps whose projections to $\mathbb{C}^n$ are families of unidirectionally parameterized intermediate dimensional analytic balls written by polynomials of degree $\le 2$.
[ Reference URL ]The talk is based on a joint work with T. Shima and S. Sugiyama.
We characterize the intermediate pseudoconvexity for unramified Riemann domains over $\mathbb{C}^n$ by the continuity property which holds for a class of maps whose projections to $\mathbb{C}^n$ are families of unidirectionally parameterized intermediate dimensional analytic balls written by polynomials of degree $\le 2$.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/07/12
10:30-12:00 Online
Katsuhiko Matsuzaki (Waseda University)
Parametrization of Weil-Petersson curves on the plane (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Katsuhiko Matsuzaki (Waseda University)
Parametrization of Weil-Petersson curves on the plane (Japanese)
[ Abstract ]
A Weil-Petersson curve is the image of the real line by a quasiconformal homeomorphism of the plane whose complex dilatation is square integrable with respect to the hyperbolic metrics on the upper and the lower half-planes. We consider two parameter spaces of all such curves and show that they are biholomorphically equivalent. As a consequence, we prove that the variant of the Beurling-Ahlfors quasiconformal extension defined by using the heat kernel for the convolution yields a global real-analytic section for the Teichmueller projection to the Weil-Petersson Teichmueller space. This is a joint work with Huaying Wei.
[ Reference URL ]A Weil-Petersson curve is the image of the real line by a quasiconformal homeomorphism of the plane whose complex dilatation is square integrable with respect to the hyperbolic metrics on the upper and the lower half-planes. We consider two parameter spaces of all such curves and show that they are biholomorphically equivalent. As a consequence, we prove that the variant of the Beurling-Ahlfors quasiconformal extension defined by using the heat kernel for the convolution yields a global real-analytic section for the Teichmueller projection to the Weil-Petersson Teichmueller space. This is a joint work with Huaying Wei.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/07/05
10:30-12:00 Online
Nitta Yasufumi (Tokyo University of Science)
Several stronger concepts of relative K-stability for polarized toric manifolds (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Nitta Yasufumi (Tokyo University of Science)
Several stronger concepts of relative K-stability for polarized toric manifolds (Japanese)
[ Abstract ]
We study relations between algebro-geometric stabilities for polarized toric manifolds. In this talk, we introduce several strengthenings of relative K-stability such as uniform stability and K-stability tested by more objects than test configurations, and show that these approaches are all equivalent. As a consequence, we solve a uniform version of the Yau-Tian-Donaldson conjecture for Calabi's extremal Kähler metrics in the toric setting. This talk is based on a joint work with Shunsuke Saito.
[ Reference URL ]We study relations between algebro-geometric stabilities for polarized toric manifolds. In this talk, we introduce several strengthenings of relative K-stability such as uniform stability and K-stability tested by more objects than test configurations, and show that these approaches are all equivalent. As a consequence, we solve a uniform version of the Yau-Tian-Donaldson conjecture for Calabi's extremal Kähler metrics in the toric setting. This talk is based on a joint work with Shunsuke Saito.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
2021/06/28
10:30-12:00 Online
Yûsuke Okuyama (Kyoto Institute of Technology)
Orevkov's theorem, Bézout's theorem, and the converse of Brolin's theorem (Japanese)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB
Yûsuke Okuyama (Kyoto Institute of Technology)
Orevkov's theorem, Bézout's theorem, and the converse of Brolin's theorem (Japanese)
[ Abstract ]
The converse of Brolin's theorem was a problem on characterizing polynomials among rational functions (on the complex projective line) in terms of the equilibrium measures canonically associated to rational functions. We would talk about a history on the studies of this problem, its optimal solution, and a proof outline. The proof is reduced to Bézout's theorem from algebraic geometry, thanks to Orevkov's irreducibility theorem on polynomial lemniscates. This talk is based on joint works with Małgorzata Stawiska (Mathematical Reviews).
[ Reference URL ]The converse of Brolin's theorem was a problem on characterizing polynomials among rational functions (on the complex projective line) in terms of the equilibrium measures canonically associated to rational functions. We would talk about a history on the studies of this problem, its optimal solution, and a proof outline. The proof is reduced to Bézout's theorem from algebraic geometry, thanks to Orevkov's irreducibility theorem on polynomial lemniscates. This talk is based on joint works with Małgorzata Stawiska (Mathematical Reviews).
https://u-tokyo-ac-jp.zoom.us/meeting/register/tJ0vcu2rrDIqG9Rv5AT0Mpi37urIkJ1IRldB