Heisenberg-Fock Isomorphism: Bridging Algebra & Geometry

• Heisenberg-Fock isomorphism is a canonical identification that equates the bosonic Fock space, realized through symmetric functions, with geometric invariants such as Hilbert scheme cohomology.
• It utilizes algebraic creation and annihilation operators alongside geometric Nakajima correspondences to match Heisenberg algebra actions in both frameworks.
• The framework extends to categorification and noncommutative settings, connecting orbifold cohomology, dg-categories, and W-algebras in contemporary mathematical physics.

The Heisenberg-Fock isomorphism constitutes the canonical identification between the bosonic Fock space, generally realized algebraically as the ring of symmetric functions (or its analogs for graded vector spaces), and the geometric or topological invariants—most notably the (equivariant) cohomology of Hilbert schemes of points on a smooth surface. This correspondence, derived through the works of Grojnowski, Nakajima, and their successors, underpins deep relationships among algebraic geometry, representation theory, mathematical physics, and the theory of integrable systems. The construction further admits a categorification and noncommutative lift through the framework of categorical Heisenberg actions, and generalizations to geometric settings involving blow-ups, perverse sheaves, and higher structures such as $W$-algebras have since emerged.

1. Algebraic and Geometric Models of Fock Space

The algebraic Fock space $\Lambda$ is explicitly the graded vector space $\mathbb{C}[p_1, p_2, \ldots]$ endowed with the Hall (Macdonald) inner product. The canonical basis elements $p_\lambda = \prod_i p_{\lambda_i}$, indexed by integer partitions $\lambda$, are orthogonal under this pairing. The Heisenberg algebra acts on $\Lambda$ via creation and annihilation operators $a_{-k} = p_k$ and $a_k = k \partial_{p_k}$, satisfying $[a_m, a_n] = m \delta_{m + n, 0}$.

Geometrically, for $X = \mathbb{C}^2$ and the torus $\Lambda$0 acting via coordinate dilation, the direct sum $\Lambda$1 forms the "geometric Fock space." Operators $\Lambda$2 and $\Lambda$3 are realized by Nakajima's correspondences $\Lambda$4, with $\Lambda$5 adding $\Lambda$6 points and $\Lambda$7 removing $\Lambda$8 points geometrically. The vacuum is the class $\Lambda$9.

The Heisenberg-Fock isomorphism $\mathbb{C}[p_1, p_2, \ldots]$0 is the unique isomorphism of graded vector spaces such that $\mathbb{C}[p_1, p_2, \ldots]$1 and $\mathbb{C}[p_1, p_2, \ldots]$2, for all $\mathbb{C}[p_1, p_2, \ldots]$3 and $\mathbb{C}[p_1, p_2, \ldots]$4. Under this isomorphism, all algebraic and geometric structures—including Heisenberg commutation relations and inner products—are matched after an appropriate normalization of equivariant parameters $\mathbb{C}[p_1, p_2, \ldots]$5.

2. Heisenberg Algebra Actions and the Grojnowski–Nakajima Correspondence

Given a smooth projective surface $\mathbb{C}[p_1, p_2, \ldots]$6 over $\mathbb{C}[p_1, p_2, \ldots]$7, set $\mathbb{C}[p_1, p_2, \ldots]$8 with the pairing $\mathbb{C}[p_1, p_2, \ldots]$9. For each $p_\lambda = \prod_i p_{\lambda_i}$0 and integer $p_\lambda = \prod_i p_{\lambda_i}$1, creation and annihilation operators $p_\lambda = \prod_i p_{\lambda_i}$2 satisfy $p_\lambda = \prod_i p_{\lambda_i}$3; the vacuum is the unit in $p_\lambda = \prod_i p_{\lambda_i}$4. These operators correspond to natural incidence correspondences on $p_\lambda = \prod_i p_{\lambda_i}$5, adding or removing $p_\lambda = \prod_i p_{\lambda_i}$6 points in the class $p_\lambda = \prod_i p_{\lambda_i}$7.

Grojnowski and Nakajima demonstrated that $p_\lambda = \prod_i p_{\lambda_i}$8 thereby becomes an irreducible representation of the Heisenberg algebra $p_\lambda = \prod_i p_{\lambda_i}$9: the geometric Fock space is identified as $\lambda$0. The entire structure generalizes to orbifold cohomology for symmetric products and, through Hochschild homology, to noncommutative symmetric powers of dg-categories $\lambda$1.

3. The Categorical E-Algebra: Boson–Fermion Bridge in Blow-Up Geometries

