平行する「右」と「完全性」の思想──右完全函手をめぐる考察
「右完全函手（right exact functor）」という言葉は、数学の文脈、とりわけ圏論（カテゴリー論）やホモロジー代数の周辺で繰り返し登場します。多くの人が最初に引っかかるのは、この「右」という語と「完全」という語が、通常の自然言語の感覚とはかなり違う意味で使われている点です。実際には「右完全」は、厳密には「短完全列」や「完全列」という構造を“右側”から見たときにどう保存するか、という性質を指します。では、なぜそんな性質が重要なのか。そこには、代数的対象を“写す”操作が、情報の損失をどの程度抑えるかという根本的な問題があります。
圏論的な視点に立つと、関手（函手）とは、ある圏の対象や射を別の圏へ体系的に対応づける仕組みです。関手が何かを「保存する」とは、元の圏で成り立っていた等式や構造が、像の圏でも適切な形で成り立つということを意味します。特にホモロジー代数では、対象を研究する手段として鎖複体や完全列が中心的な役割を果たし、そこから導かれるホモロジー群（あるいはその一般化）によって不変量を取り出します。関手が完全性をどこまで保存するかは、ホモロジー群を計算するときに“何が消えて何が残るか”を左右するため、実務的にも理論的にも極めて重要です。
ここで「右完全」が関係する代表的な枠組みが「完全列」です。アーベル圏やそれに似た環境では、完全列は、ある列が単に成り立つというだけでなく、像と核が一致するという強い情報を持ちます。典型的には「短完全列」と呼ばれる形、すなわち
0 → A → B → C → 0
のような列が与えられたとき、その列の“情報”はAがBに埋め込まれ、そこからCが取り出される、という分解の仕方に対応します。ところが、一般に関手を適用すると、必ずしもこの完全性がそのまま保たれるとは限りません。たとえば単に左から右へ写す操作の中には、単射性（左の情報）や全射性（右の情報）を壊すものがあり得ます。そこで注目されるのが「右側の完全性」なのです。
「右完全函手」という言い方は、基本的には、ある完全列を関手で写したあとに、像（あるいはカーネル・コカーネルに対応する構造）が適切な形で保存されることを要求します。より直観的に言えば、短完全列を与えたときに、その列が生成する“右側の情報”（終端に関わる情報）が関手によって過度に失われないようにする条件、と捉えるとイメージしやすいです。つまり、AからBへの埋め込みや、BからCへの射影といった関係のうち、特に“右から見て”意味がある部分が正しく伝わることを保証する、という考え方になります。
この性質がホモロジー代数で重要になる理由は、関手が「加群から別の加群へ」情報を移すたびに、完全列の分解構造が崩れると、ホモロジー的な推論が使えなくなるからです。たとえば、テンソル積や加群の双対など、計算に頻出する操作は、そのままでは完全列を完全に保存しないことが多いです。しかし、ある条件下では“右完全”あるいは“左完全”といった形で必要な程度だけ保存されます。すると、長完全列の生成や連鎖複体のホモロジーの振る舞いなど、ホモロジー代数の中核の議論が安定に組み立てられるようになります。
さらに面白いのは、右完全性が単なる技術的条件ではなく、「導来関手（導関手）」と直結する点です。関手が完全性をよく保つかどうかは、その関手の“非完全性”を測る方法として導来関手（右導来関手など）が登場する背景になっています。直観的には、右完全でない場合に生じるズレは「どれだけ情報が右側から漏れるか」という欠損として解釈でき、その欠損を体系的に捕まえるのが導来関手です。したがって、右完全函手は「導来のレベルでは欠損が小さい／あるいは一定の形で消える」ような関手として位置づけられます。この見方により、右完全性は単に保存の性質というだけでなく、“どんな誤差が発生しうるか”を理解するための入口になります。
また、圏論的な一般化として見ると、「右完全」という語は、ホモロジー的環境でよく現れる「準同型の連鎖」の扱い、つまり「どの射が準同型として振る舞うか」と絡んで、圏の内部での代数幾何的・トポロジー的操作の整合性にも影響します。完全性の一部が保存されるということは、対象の“構造的な骨格”が関手を通じても同型類として保たれる確率を高めます。結果として、計算可能な対象へ変形しても本質を失いにくくなり、その意味で右完全性は、抽象的枠組みを実際の計算に結びつける潤滑油の役割を担います。
結局のところ、右完全函手が面白いのは、「関手が対象を写す」という行為が、数学的に非常に強い意味を持つからです。関手がどんな完全列をどこまで保つかは、単に性質のリストを増やすだけではなく、解析したい対象の性質がどれだけ移植可能かを決定します。右完全性はまさにその中で、“右側の構造”に関する情報が、推論や計算の最後まで耐えるように保証する性質として現れます。だからこそ、ホモロジー代数の多くの場面で、右完全函手は繰り返し必要とされるのです。
もし読者が「結局、右完全性が要求する条件を具体的に式で見たい」「左完全との違いを整理したい」「導来関手との関係を例で理解したい」といった方向へ進みたいなら、次の一歩は短完全列を関手で写したときに、どの部分が単射性・全射性・像と核の一致の観点からどう振る舞うかを実例で追うことです。そこに進むと、右完全函手が“抽象的な言葉”ではなく、実際の計算を支える道具として輪郭を持って見えてきます。