In mathematics, particularly in algebraic topology, a taut pair is a topological pair whose direct limit of cohomology module of open neighborhood of that pair which is directed downward by inclusion is isomorphic to the cohomology module of original pair.

Definition

For a topological pair ${\displaystyle (A,B)}$ in a topological space ${\displaystyle X}$, a neighborhood ${\displaystyle (U,V)}$ of such a pair is defined to be a pair such that ${\displaystyle U}$ and ${\displaystyle V}$ are neighborhoods of ${\displaystyle A}$ and ${\displaystyle B}$ respectively.

If we collect all neighborhoods of ${\displaystyle (A,B)}$, then we can form a directed set which is directed downward by inclusion. Hence its cohomology module ${\displaystyle H^{q}(U,V;G)}$ is a direct system where ${\displaystyle G}$ is a module over a ring with unity. If we denote its direct limit by

${\displaystyle {\bar {H}}^{q}(A,B;G)=\varinjlim H^{q}(U,V;G)}$

the restriction maps ${\displaystyle H^{q}(U,V;G)\to H^{q}(A,B;G)}$ define a natural homomorphism ${\displaystyle i:{\bar {H}}^{q}(A,B;G)\to H^{q}(A,B;G)}$.

The pair ${\displaystyle (A,B)}$ is said to be tautly embedded in ${\displaystyle X}$ (or a taut pair in ${\displaystyle X}$) if ${\displaystyle i}$ is an isomorphism for all ${\displaystyle q}$ and ${\displaystyle G}$. ^[1]

Basic properties

• For pair ${\displaystyle (A,B)}$ of ${\displaystyle X}$, if two of the three pairs ${\displaystyle (B,\emptyset ),(A,\emptyset )}$, and ${\displaystyle (A,B)}$ are taut in ${\displaystyle X}$, so is the third.
• For pair ${\displaystyle (A,B)}$ of ${\displaystyle X}$, if ${\displaystyle A,B}$ and ${\displaystyle X}$ have compact triangulation, then ${\displaystyle (A,B)}$ in ${\displaystyle X}$ is taut.
• If ${\displaystyle U}$ varies over the neighborhoods of ${\displaystyle A}$, there is an isomorphism ${\displaystyle \varinjlim {\bar {H}}^{q}(U;G)\simeq {\bar {H}}^{q}(A;G)}$.
• If ${\displaystyle (A,B)}$ and ${\displaystyle (A',B')}$ are closed pairs in a normal space ${\displaystyle X}$, there is an exact relative Mayer-Vietoris sequence for any coefficient module ${\displaystyle G}$ ^[2]

${\displaystyle \cdots \to {\bar {H}}^{q}(A\cup A',B\cup B')\to {\bar {H}}^{q}(A,B)\oplus {\bar {H}}^{q}(A',B')\to {\bar {H}}^{q}(A\cap A',B\cap B')\to \cdots }$

Properties related to cohomology theory

• Let ${\displaystyle A}$ be any subspace of a topological space ${\displaystyle X}$ which is a neighborhood retract of ${\displaystyle X}$. Then ${\displaystyle A}$ is a taut subspace of ${\displaystyle X}$ with respect to Alexander-Spanier cohomology.
• every retract of an arbitrary topological space is a taut subspace of ${\displaystyle X}$ with respect to Alexander-Spanier cohomology.
• A closed subspace of a paracompactt Hausdorff space is a taut subspace of relative to the Alexander cohomology theory ^[3]

Note

Since the Čech cohomology and the Alexander-Spanier cohomology are naturally isomorphic on the category of all topological pairs, ^[4] all of the above properties are valid for Čech cohomology. However, it's not true for singular cohomology (see Example)

Dependence of cohomology theory

Example ^[5]

Let ${\displaystyle X}$ be the subspace of ${\displaystyle \mathbb {R} ^{2}\subset S^{2}}$ which is the union of four sets

${\displaystyle A_{1}=\{(x,y)\mid x=0,-2\leq y\leq 1\}}$

${\displaystyle A_{2}=\{(x,y)\mid 0\leq x\leq 1,y=-2\}}$

${\displaystyle A_{3}=\{(x,y)\mid x=1,-2\leq y\leq 0\}}$

${\displaystyle A_{4}=\{(x,y)\mid 0<x\leq 1,y=\sin 2\pi /x\}}$

The first singular cohomology of ${\displaystyle X}$ is ${\displaystyle H^{1}(X;Z)=0}$ and using the Alexander duality theorem on ${\displaystyle S^{2}-X}$, ${\displaystyle \varinjlim \{H^{q}(U;\mathbb {Z} )\}=\mathbb {Z} }$ as ${\displaystyle U}$ varies over neighborhoods of ${\displaystyle X}$.

Therefore, ${\displaystyle \varinjlim \{H^{q}(U;\mathbb {Z} )\}\to H^{1}(X;\mathbb {Z} )}$ is not a monomorphism so that ${\displaystyle X}$ is not a taut subspace of ${\displaystyle \mathbb {R} ^{2}}$ with respect to singular cohomology. However, since ${\displaystyle X}$ is closed in ${\displaystyle \mathbb {R} ^{2}}$, it's taut subspace with respect to Alexander cohomology. ^[6]

See also

• Alexander-Spanier cohomology
• Čech cohomology

References