Intersection Cohomology

Intersection Cohomology: Unlocking the Topology of Singular Spaces

intersection cohomology is a fascinating and powerful tool in modern mathematics,

particularly in the fields of algebraic geometry, topology, and representation theory. It

extends the classical notion of cohomology to spaces that are not smooth, allowing

mathematicians to analyze and understand singular spaces in a way that preserves many

of the desirable properties of cohomology on smooth manifolds. If you’ve ever wondered

how mathematicians deal with the complexity of spaces that have “holes,” singularities,

or other irregularities, intersection cohomology offers an elegant framework to tackle

these challenges.

What Is Intersection Cohomology?

At its heart, intersection cohomology is a refinement of the standard cohomology theory.

Classical cohomology works beautifully on smooth manifolds, capturing global geometric

and topological information. However, when spaces have singularities—points where the

space fails to be well-behaved or smooth—standard cohomology can give misleading or

incomplete information. For example, it might fail to satisfy Poincaré duality, a

fundamental symmetry in topology.

Intersection cohomology was introduced by Mark Goresky and Robert MacPherson in the

late 1970s to resolve these issues. It cleverly modifies how chains and cycles are counted

near singularities, which allows it to restore many of the duality properties lost in ordinary

cohomology. This makes it an indispensable tool when working with complex algebraic

varieties, stratified spaces, and other singular geometric objects.

Why Do We Need Intersection Cohomology?

Imagine you have a shape with a sharp point or a cusp—something that isn’t smooth

everywhere. Standard cohomology might treat this space “as if” it were smooth, glossing

over the singular behavior and potentially giving results that don’t reflect the true

topology. Intersection cohomology, on the other hand, respects the stratification of the

space—meaning it pays attention to how the space breaks down into smooth pieces glued

together along singular sets.

This distinction is crucial in many areas of mathematics, including:

Understanding the topology of algebraic varieties with singular points.

Studying the representation theory of Lie groups through geometric methods.

Analyzing perverse sheaves and their applications in category theory and Hodge

theory.

By incorporating intersection cohomology, mathematicians gain access to invariants that

behave well under duality and other important operations, even in the presence of

singularities.

How Intersection Cohomology Works: A Closer Look

Intersection cohomology is built on the idea of “allowable chains” or “perversities,”

technical terms that describe how chains are allowed to intersect strata of the singular

space. The notion of perversity controls how much a chain can “approach” the singular

set, balancing between too restrictive and too permissive.

Perversities and Their Role

A perversity is essentially a function that assigns an integer to each codimension of the

strata in the singular space. It dictates the allowable dimensions in which cycles can

intersect these strata. Two classical perversities often considered are the lower and upper

middle perversities, which correspond to minimal and maximal allowable intersections,

respectively.

The choice of perversity affects the resulting intersection cohomology groups, and

different perversities can reveal different aspects of the space’s topology. This flexibility is

part of what makes intersection cohomology so versatile.

Stratified Spaces and Chains

To define intersection cohomology, one first stratifies the singular space into smooth

pieces—called strata—arranged by dimension. Then, chains are considered with respect

to these strata, and only those that meet the conditions imposed by the chosen perversity

are included in the homology computations.

This approach avoids pathological behavior near singularities and ensures that the

resulting intersection cohomology groups retain many of the good properties of classical

cohomology, such as satisfying Poincaré duality in a generalized form.

Applications of Intersection Cohomology

The impact of intersection cohomology extends far beyond pure topology. It has become a

cornerstone in several branches of mathematics and even theoretical physics.

Algebraic Geometry and Singular Varieties

Algebraic varieties often come equipped with singularities, especially when defined by

polynomial equations with degenerate solutions. Intersection cohomology provides a way

to assign meaningful topological invariants to these varieties, preserving duality and

allowing for comparison with smooth cases.

For instance, the study of the intersection cohomology of Schubert varieties—special

subvarieties of flag manifolds—has deep connections to representation theory and

combinatorics.

Representation Theory and Perverse Sheaves

In representation theory, intersection cohomology appears naturally when working with

perverse sheaves. These sheaves encode deep information about the representations of

algebraic groups and Lie algebras. The decomposition theorem, a landmark result in this

area, relies on intersection cohomology to describe how complex algebraic maps

decompose into simpler pieces.

Topological Invariants in Physics

In certain areas of theoretical physics, especially string theory and the study of moduli

spaces, intersection cohomology plays a role in understanding spaces with singularities

that arise naturally in physical models. It helps in defining invariants that remain well-

defined even when the underlying geometry is complicated or singular.

Key Properties and Theorems

Intersection cohomology retains several important properties that make it particularly

useful:

**Poincaré Duality:** Unlike ordinary cohomology on singular spaces, intersection

cohomology satisfies a generalized version of Poincaré duality.

**Topological Invariance:** Intersection cohomology groups are invariant under

homeomorphisms respecting stratifications.

**Decomposition Theorem:** This theorem states that the direct image of an

