Boundary value problems and Index Theorem for D Modules
Project/Area Number 
16540150

Research Category 
GrantinAid for Scientific Research (C)

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
Basic analysis

Research Institution  Osaka University 
Principal Investigator 
UCHIDA Motoo Osaka University, Graduate School of Science Depantment of Mathematics, Associate Professor (10221805)

CoInvestigator(Kenkyūbuntansha) 
NISHITANI Tatsuo Osaka University, Graduate School of Science, Dept. Math., Professor (80127117)

Project Period (FY) 
2004 – 2007

Project Status 
Completed (Fiscal Year 2007)

Budget Amount *help 
¥3,970,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2005: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2004: ¥1,000,000 (Direct Cost: ¥1,000,000)

Keywords  D Modules / boundary value problem / microlocal analysis / 指数定理 / 超局所オイラー類 
Research Abstract 
We have found an idea to formulate elliptic boundary value problems for systems of differential equations in terms of DModules and to construct their characteristic cycles (or microlocal Euler classes). Let us consider a system of differential equations M on a manifold M with boundary N. Let M_<tan> denote its pull back to the boundary. Given a system of differential equations N on the boundary and a D_N linear morphism α: N → M_<tan>. By definition, this boundary value problem is said to be elliptic if a induces an isomorphism from ε_N [○!×] N to a coherent quotient module M^+(tan)of ε_N [○!×] M^<tan> defined microlocally from the boundary. (ε_N is the sheaf of rings of microdifferential operators on the boundary.) It is still difficult to construct a characteristic cycle in this naive setting, and we want to translate this setting of BVP as a module (or an object of a derived category of modules) over some ring. If we introduce the ring BD as BD = D_M [○!+] D(N,M) [○!+]D_N, we can get an object B (M, N) of the derived category D^b(D_M [○!×] B), with B the ring of upper half triangle matrices of degree 2. One can possibly define a characteristic cycle (or a microlocal Euler class) associated to the pair of a D_M [○!×]Bmodule and a Bmodule (Z_M, Z_N) by the diagonal argument under the condition of ellipticity of α. We expect that one can prove (by chasing diagrams) an index theorem for boundary value problems in terms of characteristic classes defined here, since their construction is almost totally functorial.

Report
(5 results)
Research Products
(7 results)