Project/Area Number  10640214 
Research Category 
GrantinAid for Scientific Research (C).

Section  一般 
Research Field 
Global analysis

Research Institution  Science University of Tokyo 
Principal Investigator 
FURUTANI Kenro Science university of Tokyo, Faculty of Science of Technology Professor, 理工学部, 教授 (70112901)

CoInvestigator(Kenkyūbuntansha) 
OTSUKI Nobukazu Science university of Tokyo, Faculty of Science and Technology Professor, 理工学部, 教授 (80112895)
TANAKA Makiko Science university of Tokyo, Faculty of Science and Technology Lecturer, 理工学部, 講師 (20255623)
KOBAYASHI Takao Science university of Tokyo, Faculty of Science and Technology associated Professor, 理工学部, 助教授 (90178319)
OKA Masatoshi Science university of Tokyo, Faculty of Science and Technology Professor, 理工学部, 教授 (70120178)
KOBAYASHI Reido Science university of Tokyo, Faculty of Science and Technology Professor, 理工学部, 教授 (70120186)

Project Fiscal Year 
1998 – 2000

Project Status 
Completed(Fiscal Year 2000)

Budget Amount *help 
¥2,500,000 (Direct Cost : ¥2,500,000)
Fiscal Year 2000 : ¥600,000 (Direct Cost : ¥600,000)
Fiscal Year 1999 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 1998 : ¥1,100,000 (Direct Cost : ¥1,100,000)

Keywords  Cayley projective plane / Kahler form / Maslov index / Spectral flow / geodesic flow / quantization / Fredholm pair / elliptic operator / Cayley射影平面 / Kahler型式 / 測地流 / 量子化 / 楕円型作用素 / 四元数射影空間 / Polarization / マスロフ指数 / スペクトル流 / Symplectic Hilbert space / Lagrangian subspace / Kahler structure / Pairing / maslov index / Spectral invariant / Cauchy data space 
Research Abstract 
1. We developed a theory of Maslov index in the infinite dimension. In the finite dimension we have a principal bundle U(n)→Λ(n) = U(n)/O(n), also we have a principal bundle similar to that in the infinite dimension, but it is trivial by Kuiper theorem. Fortunately we have a slightly different principal bundle with the total space not being a group and we call its base space, Fredholm Lagrangian Grassmannian. Especially we found a functional analytic method to define a Maslov index for not only loops but also for arbitrary paths with respect to a fixed Maslov cycle and we applied this theory to generalize YoshidaNicolaescu theorem for the spectral flow of a family of first order selfadjoint elliptic operators on a closed manifold on the framework of the theory of selfadjoint extensions of symmetric operators. Relating with the study of Fredholm Lagrangian Grassmannian we prove that the homotopy groups of the space of unitary operators of the form "U + Id is Fredholm" is isomorphic to the stable homotopy groups of unitary groups. 2. We constructed a Kahler structure on the punctured cotangent bundle of the Cayley projective plane and embedded it into a space of 8×8 complex matrices. Then we give an explicit representation of the geodesic flow of the Cayley projective plane in terms of this embedding. 3. By making use of a Kahler structure on the punctured cotangent bundle of the quaternion projective space P^nH, we construct a Hilbert space consisting of certain classes of holomorphic functions with the reproducing kernel, and also constructed an operator from this Hilbert space to L_2(P^nH), and proved that it represents the geodesic flow in terms of the one parameter family of elliptic Fourier integral operators generated by √<Δ+(2n+1)_2> (quantization of the geodesic flow).