In the context of blow-ups, the Heisenberg-Fock isomorphism is refined. Consider a smooth projective surface $\lambda$2, its blow-up $\lambda$3 at a point, and the moduli $\lambda$4 of rank-one $\lambda$5-stable perverse coherent sheaves with Chern character $\lambda$6. The cohomology decomposes canonically: $\lambda$7 where $\lambda$8 is the fermionic Fock space (an exterior algebra). In the stable limit $\lambda$9, one retrieves: $\Lambda$0 with $\Lambda$1 the bosonic Fock space (a symmetric algebra).

A four-generator $\Lambda$2-algebra $\Lambda$3 acts on these cohomologies: $\Lambda$4, with relations

$\Lambda$5

The Clifford algebra (for fermionic decompositions) and, in the stable limit, the infinite Heisenberg algebra (for bosonic decompositions) arise functorially from geometric correspondences defined via derived Grassmannians and incidence varieties. The $\Lambda$6-module structure bridges bosonic and fermionic realizations, justifying the view of $\Lambda$7 as a "categorical Boson–Fermion bridge" $\Lambda$8.

4. Cohomological and Operator Realizations

The operator content is as follows. In the fermionic model, creation and annihilation operators $\Lambda$9, $a_{-k} = p_k$0 act on the graded super-vector space $a_{-k} = p_k$1 by wedge and contraction, generating the infinite Clifford algebra: $a_{-k} = p_k$2 In the bosonic model, acting on $a_{-k} = p_k$3, creation and annihilation are given by multiplication and differentiation: $a_{-k} = p_k$4 The generating field $a_{-k} = p_k$5 satisfies $a_{-k} = p_k$6.

In the geometric construction, these operators correspond to explicit correspondences—such as the Hecke (Nakajima) correspondence $a_{-k} = p_k$7 for $a_{-k} = p_k$8, and its transposed for $a_{-k} = p_k$9—inserting or removing points on Hilbert schemes. Higher-order operators, such as the cubic cut-and-join $a_k = k \partial_{p_k}$0, are realized geometrically as triple correspondences parameterizing incidence relations between ideals $a_k = k \partial_{p_k}$1.

5. Boson–Fermion Correspondence and Vertex Operators

The interplay between the bosonic and fermionic realizations is encoded through the boson–fermion correspondence at the level of vertex operators: $a_k = k \partial_{p_k}$2

$a_k = k \partial_{p_k}$3

with $a_k = k \partial_{p_k}$4 intertwining the fermionic and bosonic pictures. A plausible implication is that the geometric correspondence construction not only recovers these operator-theoretic correspondences functorially, but also illuminates their categorical origins via the $a_k = k \partial_{p_k}$5-action in the blow-up context $a_k = k \partial_{p_k}$6.

6. Generalizations, Categorification, and Noncommutative Extensions

The Heisenberg-Fock isomorphism admits substantial generalization:

• For orbifold symmetric products $a_k = k \partial_{p_k}$7, Chen–Ruan orbifold cohomology is decomposed analogously, with Baranovsky's result realizing the degree-$a_k = k \partial_{p_k}$8 piece as summands in $a_k = k \partial_{p_k}$9.
• In noncommutative geometry, replacing $[a_m, a_n] = m \delta_{m + n, 0}$0 by a dg-category $[a_m, a_n] = m \delta_{m + n, 0}$1, one constructs the Heisenberg 2-category $[a_m, a_n] = m \delta_{m + n, 0}$2 and realizes the Fock-space picture upon decategorifying via Hochschild homology. The classical Heisenberg action is recovered for $[a_m, a_n] = m \delta_{m + n, 0}$3 $[a_m, a_n] = m \delta_{m + n, 0}$4.
• The isomorphism is foundational for the geometric realization of $[a_m, a_n] = m \delta_{m + n, 0}$5-algebra operators. For example, ladder operators and cubic $[a_m, a_n] = m \delta_{m + n, 0}$6-generators in integrable hierarchies are mapped to explicit geometric correspondences on Hilbert schemes, supporting computations in the context of $[a_m, a_n] = m \delta_{m + n, 0}$7-deformations and their field-theoretic implications $[a_m, a_n] = m \delta_{m + n, 0}$8.

7. Significance for Representation Theory and Geometry

The Heisenberg-Fock isomorphism provides a conceptual and technical bridge between infinite-dimensional representation theory, algebraic geometry, and mathematical physics. The identification of operator algebras with geometrically defined correspondences on Hilbert schemes enables explicit computations of enumerative invariants, the study of moduli of sheaves, and the construction of higher algebraic structures such as $[a_m, a_n] = m \delta_{m + n, 0}$9-algebras and their modules. Within the context of blow-ups and perverse sheaf moduli, the categorical $X = \mathbb{C}^2$0-action realizes the super-Fock space structure, illuminating the boson–fermion correspondence in a geometric framework $X = \mathbb{C}^2$1. The generalization to orbifolds and dg-categories further enhances the scope of the isomorphism, making it a central tool in modern intersections of algebraic geometry and mathematical physics.