この論文は、境界を持つコンパクトな面上でのリウビル共形場理論（共形場理論, Conformal Field Theory, CFT）の「ブートストラップ」方針を証明する作業の第2部です。著者らは半環（はんかん）と呼ばれる幾何学的要素に対応する作用から出てくる半環半群の生成子を境界ハミルトニアン（境界の時間発展を作る演算子）と同定し、そのスペクトル分解を構築しました。簡単に言えば、境界の状態空間を基本的な表現に分解する枠組みを与えています。

具体的には、前作で確立したSegalの公理と「つなぎ合わせ（gluing）」の性質を土台にしています。半環半群の生成子を境界ハミルトニアンと見なし、散乱理論に似た手法でそのスペクトル（固有値や連続成分）を解析しました。その結果、境界状態空間が「Virasoro（ヴィラソロ）代数」の不可約表現へ連続的に分解されることが示されます。ここでVirasoro代数とは二次元の局所的な対称性を表す重要な代数のことです。

次にこの分解を境界の変形に関するWard恒等式（対称性から導かれる関係式）と組み合わせることで、一般的な相関関数を切断曲線ごとに割り当てたスペクトル変数に関する積分として表現しました。積分の被積分関数は、場の相互作用を決める「構造定数」（ディスク上のバルクや境界挿入に対応する定数）と、系の組み立て方を表す「共形ブロック」と呼ばれる特殊関数の積になります。構造定数は以前の研究で数学的に導出された結果と整合し、主要状態（一次元の代表的な状態）に対する振る舞いが被積分項として現れます。

なぜ重要かと言えば、この結果は境界のあるリウビル理論に対する厳密な計算枠組みを拡張する点で意義があります。境界CFTは弦理論のDブレーン記述や境界を持つ統計力学系など多くの応用領域で中心的です。本論文のスペクトル分解とブートストラップ式は、共形ブロックの解析性や対称性の性質を裏付けます。また、共形ブロック上での写像類群（面の切り貼りに伴う変換）表現を構成するための基盤にもなります。

重要な注意点も述べられています。境界ハミルトニアンは内部のハミルトニアンよりも扱いが繊細で、定義域（演算子が作用できる状態の空間）に微妙な問題があります。そのため著者らの解析は一部の条件や場合に限定されています。TeXの抜粋ではその具体的な制限条件の記述が途切れているため、詳細は本論文本文を参照する必要があります。今回の成果はPart Iの公理的構成と既存の構造定数の厳密結果を合わせて初めて成り立つ点も念頭に置いてください。