intersection cohomology complex under a proper map decomposes into a direct

sum of intersection cohomology complexes, a powerful tool in algebraic geometry.

Computational Techniques

Computing intersection cohomology can be challenging, but various techniques and tools

have been developed:

**Sheaf-Theoretic Methods:** Using complexes of sheaves, especially perverse

sheaves, to encode intersection cohomology.

**Morse Theory and Stratified Morse Theory:** Analyzing how functions behave on

stratified spaces to glean information about intersection cohomology.

**Spectral Sequences:** Tools that help break down complex computations into

manageable steps.

Many modern algebraic geometry software packages incorporate algorithms to compute

intersection cohomology of certain classes of spaces.

Tips for Studying Intersection Cohomology

If you’re diving into the world of intersection cohomology, here are a few suggestions to

make the journey smoother:

**Build a strong foundation in algebraic topology and homological algebra.**

1.

Understanding classical cohomology, chain complexes, and sheaf theory is

essential.

**Study stratified spaces carefully.** Many of the concepts hinge on grasping how

2.

singular spaces decompose into strata.

**Explore examples first.** Look at simple singular spaces like cones, nodal curves,

3.

or quotient spaces to see how intersection cohomology behaves.

**Engage with perverse sheaves.** Even though they can be abstract, perverse

4.

sheaves provide a powerful language for understanding intersection cohomology.

**Consult foundational texts and research papers.** The original works by Goresky

5.

and MacPherson are challenging but rewarding.

Exploring lecture notes, online courses, and seminars can also provide valuable insights

and context.

Intersection Cohomology in Modern Research

The development of intersection cohomology has been transformative for contemporary

mathematics. It continues to inspire new research directions, such as:

The study of Hodge theory on singular spaces.

Advances in motivic cohomology and derived algebraic geometry.

Applications in arithmetic geometry and number theory.

As mathematical understanding deepens, intersection cohomology remains a vibrant area

of study, bridging gaps between abstract theory and concrete geometric intuition.

Exploring intersection cohomology not only enriches one’s knowledge of topology and

geometry but also opens doors to connections across diverse mathematical landscapes.

Whether you’re intrigued by the challenges of singular spaces or the elegant interplay of

algebraic and topological concepts, intersection cohomology offers a rich and rewarding

field to explore.

Question

Answer

What is intersection

cohomology and why is it

important?

Intersection cohomology is a refinement of ordinary

cohomology designed to extend Poincaré duality to

singular spaces. It provides invariants that capture

topological information of singular varieties, which ordinary

cohomology fails to do effectively.

How does intersection

cohomology differ from

ordinary cohomology?

Unlike ordinary cohomology, which works well for smooth

manifolds, intersection cohomology adapts to singular

spaces by imposing conditions on chains to 'intersect'

strata properly, leading to better-behaved invariants that

respect duality and other geometric properties.

What are some

applications of intersection

cohomology in

mathematics?

Intersection cohomology is used extensively in algebraic

geometry, representation theory, and topology,

particularly in the study of singular algebraic varieties, the

proof of the Decomposition Theorem, and the

representation theory of Lie groups and Hecke algebras.

Can intersection

cohomology be computed

algorithmically?

While computing intersection cohomology can be

challenging, advances in computational algebraic

geometry and software like Macaulay2 and SageMath have

enabled algorithmic approaches to compute intersection

cohomology groups in specific cases.

What is the role of

perverse sheaves in

intersection cohomology?

Perverse sheaves provide a sheaf-theoretic framework for

intersection cohomology, allowing for a powerful

categorical approach that facilitates the study of its

properties, including the Decomposition Theorem and the

construction of intersection complexes.

How does the

Decomposition Theorem

relate to intersection

cohomology?

The Decomposition Theorem states that the direct image

of an intersection complex under a proper map

decomposes into a direct sum of shifted intersection

complexes, highlighting the fundamental structure of

intersection cohomology and its stability under proper

morphisms.

Intersection Cohomology: Unraveling the Topology of Singular Spaces

intersection cohomology stands as a pivotal concept in modern algebraic topology and

geometric analysis, offering profound insights into the structure of singular spaces where

traditional cohomological tools fall short. Developed initially by Mark Goresky and Robert

MacPherson in the early 1980s, intersection cohomology revolutionized the way

mathematicians understand spaces with singularities, bridging gaps between topology,

algebraic geometry, and representation theory.

Unlike classical cohomology theories that work seamlessly on smooth manifolds,

intersection cohomology extends the power of cohomological invariants to stratified

spaces or varieties exhibiting singularities. This extension preserves desirable properties

such as Poincaré duality, which otherwise fails in singular contexts. As a result,

intersection cohomology has become indispensable not only in pure mathematics but also

in areas like string theory and complex geometry.

The Genesis and Motivation Behind Intersection Cohomology

Classical cohomology theories, including singular, de Rham, and sheaf cohomology,

provide robust tools for analyzing smooth manifolds. These tools rely heavily on the

