Semi-orthogonal functors: Identification methods and examples

Introduction

Semi-orthogonal functors are a fundamental concept in triangulated categories, serving as a bridge between algebraic geometry, representation theory, and homological algebra. A semi-orthogonal pair of functors $(\mathcal{F}, \mathcal{G})$ satisfies the condition that for any objects $A, B$ in the category, the composition $\mathcal{F}(\mathcal{G}(A))$ is zero if $A$ is in the orthogonal complement of $\mathcal{G}$. This property ensures that the functors preserve the structure of the category and allow for the decomposition of derived categories into simpler components.

The study of semi-orthogonal functors has profound implications in modern mathematics, particularly in the context of derived categories of coherent sheaves, derived categories of modules, and non-commutative geometry. Their identification often relies on specific conditions, such as the orthogonality of functors or the existence of a right adjoint, which are critical for understanding the categorical properties of the underlying categories.

Core Content

Identification Methods

The identification of semi-orthogonal functors typically involves two primary strategies: the orthogonality condition and the existence of a right adjoint.

Orthogonality Condition

A key criterion for determining whether two functors $(\mathcal{F}, \mathcal{G})$ form a semi-orthogonal pair is the orthogonality condition. Specifically, for any objects $A, B$ in the category, the composition $\mathcal{F}(\mathcal{G}(A))$ must be zero if $A$ is in the orthogonal complement of $\mathcal{G}$. This condition ensures that the functors do not interfere with each other in a non-trivial manner.

In practice, verifying the orthogonality condition often involves checking the vanishing of certain morphisms or the behavior of specific objects in the category. For example, in the derived category of a smooth projective variety, semi-orthogonal functors are often determined by the cohomology of the variety, where the orthogonality condition is satisfied due to the vanishing of higher cohomology sheaves.

Existence of a Right Adjoint

Another critical method for identifying semi-orthogonal functors is the existence of a right adjoint. If a functor $\mathcal{G}$ has a right adjoint $\mathcal{F}$, then $(\mathcal{F}, \mathcal{G})$ is automatically semi-orthogonal. This is because the adjoint relationship ensures that the functors preserve the structure of the category and satisfy the orthogonality condition.

In the context of triangulated categories, the existence of a right adjoint often translates to the category being "closed" under certain operations, such as taking derived functors or preserving direct sums. For instance, in the derived category of a finite-dimensional algebra, the semi-orthogonal decomposition is determined by the algebra's structure, with the right adjoint capturing the essential properties of the algebra.

Examples

To illustrate the identification of semi-orthogonal functors, we consider specific examples from different areas of mathematics.

Example 1: Derived Category of Coherent Sheaves

The derived category of coherent sheaves on a smooth projective variety is a classic example of a triangulated category where semi-orthogonal functors play a crucial role. In this category, the semi-orthogonal decomposition is often determined by the cohomology of the variety. For instance, the functors associated with the sheaves of the variety itself form a semi-orthogonal pair, with the orthogonality condition satisfied due to the vanishing of higher cohomology sheaves.

Example 2: Derived Category of a Finite-Dimensional Algebra

In the derived category of a finite-dimensional algebra, the semi-orthogonal decomposition is closely tied to the algebra's structure. For example, consider an algebra $A$ with a semi-orthogonal decomposition $(\mathcal{F}, \mathcal{G})$ where $\mathcal{F}$ captures the module categories of $A$ and $\mathcal{G}$ reflects the derived functors of $A$. The existence of a right adjoint in this context ensures that the decomposition is both complete and faithful, reflecting the algebra's representation theory.

Example 3: Derived Category of a Non-Commutative Ring

In the derived category of a non-commutative ring, semi-orthogonal functors are often identified through the use of derived functors and the properties of the ring's module categories. For instance, the semi-orthogonal decomposition might involve functors that capture the derived functors of the ring's modules, with the orthogonality condition ensuring that these functors do not interfere with each other in a non-trivial way.

Conclusion

Semi-orthogonal functors are a powerful tool in the study of triangulated categories, enabling the decomposition of derived categories into simpler components. Their identification relies on the orthogonality condition and the existence of a right adjoint, which are essential for understanding the structural properties of the underlying categories. Through specific examples, such as the derived category of a smooth projective variety or a finite-dimensional algebra, we see how these functors are applied in practice. The study of semi-orthogonal functors not only advances our understanding of triangulated categories but also has profound implications in areas such as algebraic geometry, representation theory, and non-commutative geometry.

By systematically analyzing the orthogonality condition and the existence of adjoints, mathematicians can effectively identify semi-orthogonal functors, leading to deeper insights into the categorical structures of various mathematical frameworks.