---
title: Ind-Coherent Sheaves Overview
url: https://www.emergentmind.com/topics/ind-coherent-sheaves
type: topic
---

# Ind-Coherent Sheaves Overview

Ind-coherent sheaves are a categorical enhancement of coherent sheaves on singular, derived, or infinite-type geometric objects—schemes, stacks, ind-schemes, and ind-stacks—designed to achieve robust functoriality, duality, and compatibilities with D-module and categorical representation theories. The foundational construction is the ind-completion of the bounded derived category of coherent sheaves, leading to a cocomplete $\infty$-category equipped with a compatible $t$-structure and admitting a full six-functor formalism. The passage from quasi-coherent to ind-coherent sheaves—often essential in derived and categorical contexts—underlies recent advances in higher representation theory, categorical (and spectral) Langlands duality, and geometric representation theory of infinite-dimensional and singular spaces.

## 1. Definition and Basic Formalism

For a quasi-compact, locally Noetherian derived (DG) scheme or stack $X$ over a field $k$ of characteristic zero, the DG category of ind-coherent sheaves, denoted $\operatorname{IndCoh}(X)$, is defined as the ind-completion of the bounded derived category of coherent sheaves $\operatorname{Coh}(X)$:
\[
\operatorname{IndCoh}(X) := \operatorname{Ind}(\operatorname{Coh}(X))
\]
This cocomplete (presentable, stable) $\infty$-category is generated under filtered colimits by the subcategory $\operatorname{Coh}(X)$. For generalized spaces (e.g., ind-schemes, ind-stacks), one sets $\operatorname{IndCoh}(X) \simeq \varinjlim \operatorname{IndCoh}(X_i)$ where $X = \varinjlim X_i$ is a suitable colimit of geometric objects via closed immersions, as in the ind-geometric framework [2306.03043], [1108.1738].

The canonical $t$-structure on $\operatorname{IndCoh}(X)$ is the unique one characterized by:
- $t$-exactness of the inclusion $\operatorname{Coh}(X) \hookrightarrow \operatorname{IndCoh}(X)$,
- Colimit preservation of truncation functors,
- For stacks: left (anti)completion of the $t$-structure on $\operatorname{QCoh}(X)$ in the sense of Lurie ([2306.03043]).

A continuous, $t$-exact comparison functor
\[
\Psi_X: \operatorname{IndCoh}(X) \to \operatorname{QCoh}(X)
\]
identifies coherent objects and induces an equivalence on bounded-below subcategories in reasonable situations. $\operatorname{QCoh}(X)$ is (under mild hypotheses) the left completion of $\operatorname{IndCoh}(X)$ for the $t$-structure [1105.4857].

## 2. Functoriality and Six-Functor Formalism

The category $\operatorname{IndCoh}$ admits the full formalism of Grothendieck's six operations, suitably extended to derived and infinite-type contexts [2504.21483], [2306.03043], [1108.1738]:
- *-Pullback $f^*$ exists for morphisms of finite Tor-dimension,
- !-Pullback $f^!$ is defined for ind-(quasi-)proper morphisms and is right adjoint to $f_*^{\operatorname{IndCoh}}$,
- External tensor product, internal Hom, proper and smooth base-change isomorphisms, and projection formulas all hold in the expected forms.

These functors satisfy compatibilities under colimits, admit base-change, intertwine with the $\operatorname{QCoh}$-theoretic operations via $\Psi_X$, and extend via Kan extension to ind-geometric and stacky settings [2306.03043].

The formalism enables the construction of symmetric monoidal structures and convolution products, especially critical for the representation theory of categories such as the coherent Satake and double affine Hecke categories on infinite-type (ind)-stacks [2306.03043].

## 3. Relations to Quasi-Coherent Sheaves and Duality

While $\operatorname{IndCoh}(X)$ and $\operatorname{QCoh}(X)$ share the same compact objects when $X$ is smooth (perfect complexes), their behavior diverges sharply on singular, derived, or infinite-type spaces:
- For smooth, proper $X$, $\operatorname{IndCoh}(X)\simeq\operatorname{QCoh}(X)$.
- On singular or non-coconnective $X$, $\operatorname{QCoh}$ is (the left) $t$-completion of $\operatorname{IndCoh}$, and the canonical functor $\Psi_X$ is an equivalence only on bounded-below objects [1105.4857], [1108.1738].
- For formally smooth DG indschemes or ind-geometric stacks, $\Psi_X$ can be an equivalence globally [1108.1738].

Ind-coherent sheaves support canonical self-duality: there is a symmetric monoidal equivalence (Serre duality)
\[
\operatorname{IndCoh}(X)^{\vee} \simeq \operatorname{IndCoh}(X)
\]
with the dualizing object being $\omega_X := (p_X)^!(k)$, supporting the correct functorial adjunctions and duality statements required for categorical representation theory [1105.4857], [2306.03043].

## 4. Singular Support, Hochschild Cohomology, and Operator Actions