manifold's local Euclidean structure to guarantee properties like homotopy invariance and

duality. However, when spaces possess singular points—locations where the space fails to

be locally Euclidean—cohomological approaches encounter significant obstacles.

For example, Poincaré duality, a cornerstone of topological invariants linking homology

and cohomology, breaks down in the presence of singularities. This failure diminishes the

utility of classical invariants in algebraic geometry and representation theory, where

singular varieties commonly arise. To address these challenges, Goresky and MacPherson

introduced intersection cohomology, a novel theory designed to "correct" the deficiencies

by carefully controlling chains and cochains relative to the singular strata.

Defining Intersection Cohomology

Intersection cohomology modifies the chain complex used in homology by imposing

conditions on how chains intersect singular strata within a space. Specifically, it filters

chains according to perversity functions—functions that govern the allowed codimension

of intersections with singular strata. By selecting appropriate perversities, one obtains a

cohomology theory that:

Respects Poincaré duality on singular spaces

1.

Is invariant under stratified homotopy equivalences

2.

Generalizes classical cohomology when the space is smooth

3.

The formalism involves constructing the so-called intersection chain complex \( IC^* \),

whose homology yields the intersection cohomology groups \( IH^*(X) \). This framework

elegantly reconciles the local geometry of singularities with global topological invariants.

Applications and Impact of Intersection Cohomology

The introduction of intersection cohomology has had a transformative effect across

various mathematical disciplines. Its applications range from the study of singular

algebraic varieties to the representation theory of Lie groups, highlighting its versatility.

Algebraic Geometry and Singular Varieties

In algebraic geometry, many varieties naturally exhibit singularities due to the solutions of

polynomial equations. Intersection cohomology provides a refined tool to analyze their

topology, enabling mathematicians to define invariants that capture subtle geometric

information lost by classical cohomology.

Moreover, intersection cohomology plays a key role in the decomposition theorem, which

describes the direct image of intersection complexes under proper maps. This theorem

has profound implications in the study of perverse sheaves and the geometry of moduli

spaces.

Representation Theory and the Kazhdan–Lusztig Conjectures

One of the most celebrated applications of intersection cohomology is its connection to

the representation theory of semisimple Lie algebras. The Kazhdan–Lusztig conjectures,

proven through the use of intersection cohomology, link representation-theoretic

phenomena with the topology of Schubert varieties.

This interplay has enriched both fields, providing combinatorial formulas for character

computations and deepening the understanding of singularities in flag varieties.

Technical Features and Computational Aspects

Intersection cohomology introduces several nuanced features that distinguish it from

classical cohomology:

Perversity Parameters: These parameters dictate which chains are allowable,

1.

balancing between over- and under-counting intersections with singular strata.

Stratification Dependence: The theory depends on a chosen stratification of the

2.

space, typically a decomposition into smooth manifolds called strata, arranged by

dimension and closure relations.

Self-Duality: Intersection cohomology complexes possess a self-duality property,

3.

enabling a generalized Poincaré duality reflective of the space’s singularities.

From a computational perspective, intersection cohomology can be challenging due to the

complexity of stratifications and perversity conditions. However, advances in sheaf-

theoretic methods and derived category techniques have facilitated algorithmic

approaches and software implementations, aiding researchers in explicit calculations.

Comparisons with Other Cohomology Theories

While intersection cohomology generalizes classical cohomology, it is instructive to

contrast it with related theories:

Ordinary Cohomology: Works well on smooth manifolds but fails to maintain duality

1.

on singular spaces.

Deligne’s Mixed Hodge Theory: Focuses on the Hodge structure of complex

2.

varieties, complementing intersection cohomology by providing refined filtrations.

Perverse Sheaves: Categorify intersection cohomology, offering a sheaf-theoretic

3.

perspective with broader categorical frameworks.

Such comparisons underscore the richness of the topological toolkit available for singular

spaces and highlight intersection cohomology’s unique position.

Challenges and Open Problems

Despite its successes, intersection cohomology remains an active area of research with

unresolved questions. Challenges include:

Extension to Non-Stratified Spaces: Developing analogues of intersection

1.

cohomology for spaces lacking nice stratifications.

Computational Complexity: Streamlining algorithms for effective calculation on

2.

high-dimensional or complicated singular varieties.

Interactions with Physics: Fully elucidating the role of intersection cohomology in

3.

string theory and quantum field theories, where singular spaces frequently arise.

Addressing these issues requires a blend of topological ingenuity, computational

innovation, and interdisciplinary collaboration.

Intersection cohomology continues to enrich the mathematical landscape by offering a

refined lens to explore the topology of spaces where singularities complicate classical

approaches. Its theoretical depth and practical utility ensure it remains a vibrant subject

at the crossroads of geometry, topology, and algebra.

perverse sheaves, stratified spaces, singular varieties, sheaf theory, derived categories,

Deligne sheaves, topological invariants, Hodge theory, intersection homology, algebraic

geometry