• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Research-status Report

Pκλ上のイデアルの構造理論

Research Project

Project/Area Number 15K04984
Research InstitutionKanagawa University

Principal Investigator

阿部 吉弘  神奈川大学, 理学部, 教授 (10159452)

Co-Investigator(Kenkyū-buntansha) 薄葉 季路  神戸大学, 自然科学系先端融合研究環重点研究部, 助教 (10513632)
南 裕明  神戸大学, 大学教育推進機構, 非常勤講師 (70646885)
Project Period (FY) 2015-04-01 – 2018-03-31
Keywordsselective イデアル / Q-point / rigidity / Ulam イデアル / 正規イデアル / 有界イデアル / coherence / イデアルの同型
Outline of Annual Research Achievements

Pκλ上のイデアルの構造理論の研究を進めた。
特に、rigidty(剛性) と Ulam イデアル に集中して取り組み、κ上の場合に対応する多くの事実がPκλ上でも成り立つが、いくつかの点では本質的に異なることを明かにした。ただし、isocoherence については,そのままPκλ上に移すと齟齬が生じるので、擬 isocoherent という概念を導入した。
κ上と異なる点は、イデアルの正規性は全単射に関する剛性は保証するが、一般の写像についての剛性は保証しないことである。前年度の研究において、弱正規イデアルが selective であることを示すのに、measure one set 上で Sup-関数が1対1であることを必要としたが、剛性に関しても同様である。最小の弱正規イデアルを含み measure one set 上で Sup-関数が1対1ならば Ulam であることも分かった。また、Ulam イデアルではない Q-point、剛性をもたない selective イデアルの存在は確実視され、具体的な例は未発見だが、候補がだいぶ絞られてきた。
κ上とよく似た主な事実として、次のことを明らかにできた:1) 有界イデアルとその positive set への制限は Ulam でなく剛性ももたない。2) 1)に挙げた以外の Ulam ではないイデアルを具体的に構成した。3) Ulam イデアルと剛性との関係。4) 剛性および全単射に関する剛性の、2つの positive set への制限間の coherence と 擬 isocoherence による特徴付け。5) Ulam であることの、そのイデアルを含む2つのイデアル間の同型、coherence および擬 isocoherence による特徴付け。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

まったく進んでいない部分もあるが、最初から相当な困難は予測していたので、深刻には考えていない。一方、rigidity と Ulam イデアルについては、簡単ではなかったが、新しい概念を導入して、予想外にスムーズに行った。

Strategy for Future Research Activity

これまでの研究の延長として、次の点に集中する:
1)Rudin-Keisler 順序で有界イデアルの下にあるイデアルと、正規イデアルの関係
2)飽和イデアルとP-point、Q-point との関係

κ上からの一般化として Rudin-Keisler 順序に注目して P-point、Q-point、selective イデアルをPκλ上に定義したが、時間が許せば、違う方向での一般化についても考えたい。

Causes of Carryover

2月に神戸大学で研究打ち合わせをする予定であったが、他の業務の関係で出張できなかった。

Expenditure Plan for Carryover Budget

1回分の国内出張旅費に当てる。

  • Research Products

    (15 results)

All 2016 2015

All Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 3 results,  Acknowledgement Compliant: 1 results) Presentation (11 results) (of which Int'l Joint Research: 8 results,  Invited: 4 results) Book (1 results)

  • [Journal Article] Superstrong and other cardinals are never indestructible2016

    • Author(s)
      Joan Bagaria, Joel David Hamkins, Konstantinos Tsapronis, Toshimichi Usuba
    • Journal Title

      Archive for Mathematical Logic

      Volume: 55 Pages: 19-35

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Subtle properties and partition relations2016

    • Author(s)
      Toshimichi Usuba
    • Journal Title

      Mathematical Logic Quarterly

      Volume: 62 Pages: 59-71

    • Peer Reviewed
  • [Journal Article] Structural properties of ideals over Pκλ I2015

    • Author(s)
      Yoshihiro Abe
    • Journal Title

      Tsukuba Journal of Mathematics

      Volume: 39 Pages: 83-95

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] 有向集合の分類2016

    • Author(s)
      薄葉 季路
    • Organizer
      山陰基礎論・解析学セミナー 2016
    • Place of Presentation
      皆生の里「ゆるり」, 米子
    • Year and Date
      2016-01-30
    • Invited
  • [Presentation] The Downward Directed Grounds hypothesis2016

    • Author(s)
      Toshimichi Usuba
    • Organizer
      IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
    • Place of Presentation
      National University of Singapore, Singapore
    • Year and Date
      2016-01-26
    • Int'l Joint Research
  • [Presentation] The dominating number of Fσ ideals on Katetov-Blass order2015

    • Author(s)
      Hiroaki Minami
    • Organizer
      1st Pan Pacific International Conference on Topology and Applications
    • Place of Presentation
      Minnan Normal University, China
    • Year and Date
      2015-11-27
    • Int'l Joint Research
  • [Presentation] Selective ideals over Pκλ2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      1st Pan Pacific International Conference on Topology and Applications
    • Place of Presentation
      Minnan Normal University, China
    • Year and Date
      2015-11-26
    • Int'l Joint Research / Invited
  • [Presentation] Remarks on elementary submodel topology2015

    • Author(s)
      薄葉 季路
    • Organizer
      集合論的位相幾何学および幾何学的トポロジーの最近の動向と展望
    • Place of Presentation
      京都大学
    • Year and Date
      2015-11-18
  • [Presentation] Set-theoretic geology and large large cardinals2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      Recent Developments in Axiomatic Set Theory
    • Place of Presentation
      京都大学
    • Year and Date
      2015-09-17
    • Int'l Joint Research
  • [Presentation] Pκλ上の isocoherence をどう定義するか2015

    • Author(s)
      阿部 吉弘
    • Organizer
      日本数学会秋季総合分科会
    • Place of Presentation
      京都産業大学
    • Year and Date
      2015-09-15
  • [Presentation] Set-theoretic geology and large cardinals2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      Computability Theory and Foundations of Mathematics 2015
    • Place of Presentation
      東京工大
    • Year and Date
      2015-09-11
    • Int'l Joint Research
  • [Presentation] Ling topological games and Lindelof spaces with points Gδ2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      International Conference on Set-Theoretic Topology and its Applications
    • Place of Presentation
      神奈川大学
    • Year and Date
      2015-08-25
    • Int'l Joint Research / Invited
  • [Presentation] Long Cut and Choose game and the infinite distributive law2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      BLAST2015@UNT
    • Place of Presentation
      University of North Texas, USA
    • Year and Date
      2015-06-08
    • Int'l Joint Research
  • [Presentation] Large regular Lindelof spaces with points Gδ2015

    • Author(s)
      Toshimichi Usuba
    • Organizer
      Sets and Computations
    • Place of Presentation
      National University of Singapore, Singapore
    • Year and Date
      2015-04-08
    • Int'l Joint Research / Invited
  • [Book] 数学における証明と真理―様相論理と数学基礎論―2016

    • Author(s)
      (菊池 誠編)佐野 勝彦, 倉橋 太志, 薄葉 季路, 黒川 英徳, 菊池 誠
    • Total Pages
      304
    • Publisher
      共立出版

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi