グラフ理論について基礎的な内容を解説する。

加法的整数論は、整数や自然数などの加法的な性質について扱う理論である。すなわち $\mathbb{Z}$, $\mathbb{N}$, より一般にある加法半群 $G$ の要素 $g$ を、$G$ の部分集合 $A_1, A_2, \ldots, A_k$ の要素の和 $$g=a_1+a_2+\ldots +a_k\ (a_i\in A_i)$$ としてあらわす方法について扱う理論である。 すべての自然数が$4$つの平方数の和であらわされるというLagrangeの定理、 $4$ 以上のすべての偶数が$2$つの素数の和であらわされるというGoldbachの予想、 与えられた数 $n$ 以下のすべての整数が、ある部分集合 $A$ について、一定の個数以下の $A$ の要素の和であらわされるとき、 そのような部分集合 $A$ で要素の数が可能な限り少ないものをもとめる郵便切手の問題などが加法的整数論で取り扱われる。

篩法 (sieve method) は、全体集合から、与えられた条件をすべて満足する（あるいはいずれも満足しない）ものの個数を評価する技法である。 最も古い篩法は、与えられた範囲内の素数をすべて発見するEratosthenesの篩であるが、20世紀になって篩法が素数に関する様々な問題の研究に盛んに用いられるようになり、近年では他の数論や組合せ論の問題への応用も行われるようになっている。 この参考書では、20世紀以降飛躍的に進展した、篩法の素数に関する問題への応用について解説する。

因果階層(causal hierarchy)とは、Lorentz多様体の特徴的な因果構造についての性質の包含関係の事である。 その包含関係は、Non-totally vicious ⊃ chronological ⊃ causal ⊃ distinguishing ⊃ strong causal ⊃ stably causal ⊃ causally continuous ⊃ causally simple ⊃ globally hyperbolic である。 この記事では、それぞれの定義と例、またいくらかの顕著な定理について述べる。 この分野の国内での広く知れ渡った和訳の文化はおそらく確立していないため固有名称については英単語のままで解説する。

代数幾何学において、もっとも基本的な対象は、多変数多項式の零点、あるいは複数の多変数多項式の共通の零点全体の集合としてあらわされるアフィン代数的集合である。その中でも、アフィン平面上の代数曲線がもっとも基本的な対象となる。 そこで本テキストではアフィン代数的集合の一般論の基礎と、アフィン平面上の代数曲線の概念について解説し、ついで平面上の代数曲線を射影平面上で考察することで、より見通しのよい理論が得られることを解説する。

有限体の基本的な性質と応用

特殊相対性理論は重力を含まない電磁力学の理論としてEinsteinにより提唱され、現代ではMinkowski時空の幾何学として定式化される。

本テキストでは、整数の性質について取り扱う。 整数の性質についての研究は初等幾何学と並んで、最も古い数学の分野のひとつである。直角三角形の3辺の長さとなる正の整数、つまり $$a^2+b^2=c^2$$ となる正の整数 $a, b, c$ の組は非常に古く、古代バビロニアや古代エジプトでも知られていたと考えられている（たとえばバビロニアの粘土板プリンプトン322には $65^2+72^2=97^2$, $12709^2+13500^2=18541^2$ をあらわすと思われる記述がある）。$6$ の（$6$ 自身を除く）約数の和が $6$ に一致し、$28, 496, 8128$ も同様の性質をもつことは、古代ギリシアのピタゴラス教団では知られており、完全数と呼ばれ崇拝の対象となっていた。ユークリッドの「原論」では公倍数や公約数、素数に関する基礎的な定理が記されている。 本テキストでは、こうした整数の性質や関係について取り扱う。

ガロア理論について解説する。

環論の基礎について解説する。