理学部第一部 数学科

［専攻］解析学　［指導教員］太田 雅人 教授　［キーワード］非線形偏微分方程式論
［テーマ例］❶非線形シュレディンガー方程式の数学解析 ❷孤立波解の安定性解析 ❸非線形波動方程式の解の爆発問題

非線形波動現象に関連する非線形偏微分方程式、特に、非線形シュレディンガー方程式や非線形クライン・ゴルドン方程式の孤立波解の安定性および不安定性を、関数解析、変分法、スペクトル理論などを用いて研究しています。

［専攻］解析学　［指導教員］加藤 圭一 教授　［キーワード］偏微分方程式,数理物理学
［テーマ例］❶偏微分方程式の解をどのように構成するか ❷偏微分方程式の解の性質を調べること ❸物理現象を記述する偏微分方程式の数学的研究

高校で習う質点の力学（ニュートン力学）は、変数が1つの微分方程式で表されますが、電磁波を扱う電磁気学、水の波などを扱う流体力学、ミクロな現象を記述する量子力学はすべて変数が2つ以上ある微分方程式（偏微分方程式）で表されます。偏微分方程式を数学的に研究することが本研究室の目的です。

［専攻］確率論　［指導教員］金子 宏 教授　［キーワード］確率過程論
［テーマ例］❶確率過程論 ❷ポテンシャル論

ディリクレ空間が持つ意味も範囲が広くなり、総合的な確率過程論という形態になってきています。ディリクレ空間は対称性を利用してつくり出せ、幾何学、複素解析学、フラクタルに応用できるのが利点です。ディリクレ形式の適用範囲も広くなり、総合的に確率過程論を推進するための理論になっています。

［専攻］代数学　［指導教員］木田 雅成 教授　［キーワード］整数論
［テーマ例］❶代数体の整数論 ❷代数方程式のガロア理論

整数の性質や方程式の整数解などを研究するのが整数論です。問題自体を理解するのはやさしいけれども、それを解決するためにはしばしば非常に深く高度な理論が必要になる、とても面白い分野です。整数論にもいろいろありますが、本研究室では主に代数的整数論を研究しています。多項式の根になっているような数を代数学、幾何学、解析学などさまざまな手法を使って研究するのが代数的整数論です。最近はガロア群の同質類に基づいた代数体の分類を研究しています。

［専攻］代数学　［指導教員］㓛刀 直子 教授　［キーワード］有限群のモジュラー表現論
［テーマ例］❶有限群のブロックの理論 ❷森田同値、導来同値 ❸パーフェクト・アイソメトリー

群とは基本的な代数系の一つです。群の表現論とは、与えられた群の要素を逆行列を持つ行列に表す写像の性質を研究する分野です。本研究室では、有限群のモジュラー表現論における可換不足群予想と呼ばれる予想を中心に研究しています。

［専攻］幾何学　［指導教員］小池 直之 教授　［キーワード］微分幾何学, 幾何解析
［テーマ例］❶擬リーマン部分多様体とリー群作用 ❷平均曲率流とリッチ流 ❸無限次元部分多様体論とゲージ理論

本研究室では、一般相対性理論と関係のある微分幾何学を研究しています。一般相対性理論において、時空として取り扱われるローレンツ多様体の一般概念である擬リーマン多様体という空間内の擬リーマン部分多様体という図形を主に研究しています。この図形の研究には平均曲率流やリッチ流という図形や計量の時間発展も用いられます。また、物理学におけるゲージ理論と関係のある無限次元部分多様体論の研究も行っています。

［専攻］代数学　［指導教員］眞田 克典 教授　［キーワード］環論
［テーマ例］❶多元環のホッホシルトコホモロジー ❷多元環の表現

整数、有理数、実数などの普通の数と異なり、大学１年で学ぶ行列は、それら同士の積が一般に交換可能でない、すなわち非可換という特徴があります。n次行列全体は和と積が定義される集合ですが、非可換な環の代表例です。本研究室では、さまざまな非可換環の研究をホモロジー代数的手法で行っています。特に、2つの環がどの程度似た性質を持っているかを調べる道具としてのホッホシルトコホモロジーは重要な研究対象であり、また具体的に計算ができるという意味で大変面白いものです。

［専攻］数学教育、情報教育　［指導教員］清水 克彦 教授　［キーワード］数学教育, 情報教育, 教育工学
［テーマ例］❶数学科におけるコンピュータの活用 ❷高等学校普通教科「情報」の教材開発 ❸e-LearningやICTを活用した教育方法の研究

本研究室では、数学科・情報科の教員を目指す学生・院生を指導しています。教員（公私立）ならびに教育関連産業で数学や情報関係の教育に携わるために必要な知識や技能を身に付けた学生を養成することを目指しています。また、教育においてコンピュータを活用できる技能の指導も行っています。

［専攻］解析学　［指導教員］田中 視英子 講師　［キーワード］変分法
［テーマ例］❶非線形楕円型偏微分方程式の解の存在と非存在 ❷楕円型作用素に関する非線形固有値問題

変分原理として知られるFermatの原理（光は最短経路を進む）やディリクレ原理、また、測地線、最短降下線などさまざまな所に変分問題が現れることが知られています。これらの問題は、関数を定義域に持つ実数値関数（汎関数）の最小値をとる解（関数）を求めることによって解くことができます。本研究室では、汎関数の極値を調べて微分方程式の解の存在を示すことを行っています。汎関数のグラフの形状を調べることが大事になってきますので、位相的な手法も関連する研究分野となっています。

［専攻］幾何学　［指導教員］山川 大亮 講師　［キーワード］複素幾何学
［テーマ例］❶有理型接続のモジュライ空間 ❷野性的指標多様体 ❸モノドロミー保存変形

現代数学では、図形や方程式、関数といった数学的対象を、それ自身ある高次元の図形（モジュライ空間）の中の点と捉えることがあります。これによって、考えている対象の変形を、モジュライ空間内の点の移動として扱うことができます。本研究室では、特にコンパクトリーマン面上の有理型接続のモノドロミー保存変形を、モジュライ空間の複素シンプレクティック構造を用いて研究しています。

［専攻］解析学　［指導教員］横田 智巳 教授　［キーワード］微分方程式
［テーマ例］❶微分方程式の解の存在定理の開発 ❷走化性細胞性粘菌のライフサイクルを記述する微分方程式の研究 ❸癌浸潤現象を記述する微分方程式の研究

導関数を含む方程式は微分方程式と呼ばれ、さまざまな現象を記述できます。本研究室では、解を具体的に表示することが困難な微分方程式について、方程式の形から解の存在や性質に関する予想を立てて研究しています。例えば、時刻を変数とする関数の微分方程式は、時間の経過に伴うある量の変化を記述しています。そのような方程式に対して、時間が十分経過したときの解の様子を調べることにより、未来の状況が解明できることになります。