著者
Koji Hasegawa
出版者
Research Institute forMathematical Sciences
雑誌
Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)
巻号頁・発行日
vol.25, no.5, pp.741-828, 1989 (Released:2009-01-22)
参考文献数
34
被引用文献数
29

We study tensor products of the spin modules (i.e. the Fermion Fock space representations) for classical (simple or affine) Kac-Moody Lie algebras. We find out that there are mutually commutant pairs of classical Kac-Moody algebras acting on the spin modules, and describe the irreducible decompositions in terms of Young diagrams. As applications, we obtain a simple explanation of Jimbo-Miwa's branching rule duality (i.e. isomorphisms between coset Virasoro modules) [JM], generalization thereof and the duality of the modular transformation rules of affine Lie algebra characters.
著者
Kwang Whoi Kim Soon-Yeong Chung Dohan Kim
出版者
Research Institute forMathematical Sciences
雑誌
Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)
巻号頁・発行日
vol.29, no.2, pp.289-300, 1993 (Released:2009-01-22)
参考文献数
18
被引用文献数
34

We show that if a C∞-solution u(x, t) of heat equation in R+n+1 does not increase faster than exp[ε(\frac{1}{t}+|x|)] then its boundary value determines a unique Fourier hyperfunction. Also, we prove the decomposition theorem for the Fourier hyper functions. These results generalize the theorems of T. Kawai and T. Matsuzawa for Fourier hyperfunctions and solve a question given by A. Kaneko.
著者
Mourougane Christophe
出版者
京都大学
雑誌
Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)
巻号頁・発行日
vol.33, no.6, pp.893-916, 1997
被引用文献数
9

Our main purpose is to study ampleness and positivity properties of the direct image &phi;{\bigstar}<I>L</I> of a holomorphic line bundle <I>L</I> under a smooth morphism &phi;: <I>X</I>&rarr;<I>Y</I> between compact complex analytic manifolds. We show that in general the ampleness of <I>L</I> does not imply that of the direct image &phi;{\bigstar}<I>L</I> but only that of the direct image of the adjoint line bundle &phi;{\bigstar}(<I>K</I><SUB><I>X</I>/<I>Y</I></SUB>&otimes;<I>L</I>).
著者
Takeshi Hayashi
出版者
Research Institute forMathematical Sciences
雑誌
Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)
巻号頁・発行日
vol.9, no.1, pp.61-92, 1973 (Released:2009-04-24)
参考文献数
6
被引用文献数
39

In this paper, the uvwxy-theorem of context-free languages is extended to the case of indexed languages. Applying the extended theorem, it is shown that the finiteness problem for the indexed languages is solvable and certain languages such as {an!| n{≥}1} and {($ w)|w||w∈{a, b}*} are not indexed languages.
著者
Shin-ya Nishizaki
出版者
Research Institute forMathematical Sciences
雑誌
Publications of the Research Institute for Mathematical Sciences (ISSN:00345318)
巻号頁・発行日
vol.30, no.6, pp.1055-1121, 1994 (Released:2009-04-24)
参考文献数
15
被引用文献数
11

We propose a lambda calculus λenv→ where it is possible to handle first-class environments. This calculus is based on the idea of explicit substitution, that is; λσ-calculus. Syntax of λenv→ is obtained by merging the class of terms and the one of substitutions. Reduction is made from the weak reduction of λσ-calculus. Its type system also originates in the one of λσ-calculus. Confluence of λenv→ is proved by Hardin's interpretation method which is originally used for proving confluence of λσ-calculus. We proved strong normalizability of λenv→ by reducing it to strong normalizability of a simply typed record calculus. Finally, we propose a type inference algorithm which produced a principal typing for each typable term.