For a quasi-smooth (i.e., $[-1,1]$-Tor amplitude cotangent complex) derived scheme $X$, $\operatorname{IndCoh}(X)$ admits a singular-support theory—extending the classical Kashiwara-Schapira microlocal theory and Arinkin-Gaitsgory's singular support "crystal" [2410.10692]. Objects can be stratified according to their singular support inside the derived space
\[
\mathrm{Sing}(X) := \operatorname{Spec}_X \operatorname{Sym}_X(\mathbb{T}_X[1])
\]
with
\[
\operatorname{IndCoh}_N(X) \subset \operatorname{IndCoh}(X)
\]
for closed conical subsets $N \subset \mathrm{Sing}(X)$.

A key categorical interaction is the action of the category of sheared $D$-modules $D(\mathrm{Sing}(X))^{\Rightarrow}$ (D-modules on the shifted cotangent bundle with twisted grading) on $\operatorname{IndCoh}(X)$. This action commutes (up to coherent homotopy) with that of the Hochschild cochain algebra $H(X)$, leading to a Morita equivalence
\[
\operatorname{IndCoh}(X) \in (D(\mathrm{Sing}(X))^{\Rightarrow}, H(X))\text{-bimod}
\]
and an equivalence of module categories:
\[
H(X)\text{-mod} \simeq D(\mathrm{Sing}(X))^{\Rightarrow}\text{-mod}
\]
This structure underpins local and global duality phenomena, including extension to quasi-smooth Artin stacks via descent and sheafification on the smooth site [2410.10692].

## 5. Ind-Coherent Sheaves for (Ind)-Stacks and Stacks with Group Actions

For stacks, and especially in the context of moduli, loop groups, and equivariant infinite-dimensional quotients, the ind-coherent formalism is essential:
- On Artin (or more generally geometric) stacks, $\operatorname{IndCoh}(X)$ is defined as the ind-completion of coherent sheaves, with descent under fpqc covers and compatibilities with the stack structure.
- For ind-geometric stacks—colimits of geometric stacks under closed inclusion—the cocomplete $\operatorname{IndCoh}$ category is constructed as the filtered colimit $\colim \operatorname{IndCoh}(X_i)$ with all compatibilities preserved [2306.03043].
- For quotient stacks $[X/G]$ arising from a group action, $\operatorname{IndCoh}([X/G])$ is identified with the $G$-invariants in $\operatorname{IndCoh}(X)$, typically via a comodule structure and categorical Pontryagin duality [2504.21483].

Functoriality encompasses pushforward, pullback, and induction/restriction along stacky correspondences, including compatibilities with the corresponding constructible categories.

## 6. Coherent-Constructible Correspondence and Equivariant Mirror Symmetry

The coherent–constructible correspondence (CCC) is a striking manifestation of the flexibility of $\operatorname{IndCoh}$, equating categories of ind-coherent sheaves on (possibly stacky or base-fibered) toric varieties (or stacks) to categories of constructible sheaves with prescribed singular support (FLTZ skeleton) on real tori or their covers:
\[
\Phi_{\Sigma, \beta}: \operatorname{IndCoh}([X_\Sigma / D(L)]) \xrightarrow{\sim} Sh_{\Lambda_\beta}(T_\beta)
\]
The correspondence is symmetric monoidal, functorial under toric morphisms and inclusions, and has explicit kernel-theoretic descriptions in terms of tensor and convolution products on both sides [2504.21483], [2304.00832].

Variations for principal toric fibrations over a base $S$ generalize the correspondence to families, with the global ind-coherent category equivalent to the global sections of a Kashiwara–Schapira stack twisted by a local system of categories with stalk $\operatorname{IndCoh}(S)$ [2304.00832].

## 7. Applications and Structural Significance

$\operatorname{IndCoh}$ is central in geometric representation theory, the categorical geometric Langlands correspondence, and the study of categories on singular/derived/infinite-type moduli spaces:
- The spectral side of categorical Langlands requires $\operatorname{IndCoh}(\mathrm{LocSys})$ to handle non-left-completeness and to accommodate objects with unbounded cohomology ("spectral Eisenstein series"), with duality and parabolic induction functors constructed via $\operatorname{IndCoh}$ [1105.4857].
- Convolution categories such as the coherent Satake and double affine Hecke categories are realized as monoidal subcategories of ind-coherent sheaves on ind-(geo)metric stacks, benefiting from the stabilization, dualizability, and descent properties of $\operatorname{IndCoh}$ [2306.03043].
- Singular support theory, microlocal and Hochschild structures, and functorial correspondences—both in algebraic and analytic contexts—critically leverage the properties of ind-coherent sheaves [2410.10692].

The development of $\operatorname{IndCoh}$ unifies and extends tools from coherent and constructible sheaf theory, providing a robust framework for derived and categorical representation theory across algebraic geometry, topology, and mathematical physics.

Source: https://www.emergentmind.com/topics/ind-coherent-sheaves