[論文レビュー] Geometry from Brackets Consistency

Edward Anderson|arXiv (Cornell University)|Nov 1, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 74被引用数 11

ひとこと要約

この論文は、微分方程式や群論的構成に依存せずに幾何構造を導出するための代数的ルートを提供する、幾何学の基盤的『柱』としてのLie括弧の整合性を提唱する。候補生成子におけるLie括弧の閉包を強制することで、平坦空間における共形構造や射影構造といった主要な幾何構造が回復され、共形–射影双対性は二次の整合性条件から自然に出現する。

ABSTRACT

We argue for Brackets Consistency to be a `Pillar of Geometry', i.e. a foundational approach, other Pillars being 1) Euclid's constructive approach, 2) the algebraic approach, 3) the projective approach, and 4) the geometrical automorphism groups `Erlangen' approach. We proceed via a distinct Pillar 5) - Killing's computational route to Erlangen's groups - firstly by picking out the ensuing geometrically significant brackets subalgebras as consistent possibilities. Secondly, by considering which generators, arising piecemeal from different generalized Killing equations, combine brackets-consistently, recovering the affine-conformal and projective-conformal alternatives. Thirdly, we cease to rest on Killing's Pillar altogether, replacing it by mere polynomial ansätaze as source of generators. Even in this case - demanding (Lie) Brackets Consistency - suffices to recover notions of geometry, as indicated by the below alternative just dropping out of the ensuing brackets algebra, and is thus declared to be Pillar 6. The current article is further motivated, firstly, by the gradually accumulating successes in reformulating Theoretical Physics to run on the Dirac Algorithm for classical constraint algebraic structure consistency. Secondly, this is sufficiently driven by Brackets Consistency alone to transcend to whichever context possesses such brackets. Thirdly, we derive the conformal-or-projective alternative in top-automorphism-group $d \geq 3$ Flat Geometry. In a manner by now familiar in Dirac Algorithm applications, a) these two top geometries moreover arise side by side as roots of a merely algebraic quadratic equation. b) This equation arises from requiring that the self-bracket of a general ansatz for generators be strongly zero. c) For, if not, an infinite cascade of generators would follow, by which the ansatz would not support a finite Shape Theory.

研究の動機と目的

• 微分方程式や群論的構成に依存しない、Lie括弧の整合性を幾何学における基礎的原則として確立すること。
• 共形、射影、アフィンなどの幾何構造が、候補生成子におけるLie括弧の代数的整合性から純粋に導出可能であることを示すこと。
• 一般のansatzの自己括弧 $[X, X] = 0$ を強く要求することで得られる二次方程式の根として、平坦幾何における共形–射影双対性が出現することを示すこと。
• Killing方程式のアプローチを多項式的ansatzに置き換えつつ、括弧の閉包による幾何的整合性を保ちながら、有限な幾何代数を再構築すること。
• 括弧整合性から生じるLie代数の分解における可積分性構造（例：片方向、双方向、障害付き可積分性）を特定・分類すること。

提案手法

• 候補生成子 $c_A$ に対して、$[c_A, c_B] = C^C_{AB} c_C$ のLie括弧閉包条件を適用し、これを基本的な整合性要請とみなす。
• 一般の多項式的ansatzを生成子に用いることで、一般化されたKilling方程式を解くことなく、微分幾何学を回避する。
• 一般のansatz $X$ に対して、自己括弧 $[X, X] = 0$ を強く要求し、その結果得られる二次方程式の根が幾何的に整合する代数に一致することを示す。
• Lie代数のブロック（例：$\mathfrak{h}$, $\mathfrak{K}$）への代数的分解を分析し、直接積、半直積、片方向、双方向可積分性などの可積分性タイプを特定する。
• 有限代数に至る整合的閉包と、無限の新しい生成子の連鎖を引き起こす不整合ケースを区別する。
• 非ゼロの構造定数 $\Theta_{AB}$ や $\Theta_{AA'}$ を用いて障害を分類し、係数の調整によってその障害を除去できる場合を同定する。

実験結果

リサーチクエスチョン

• RQ1 Lie括弧の整合性のみが、微分方程式や変換群に依存せずに幾何学における基礎的原則として機能可能か？
• RQ2 一般の生成子ansatzの自己括弧を強くゼロとすることにより、共形幾何や射影幾何といった幾何構造がどのように出現するか？
• RQ3 異なる一般化されたKilling方程式からの候補生成子が括弧整合性の下で結合されたとき、どのような代数的構造が生じるか？
• RQ4 Killing方程式のアプローチを多項式的ansatzに置き換えても、有限で整合的な幾何代数が得られるのはどのような条件下か？
• RQ5 Lie代数の分解における可積分性タイプ（例：片方向、双方向、障害付き）が、得られる幾何理論の整合性と有限性にどのように影響を与えるか？

主な発見

• 平坦空間 $d \geq 3$ における共形幾何と射影幾何は、一般のansatzの自己括弧を強くゼロとすることから得られる単一の二次方程式の双対根として出現する。
• 微分方程式を解かずに、括弧の整合性のみで、アフィン–共形および射影–共形代数が、全生成子代数の整合的部分代数として回復される。
• $d \geq 2$ で特殊共形および特殊射影的／アフィン的生成子を同時に含めると、無限の新しい生成子の連鎖が生じ、それらの間には相容れなさが示唆される。
• Lie代数の分解において、6種類の異なる可積分性タイプ（直接積から双方向可積分性まで）を同定し、特に双方向可積分性は相互依存性を示し、独立した部分代数構造の喪失を意味する。
• 硬い障害（$\Theta_{AB} \neq 0$）と無限の連鎖は、括弧構造の係数をゼロに調整できること、すなわち自己括弧の強いゼロ化に等しい場合にのみ排除可能である。
• 半直積構造 $\mathfrak{h} \rtimes \mathfrak{K}$ および $\mathfrak{K} \rtimes \mathfrak{h}$ は、整合的括弧閉包から自然に出現し、前者は片方向可積分性に対応し、一方のブロックが他方を含意することを示す。