**Intelligent Control and Automation**

Vol.10 No.01(2019), Article ID:90829,33 pages

10.4236/ica.2019.101002

Tensor-Centric Warfare V: Topology of Systems Confrontation

Vladimir Ivancevic^{1}, Peyam Pourbeik^{2}, Darryn Reid^{1}^{ }

^{1}Joint and Operations Analysis Division, Defence Science & Technology Group, Canberra, Australia

^{2}Cyber and Electronic Warfare Division, Defence Science & Technology Group, Canberra, Australia

Copyright © 2019 by author(s) and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: January 22, 2019; Accepted: February 25, 2019; Published: February 28, 2019

ABSTRACT

In this paper, as a new contribution to the tensor-centric warfare (TCW) series [1] [2] [3] [4], we extend the kinetic TCW-framework to include non-kinetic effects, by addressing a general systems confrontation [5], which is waged not only in the traditional physical Air-Land-Sea domains, but also simultaneously across multiple non-physical domains, including cyberspace and social networks. Upon this basis, this paper attempts to address a more general analytical scenario using rigorous topological methods to introduce a two-level topological representation of modern armed conflict; in doing so, it extends from the traditional red-blue model of conflict to a red-blue-green model, where green represents various neutral elements as active factions; indeed, green can effectively decide the outcomes from red-blue conflict. System confrontations at various stages of the scenario will be defined by the non-equilibrium phase transitions which are superficially characterized by sudden entropy growth. These will be shown to have the underlying topology changes of the systems-battlespace. The two-level topological analysis of the systems-battlespace is utilized to address the question of topology changes in the combined battlespace. Once an intuitive analysis of the combined battlespace topology is performed, a rigorous topological analysis follows using (co)homological invariants of the combined systems-battlespace manifold.

**Keywords:**

Tensor-Centric Warfare, Systems Confrontation, Systems-Battlespace Topology, Cobordisms and Morse Functions, Morse-Smale Homology, Morse-Witten Cohomology, Hodge-De Rham Theory

1. Introduction

The principal objective of the Modeling Complex Warfighting (MCW) Strategic Research Investment (SRI) is to better enable dealing with uncertainty, meaning achieving reliable decision-making in environments that are non-ergodic. Such systems are incomprehensible, in a sense, through observation of past data, because they lack stability and manifest unique transient states. Phenomena associated with war and battle are inherently non-ergodic, a fact that has been observed at least since the birth of modern military thinking (see, for instance, [6] and references therein^{1}). This paper attempts to approach the MCW problem from the multilayered nature of warfare and look at Blue, Red and Green entities. The aim is to undertake analysis which closely represents the realities of modern warfare. When modeling complex modern combined battlefields it is therefore important to consider neutral forces―which we label “Green”―since they are much more now than in the past even the central feature of the strategic situation. Indeed, in modern asymmetric confrontations neutral or non-engaging groups have been known to side with one side or the other or even to engage actively in conflict, which rapidly changes the dynamics of the situation. Hence, social and psychological domains play an increasingly significant role in understanding the dynamics of modern armed conflict.

The dynamics of the combined effects of these and other factors mean that the statistical properties of such problem environments are non-stationary. As a result, the outcomes of battles are not predictable, since the battle is inherently non-ergodic; yet, it is possible to deal with such systems nonetheless by establishing conditions that are weaker than ergodicity, which have essentially topology-changing nature.

$\omega =d\alpha +\gamma $

The tensor-centric warfare (TCW) series of papers (see [1] [2] [3] [4]) have established a basis for MCW to investigate uncertainty in modern war and battle, using entropic dynamical properties in place of statistical predictions about future outcomes. More specifically, the TCW framework has proposed the following pair of Red-vs-Blue tensorial combat models (formally, the pair of Red-Blue vectorfields; their solution for some initial conditions gives the pair of Red-Blue flows):

$\omega $ (1)

where $\gamma $ and the Red and Blue forces are defined as vectors $d\alpha $ and $\omega $, defined on their respective configuration n-manifolds $\gamma $ (with local coordinates $\left[\omega \right]\in {H}^{p}\left(M\right)$, for ${\int}_{C}}\text{\hspace{0.05em}}\omega ={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}\gamma \text{\hspace{1em}}\iff \text{\hspace{1em}}\langle C\mathrm{,}\omega \rangle =\langle C\mathrm{,}\gamma \rangle \mathrm{,$ ) and $\gamma $ (with local coordinates $\omega $ ). The Red and Blue vectorfields, $\mathrm{.}$ and $\omega $, include the following terms (placed on the right-hand side of Equation (1)):

• Linear Lanchester-type terms, $\gamma $ and $\omega $, with combat tensors $\left[\omega \right]\in {H}^{p}\left(M\right)$ and $\gamma \in {H}_{\Delta}^{p}\left(M\right)$ defined via bipartite and tripartite adjacency matrices, respectively defining Red and Blue aircraft formations (according to the aircraft-combat scenario from [1] [12]);

• Quadratic Lanchester-type terms, ${H}_{\Delta}^{p}\left(M\right)$ and ${H}_{\Delta}^{p}\left(M\right)\cong {H}_{d}^{p}\left(M\right)$, with the 4th-order tensors $\gamma $ and ${M}_{\text{Red}}$ representing strategic, tactical and operational capabilities of the Red and Blue forces (see [1]);

• Entropic Lie-dragging of the opposite side terms, ${M}_{\text{Blue}}$ and $T{M}_{\text{Red}}$, where $T{M}_{\text{Blue}}$ and $n=30$. In case of resistance, the Lie derivatives are positive, $\odot $ and ${f}_{\text{RB}}\mathrm{:}W\to \mathbb{R}$, so that the non-equilibrium battlefield entropy grows, $p\in W$ ; in case of non-resistance, the Lie derivatives vanish, ${f}_{\text{RB}}\left(p\right)=c$ and ${f}_{\text{RB}}^{-1}\left(p\right)=\left\{p\in W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\mathrm{:}{f}_{\text{RB}}\left(p\right)=c\right\}\mathrm{.}$, so that the battlefield entropy is conserved, $\mu \left(W\right)$ (see [2]);

• Entropic Red-Blue commutators, ${C}^{\lambda}$ and ${S}^{2}$, for modeling warfare symmetry (see [2]), in which the entropy grows in the asymmetric case (>0) and stays conserved in the symmetric case (=0);

• Hamilton-Langevin delta strikes, $\mu \left({S}^{2}\right)=2$ and ${S}^{1}\times I$, including (on both sides) discrete striking spectra (slow-fire missiles) and continuous striking spectra (rapid-fire missiles), as well as bidirectional random strikes, Hamiltonian vectorfields, self-dissipation, opponent-caused dissipation and non-delta random forces (see [3] for the full explanation of all included temporally-confined kinetic strike/missile terms).

In the present paper, we extend the above kinetic Red-Blue framework to include non-kinetic effects, by addressing the general systems-confrontation [5], which is waged not only in the traditional physical Air-Land-Sea domains, but also in modern non-physical environments, such as cyberspace, electromagnetic spectrum, psychological and social network domains. This paper attempts to address this complex contemporary warfare situation using rigorous methods and techniques from modern algebraic topology; specifically, by extending the kinetic Red-Blue scenario (Figure 1) into more general and more representative kinetic + non-kinetic Red-Blue-Green scenarios (Figure 2).

Dynamically speaking, the basic Red-Blue pair of vectorfields (1) is extended with the following Green vectorfield:

$\mu \left({S}^{1}\times I\right)=0$ (2)

Figure 1. Sketch of the Red-Blue battlespace cobordism: the combined Red-Blue battlespace ${T}^{2}$ -manifold W has the N-dimensional boundary $\mu \left({T}^{2}\right)=4$ that is defined as the disjoint union of the Red and Blue configuration N-manifolds, ${f}_{\text{RBG}}\mathrm{:}W\to \mathbb{R}$ and $p\in W$, formally given by: ${f}_{\text{RB}}\left(p\right)=c$. The combined battlespace manifold W defines the equivalence class of cobordisms, ${f}_{\text{RBG}}^{-1}\left(p\right)=\left\{p\in W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)\mathrm{:}{f}_{\text{RBG}}\left(p\right)=c\right\}\mathrm{.}$, between the Red and Blue manifolds. See section 2 for technical details.

Figure 2. Sketch of the Red-Blue-Green systems-battlespace cobordism ${W}^{u}\left(x\right)$, addressing a general systems-confrontation scenario, in which the non-kinetic effects are embedded in the Green manifold. The combined battlespace manifold W now defines the equivalence class of cobordisms, $W={\displaystyle \underset{x\in \text{Crit}\left(f\right)}{\cup}}{W}^{u}\left(x\right)\mathrm{.}$, between the Red, Blue and Green manifolds. See Section 2 for technical details.

where $g\in W$ is the Green flow on the Green manifold $\left({f}_{\text{RB}}\mathrm{,}g\right)$ ; ${f}_{\text{RB}}$ and ${x}_{1}$ represent non-kinetic effects in scalar and vector form, respectively, and all the other terms are the same as in Equation (1). Notice that on the right-hand side of Equation (2) al the tensors are the sums of the corresponding Red and Blue tensors. This insures the fact that the Green force includes both Red and Blue forces and the covariance is preserved. Also, the kinetic delta strikes are missing, which gives the highest importance to entropic Lie-dragging ( ${x}_{2}$, with or without resistance) of the Red-and-Blue cyberspace, electromagnetic, psychological and social-network domains (encaptured in the tensors ${W}_{{x}_{1}}^{u}$ and ${W}_{{x}_{2}}^{s}$ ).

${x}_{1}$

Topological motivation for the present paper is inherited from the influence on modern physics by John Wheeler from Princeton^{2}. Although we might have some well-defined and (numerically) solvable local TCW Equations (1)-(2), we lack a picture of the global topology of the systems-battlespace-the environmental configuration manifold in which the combat happens-with its dramatic spacial (eliptic/hyperbolic) changes. In (1) both the Red and Blue vectorfields,
$\left({f}_{\text{RB}}^{\alpha}\mathrm{,}{f}_{\text{RB}}^{\beta}\right)$ and
${\partial}_{t}\varphi \left(x\mathrm{,}t\right)=-\nabla {f}_{\text{RB}t}^{\alpha \beta}\mathrm{,}$, and their corresponding flows,
${f}_{\text{RB}t}^{\alpha \beta}$ and
${f}_{\text{RB}}^{\alpha}$, which consist of the integral lines of the vectorfields
${f}_{\text{RB}}^{\beta}$ and
$\lambda $ obtained by their numerical integration starting from the chosen initial conditions,
$\lambda $ and
${\Delta}_{t}$, respectively-are defined on their respective configuration n-manifolds^{3},
$d$ and
$w$. To give the global picture of the battlefields governed by local Equation (1)-(2) we need to perform the topological analysis of the joint manifold including all three submanifolds:
$dw$,
$d$ and
$d\circ d\equiv {d}^{2}=0$.

Global topological analysis is an extension of local geometric analysis. To utilize the geometric framework most suitable for the present topological analysis^{4}, we will assume that Red and Blue (as well as Green) configuration manifolds,
${\mathbb{R}}^{3}$,
$f=f\left(x,y,z\right)$ and
$df=w$, are endowed with the pseudo-Riemannian geometry, which is both elliptic (positive metric) and hyperbolic (negative metric; see, e.g. [7] [8]), defined by their corresponding quadratic forms,
$w=df=\frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial y}dy+\frac{\partial f}{\partial z}dz\mathrm{;}$,
$a=dw$ and
$w$. These three quadratic forms are not necessarily positive-definite, which would be the necessary condition for the strict Riemannian geometry, but only non-degenerate, which is a weaker condition. Since we are working in the more general pseudo-Riemannian geometry framework, the three quadratic forms,
$a=dw=\left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z}\right)dydz+\left(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}\right)dzdx+\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dxdy\mathrm{;}$,
$w=df\Rightarrow a=ddf=0.$ and
$b=da$, can be either positive or negative, depending on their respective combat tensors,
$a$,
$b=da=\left(\frac{\partial A}{\partial x}+\frac{\partial B}{\partial y}+\frac{\partial C}{\partial z}\right)dxdydz\mathrm{;}\text{\hspace{1em}}\text{if}\text{\hspace{0.17em}}a=dw\Rightarrow b=ddw=0.$ and
$f=f\left(x,y,z\right)$, which have initially been defined as combinations of kink (Tanh) and bell (Sech) functions applied to the bipartite-Red and tripartite-Blue adjacency matrices from the initial scenario^{5} from [1] [12] (as depicted in Figure 1). This gives us the level of generality needed for a reasonable representation of the systems-battlespace, but can be easily generalized further to the system confrontation level by adding non-kinetic terms, mostly present within the combined Green tensor:
$g=g\left(x,y,z\right)$.

$d$

The non-equilibrium phase transitions occurring at the battlefield at various stages of warfare, can be superficially characterized by sudden entropy growth. However, these rapid changes of the systems-battlespace always have underlying structural topology changes (see [13] and the references therein). In this paper, we give a two-level topological analysis of the systems-battlespace. We start visually by giving a largely intuitive analysis of the systems-battlespace topology using Thom’s cobordisms and Morse functions. Then we move into a rigorous topological analysis of the systems-battlespace by deriving its (co)homological invariants, which can be summarized by the famous dictum of John Wheeler: “The boundary of a boundary is zero (BBZ)”. Specifically, we derive the Morse-Smale homology and the Morse-Witten cohomology of the systems-battlespace manifold. All the necessary geometrical and topological background is given in the self-content and comprehensive Appendix, which provides the Hodge-de Rham theory based on the Stokes theorem. Then we perform a rigorous analysis of the systems-battlespace topology with its dramatic spatial changes by deriving its (co)homological invariants^{6}.

2. Components of the Systems-Battlespace Topology: Cobordisms and Morse Functions

In this section we develop the basic differential topology of the systems-battlespace, mainly following the work of the Fields medalist John Milnor [15] [16] [17].

2.1. Systems-Battlespace Cobordisms: Red-Blue versus Red-Blue-Green

To start with the systems-battlespace topology, we introduce an important concept from differential topology (and its gravitational-physics applications): the so-called cobordism^{7}. Briefly, the cobordism relation, denoted
$d\left(g\left(f\right)\right)={g}^{\prime}\left(f\right)df$, between two compact (i.e., closed and bounded) n-manifolds,
$\partial C$ and
$\partial C$, means that their disjoint union
$\partial \left(\partial C\right)=0$ is the boundary
$\partial \circ \partial ={\partial}^{2}=0$ of a compact
$\left\{{x}^{i},i=1,\cdots ,n\right\}$ -manifold W. In other words, cobordism
$TM$ between two compact n-manifolds
${T}^{\ast}M$ and
$\left\{{\partial}_{i}\equiv \partial /\partial {x}^{i}\right\}\in TM$ is the compact
$\left\{d{x}^{i}\right\}\in {T}^{\ast}M$ -manifold W whose boundary
$a\in {\Omega}^{p}\left({\mathbb{R}}^{n}\right)$ is the disjoint union of
$b\in {\Omega}^{q}\left({\mathbb{R}}^{n}\right)$ and
$a\wedge b={\left(-1\right)}^{pq}b\wedge a\in {\Omega}^{p+q}\left({\mathbb{R}}^{4}\right)$. This is an equivalence relation and the equivalence class of cobordisms is denoted by
$a={a}_{i}d{x}^{i}$ ^{8} (for technical details, see e.g. [7] [8] [17] [18]). In our case, the Red-Blue systems-battlespace
$b={b}_{i}d{x}^{i}$ -manifold W has the nD boundary
$a\wedge b$ (see Figure 1), and the equivalence class of systems-battlespace cobordisms given by:

$a$

$a=a\wedge b={a}_{i}{b}_{j}\text{\hspace{0.05em}}d{x}^{i}\wedge d{x}^{j}=-{b}_{j}{a}_{i}\text{\hspace{0.05em}}d{x}^{j}\wedge d{x}^{i}=-b\wedge a\mathrm{.}$

The two-party battlespace cobordism from Figure 1 can be extended into a three-party systems-battlespace manifold
$d={\partial}_{i}d{x}^{i}$, depicted in Figure 2, as follows. We introduce the composition of cobordisms,
$d\left(a\wedge b\right)=da\wedge b+{\left(-1\right)}^{p}a\wedge db\mathrm{.}$, which can be defined in case of a triple manifold,
$C={\displaystyle {\sum}_{i}}\text{\hspace{0.05em}}{c}_{i}{N}_{i}$, so that the glued cobordism,
${N}_{i}$, where
${c}_{i}$ represents the gluing operation, is defined by the following (semigroup-like operation) map^{9}:

$\partial C$

which in our case of an extended three-party systems-battlespace manifold, $\partial C={\displaystyle {\sum}_{i}}{c}_{i}\partial {N}_{i}$, reads:

$\beta $

In the language of abstract algebra, we say that the following diagram commutes:

In plain English, this commutative diagram reads: if we have a cobordism between the Red and Blue manifolds, and a cobordism between the Blue and Green manifolds, then we also have a cobordism between the (initial) Red and (final) Green manifolds. That is, $d={\partial}_{i}d{x}^{i}$ (see Figure 2).

Clearly, this operation can be extended to any number of parties, producing the so-called chain cobordism, between the first and the last manifold; e.g., in case of four parties/manifolds (Red, Blue, Green, Yellow), we have the following commutative chain cobordism:

That is, $d\beta =0$, etc.

2.2. Morse Functions of the Systems-Battlespace: Red-Blue versus Red-Blue-Green

Closely-related to the systems-battlespace cobordisms are the Morse functions of the systems-battlespace. Namely, on the Red-Blue systems-battlespace (Figure 1), which is a pseudo-Riemannian n-manifold:

$\beta $

we can define the real-valued Red-Blue Morse function, $\alpha $ (see [15] [16] [17]), as a sum of the two pseudo-Riemannian quadratic forms:

$\beta =d\alpha $

which can be seen as the Red-Blue landscape. Its gradient vectorfield:

$d\beta =dd\alpha =0$

according to the Morse lemma, defines the Red-Blue level set^{10} of equipotential contour lines (of equal altitude) at the critical points p of
${d}^{2}=0$ where the gradient vanishes:
$\text{curl}F=0$. The finite set
$F=\text{grad}f$ of m critical points of
$\text{div}F=0$ is denoted by Crit(
$F=\text{curl}g$ ).

$\left(A\mathrm{,}B\mathrm{,}C\right)$

In addition, we need to consider only nondegenerate critical points of ${f}_{i}\mathrm{:}{A}_{i}\to {A}_{i+1}$, that is, only those critical points p of the vanishing gradient, $\left({A}_{i}\right)$, which have the nondegenerate Hessian $\text{Im}\left({f}_{i}\right)=\text{Ker}\left({f}_{i+1}\right)$ or, non-singular Hessian matrix:

$\left(G\mathrm{,}\ast \right)$

By definition, the function $\left(H\mathrm{,}\cdot \right)$ is Morse if all critical points are nondegenerate. All nondegenerate critical points in Crit( $\left(G\mathrm{,}\ast \right)$ ) are isolated in the Red-Blue systems-battlespace W.

The index $\left(H\mathrm{,}\cdot \right)$ of each critical point p is the number of negative eigenvalues of the Hessian matrix $h\mathrm{:}G\to H$. In other words, each critical point p of the Red-Blue Morse function $x,y\in G$ has its own index $h\left(x\ast y\right)=h\left(x\right)\cdot h\left(y\right)\mathrm{.}$, which is the number of independent directions around p in which ${e}_{G}$ decreases. Therefore, we have natural indices of ${e}_{H}$ for the minima of $h\left({x}^{-1}\right)=h{\left(x\right)}^{-1}$, $\text{Ker}\left(h\right)$ for the saddles of $h\mathrm{:}G\to H$, and ${e}_{H}$ for the maxima of $\text{Ker}\left(h\right)=\left\{x\in G\mathrm{:}h\left(x\right)={e}_{H}\right\}$.

Topology change of the Red-Blue systems-battlespace
$\text{Im}\left(h\right)$ happens as an abrupt change of the shape of the level sets of the Morse function
$h\mathrm{:}G\to H$ whenever it passes through the critical values
$\text{Im}\left(h\right)=\left\{h\left(x\right)\mathrm{:}x\in G\right\}$ where
${\Omega}^{p}$, otherwise the topology of W does not change. The mechanism of topology change is attaching a
${Z}^{p}\left(M\right)=\text{Ker}{d}_{p}$ -cell (the so-called “handlebody”) to
${B}^{p}\left(M\right)=\text{Im}{d}_{p-1}$, completely determined by the index
${d}_{p-1}\circ {d}_{p}={d}^{2}=0\text{\hspace{1em}}\Rightarrow \text{\hspace{1em}}\text{Im}\left({d}_{p-1}\right)={B}^{p}\left(M\right)\subset {Z}^{p}\left(M\right)=\text{Ker}\left({d}_{p}\right)\mathrm{.}$, at the critical points p of
${B}^{p}$. Therefore, the index
${Z}^{p}$ determines the topology changes of the Red-Blue systems-battlespace W (from Figure 1)^{11}.

According to the Morse-cobordism theorem (see [15] [16] [17]), the Red-Blue Morse function
${\Omega}^{p}\left(M\right)$ has a finite number of critical points
${H}^{p}\left(M\right)\mathrm{=}{Z}^{p}\left(M\right)/{B}^{p}\left(M\right)$ of index
${H}_{n}^{\partial}\times {H}_{d}^{n}\to \mathbb{R}$, and every cobordism
$\left(\left[C\right]\mathrm{,}\left[\omega \right]\right)\to \langle C\mathrm{,}\omega \rangle $ has its Morse function, characterized by the Morse number of a cobordism^{12},
$C\in {Z}_{n}^{\partial}$.

The fundamental topological invariant of the Red-Blue systems-battlespace $\omega \in {Z}_{d}^{n}$ is its Euler characteristic, ${H}_{n}^{\partial}$, defined as the alternating sum of the critical points ${H}_{d}^{n}$ :

${b}_{n}={b}^{n}$

$d\left(\text{i}\partial \stackrel{\xaf}{\partial}\right)=\text{i}\left(\partial +\stackrel{\xaf}{\partial}\right)\partial \stackrel{\xaf}{\partial}=\text{i}\left({\partial}^{2}\stackrel{\xaf}{\partial}-\partial {\stackrel{\xaf}{\partial}}^{2}\right)=0.$

which is equivalent to the alternating sum of the Betti numbers^{13}
$d\star F=-\star J$ of the systems-battlespace W:

$\text{div}E=4\pi \rho $

Based on the sign of the quadratic forms
${\partial}_{t}E-\text{curl}B=-4\pi j$ and
$g={g}_{ij}$, we can distinguish the following four principal cases of the Red-Blue landscape topology, or four critical points, of the Morse function
${\nabla}^{2}f=\frac{1}{\sqrt{\mathrm{det}\left(g\right)}}{\partial}_{i}\left(\sqrt{\mathrm{det}\left(g\right)}{g}^{ij}{\partial}_{j}f\right)\mathrm{.}$ ^{14}, with its corresponding indices^{15}:

$d-\delta ={\partial}_{D}$

Case 1 (depicted in Figure 3): both the Red and Blue quadratic forms are positive, ${\partial}_{D}^{2}={\left(d-\delta \right)}^{2}$, which gives the global landscape minimum, or the global minimum of the Morse function $\Delta ={\partial}_{D}^{2}$, with index 0. Its vanishing gradient vectorfield, $\left[{a}^{\ast i}\mathrm{,}{a}^{j}\right]$, defines the level set composed of concentric contour lines.

Case 2 (depicted in Figure 4): the Red quadratic form is positive, $\lambda $, and the Blue quadratic form is negative, $\eta $, which gives the left landscape saddle (or, mountain passage) in the Red direction, or the saddle-point of the Morse function $\Delta \eta =\lambda $, with index 1. Its vanishing gradient vectorfield, $\gamma $, defines the Red-saddle level set of contour lines.

Figure 3. Case 1 of the Red-Blue landscape topology: the 3D-plot of the Morse function $\left(\gamma \mathrm{,}\lambda \right)=0$ (left, showing the global surface minimum) and the contour plot of its gradient vectorfield $\nabla {f}_{\text{RBG}}=0$ (right, showing the level set). In this case, both the Red and Blue quadratic forms are positive: ${f}_{\text{RBG}}$, the Morse function $$ has index 0, and the vanishing gradient vectorfield, $\begin{array}{l}\text{Red}:\stackrel{Red\mathrm{.}vecfield}{\stackrel{\ufe37}{{\partial}_{t}{R}^{a}}}=\stackrel{Red\mathrm{.}lin\mathrm{.}Lanchaster}{\stackrel{\ufe37}{k{A}_{b}^{a}{B}^{b}}}+\stackrel{Red\mathrm{.}quad\mathrm{.}Lanchaster}{\stackrel{\ufe37}{{k}_{b}{E}_{cd}^{ab}{R}^{c}{B}^{d}}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\stackrel{Red\mathrm{.}Lie\mathrm{.}dragging}{\stackrel{\ufe37}{{R}^{b}{\mathcal{L}}_{R}{\mathcal{N}}_{b}^{a}}}+\stackrel{Red\mathrm{.}war\mathrm{.}symmetry}{\stackrel{\ufe37}{\left[{R}^{a}\mathrm{,}{B}^{a}\right]}}+\stackrel{Red\mathrm{.}delta\mathrm{.}strikes}{\stackrel{\ufe37}{\delta {R}^{a}\left(\text{H}-\text{L}\right)}}\mathrm{,}\\ \text{Blue}:\stackrel{Blue\mathrm{.}vecfield}{\stackrel{\ufe37}{{\partial}_{t}{B}^{a}}}=\stackrel{Blue\mathrm{.}lin\mathrm{.}Lanchaster}{\stackrel{\ufe37}{\kappa {C}_{b}^{a}{R}^{b}}}+\stackrel{Red\mathrm{.}quad\mathrm{.}Lanchaster}{\stackrel{\ufe37}{{\kappa}_{b}{F}_{cd}^{ab}{R}^{c}{B}^{d}}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\stackrel{Blue\mathrm{.}Lie\mathrm{.}dragging}{\stackrel{\ufe37}{{B}^{b}{\mathcal{L}}_{B}{\mathfrak{N}}_{b}^{a}}}+\stackrel{Blue\mathrm{.}war\mathrm{.}symmetry}{\stackrel{\ufe37}{\left[{B}^{a}\mathrm{,}{R}^{a}\right]}}+\stackrel{Blue\mathrm{.}delta\mathrm{.}strikes}{\stackrel{\ufe37}{\delta {B}^{a}\left(\text{H}-\text{L}\right)}}\mathrm{,}\end{array}$, defines the level set composed of concentric contour lines.

Figure 4. Case 2 of the Red-Blue landscape topology: the 3D-plot of the Morse function ${\partial}_{t}\equiv \partial /\partial t$ (left, showing the Red-saddle) and the contour plot of its gradient vectorfield ${R}^{a}={R}^{a}\left(x\mathrm{,}t\right)\in {M}_{\text{Red}}$ (right, showing the level set). In this case, the Red quadratic form is positive, ${B}^{a}={B}^{a}\left(q\mathrm{,}t\right)\in {M}_{\text{Blue}}$, and the Blue quadratic form is negative, ${M}_{\text{Red}}$, the Morse function $\left\{{x}^{a}\right\}$ has index 1, and the vanishing gradient vectorfield, $a=1,\cdots ,n$, defines the Red-saddle level set of contour lines.

Case 3 (depicted in Figure 5): the Red quadratic form is negative, ${M}_{\text{Blue}}$, and the Blue quadratic form is positive, $\left\{{q}^{a}\right\}$, which gives the right landscape saddle (or, mountain passage) in the Blue direction, or the saddle-point of the Morse function ${\partial}_{t}{R}^{a}$, with index 1. Its vanishing gradient vectorfield, ${\partial}_{t}{B}^{a}$, defines the Blue-saddle level set of contour lines.

Case 4 (depicted in Figure 6): both the Red and Blue quadratic forms are negative, $k{A}_{b}^{a}{B}^{b}\in {M}_{\text{Red}}$, which gives the global landscape maximum, or the global maximum of the Morse function $\kappa {C}_{b}^{a}{R}^{b}\in {M}_{\text{Blue}}$, with index 2. Its vanishing gradient vectorfield, ${A}_{b}^{a}$, defines the level set composed of concentric contour lines.

Now, we can introduce the third player into our wargame, the Green force ${C}_{b}^{a}$, represented by its own pseudo-Riemannian quadratic form:

${k}_{b}{E}_{cd}^{ab}{B}^{c}{R}^{d}\in {M}_{\text{Red}}$

Figure 5. Case 3 of the Red-Blue landscape topology: the 3D-plot of the Morse function ${\kappa}_{b}{F}_{cd}^{ab}{B}^{c}{R}^{d}\in {M}_{\text{Blue}}$ (left, showing the Blue-saddle) and the contour plot of its gradient vectorfield ${E}_{cd}^{ab}$ (right, showing the level set). In this case, the Red quadratic form is negative, ${F}_{cd}^{ab}$, and the Blue quadratic form is positive, ${R}^{b}{\mathfrak{L}}_{R}{\mathfrak{N}}_{b}^{a}\in {M}_{\text{Red}}$, the Morse function ${B}^{b}{\mathfrak{L}}_{B}{\mathcal{N}}_{b}^{a}\in {M}_{\text{Blue}}$ has index 1, and the vanishing gradient vectorfield, ${\mathfrak{N}}_{b}^{a}={C}_{b}^{a}+{F}_{bc}^{ca}$, defines the Blue-saddle level set of contour lines.

Figure 6. Case 4 of the Red-Blue landscape topology: the 3D-plot of the Morse function ${\mathcal{N}}_{b}^{a}={A}_{b}^{a}+{E}_{bc}^{ca}$ (left, showing the global surface maximum) and the contour plot of its gradient vectorfield $\left|{\mathfrak{L}}_{R}{\mathfrak{N}}_{b}^{a}\right|>0$ (right, showing the level set). In this case, both the Red and Blue quadratic forms are negative, $\left|{\mathfrak{L}}_{B}{\mathcal{N}}_{b}^{a}\right|>0$, the Morse function ${\partial}_{t}S>0$ has index 2, and the vanishing gradient vectorfield, $\left|{\mathfrak{L}}_{R}{\mathfrak{N}}_{b}^{a}\right|=0$, defines the level set composed of concentric contour lines.

where the social-network type, system-confrontation tensor $\left|{\mathfrak{L}}_{B}{\mathcal{N}}_{b}^{a}\right|=0$ is defined as combinations of kink (Tanh) and bell (Sech) functions applied to Green force adjacency matrix. In this way, we obtain the Red-Blue-Green systems-battlespace ${\partial}_{t}S=0$, which is also a pseudo-Riemannian $\left|\left[{R}^{a}\mathrm{,}{B}^{a}\right]\right|\ge 0\in {M}_{\text{Red}}$ -manifold.

On the triple configuration manifold $\left|\left[{B}^{a}\mathrm{,}{R}^{a}\right]\right|\ge 0\in {M}_{\text{Blue}}$, depicted in Figure 2, we can define the Red-Blue-Green Morse function $\delta {R}^{a}\left(\text{H}-\text{L}\right)$, as a sum of all three pseudo-Riemannian quadratic forms:

$\delta {B}^{a}\left(\text{H}-\text{L}\right)$

which represents the Red-Blue-Green landscape. Its gradient vectorfield:

$\begin{array}{l}\text{Green}:\stackrel{Green\mathrm{.}vecfield}{\stackrel{\ufe37}{{\partial}_{t}{G}^{a}}}=\stackrel{Green\mathrm{.}lin\mathrm{.}Lanchaster}{\stackrel{\ufe37}{\gamma \left({A}_{b}^{a}+{C}_{b}^{a}\right)\left({R}^{b}+{B}^{b}\right)}}+\stackrel{Green\mathrm{.}quad\mathrm{.}Lanchaster}{\stackrel{\ufe37}{{\gamma}_{b}\left({E}_{cd}^{ab}+{F}_{cd}^{ab}\right){G}^{c}\left({R}^{d}+{B}^{d}\right)}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\stackrel{Green\mathrm{.}Lie\mathrm{.}dragging}{\stackrel{\ufe37}{{G}^{b}{\mathcal{L}}_{G}\left({\mathcal{N}}_{b}^{a}+{\mathfrak{N}}_{b}^{a}\right)}}\mathrm{}+\mathrm{}\stackrel{Green\mathrm{.}war\mathrm{.}symmetry}{\stackrel{\ufe37}{\left[{G}^{a}\mathrm{,}\left({R}^{b}+{B}^{b}\right)\right]}}\mathrm{,}\end{array}$

${G}^{a}\left(x\mathrm{,}t\right)\in {M}_{\text{Green}}$

according to the Morse lemma, defines the Red-Blue-Green level set^{16} of equipotential contour lines (see Figure 7) passing through the critical points p of
${\mathfrak{N}}_{b}^{a}={C}_{b}^{a}+{F}_{bc}^{ca}$ where the gradient vanishes:
${\mathcal{N}}_{b}^{a}={A}_{b}^{a}+{E}_{bc}^{ca}$. The finite set
${\stackrel{\dot{}}{R}}^{a}={\partial}_{t}{R}^{a}\left(x\mathrm{,}t\right)$ of m critical points of
${\stackrel{\dot{}}{B}}^{a}={\partial}_{t}{B}^{a}\left(x\mathrm{,}t\right)$ is denoted by Crit(
${R}^{a}={R}^{a}\left(x\mathrm{,}t\right)$ ).

In addition, we need to consider only nondegenerate critical points of ${B}^{a}={B}^{a}\left(x\mathrm{,}t\right)$, that is, only those critical points p of the vanishing gradient, ${\stackrel{\dot{}}{R}}^{a}$, which have the nondegenerate Hessian ${\stackrel{\dot{}}{B}}^{a}$ or, non-singular Hessian matrix:

${R}_{0}^{a}$

By definition, the function ${B}_{0}^{a}$ is Morse if its all critical points are nondegenerate. All nondegenerate critical points in Crit( ${M}_{\text{Red}}$ ) are isolated in the Red-Blue systems-battlespace W.

Figure 7. The Red-Blue-Green landscape topology depicted as the 3D contour plots of the Morse function ${M}_{\text{Blue}}$, passing though the critical points p in which the gradient vanishes: ${M}_{\text{Red}}$ : (a) all three quadratic forms have the same sign (either positive or negative)-resulting in elliptic geometry of the Red-Blue-Green landscape; (b) Red and Green forms are positive and Blue is negative, giving hyperbolic geometry of the Red-Blue-Green landscape; (c) Red and Blue are positive and Green is negative, giving hyperbolic geometry of the Red-Blue-Green landscape; (d) Blue and Green are positive and Red is negative, giving hyperbolic geometry of the Red-Blue-Green landscape; all other combinations reduce to these four cases.

As before, the index ${M}_{\text{Blue}}$ of each critical point p of the Morse function ${M}_{\text{Green}}$ is the number of negative eigenvalues of the Hessian matrix ${M}_{\text{Red}}$. Topology change of the Red-Blue-Green systems-battlespace ${M}_{\text{Blue}}$ happens as an abrupt change of the shape of the level sets of the Morse function ${M}_{\text{Green}}$ whenever it passes through the critical values ${A}_{ab}{R}^{a}{R}^{b}$ where ${C}_{ab}{B}^{a}{B}^{b}$, otherwise the topology of $\gamma \left({A}_{ab}+{C}_{ab}\right)\left({R}^{a}{R}^{b}+{B}^{a}{B}^{b}\right)$ does not change. The mechanism of topology change is attaching a ${A}_{ab}{R}^{a}{R}^{b}$ -cell/handlebody, completely determined by the index ${C}_{ab}{B}^{a}{B}^{b}$, at the critical points p of $\gamma \left({A}_{ab}+{C}_{ab}\right)\left({R}^{a}{R}^{b}+{B}^{a}{B}^{b}\right)$. Therefore, the index ${A}_{ab}$ determines the topology changes of the Red-Blue-Green systems-battlespace ${C}_{ab}$ (from Figure 2).

As in the case of cobordisms, this 3-party Morse function can be extended to address more players (e.g., various groups within Green, various coalition partners within Blue and Red, or even a third conflicting Yellow force) in the wargame.

3. Morse (Co)homology of the Systems-Battlespace

In this section, we move to the realm of (co)homology, which can be summarized by Wheeler’s BBZ dictum: “the boundary of a boundary is zero”. We explore the systems-battlespace topology changes, using Morse (co)homology techniques. We will apply Morse (co)homology to the systems-battlespace-cobordism n-manifold W using two approaches, classical approach of Morse homology and modern approach of Morse cohomology (see the Appendix for the basic (co)homology definitions, all rooted in the BBZ dictum).

3.1. Morse-Smale Homology of the Systems-Battlespace

$\gamma \left({A}_{ab}+{C}_{ab}\right)$

The basic Morse theory was further developed into the Morse homology^{17} by three Fields Medalists: R. Thom, S. Smale and J. Milnor. In this section we give a brief overview of of Morse homology, applied to the systems-battlespace-cobordism manifold W, using the abbreviated Morse-Smale approach (for a detailed technical review of Morse homology, see [20]).

As a background, we summarize and make the qualitative concepts from the previous section more precise and, for simplicity, restricted to the Red-Blue systems-battlespace. Let ${G}_{ab}\equiv \gamma \left({A}_{ab}+{C}_{ab}\right)$ represent a ${\text{Cob}}_{f}$ -smooth Morse function on the systems-battlespace-cobordism n-manifold W, equipped with the pseudo-Riemannian metric tensor: ${M}_{1}$. The point ${M}_{2}$ is the critical point of ${M}_{1}\bigsqcup {M}_{2}$ if $\partial W$. In local coordinates in a neighborhood of $\left(n+1\right)$ on W,

${\text{Cob}}_{f}$ this means ${M}_{1}$ for

${M}_{2}$. The (finite) set of critical points of $\left(n+1\right)$ is denoted by Crit( $\partial W={M}_{1}\bigsqcup {M}_{2}$ ). The Hessian of the Morse function ${M}_{1}$ at a critical point ${M}_{2}$ defines a symmetric bilinear form:

$W\left({M}_{1}\mathrm{,}{M}_{2}\right)\in {\text{Cob}}_{f}\left({M}_{1}\mathrm{,}{M}_{2}\right)$

on the tangent space $\left(n+1\right)$ to the systems-battlespace-cobordism manifold at the point $\partial W={M}_{\text{Red}}\bigsqcup {M}_{\text{Blue}}$, which is in local coordinates $W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\in {\text{Cob}}_{f}\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\mathrm{.}$ represented by the matrix

of second partial derivatives, $W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)$. Index $c\left({M}_{1}\mathrm{,}{M}_{2}\mathrm{,}{M}_{3}\right)$ and nullity of the matrix

$W\left({M}_{1}\mathrm{,}{M}_{2}\mathrm{,}{M}_{3}\right)$ are called the index and nullity of the critical point $\mathfrak{c}\mathrm{:}{\text{Cob}}_{f}\odot {\text{Cob}}_{g}\to {\text{Cob}}_{h}$ of the Morse function $\odot $. Since W is a compact n-manifold, it is always possible to alter a given Morse function $\mathfrak{c}\left({M}_{1}\mathrm{,}{M}_{2}\mathrm{,}{M}_{3}\right)\mathrm{:}{\text{Cob}}_{f}\left({M}_{1}\mathrm{,}{M}_{2}\right)\odot {\text{Cob}}_{g}\left({M}_{2}\mathrm{,}{M}_{3}\right)\stackrel{\mathfrak{c}}{\to}{\text{Cob}}_{h}\left({M}_{1}\mathrm{,}{M}_{3}\right)\mathrm{,}$ into a self-indexing Morse function, which has: $W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)$, for every critical point $\begin{array}{l}\mathfrak{c}\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)\mathrm{:}{\text{Cob}}_{f}\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\odot {\text{Cob}}_{g}\left({M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\mathfrak{c}}{\to}{\text{Cob}}_{h}\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Green}}\right)\mathrm{.}\end{array}$ (for the proof, see [17]).

We develop the Morse homology of the systems-battlespace-cobordism n-manifold W in the following three steps:

1) On the systems-battlespace manifold W we define the negative gradient flow, ( $\mathrm{<1`1`3;700>(0,0)[}{M}_{\text{Red}}\mathrm{`}{M}_{\text{Blue}}\mathrm{`}{M}_{\text{Green}}\mathrm{;}{\text{Cob}}_{f}\mathrm{`}{\text{Cob}}_{h}\mathrm{`}{\text{Cob}}_{g}\mathrm{]}$ ), as a map ${\text{Cob}}_{h}={\text{Cob}}_{f}\odot {\text{Cob}}_{g}$ such that:

$\mathrm{<1`1`1`}-\mathrm{1;800`600>(200,0)[}{M}_{\text{Red}}\mathrm{`}{M}_{\text{Blue}}\mathrm{`}{M}_{\text{Yellow}}\mathrm{`}{M}_{\text{Green}}\mathrm{;}{\text{Cob}}_{f}\mathrm{`}{\text{Cob}}_{k}\mathrm{`}{\text{Cob}}_{g}\mathrm{`}{\text{Cob}}_{h}\mathrm{]}$ (3)

${\text{Cob}}_{k}={\text{Cob}}_{f}\odot {\text{Cob}}_{g}\odot {\text{Cob}}_{h}$

From the work of Smale [22] [23], it follows that for a generic metric ${f}_{\text{RB}}={A}_{ab}{R}^{a}{R}^{b}+{C}_{ab}{B}^{a}{B}^{b}\mathrm{,}$, the corresponding Hessian $\nabla {f}_{\text{RB}}=\nabla {A}_{ab}{R}^{a}{R}^{b}+\nabla {C}_{ab}{B}^{a}{B}^{b}\mathrm{,}$ has only nondegenerate eigenvalues.

2) Using the negative gradient flow (3), we can decompose the systems-battlespace manifold W into a disjoint union of unstable submanifolds,^{18}
${f}_{\text{RB}}$, (or equivalently, a disjoint union of stable submanifolds,
$\nabla {f}_{\text{RB}}\left(p\right)=0$ ), using the prescription due to R. Thom. Let x be a critical point of the Morse function
$\left\{{p}_{1}\mathrm{,}{p}_{2}\mathrm{,}\cdots \mathrm{,}{p}_{m}\right\}\in W$. We define the unstable submanifold,
${f}_{\text{RB}}$, of the point x under the negative gradient flow (
${f}_{\text{RB}}$ ), to be the set of all points flowing from the critical point x, formally:

${f}_{\text{RB}}$

so $\nabla {f}_{\text{RB}}=0$ is an embedded open disk in W with dimension equal to ${\nabla}^{2}{f}_{\text{RB}}$.

Similarly, we define the stable submanifold, ${H}_{\text{RB}}=\left({\frac{{\partial}^{2}{f}_{\text{RB}}}{\partial {R}^{a}\partial {R}^{b}}|}_{p}+{\frac{{\partial}^{2}{f}_{\text{RB}}}{\partial {B}^{a}\partial {B}^{b}}|}_{p}\right)\mathrm{,}\text{\hspace{1em}}\text{with}\text{\hspace{0.17em}}\mathrm{det}\left({H}_{\text{RB}}\right)\ne 0.$, of the point x under the negative gradient flow ( ${f}_{\text{RB}}\mathrm{:}W\to \mathbb{R}$ ), to be the set of all points flowing into the critical point x, formally:

${f}_{\text{RB}}$

so $\lambda $ an embedded open disk in W with dimension equal to ${H}_{\text{RB}}$.

A function is said to be Morse-Smale if the unstable and stable submanifolds intersect transversely for any two critical points, x and y of
${f}_{\text{RB}}$. Here comes the Morse--Smale condition: for a generic metric
$\lambda $ the intersection:
${f}_{\text{RB}}$ is transverse^{19}.

1) We can now define the boundary operator $\lambda =0$ (see Appendix A.2), as:

${f}_{\text{RB}}$

where $\lambda =1$ is the number of points in the quotient manifold: ${f}_{\text{RB}}$. The proof of the BBZ-condition: $\lambda =2$ is based on gluing and cobordism arguments (see [20]). The corresponding Morse homology group:

${f}_{\text{RB}}$

states that, for two generic Morse functions
${W}_{\text{RB}}$, their homology groups
${f}_{\text{RB}}$ and
${f}_{\text{RB}}\left(p\right)\in {W}_{\text{RB}}$ are isomorphic^{20}. Furthermore, for a generic
$\nabla {f}_{\text{RB}}\left(p\right)=0$ they are isomorphic [17] to the singular homology group (see Appendix A.2) of the systems-battlespace manifold W:
$\lambda $.

3.2. Morse-Witten Cohomology of the Systems-Battlespace

${W}_{\text{RB}}$

Apart from the “classical” Thom-Smale-Milnor approach to Morse homology, in 1980s Ed Witten from Princeton (the only physicist who become the Fields Medalist) rediscovered in [24] the way of computing the cohomology group ${A}_{ab}{R}^{a}{R}^{b}>0,{C}_{ab}{B}^{a}{B}^{b}>0$ of an oriented compact Riemannian n-manifold M, in terms of the critical points, Crit(f), of a Morse function ${f}_{\text{RB}}$, applying the Hodge-de Rham theory (presented in Appendix ).

Witten’s approach (see [24] [25] [26]) is based on the set/group $\nabla {f}_{\text{RB}}=0$ of all harmonic p-forms on M, defined via the Hodge Laplacian ${A}_{ab}{R}^{a}{R}^{b}>0$ as:

${C}_{ab}{B}^{a}{B}^{b}<0$

Since every harmonic p-form is closed ( ${f}_{\text{RB}}$ ), we have a linear map: $\nabla {f}_{\text{RB}}=0$, by taking the de Rham cohomology class ${A}_{ab}{R}^{a}{R}^{b}<0$. The de Rham theorem states that the de Rham cohomology ${C}_{ab}{B}^{a}{B}^{b}>0$ is isomorphic to the singular homology ${f}_{\text{RB}}$, as well as to any other cohomology with real coefficients, $\nabla {f}_{\text{RB}}=0$. In addition, the Hodge theorem states that an arbitrary de Rham cohomology class ${A}_{ab}{R}^{a}{R}^{b}<0,{C}_{ab}{B}^{a}{B}^{b}<0$ of an oriented compact Riemannian manifold M can be represented by a unique harmonic form ${f}_{\text{RB}}$, which means that the natural map: $\nabla {f}_{\text{RB}}=0$ is actually an isomorphism: ${G}^{a}={G}^{a}\left(x\mathrm{,}t\right)$.

We derive the Morse-Witten cohomology for the Red-Blue systems-battlespace cobordism n-manifold W in the following four steps:

1) To start with, we take the Red-Blue Morse function ${D}_{ab}{G}^{a}{G}^{b}=\gamma \left({A}_{ab}+{C}_{ab}\right)\left({R}^{a}{R}^{b}+{B}^{a}{B}^{b}\right)\mathrm{,}$ along with the pseudo-Riemannian metric ${D}_{ab}$, and consider the long de Rham complex on W (i.e., the long exact sequence of exterior vector-spaces $W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)$ ; see Appendix A.2):

$\left(n+1\right)$

The complex $W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)$ can be decomposed into the direct sum of finite-dimensional eigenspaces ${f}_{\text{RBG}}\mathrm{:}W\to \mathbb{R}$ of the Hodge Laplacian ${f}_{\text{RBG}}={A}_{ab}{R}^{a}{R}^{b}+{C}_{ab}{B}^{a}{B}^{b}+{D}_{ab}{G}^{a}{G}^{b}\mathrm{,}$ as:

$\nabla {f}_{\text{RBG}}=\nabla {A}_{ab}{R}^{a}{R}^{b}+\nabla {C}_{ab}{B}^{a}{B}^{b}+\nabla {D}_{ab}{G}^{a}{G}^{b}\mathrm{,}$

The Hodge-de Rham theory (see Appendix A.3) implies the following isomorphisms:

${f}_{\text{RBG}}$

2) Next, the very definition of the Hodge Laplacian, $\nabla {f}_{\text{RBG}}=0$, implies that its product $\left\{{p}_{1}\mathrm{,}{p}_{2}\mathrm{,}\cdots \mathrm{,}{p}_{m}\right\}\in W$ with the exterior de Rham differential d (as well as with the codifferential ${f}_{\text{RBG}}$ ) is commutative:

${f}_{\text{RBG}}$

Therefore, we can restrict the de Rham differential d to ${f}_{\text{RBG}}$ by acting on the subcomplex: $\nabla {f}_{\text{RBG}}=0$, and obtain the ${\nabla}^{2}{f}_{\text{RBG}}$ -restricted de Rham complex:

${H}_{\text{RBG}}=\left({\frac{{\partial}^{2}{f}_{\text{RBG}}}{\partial {R}^{a}\partial {R}^{b}}|}_{p}+{\frac{{\partial}^{2}{f}_{\text{RBG}}}{\partial {B}^{a}\partial {B}^{b}}|}_{p}+{\frac{{\partial}^{2}{f}_{\text{RBG}}}{\partial {G}^{a}\partial {G}^{b}}|}_{p}\right)\mathrm{,}\text{\hspace{1em}}\text{with}\text{\hspace{0.17em}}\mathrm{det}\left({H}_{\text{RBG}}\right)\ne 0.$

To prove that the restricted de Rham complex ${f}_{\text{RBG}}\mathrm{:}W\to \mathbb{R}$ is exact, we note that if any p-form ${f}_{\text{RBG}}$ is in the kernel of $\lambda $, Ker( ${f}_{\text{RBG}}$ ), then ${H}_{\text{RBG}}$ ; therefore we have:

${W}_{\text{RBG}}$

Since ${f}_{\text{RBG}}$ commutes with both d and ${f}_{\text{RBG}}\left(p\right)\in {W}_{\text{RBG}}$, we see that $\nabla {f}_{\text{RBG}}\left(p\right)=0$,

which means that the complex ${W}_{\text{RBG}}$ is exact. From the exactness of the restricted de Rham complex $\lambda $, it follows that the a-parameterized curve of complexes: $\lambda $ has as its cohomology the set/group ${f}_{\text{RBG}}$ of all harmonic p-forms on W, for any real $\lambda $.

3) We can now introduce Witten’s main idea from [24] : conjugating the de Rham differential, ${W}_{\text{RBG}}$, by multiplication/composition with ${f}_{\text{RB}}\mathrm{:}W\to \mathbb{R}$ (for the Morse function ${C}^{\infty}$ and some real parameter ${g}_{ab}={A}_{ab}+{C}_{ab}\in W$ ), gives a deformed closed coboundary operator, ${x}_{c}=\left(R\mathrm{,}B\right)\in W$, defined by:

${f}_{\text{RB}}$

(compare with Equations (11)-(12) in Appendix A.3). The deformed differential $\nabla {f}_{\text{RB}}\left({x}_{c}\right)\equiv \nabla {f}_{\text{RB}}\left[\left(R\mathrm{,}B\right)\right]=0$ yields the deformed de Rham cohomology, also called the Witten cohomology:

${x}_{c}$

${\left({x}^{1}\mathrm{,}\cdots \mathrm{,}{x}^{n}\right)}_{c}={\left({R}^{1}\mathrm{,}\cdots \mathrm{,}{R}^{n}\mathrm{,}\text{\hspace{0.05em}}{B}^{1}\mathrm{,}\cdots \mathrm{,}{B}^{n}\right)}_{c}$

which is also isomorphic to ${f}_{\text{RB}}$ : ${f}_{\text{RB}}$ because we are only conjugating the de Rham differential d with ${x}_{c}$.

4) The deformed cohomology, ${\nabla}^{2}{f}_{\text{RB}}\left(x\right)\mathrm{:}{T}_{x}W\times {T}_{x}W\to \mathbb{R}\mathrm{,}\text{\hspace{1em}}\text{such}\text{\hspace{0.17em}}\text{that}:{\nabla}^{2}{f}_{\text{RB}}\left({x}_{c}\right)=\left(\frac{{\partial}^{2}{f}_{\text{RB}}}{\partial {x}^{a}\partial {x}^{b}}\right)$, is computed using the Hodge theory, by considering the Witten Laplacian: ${T}_{x}W$ and the decomposition: ${x}_{c}$, where $x=\left({x}^{i}\right)$ is the eigenspace of $\left(\frac{{\partial}^{2}{f}_{\text{RB}}}{\partial {x}^{a}\partial {x}^{b}}\right)$, along with the t-parameterized curve of the chain complexes: $\lambda $, spanned by all eigenforms of ${\nabla}^{2}{f}_{\text{RB}}\left({x}_{c}\right)$ with eigenvalues ${x}_{c}$. The t-parameterized curve of the chain complexes: ${f}_{\text{RB}}$, generated by the Witten Laplacian ${f}_{\text{RB}}$ gives both the Morse-Witten cohomology $\text{index}\left({x}_{c}\right)=f\left({x}_{c}\right)$ and its dual, the deformed homology ${x}_{c}$ of the Red-Blue systems-battlespace cobordism n-manifold W, as follows. Namely, Witten stated in [24] that if the parameter t is large enough (i.e., $-\nabla {f}_{\text{RB}}$ ), the dimension of these chain complexes will be independent of t, and can be denoted by $\varphi \mathrm{:}W\times \mathbb{R}\to W$. This independence implies the following two properties of the set Crit( $\begin{array}{l}{\partial}_{t}\varphi \left(x\mathrm{,}t\right)=-\nabla {f}_{\text{RB}}\left[\varphi \left(x\mathrm{,}t\right)\right]\mathrm{,}\text{\hspace{1em}}\varphi \left(\cdot \mathrm{,0}\right)={1}_{W}\mathrm{,}\\ \text{where}:\nabla {f}_{\text{RB}}={g}^{ab}{\partial}_{a}{f}_{\text{RB}}{\partial}_{b}{f}_{\text{RB}}\mathrm{,}\text{\hspace{1em}}\left({g}^{ab}\right)={\left({g}_{ab}\right)}^{-1}\end{array}$ ) of critical points of the Red-Blue Morse function $g\in W$ :

• The dimension,
${\nabla}^{2}{f}_{\text{RB}}\left(x\right)$ = number of critical points of
${W}^{u}\left(x\right)$ of index p, i.e., the subset of Crit(
${W}^{s}\left(x\right)$ ) of index p^{21};

• Any deformed boundary operator ${f}_{\text{RB}}$ induced as a dual by ${W}_{x}^{u}\left(x\right)$ on $-\nabla f$ is carried by the connecting orbits of the negative gradient flow ${W}_{x}^{u}\left(x\right)=\left\{p\in W\mathrm{|}\underset{t\to -\infty}{\text{lim}}\varphi \left(p\mathrm{,}t\right)=x\right\}\mathrm{,}$ (see previous subsection) from the critical points of ${W}_{x}^{u}\left(x\right)$ of index p down to those of index ( $\text{index}\left(x\right)$ ).

In this way, Witten’s deformed cohomology, ${W}_{x}^{s}\left(x\right)$, generated by the deformed Laplacian, $-\nabla f$, induces its dual, the deformed homology ${W}_{x}^{s}\left(x\right)=\left\{p\in W\mathrm{|}\underset{t\to \infty}{\text{lim}}\varphi \left(p\mathrm{,}t\right)=x\right\}\mathrm{,}$ of the Red-Blue systems-battlespace cobordism n-manifold W.

4. Conclusions

Modern warfare, compared with its historical precedents, is marked by a shift from large-scale annihilation along defined fronts, and relatively little regard for neutral parties caught in the situation, to aims of causing system failure that undercuts an opposition’s ability or willingness to fight, simultaneous conflict occurring across multiple domains without definable lines, and foundational international and national legal and social expectations about human, environmental and social consequences of armed conflict. Indeed, in contemporary conflict, social and humanitarian concerns can often both motivate confrontation and decide operational success. Arguably, this shift has been driven by a complex interwoven web of technological developments, social change, and legal, moral and ethical constraints, which first came to the fore in the modern sense during the soul-searching in post-Napoleonic Europe that simultaneously yielded the basis for both the modern professional military force and international humanitarian law. The combined effect of these factors is extreme nonlinearity, which makes approaches to modeling war and battle that represent simple attrition largely obsolete.

In this paper, we have extended the previously developed kinetic TCW-framework, to include non-kinetic effects, by addressing the general systems-confrontation, which means that our modeling of armed conflict includes interaction not only in the traditional physical Air-Land-Sea domains, but also in non-physical cyberspace, electromagnetic, psychological and social-network domains. In addition, we extend the TCW framework with the ability to represent “Green” neutral parties as richly as the main “Blue” and “Red” adversaries, and extend this to many factions, including coalition partners in Blue and Red and factions within Green, or even to situations with three or more main adversaries. In our formulation, Green may hold the ability to decide operational success from conflict between Blue and Red. This paper attempts to address this generic scenario representative of modern war and battle conditoins using rigorous methods and techniques from modern topology, specifically, by extending the kinetic Red-Blue scenario into this more general kinetic + non-kinetic Red-Blue-Green scenario. In particular, we have focussed here on the question of dramatic changes in the topology of the systems-battlespace, which appears as non-equilibrium phase transitions occurring at the battlefield at various stages of warfare, and is usually superficially characterized by sudden entropy growth. Such sudden changes have been long recognised as central features of war and battle; we thus have new modeling machinery with which to study their occurrence and effects.

We have performed a two-level topological analysis of the systems-battlespace. We have started gently with a largely intuitive analysis of the systems-battlespace topology using visual cobordisms and Morse functions. Then, we performed a rigorous topological analysis of the systems-battlespace by deriving its (co)homological invariants. Specifically, we derived the Morse-Smale homology and the Morse-Witten cohomology of the systems-battlespace manifold. All the necessary geometrical and topological background is given in the self-content and comprehensive Appendix, which provides the Hodge-de Rham theory based on the Stokes theorem.

Acknowledgements

The authors are grateful to Dr. Tim McKay, Joint and Operations Analysis Division, Defence Science & Technology Group, Australia-for his support the research work presented in this paper.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

Cite this paper

Ivancevic, V., Pourbeik, P. and Reid, D. (2019) Tensor-Centric Warfare V: Topology of Systems Confrontation. Intelligent Control and Automation, 10, 13-45. https://doi.org/10.4236/ica.2019.101002

References

- 1. Ivancevic, V., Pourbeik, P. and Reid, D. (2018) Tensor-Centric Warfare I: Tensor Lanchester Equations. Intelligent Control and Automation, 9, 11-29. https://doi.org/10.4236/ica.2018.92002
- 2. Ivancevic, V., Reid, D. and Pourbeik, P. (2018) Tensor-Centric Warfare II: Entropic Uncertainty Modeling. Intelligent Control and Automation, 9, 30-51.
- 3. Ivancevic, V., Pourbeik, P. and Reid, D. (2018) Tensor-Centric Warfare III: Combat Dynamics with Delta-Strikes. Intelligent Control and Automation, 9, 107-122. https://doi.org/10.4236/ica.2018.94009
- 4. Ivancevic, V., Reid, D. and Pourbeik, P. (2018) Tensor-Centric Warfare IV: Kähler Dynamics of Battlefields. Intelligent Control and Automation, 9, 123-146.
- 5. Engstrom, J. (2018) Systems Confrontation and System Destruction Warfare: How the Chinese People’s Liberation Army Seeks to Wage Modern Warfare. RAND Corporation, Santa Monica, CA. https://doi.org/10.7249/RR1708
- 6. Cormier, Y. (2016) War as Paradox: Clausewitz and Hegel on Fighting Doctrines and Ethics. McGill-Queen’s University Press, Montreal.
- 7. Ivancevic, V. and Ivancevic, T. (2006) Geometrical Dynamics of Complex Systems. Springer. https://doi.org/10.1007/1-4020-4545-X
- 8. Ivancevic, V. and Ivancevic, T. (2007) Applied Differential Geometry: A Modern Introduction. World Scientific, Singapore. https://doi.org/10.1142/6420
- 9. Bauer, U., Kerber, M., Reininghaus, J. and Wagner, H. (2017) PHAT—Persistent Homology Algorithms Toolbox. Journal of Symbolic Computation, 78, 76-90. https://doi.org/10.1016/j.jsc.2016.03.008
- 10. Reimann, M. et al. (2017) Cliques of Neurons Bound into Cavities Provide a Missing Link between Structure and Function. Frontiers in Computational Neuroscience, 11, 4. https://doi.org/10.3389/fncom.2017.00048
- 11. Bassett, D. and Sporns, O. (2017) Network Neuroscience. Nature Neuroscience, 20, 353-364. https://doi.org/10.1038/nn.4502
- 12. McLemore, C., Gaver, D. and Jacobs, P. (2016) Model for Geographically Distributed Combat Interactions of Swarming Naval and Air Forces. Naval Research Logistics, 63, 562-576. https://doi.org/10.1002/nav.21720
- 13. Ivancevic, V. and Ivancevic, T. (2008) Complex Nonlinearity: Chaos, Phase Transitions, Topology Change and Path Integrals. Springer.
- 14. Reid, D.J. (2018) An Autonomy Interrogative. In: Abbass, H., Scholz, J. and Reid, D.J., Eds., Foundations of Trusted Autonomy, Springer, 365-391.https://doi.org/10.1007/978-3-319-64816-3_21
- 15. Milnor, J. (1963) Morse Theory. Princeton University Press, Princeton.
- 16. Milnor, J. (1965) Topology from the Differentiable Viewpoint. The University Press of Virginia, Charlottesville.
- 17. Milnor, J. (1965) Lectures on the H-Cobordism Theorem. Princeton University Press, Princeton. https://doi.org/10.1515/9781400878055
- 18. Milnor, J. (1962) A Survey of Cobordism Theory. L’Enseignement mathématique, 8, 16.
- 19. Dowker, H.F. and Garcia, R.S. (1998) A Handlebody Calculus for Topology Change. Classical and Quantum Gravity, 15, 1859-1879. https://doi.org/10.1088/0264-9381/15/7/005
- 20. Schwarz, M. (1993) Morse Homology. Birkháuser, Basel. https://doi.org/10.1007/978-3-0348-8577-5
- 21. Poincaré, H. (1895) Analysis Situs. Journal d’Ecole Polytechnique Normale, 1, 1-121.
- 22. Smale, S. (1960) The Generalized Poincaré Conjecture in Higher Dimensions. Bulletin of the American Mathematical Society, 66, 373-375. https://doi.org/10.1090/S0002-9904-1960-10458-2
- 23. Smale, S. (1967) Differentiable Dynamical Systems. Bulletin of the American Mathematical Society, 73, 747-817. https://doi.org/10.1090/S0002-9904-1967-11798-1
- 24. Witten, E. (1982) Supersymmetry and Morse Theory. Journal of Differential Geometry, 17, 661-692. https://doi.org/10.4310/jdg/1214437492
- 25. Bott, R. (1988) Morse Theory Indomitable. Publications mathématiques de l’IHéS, 68, 99-114. https://doi.org/10.1007/BF02698544
- 26. Chen, Y. (2018) A Brief History of Morse Homology.
- 27. Shub, M. (2007) Morse-Smale Systems. Scholarpedia, 2, 1785. https://doi.org/10.4249/scholarpedia.1785
- 28. Milinković, D. (1999) Morse Homology for Generating Functions of Lagrangian Submanifolds. Transactions of the American Mathematical Society, 351, 3953-3974. https://doi.org/10.1090/S0002-9947-99-02217-5
- 29. Bott, R. and Tu, L.W. (1982) Differential Forms in Algebraic Topology. Springer, New York. https://doi.org/10.1007/978-1-4757-3951-0
- 30. Choquet-Bruhat, Y. and DeWitt-Morete, C. (1982) Analysis, Manifolds and Physics. 2nd Edition, North-Holland, Amsterdam.
- 31. Marsden, J.E. and Tromba, A. (2003) Vector Calculus. 5th Edition, W. Freeman and Company, New York.
- 32. de Rham, G. (1984) Differentiable Manifolds. Springer, Berlin. https://doi.org/10.1007/978-3-642-61752-2
- 33. Flanders, H. (1963) Differential Forms: With Applications to the Physical Sciences. Academic Press, Cambridge.
- 34. Misner, C.W., Thorne, K.S. and Wheeler, J.A. (1973) Gravitation. Freeman, San Francisco.
- 35. Ciufolini, I. and Wheeler, J.A. (1995) Gravitation and Inertia, Princeton Series in Physics. Princeton University Press, Princeton.
- 36. Switzer, R.K. (1975) Algebraic Topology—Homology and Homotopy (in Classics in Mathematics). Springer, New York. https://doi.org/10.1007/978-3-642-61923-6
- 37. Hatcher, A. (2002) Algebraic Topology. Cambridge University Press, Cambridge.
- 38. Abraham, R., Marsden, J. and Ratiu, T. (1988) Manifolds, Tensor Analysis and Applications. Springer, New York. https://doi.org/10.1007/978-1-4612-1029-0
- 39. Wise, D.K. (2006) p-Form Electrodynamics on Discrete Spacetimes. Classical and Quantum Gravity, 23, 5129-5176. https://doi.org/10.1088/0264-9381/23/17/004
- 40. Voisin, C. (2002) Hodge Theory and Complex Algebraic Geometry I. Cambridge Univ. Press, Cambridge. https://doi.org/10.1017/CBO9780511615344
- 41. Ivancevic, V. and Ivancevic, T. (2008) Quantum Leap: From Dirac and Feynman, across the Universe, to Human Body and Mind. World Scientific, Singapore. https://doi.org/10.1142/6913

Appendix: From Stokes-De Rham to Hodge Theory

Here we give a brief introduction to the Stokes-de Rham theory on arbitrary smooth manifolds, followed by its extension, the Hodge theory on Riemannian manifolds, all three standing at the crossroads of differential geometry, algebraic topology and modern physics, thus enriching all three disciplines (see [29]).

A.1. Stokes Theorem and Differential Forms

At the core of differential geometry (and its application to algebraic topology) lies the celebrated Stokes theorem. This fundamental result of modern mathematics (see, e.g. [30]) can be “softly” introduced in the following way. Recall from multivariable calculus [31] that two differential forms (integrands in multiple integrals called the cochains in topology),
${W}_{x}^{s}\left(x\right)$ and
$n-\lambda =n-\text{index}\left(x\right)$ ^{22}, defined in the Euclidean
${f}_{\text{RB}}$ -plane
$g\in W$ (via two smooth functions
${\mathcal{W}}_{{f}_{\text{RB}}\mathrm{,}g}\left(x\mathrm{,}y\right)={W}_{g}^{u}\left(x\right)\cap {W}_{g}^{s}\left(y\right)$ ) as:

1-form: $\partial $, and

2-form: $\partial \mathrm{:}{C}_{\lambda}\left({f}_{\text{RB}}\right)\to {C}_{\lambda -1}\left({f}_{\text{RB}}\right)\mathrm{,}\text{\hspace{1em}}\text{such}\text{\hspace{0.17em}}\text{that}:\partial x={\displaystyle \underset{y\in {\text{Crit}}_{\lambda -1}\left({f}_{\text{RB}}\right)}{\sum}}n\left(x\mathrm{,}y\right)y\mathrm{,}$

are related by the Green theorem in the closed region
$n\left(x\mathrm{,}y\right)$ with the boundary
${\mathcal{W}}_{{f}_{\text{RB}}\mathrm{,}g}\left(x\mathrm{,}y\right)\mathrm{/}\mathbb{R}$ ^{23}:

${\partial}^{2}=\partial \circ \partial =0$

which can be rewritten as the Stokes theorem:

${H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}\right)=\text{Ker}(\partial )/\text{Im}(\partial )\mathrm{,}$ (4)

$\left({f}_{\text{RB}}^{\alpha}\mathrm{,}{f}_{\text{RB}}^{\beta}\right)$

The integrands
${\Omega}^{p}\left(W\right)\simeq {\mathcal{H}}^{p}\left(W\right)\simeq {H}_{d}^{p}\left(W\right)\simeq {H}^{p}\left(W\mathrm{,}\mathbb{R}\right)\mathrm{.}$ and
$\Delta =d\delta +\delta d$ in the Stokes theorem (4) are the special 1D and 2D cases of general exterior differential p-forms, which are completely antisymmetric covariant tensors of rank p in
$\Delta d$ (for
$\delta $ ). Their “exterior calculus” can be introduced in the following “way of physics” where the most frequently used Euclidean
$\Delta d=d\delta d+\delta {d}^{2}=d\delta d+{d}^{2}\delta =d\Delta .$ space is
${d}_{\lambda}$. Here in
${\Omega}_{\lambda}^{\ast}\left(W\right)={{\displaystyle \oplus}}_{p=1}^{n}\text{\hspace{0.05em}}{\Omega}_{\lambda}^{p}\left(W\right)$, given the frame:
$\lambda $ ^{25} and its dual coframe:
${\Omega}_{\lambda}^{\ast}\mathrm{:0}\to {\Omega}_{\lambda}^{0}\left(W\right)\stackrel{{d}_{\lambda}}{\to}{\Omega}_{\lambda}^{1}\left(W\right)\stackrel{{d}_{\lambda}}{\to}\cdots \stackrel{{d}_{\lambda}}{\to}{\Omega}_{\lambda}^{n}\left(W\right)\to 0.$, we can define the vector space of all p-forms, denoted
${\Omega}_{\lambda}^{\ast}$ for
$\omega \in {\Omega}_{\lambda}^{p}\left(W\right)$, using the exterior derivative operator,
${d}_{\lambda}$, which is governed by the BBZ closure-property:
${d}_{\lambda}$ ; so that we have the following four p-forms (defined using Einstein’s summation convention over repeated indices
${d}_{\lambda}\omega =0$ ):

1-form-generalizing Green’s 1-form $\omega =\frac{1}{\lambda}\lambda \omega =\frac{1}{\lambda}\Delta \omega =\frac{1}{\lambda}\left(d\delta +\delta d\right)\omega =\frac{1}{\lambda}d\delta \omega =d\left(\frac{1}{\lambda}\delta \omega \right).$ :

$\Delta $

For example, in 4D electrodynamics, $\delta $ represents the electromagnetic (co)vector potential.

2-form-generalizing Green’s 2-form $d\left(\frac{1}{\lambda}\delta \omega \right)\in {\Omega}_{\lambda}^{p}\left(W\right)$ :

${\Omega}_{\lambda}^{\ast}$,

with components:

${\Omega}_{\lambda}^{\ast}$,

or

${\Omega}_{a}^{\ast}\left(W\right)={{\displaystyle \oplus}}_{\lambda \le a}^{n}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{\Omega}_{\lambda}^{\ast}\left(W\right)$,

${\mathcal{H}}^{p}(W)$

so that

${\Delta}_{t}$

where
${\Omega}_{a}^{\ast}\left(t\mathrm{,}W\right)={{\displaystyle \oplus}}_{\lambda \le a}\text{\hspace{0.05em}}{\Omega}_{\lambda}^{p}\left(t\mathrm{,}W\right)$ represents the exterior product^{26}.

3-form

${\Delta}_{t}$,

with components:

$\lambda \le a$,

or

${\Omega}_{a}^{\ast}\left(t\mathrm{,}W\right)$,

so that

${\Delta}_{t}$,

where ${\mathcal{H}}_{t}^{p}\left(W\right)$ is the skew-symmetric part of ${\mathcal{H}}_{p}^{t}\left(W\right)$.

For example, in the 4D electrodynamics, $t\to \infty $ represents the field strength 2-form Faraday (usually denoted by ${\Omega}_{a}^{\ast}\left(\infty \mathrm{,}W\right)$ ), which satisfys the sourceless magnetic Maxwell’s equation,

Bianchi identity: ${f}_{\text{RB}}$, in components:

${f}_{\text{RB}}$,

where the square bracket $\text{dim}\left[{\Omega}_{a}^{p}\left(\infty \mathrm{,}W\right)\right]$ denotes the antisymmetric part of the covariant tensor ${f}_{\text{RB}}$ :

${f}_{\text{RB}}$

4-form

${\partial}_{t}$,

with components:

${d}_{t}$,

or

${\Omega}_{a}^{p}\left(\infty \mathrm{,}W\right)$,

so that

$-\nabla {f}_{\text{RB}}$

These are all possible p-forms in ${f}_{\text{RB}}$ and $p+1$ is called the top-ranked form.

Generalization to higher-dimensions is straightforward: for ${\mathcal{H}}_{t}^{p}\left(W\right)$, we have the Kaluza-Klein-type Euclidean space ${\Delta}_{t}={d}_{t}{\delta}_{t}+{\delta}_{t}{d}_{t}$, in which the top-ranked form is:

${\mathcal{H}}_{p}^{t}(W)$

with components:

$A$,

or

$dA$,

so that

$\left(x\mathrm{,}y\right)$,

etc.

In such a way introduced exterior calculus of p-forms enables generalization of the Green theorem (and all other integral theorems from vector calculus) to the general Stokes theorem for any p-form ${\mathbb{R}}^{2}$, defined in an oriented domain C in the Euclidean space $P\mathrm{,}Q\in {\mathbb{R}}^{2}$ as:

$A=Pdx+Qdy$ (5)

Furthermore, a nonlinear generalization of the Stokes theorem (5) to any oriented smooth manifold provides the general machinery for integration on smooth manifolds. It is based on the fundamental de Rham’s duality between p-forms and p-chains, described in the dual language of (co)cycles and (co)boundaries, as follows.

Notation change: to improve the flow of the paper, we drop boldface letters from now on.

On a smooth n-manifold M, a cycle is a finite p-chain^{27}
$dA=\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dxdy$ such that
$C\in {\mathbb{R}}^{2}$ and a boundary is a p-chain B such that
$\partial C$ for some (p + 1)-chain
${\oint}_{\partial C}}\text{\hspace{0.05em}}Pdx+Qdy={\displaystyle {\iint}_{C}}\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)dxdy\mathrm{,$. Its dual, a cocycle (i.e., a closed form) is a p-cochain
${\int}_{\partial C}}\text{\hspace{0.05em}}A={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}dA$ such that
$A$ and a coboundary^{28} (i.e., an exact form) is a p-cochain
${\mathbb{R}}^{n}$ such that
$A$, for some (p − 1)-cochain
$dA$. All exact forms are closed, i.e., all coboundaries are cocyles (
${\mathbb{R}}^{n}$ ) and all boundaries are cycles (
$p\le n$ ). Converse is true only locally (by the Poincaré lemma^{29}); it holds globally only for contractible manifolds (including
${\mathbb{R}}^{n}$ and star-shaped spaces).

Integration on a smooth manifold M should be thought of as a nondegenerate bilinear pairing ${\mathbb{R}}^{4}$ between p-forms and p-chains (spanning a finite domain on M). The duality of p-forms and p-chains on M is based on the de Rham period, the ${\mathbb{R}}^{4}$ -pairing:

$\left\{{\partial}_{i}\right\}$

$\left\{d{x}^{i}\right\}$

where C is a cycle, ${C}_{ijk}=-6{\partial}_{k}{B}_{\left[ij\right]}$ is a cocycle, and ${B}_{\left[ij\right]}$ is their inner product ${B}_{ij}$ (see [30] [32]). From the Poincaré lemma it follows that a closed p-form $B$ is exact iff $F$.

Naturally, this fundamental topological duality is rooted in the Stokes theorem (5), as:

$dB=0$, symbolically written as: ${\partial}_{k}{B}_{\left[ij\right]}=0$ (6)

where $\left[ij\right]$ is the boundary of the p-chain C oriented on M coherently with C. While the boundary operator ${B}_{ij}$ is a global operator, the coboundary operator d is local, and thus more suitable for applications. The dual BBZ-closure property:

${B}_{\left[ij\right]}=\frac{1}{2}\left({B}_{ij}-{B}_{ji}\right)\mathrm{.}$

is proved using the Stokes’ theorem (6), in period notation as:

$D=dC\left(=ddB\equiv 0\right)\in {\Omega}^{4}(\mathbb{R}4)$

or, in integral notation as:

$D=\frac{1}{\mathrm{4!}}{D}_{ijkl}\text{\hspace{0.05em}}d{x}^{i}\wedge d{x}^{j}\wedge d{x}^{k}\wedge d{x}^{l}$

A.2. De Rham’s (Co)chain Complex and (Co)homology

In the Euclidean 3D space
$D={\partial}_{l}{C}_{\left[ijk\right]}d{x}^{l}\wedge d{x}^{i}\wedge d{x}^{j}\wedge d{x}^{k}$ we have the following short exact sequence^{30}, called short de Rham cochain complex:

${D}_{ijkl}=-24{\partial}_{l}{C}_{\left[ijk\right]}\mathrm{.}$

${\mathbb{R}}^{4}$

Using the BBZ-closure property: ${\mathbb{R}}^{n}$, we obtain the standard identities from vector calculus:

${\int}_{\partial C}}\text{\hspace{0.05em}}w={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}dw\mathrm{.$

As a duality in $C\in {\mathcal{C}}_{p}\left(M\right)$, we also have another short exact sequence, called short chain complex:

$\partial C=0$

Its own BBZ-closure property: $B=\partial C$ implies the following three boundaries:

$C\in {\mathcal{C}}_{p+1}(M)$

where $\omega \in {\Omega}^{p}\left(M\right)$ is a 0-boundary (or, a point), $d\omega =0$ is a 1-boundary (or, a line), $\omega $ is a 2-boundary (or, a surface), and $\omega =d\theta $ is a 3-boundary (or, a hypersurface). Similarly, the de Rham complex implies the following three coboundaries:

$\theta \in {\Omega}^{p-1}(M)$

where $\omega =d\theta \Rightarrow d\omega =dd\theta =0$ is 0-form (or, a function), $B=\partial C\Rightarrow \partial B=\partial \partial C=0$ is a 1-form, ${\mathbb{R}}^{n}$ is a 2-form, and $\langle \text{\hspace{0.05em}}\mathrm{,}\rangle $ is a 3-form.

These two short (co)homological constructions are, according to de Rham [32], generalized to any smooth n-manifold M, as the following two (mutually dual) long complexes:

• The de Rham cochain complex $\langle \text{cycle},\text{cocycle}\rangle $ given by (see [29]):

$\text{Period}\mathrm{:}={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}\omega \mathrm{:}=\langle C\mathrm{,}\omega \rangle \mathrm{,}$

satisfying the closure property on M: $\omega $, where $\langle C\mathrm{,}\omega \rangle =\omega \left(C\right)$ is the vector space over $\langle C\mathrm{,}\omega \rangle \mathrm{:}{\Omega}^{p}\left(M\right)\times {\mathcal{C}}_{p}\left(M\right)\to \mathbb{R}$ of all finite cochains $\omega $ on the manifold M and $\langle C,\omega \rangle =0$.

• The chain complex ${\int}_{\partial C}}\text{\hspace{0.05em}}\omega ={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}d\omega $ given by (see [36] [37]):

$\langle \partial C\mathrm{,}\omega \rangle =\langle C\mathrm{,}d\omega \rangle $

$\partial C$

satisfying the closure property on M: $\mathbb{R}$, where $\omega $ is the vector space over ${d}^{n}=d\mathrm{:}{\Omega}^{n}\left(M\right)\to {\Omega}^{n+1}\left(M\right)$ of all finite chains C on the manifold M and ${A}_{\u2022}$.

The de Rham cochain complex
$\begin{array}{l}{A}_{\u2022}\mathrm{:0}\leftarrow {\mathcal{C}}_{0}\left(M\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{1}\left(M\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{2}\left(M\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{3}\left(M\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{\partial}{\leftarrow}\cdot \cdot \cdot \stackrel{\partial}{\leftarrow}{\mathcal{C}}_{n}\left(M\right)\leftarrow \mathrm{0,}\end{array}$ generates the de Rham cohomology, the functional space of closed p-forms modulo exact (p-1)-forms on a smooth manifold. More precisely, the subspace of all closed p-forms (or, cocycles) on a smooth manifold M, denoted by
$\partial \circ \partial \equiv {\partial}^{2}=0$, is the kernel,
${A}_{n}={\mathcal{C}}_{n}\left(M\right)\in {A}_{\u2022}$, of the exterior derivative d-operator (also called the de Rham d-homomorphism^{31}); the sub-subspace of all exact p-forms (or, coboundaries) on M is the image,
$\mathbb{R}$, denoted by
${\partial}_{n}=\partial \mathrm{:}{\mathcal{C}}_{n+1}\left(M\right)\to {\mathcal{C}}_{n}\left(M\right)$. The quotient vector space^{32}
${A}^{\u2022}$, defined as^{33}:

${Z}_{d}^{p}\left(M\right)\subset {\Omega}^{p}\left(M\right)$ (7)

is called the pth de Rham cohomology group of a manifold M, which is a topological invariant of M. Two p-cocycles $\text{Ker}\left(d\right)$ are cohomologous, or belong to the same cohomology class, $\text{Im}\left(d\right)$, if they differ by a (p − 1)-coboundary, ${B}_{d}^{p}\left(M\right)\subset {Z}_{d}^{p}\left(M\right)$. The dimension $\text{Ker}\left(d\right)/\text{Im}\left(d\right)$ of the de Rham cohomology group ${H}_{d}^{p}\left(M\right)\mathrm{:}=\frac{{Z}_{d}^{p}\left(M\right)}{{B}_{d}^{p}\left(M\right)}=\frac{\left\{p\text{-cocycles}\right\}}{\left\{\left(p-\text{1}\right)\text{-coboundaries}\right\}}=\frac{\text{Ker}\left[d\mathrm{:}{\Omega}^{p}\left(M\right)\to {\Omega}^{p+1}\left(M\right)\right]}{\text{Im}\left[d\mathrm{:}{\Omega}^{p-1}\left(M\right)\to {\Omega}^{p}\left(M\right)\right]}\mathrm{,}$ of the manifold M is called the Betti number $\alpha ,\beta \in {\Omega}^{p}\left(M\right)$.

Its dual, the chain complex $\left[\alpha \right]\in {H}_{d}^{p}\left(M\right)$ generates the chain homology, the functional space of p-cycles modulo (p + 1)-boundaries on a smooth manifold. The subspace of all p-cycles on a smooth manifold M is the kernel, $\alpha -\beta =d\theta \in {\Omega}^{p-1}\left(M\right)$, of the ${b}_{p}=\mathrm{dim}\left[{H}_{d}^{p}\left(M\right)\right]$ -operator, denoted by ${H}_{d}^{p}\left(M\right)$, and the sub-subspace of all p-boundaries on M is the image, ${b}_{p}$, of the ${A}_{\u2022}$ -operator (also called the $\text{Ker}(\partial )$ -homomorphism), denoted by $\partial $. Two p-cycles ${Z}_{p}^{\partial}\left(M\right)\subset {\mathcal{C}}_{p}\left(M\right)$ are homologous, if they differ by a (p + 1)-boundary $\text{Im}(\partial )$. Then $\partial $ and $\partial $ belong to the same homology class, ${B}_{p}^{\partial}\left(M\right)\subset {\mathcal{C}}_{p}\left(M\right)$, where ${C}_{1},{C}_{2}\in {\mathcal{C}}_{p}$ is the homology group of the manifold M, the quotient vector space ${C}_{1}-{C}_{2}=\partial B\in {\mathcal{C}}_{p+1}\left(M\right)$, defined as:

${C}_{1}$

${C}_{2}$

where
${b}_{p}$ is the vector space of cycles and
$\chi \left(M\right)={\displaystyle \underset{p=0}{\overset{n}{\sum}}}{\left(-1\right)}^{p}{b}_{p}\mathrm{.}$ is the vector space of boundaries on M. The dimension
${H}_{d}^{p}\left(M\right)$ of the dual homology group
$\mathcal{K}$ is, by the de Rham theorem^{34}, the same Betti number
$d=\partial +\stackrel{\xaf}{\partial}$.

If we know the Betti numbers for all (co)homology groups of the manifold M, then we can calculate the Euler-Poincaré characteristic of M as:

${H}_{\stackrel{\xaf}{\partial}}^{p\mathrm{,}q}(K)$

The de Rham cohomology (7) serves as the “model” for all other cohomologies (see [29]). For example, the complexification of
$\text{Ker}\left(\stackrel{\xaf}{\partial}\right)/\text{Im}\left(\stackrel{\xaf}{\partial}\right)$ on a complex manifold
${H}_{\stackrel{\xaf}{\partial}}^{p\mathrm{,}q}\left(\mathcal{K}\right)=\frac{\left\{\left(p\mathrm{,}q\right)\text{-cocycles}\right\}}{\left\{\left(p\mathrm{,}q-\text{1}\right)\text{-coboundaries}\right\}}=\frac{\text{Ker}\left[\stackrel{\xaf}{\partial}\mathrm{:}{\Omega}^{p\mathrm{,}q}\left(\mathcal{K}\right)\to {\Omega}^{p\mathrm{,}q+1}\left(\mathcal{K}\right)\right]}{\text{Im}\left[\stackrel{\xaf}{\partial}\mathrm{:}{\Omega}^{p\mathrm{,}q-1}\left(\mathcal{K}\right)\to {\Omega}^{p\mathrm{,}q}\left(\mathcal{K}\right)\right]}\mathrm{.}$, based on the decomposition of the exterior derivative in terms of Dolbeault’s operators:
${g}_{ij}$ ^{35}, (see Appendix in [4]), is the Dolbeault cohomology group,
$\star $, the quotient vector space
$\star \mathrm{:}{\Omega}^{p}\left(M\right)\to {\Omega}^{n-p}\left(M\right)$, defined as:

$\alpha $

A.3. Hodge Theory Basics

Specialization of the exterior Stokes-de Rham theory, from arbitrary smooth manifolds to a compact (i.e., closed and bounded), oriented Riemannian n-manifold M with the metric tensor
$\left(n-p\right)$ ^{36}, enables definition of the Hodge operators (star, inner product, codifferential, Laplacian and adjoints) and the subsequent formulation of the Hodge decomposition theorem, as follows.

Hodge star $\star \text{\hspace{0.05em}}\alpha $. The Hodge star operator $\left\{{e}_{i}d{x}^{i}\right\}\in M$ maps any p-form $\star \left({e}_{i}\wedge {e}_{j}\right)={e}_{k}\mathrm{,}\text{\hspace{1em}}{(\star )}^{2}=1.$ into its dual $\star $ -form $\wedge $ on an n-manifold M. It is the linear operator defined locally in the coframe $g={g}_{ij}$ as:

$\alpha \mathrm{,}\beta \in {\Omega}^{p}(M)$

The star $\star $ commutes with the exterior product $\star \star \alpha ={\left(-1\right)}^{p\left(n-p\right)}\alpha $ and depends on the Riemannian metric $\alpha \wedge \star \text{\hspace{0.05em}}\alpha =0\Rightarrow \alpha \equiv 0$ on M, as well as on the orientation (reversing orientation would change the sign). For any two p-forms $\star \text{\hspace{0.05em}}\left({c}_{1}\alpha +{c}_{2}\beta \right)={c}_{1}\left(\star \alpha \right)+{c}_{2}\left(\star \beta \right)$, the star $\alpha \wedge \star \beta =\beta \wedge \star \alpha $ is defined by the following four properties [32] [40] :

• $\langle \alpha \mathrm{,}\beta \rangle \mu $ ;

• $\mu $ ;

• $\left\{{x}^{i}\right\}$ ; and

• $\mu =\sqrt{\mathrm{det}\left({g}_{ij}\right)}\mathrm{}d{x}^{1}\wedge \cdots \wedge d{x}^{n}=\star \left(1\right)\mathrm{,}$, which can be written as a pairing: $\text{vol}\left(M\right)$.

Here, $\text{vol}\left(M\right)={\displaystyle {\int}_{M}}\star \left(1\right)\mathrm{.}$ is the volume form, defined in local coordinates ${\mathbb{R}}^{3}$ on an n-manifold M as:

$\left(x\mathrm{,}y\mathrm{,}z\right)$ (8)

so that the total volume, $\star dx=dy\wedge dz\mathrm{,}\text{\hspace{1em}}\star dy=dz\wedge dx\mathrm{,}\text{\hspace{1em}}\star dz=dx\wedge dy\mathrm{,}$ on M, is given by:

${\mathbb{R}}^{3}$

$\star \text{\hspace{0.05em}}F$

For example, in Euclidean $\left(\alpha \mathrm{,}\beta \right)$ space with global Cartesian $\left(\alpha \mathrm{,}\beta \right)={\displaystyle {\int}_{M}}\text{\hspace{0.05em}}\alpha \wedge \star \beta ={\displaystyle {\int}_{M}}\langle \alpha \mathrm{,}\beta \rangle \star \left(1\right)={\displaystyle {\int}_{M}}\text{\hspace{0.05em}}\beta \wedge \star \alpha =\left(\beta \mathrm{,}\alpha \right)\mathrm{,}$ coordinates, we have:

$\left(\alpha \mathrm{,}\alpha \right)\ge 0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(\alpha \mathrm{,}\alpha \right)=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{iff}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\alpha =\mathrm{0;}\text{\hspace{1em}}\left(\star \alpha \mathrm{,}\star \beta \right)=\left(\alpha \mathrm{,}\beta \right)\mathrm{.}$

so that the Hodge dual here corresponds to the standard cross-product in ${\Omega}^{p}\left(M\right)$.

Also, in 4D electrodynamics (expanded below), the 2-form Faraday F has the dual 2-form Maxwell $\alpha \in {\Omega}^{p}\left(M\right)$ (see [34]), which satisfies the electric Maxwell equation:

dual Bianchi identity: ${\Vert \alpha \Vert}^{2}=\left(\alpha \mathrm{,}\alpha \right)={\displaystyle {\int}_{M}}\text{\hspace{0.05em}}\alpha \wedge \star \alpha ={\displaystyle {\int}_{M}}\langle \alpha \mathrm{,}\alpha \rangle \star \left(1\right)\mathrm{,}$,

where $\Delta \alpha =0$ is the 3-form dual of the current 1-form J.

Hodge inner product. For any two p-forms $F=dA$ with compact support on an n-manifold M, the bilinear, positive-definite and symmetric Hodge $A={A}_{i}d{x}^{i}$ -inner product $\mathcal{L}\left(A\right)=\frac{1}{2}\left(F\wedge \star F\right)$ is defined as:

$S\left(A\right)=\frac{1}{2}{\displaystyle \int}\text{\hspace{0.05em}}F\wedge \star F$ (9)

${L}^{2}$

Thus, operation (9) turns the space $S\left(A\right)=\frac{1}{2}\left(F\mathrm{,}F\right)$ into an infinite-dimensional inner-product space. From (9) it follows that for every p-form $\delta $ we can define the norm functional:

$d\mathrm{:}{\Omega}^{p}\left(M\right)\to {\Omega}^{p+1}(M)$

for which the Euler-Lagrange equation becomes the Laplace equation: $\delta \mathrm{:}{\Omega}^{p}\left(M\right)\to {\Omega}^{p-1}\left(M\right)$.

For example, the free Maxwell electromagnetic field, $\delta ={\left(-1\right)}^{n\left(p+1\right)+1}\star d\star \mathrm{,}\text{\hspace{1em}}\text{so}\text{\hspace{0.17em}}\text{that}\text{\hspace{0.17em}}d={\left(-1\right)}^{np}\star \delta \star \mathrm{.}$ (where $\delta =-\star d\text{\hspace{0.05em}}\star $ is the electromagnetic potential 1-form) has the standard Lagrangian (see, e.g. [7] [8] [41]):

$\omega \in {\Omega}^{p}\left(M\right)$, with the corresponding action: $\delta $,

which can be rewritten, using the Hodge $\delta \omega ={\left(-1\right)}^{n\left(p+1\right)+1}\star d\star \omega \mathrm{,}\text{\hspace{1em}}\delta d\omega ={\left(-1\right)}^{np+1}\star d\star d\omega \mathrm{.}$ -inner product (9), as:

$\omega =f$.

Hodge codifferential $\delta f=0$.

The Hodge dual (or, formal adjoint) to the exterior derivative $\alpha $ on a Riemannian n-manifold M is the linear codifferential operator $\beta $, a generalization of the standard divergence, defined by [32] [40] :

$\alpha =\delta \beta $

That is, if the dimension n of the manifold M is even, then $\beta $.

Applied to any p-form $\alpha $, the codifferential $\delta \alpha =0$ gives:

$\star \alpha $

If $d\star \alpha =0$ is a 0-form (i.e., a scalar function) then $\delta $. If a p-form $\delta \circ \delta =\delta \delta ={\delta}^{2}=0$ is a codifferential of a (p + 1)-form $d\circ d=dd={d}^{2}=0$, that is $\delta \star ={\left(-1\right)}^{p+1}\star d$, then $\star \text{\hspace{0.05em}}\delta ={\left(-1\right)}^{p}\star d$ is called the coexact form. A p-form $d\delta \star =\star \delta d$ is called coclosed if $\star \text{\hspace{0.05em}}d\delta =\delta d\star $ ; then $\alpha $ is closed (i.e., $\alpha \in {\Omega}^{p}\left(M\right)$ ) and conversely.

The Hodge codifferential $\beta $ satisfies the following three rules:

• $\beta \in {\Omega}^{p+1}\left(M\right)$, the same as: ${L}^{2}$ ;

• $\left(d\alpha ,\beta \right)=\left(\alpha ,\delta \beta \right).$ ; $U\left(1\right)$ ;

• $A={A}_{\mu}d{x}^{\mu}={A}_{\mu}d{x}^{\mu}+df$ ; $F=dA$.

In addition, if $F=\frac{1}{2}{F}_{\mu \nu}d{x}^{\mu}\wedge d{x}^{\nu}\mathrm{,}\text{\hspace{1em}}\text{with}\text{\hspace{0.17em}}{F}_{\mu \nu}={\partial}_{\nu}{A}_{\mu}-{\partial}_{\mu}{A}_{\nu}\mathrm{.}$ is a p-form (i.e., $dF=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\delta F=-4\pi J$ ) and ${F}_{\left[\mu \nu \mathrm{,}\eta \right]}=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}{F}_{\mu \nu}{\mathrm{,}}^{\mu}=-4\pi {J}_{\mu}\text{,}$ is a (p + 1)-form (i.e., $J={J}_{\mu}d{x}^{\mu}$ ) then the following identity holds for the Hodge $\delta J=0$ -inner product:

${J}_{\mu}{,}^{\mu}=0$

The standard application of (co)differentials is classical electrodynamics, in which the gauge field is an electromagnetic potential 1-form (which is a connection on a $\Delta $ -bundle):

$\delta $, (f is an arbitrary scalar field);

with the corresponding electromagnetic field 2-form (the curvature of the connection A) $\Delta \mathrm{:}{\Omega}^{p}\left(M\right)\to {\Omega}^{p}\left(M\right)$, in components given by (see Appendix A.1)

$\Delta =\delta \circ d+d\circ \delta =\delta d+d\delta ={\left(d+\delta \right)}^{2}.$

Electrodynamics is governed by the Maxwell equations^{37}, which in exterior formulation read:

$\Delta $

which in tensor components reads:

$\delta \text{\hspace{0.05em}}\Delta =\Delta \delta =\delta d\delta ;$

where the comma-subscript denotes the partial derivative and the electric current 1-form $d\text{\hspace{0.05em}}\Delta =\Delta \text{\hspace{0.05em}}d=d\delta d;$ is conserved, by the electric continuity equation:

$\star \Delta =\Delta \star .$, in components: ${d}_{t}$.

Hodge Laplacian ${\delta}_{t}$.

${\text{e}}^{tf}$

The codifferential
$\left\{d{x}^{j}\right\}$ can be coupled with the exterior derivative d to construct the Hodge Laplacian operator
$t\to \infty $, which is a harmonic generalization of the Laplace-Beltrami operator^{38}, given by^{39}:

$df=0$ (10)

The Laplacian ${\Delta}_{t}$ satisfies the following three rules:

• $t\to \infty $

• $\alpha $

• $\Delta \alpha =0\iff \mathrm{}\left(d\alpha =0,\delta \alpha =0\right)$

We remark here that Ed Witten considered in [24] the deformed differential operators, $\alpha $ and $D\subset M$, obtained by multiplication/composition with $\alpha $ (for some Morse function f and a real parameter $0=\left(\alpha ,\mathrm{}\Delta \alpha \right)=\left(\alpha ,d\delta \alpha \right)+\left(\alpha ,\delta d\alpha \right)=\left(\delta \alpha ,\delta \alpha \right)+\left(d\alpha ,d\alpha \right).$ ):

$\left(\beta \mathrm{,}\beta \right)\ge 0$, with adjoints: $\beta $, (11)

and deformed Laplacian: $\left(\delta \alpha \mathrm{,}\delta \alpha \right)$.

For $\left(d\alpha \mathrm{,}d\alpha \right)$, $d\alpha =0$ is the Hodge Laplacian (10), whereas for $\delta \alpha =0$, one has the following expansion (in a flat neighborhood on an oriented compact Riemannian manifold M with local coordinates ${H}_{\Delta}^{p}\left(M\right)$ ):

${\mathbb{R}}^{3}$ (12)

where $\to $ represents the Hessian of the Morse function f and $\to $ is

the commutator of the frame
$\star d$ and the coframe
$\to $ ^{40} in M. This becomes very large for
$\delta $, except at the critical points of f, i.e., where
$\to $. Therefore, the eigenvalues of
$\Delta $ will concentrate near the critical points of f for
$\to $, and we get an interpolation between de Rham cohomology and Morse cohomology. Witten’s deformation is considered in the subsection 3.2 above.

A p-form $\Delta $ is called harmonic iff: $\alpha =d\beta $.

Thus, $\omega =\delta \beta $ is harmonic in a compact domain ${L}^{2}$ iff $\Delta \gamma =0$ is both closed and coclosed in D. Every harmonic form is both closed and coclosed; as a proof, we have:

$\alpha $

Since $\beta $ for any form $\left(d\alpha \mathrm{,}\beta \right)=\left(\alpha \mathrm{,}\delta \beta \right)\text{\hspace{1em}}\text{and}\text{\hspace{1em}}\left(\delta \alpha \mathrm{,}\beta \right)=\left(\alpha \mathrm{,}d\beta \right)\mathrm{.}$ then $\delta $ and $\mu $ must vanish separately;

Hence,
$d\mu =0$ and
${\int}_{M}}\text{\hspace{0.05em}}d\left(\alpha \wedge \star \beta \right)=0$ ^{41}.

All harmonic p-forms on a smooth manifold M form the vector space $\Delta $.

As an example, to translate the notions from standard vector calculus in $\left(\Delta \alpha \mathrm{,}\beta \right)=\left(\alpha \mathrm{,}\Delta \beta \right)$, we first identify scalar functions with 0-forms, field intensity vectors with 1-forms, flux vectors with 2-forms and scalar densities with 3-forms. Then we have the following correspondence:

Grad $\left(d\alpha \mathrm{,}d\beta \right)+\left(\delta \alpha \mathrm{,}\delta \beta \right)$ d: on 0-forms; curl $\left(\Delta \alpha \mathrm{,}\alpha \right)\ge 0$ $\left(\Delta \alpha ,\alpha \right)=0$ : on 1-forms;

Div $\Delta \alpha =0$ $\Delta $ : on 1-forms; div grad $n\ge p$ $\omega \in {\Omega}^{p}\left(M\right)$ : on 0-forms;

Curl curl-grad div $\alpha \in {\Omega}^{p-1}\left(M\right)$ $\beta \in {\Omega}^{p+1}\left(M\right)$ : on 1-forms.

$\gamma \in {\Omega}^{p}(M)$

We remark here that exact and coexact p-forms ( $\omega $ and $d\omega =0$ ) are mutually orthogonal with respect to the $\delta \beta $ -inner product (9). The orthogonal complement consists of forms that are both closed and coclosed, i.e., of harmonic forms ( $\omega =d\alpha +\gamma $ ).

Hodge adjoints and self-adjoints. If $\omega $ is a p-form and $\gamma $ is a (p + 1)-form then we have [32] [40] :

$d\alpha $ (13)

This relation is usually interpreted as saying that the two exterior differentials, d and $\omega $, are mutually adjoint (or, dual). This identity follows from the fact that for the volume form $\gamma $ given by (8) we have $\left[\omega \right]\in {H}^{p}\left(M\right)$ and thus: ${\int}_{C}}\text{\hspace{0.05em}}\omega ={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}\gamma \text{\hspace{1em}}\iff \text{\hspace{1em}}\langle C\mathrm{,}\omega \rangle =\langle C\mathrm{,}\gamma \rangle \mathrm{,$.

Relation (13) also implies that the Hodge Laplacian $\gamma $ is self-adjoint (or, self-dual), formally: $\omega $, which is obvious, since either side is $\mathrm{.}$. Furthermore, since $\omega $, with $\gamma $ only when $\omega $, the Laplacian $\left[\omega \right]\in {H}^{p}\left(M\right)$ is a positive-definite, self-adjoint elliptic operator.

Hodge decomposition theorem. Now we have all the necessary ingredients to formulate the celebrated Hodge decomposition theorem (HDT), which states: on a compact orientable Riemannian n-manifold M, any exterior p-form (with $\gamma \in {H}_{\Delta}^{p}\left(M\right)$ ) can be written as a unique sum of an exact form, a coexact form, and a harmonic form. Formally, for any p-form ${H}_{\Delta}^{p}\left(M\right)$, there is a unique exact (p − 1)-form ${H}_{\Delta}^{p}\left(M\right)\cong {H}_{d}^{p}\left(M\right)$, a unique coexact (p + 1)-form $\gamma $ and a harmonic p-form ${f}_{\text{RBG}}$, such that:

$\nabla {f}_{\text{RBG}}=0$

For the proof, see [32] [40].

In physics community, the exact form
${M}_{\text{Red}}$ is called longitudinal, while the coexact form
${M}_{\text{Blue}}$ is called transversal, so that they are mutually orthogonal. Thus any form can be orthogonally decomposed into a sum of: 1) a harmonic form, 2) a longitudinal form, and 3) a transversal form^{42}.

Since $T{M}_{\text{Red}}$ is harmonic, $T{M}_{\text{Blue}}$. Also, by Poincaré lemma, $n=30$. In case $\odot $ is a closed p-form: ${f}_{\text{RB}}\mathrm{:}W\to \mathbb{R}$, then the coexact term $p\in W$ in HDT is absent, so we have the short Hodge decomposition: ${f}_{\text{RB}}\left(p\right)=c$, hence ${f}_{\text{RB}}^{-1}\left(p\right)=\left\{p\in W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\mathrm{:}{f}_{\text{RB}}\left(p\right)=c\right\}\mathrm{.}$ and $\mu \left(W\right)$ differ by ${C}^{\lambda}$. In de Rham’s terminology, ${S}^{2}$ and $\mu \left({S}^{2}\right)=2$ belong to the same cohomology class ${S}^{1}\times I$. Now, by the de Rham theorems it follows that if C is any p-cycle, then we have:

$\mu \left({S}^{1}\times I\right)=0$

that is, ${T}^{2}$ and $\mu \left({T}^{2}\right)=4$ have the same periods ${f}_{\text{RBG}}\mathrm{:}W\to \mathbb{R}$ More precisely, if $p\in W$ is any closed p-form, then there exists a unique harmonic p-form ${f}_{\text{RB}}\left(p\right)=c$ with the same periods as those of ${f}_{\text{RBG}}^{-1}\left(p\right)=\left\{p\in W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\mathrm{,}{M}_{\text{Green}}\right)\mathrm{:}{f}_{\text{RBG}}\left(p\right)=c\right\}\mathrm{.}$ (see [32] [33]).

${W}^{u}(x)$

Our final statement in this section is the Hodge-Weyl theorem [32] [40], which states that every de Rham cohomology class $W={\displaystyle \underset{x\in \text{Crit}\left(f\right)}{\cup}}{W}^{u}\left(x\right)\mathrm{.}$ has a unique harmonic representative $g\in W$. In other words, the space $\left({f}_{\text{RB}}\mathrm{,}g\right)$ of harmonic p-forms on a Riemannian manifold M is isomorphic to the de Rham cohomology group (7), or ${f}_{\text{RB}}$. This means that the harmonic part ${x}_{1}$ of the HDT depends only on the topology of the manifold M. In this way, Hodge theory provides the efficient methodology for computing de Rham’s cohomology and its dual-singular homology.

NOTES

^{1}This reference was chosen from the many that pepper the military theory literature because it highlights the underlying reason for non-ergodic nature of war and battle: such systems contain self-reference and hence are populated by formal paradoxes that yield inherent limits to knowledge within the situation, particularly around unpredictability of future outcomes.

^{2}Recall that John A. Wheeler was initially an assistant of Albert Einstein and later a supervisor of two future Nobel Laureates, Richard Feynman and Kip Thorne (even later, he became the “Godfather of Mathematica”, as called by Stephen Wolfram). Einstein introduced local Riemannian geometry into physics, under his famous dictum: “Physics is simple only locally”. Wheeler was not satisfied with this local view of physics―he felt that even when differential equations of all fields and motions are precisely defined―something important is still left missing―the global topology of the environmental configuration manifold in which these equations evolve (e.g., Einstein’s gravitational equations are the same for elliptic surface of the Earth as for elliptic/hyperbolic surface of an apple―which is clearly not quite right, notwithstanding the magnificence of Einstein gravity theory). So, using his famous slogan: “the boundary of a boundary is zero” (BBZ), Wheeler introduced global topological analysis into physical sciences, which goes hand-in-hand with local Riemannian geometry used by Einstein. Similarly, in our TCW systems-battle space, even when the local Red-Blue tensor equations are precisely defined, we are still missing the global topology of the systems-battle space with its dramatic changes. Redressing this is the objective of the present paper.

^{3}More correctly, according to the existence and uniqueness theorems for the sets of ODEs, the Red and Blue flows uniquely exist on the
${x}_{2}$ and
$\gamma \mathrm{:}\mathbb{R}\to W$ manifolds, while their corresponding vector fields are defined on their respective tangent bundles
$\stackrel{\dot{}}{\gamma}\left(t\right)=-\nabla {f}_{\text{RB}}\left[\gamma \left(t\right)\right]\text{\hspace{1em}}\text{with}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{t\to -\infty}{\text{lim}}\gamma \left(t\right)={x}_{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\underset{t\to \infty}{\text{lim}}\gamma \left(t\right)={x}_{2}\mathrm{.}$ and
${h}_{\alpha \beta}\mathrm{:}{H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}^{\alpha}\right)\to {H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}^{\beta}\right)$. However, for the present topological considerations, this subtle geometric difference can be neglected, or rather unified within the notion of pseudo-Riemannian geometry (see, e.g. [7] [8] and the references therein).

^{4}In this paper we present continuous, analytical approach to topological analysis of systems confrontation. Alternatively, a discrete, computational framework with networks of up to millions of nodes, based on persistent homology algorithms on directed simplices [9] has been developed as a Matlab toolbox supporting the cutting-edge topological research of brain cliques and cavities from computational neuroscience (the Blue Brain project [10] [11]).

^{5}Recall that in our initial kinetic scenario (see [1] [12]) we have
$d\left(fg\right)=g\text{\hspace{0.05em}}df+f\text{\hspace{0.05em}}dg$ aircraft on each side. In case of the Red force, they enter into the combat in the bipartite (15 + 15)-formation, while in the case of the Blue force, they enter into the combat in the tripartite (10 + 10 + 10)-formation.

^{6}The importance of the homological invariants here relates directly to the previously identified approach for dealing with uncertainty in non-ergodic problem environments by establishing weaker invariant conditions than ergodicity as the basis for reliable decision-making, within known limitations [14]. The context of this previous work was primarily autonomous systems development; however, the homological invariants derived here shows that the approach is applicable to modeling systems manifesting uncertainty more generally.

^{7}The concept of cobordism of smooth manifolds was discovered by the Fields medalist René Thom, the father of Catastrophe Theory (or, theory of sudden changes in arbitrary bio-socio-physical systems).

^{8}In topology (and gravitational physics), cobordisms are used to define the so-called surgery theory on smooth manifolds, which is a collection of techniques used to produce one manifold from another in a “controlled” way, that is, by cutting out parts of the initial manifold and replacing it with a part of the second manifold, matching up along the boundary.

^{9}We remark that the (n + 1)D glued cobordism operation
$a\wedge b$, as well as the surgery on manifolds, can be defined in terms of another topological (nD operation on manifolds. It is the connected sum of two n-manifolds, usually denoted by #, which produces a new n-manifold formed by deleting a ball inside each of the old manifolds and gluing together the resulting boundary spheres (see, e.g. [7] [8] and the references therein).

^{10}More precisely, the c-level set of the Red-Blue Morse function
$f\mathrm{:}A\to B$ is the set of all the points
$g\mathrm{:}B\to C$ such that
$0\to A\stackrel{f}{\to}B\stackrel{g}{\to}C\to 0$, i.e.,
$B=\text{Im}\left(f\right)=\text{Ker}(g)$

^{11}We remark that the special handle body calculus has been developed to address the spatial topology changes (with applications in quantum gravity; see [19] and the references therein). However, this approach represents a further extension of Morse topology, too technical for the scope of the present paper-it might be addressed in our future research.

^{12}In general, the Morse number
$g={g}_{ij}$ of a cobordism W is the minimum (over all the Morse functions f defined on W) of the number of its critical points
$\left\{{\partial}_{i}\right\}\in M$ (e.g., the sphere
$i,j=1,\cdots ,n$ has
${g}_{ij}=g\left({\partial}_{i},{\partial}_{j}\right)={\delta}_{ij},\text{\hspace{1em}}{\partial}_{k}{g}_{ij}=0.$, the cylinder
$dF=0$ has
$\text{div}B=0$ and the torus
${\partial}_{t}B+\text{curl}E=0$ has
$\delta F=J$ ).

^{13}The nth Betti number represents the rank/dimension of the nth homology and nth cohomology groups, derived in the next section.

^{14}We can plot this landscape topology in a symmetric fashion, because any smooth (diffeomorphic) local perturbation will leave these principal characteristics invariant.

^{15}Intuitively speaking, the index of a critical point p of the battle landscape is the number of independent directions around p in which the landscape height decreases. Therefore, we have natural indices of 0 for the landscape basins/minima, 1 for the landscape passes/saddles, and 2 for the landscape peaks/maxima.

^{16}The c-level set of the Red-Blue-Green Morse function
${M}_{\text{Green}}$ is the set of all the points
$\gamma $ such that
${\gamma}_{b}$, i.e.,
${\mathcal{L}}_{G}\left({\mathcal{N}}_{b}^{a}+{\mathfrak{N}}_{b}^{a}\right)$

^{17}Recall that the concept of homology as a rigorous mathematical method for defining and categorizing holes in a manifold was pioneered by Henri Poincaré in his seminal 1895-paper “Analysis situs” [21] (which introduced homology classes and relations; the possible configurations of orientable cycles are classified by the Betti numbers, which are refinement of the Euler characteristic of the manifold). Homology theory was developed as a way to analyze and classify manifolds according to their cycles. Informally, a cycle is a closed submanifold, a boundary is a cycle which is also the boundary of a submanifold and a homology class (which represents a hole) is an equivalence class of cycles modulo boundaries. A non-trivial equivalence class is thus represented by a cycle which is not the boundary of any submanifold. A hypothetical manifold whose boundary would be that particular cycle is “not there” which is why that cycle is indicative of the presence of a hole.

^{18}A disjoint decomposition of the systems-battlespace manifold W by unstable submanifolds
$W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\in \text{Cob}\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)$ formally reads:
${f}_{\text{RB}}\mathrm{:}W\to \mathbb{R}$

^{19}Two curves in a topological space are described as “transverse” if they cross without tangency. Since this can be almost always achieved by small perturbations of the metric
$\lambda $, this means that almost all functions on a pseudo-Riemannian manifold W are Morse--Smale. In our case of the systems-battlespace manifold W, the requirement on the pair
${f}_{\text{RB}}$ is called Morse--Smale condition:
$\lambda $ is a Morse function and for every pair of critical points
${f}_{\text{RB}}$ and
${C}^{\lambda}$, the unstable manifold
$\lambda $ is transverse to the stable manifold
$W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)$. This implies that we can define a flow-line from
$\mu \left(W\right)=\mu \left[W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\right]$ to
$W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)$ to be a map
$\chi \left(W\right)=\chi \left[W\left({M}_{\text{Red}}\mathrm{,}{M}_{\text{Blue}}\right)\right]$ such that:
${C}^{\lambda}$ For technical details on structurally stable Morse-Smale dynamical systems, see [27] and the references therein.

^{20}The construction of the homology isomorphism:
$\chi \left(W\right)={\displaystyle \underset{\lambda =1}{\overset{n}{\sum}}}{\left(-1\right)}^{\lambda}{C}^{\lambda}\mathrm{,}$ for two generic Morse functions
${b}_{\lambda}\left(W\right)$ uses the “connecting trajectories” which are solutions of the parameterized gradient equation:
$\chi \left(W\right)={\displaystyle \underset{\lambda =1}{\overset{n}{\sum}}}{\left(-1\right)}^{\lambda}{b}_{\lambda}\left(W\right)\mathrm{.}$ where
${A}_{ab}{R}^{a}{R}^{b}$ is the homotopy connecting
${C}_{ab}{B}^{a}{B}^{b}$ and
${f}_{\text{RB}}$ (see [28] for technical details).

^{21}Note that in the previous subsection, the points on the manifold W were labeled by p and their Morse index by
$\frac{\partial {f}_{\text{RB}}}{\partial {x}^{a}}\left(R\mathrm{,}B\right)=0$. However, in this subsection, the symbol
$a=\mathrm{1,}\cdots \mathrm{,}n$ is reserved for the eigenvalues of the Laplacian
${f}_{\text{RB}}$, while p is reserved for the rank of the (co)homology groups.

^{22}The linear exterior derivative/differential operator
${H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}^{\alpha}\right)$ (also called the coboundary operator, or de Rham differential/homomorphism) represents a generalization of ordinary vector differential operators (grad, div and curl; see [32] [33]) that transforms p-forms
${H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}^{\beta}\right)$ into (p + 1)-forms
${f}_{\text{RB}}$, with the fundamental closure property: the boundary of a boundary is zero (BBZ; see [34] [35]); formally, the exterior differential
${H}_{\lambda}^{\text{Morse}}\left({f}_{\text{RB}}\right)\cong {H}_{\lambda}^{\text{sing}}\left(W\right)$ is nilpotent:
${H}^{p}\left(M\right)$. For example, in
$f\mathrm{:}M\to \mathbb{R}$ we have: 1) any scalar function
${\mathcal{H}}^{p}\left(M\right)$ is a 0-form; 2) the gradient
$\Delta $ of any smooth function f is a 1-form
${\mathcal{H}}^{p}\left(M\right)=\left\{\omega \in {\Omega}^{p}\left(M\right)\mathrm{|}\Delta \omega =0\right\}\mathrm{.}$ 3) the curl
$\Delta \omega =0\Rightarrow d\omega =0$ of any smooth 1-form
${\mathcal{H}}^{p}\left(M\right)\to {H}_{d}^{p}\left(M\right)$ is a 2-form
$\left[\omega \right]\in {H}_{d}^{p}\left(M\right)$ if
${H}_{d}^{p}\left(M\right)$ ; 4) the divergence
${H}_{p}^{\partial}\left(M\right)$ of any smooth 2-form
${H}^{p}\left(M\mathrm{,}\mathbb{R}\right)$ is a 3-form
$\left[\omega \right]\in {H}_{d}^{p}\left(M\right)$ For any two smooth functions
$\omega $ and
${\mathcal{H}}^{p}\left(M\right)\to {H}_{d}^{p}\left(M\right)$, the exterior derivative
${\mathcal{H}}^{p}\left(M\right)\simeq {H}_{d}^{p}\left(M\right)$ (see, e.g. [7] and the references therein) obeys Leibniz rule:
${f}_{\text{RB}}\in W$, and chain rule:
$g\in W$.

^{23}The integration domain C is in topology called a chain, and
${\Omega}^{p}\left(W\right)$ is a 1D boundary of a 2D chain C. In general,
${\Omega}^{\ast}\mathrm{:0}\to {\Omega}^{0}\left(W\right)\stackrel{d}{\to}{\Omega}^{1}\left(W\right)\stackrel{d}{\to}\cdots \stackrel{d}{\to}{\Omega}^{n}\left(W\right)\to 0.$ is a (p − 1)-boundary of a p-chain C, governed by the BBZ property:
${\Omega}^{\ast}$, or formally
$\lambda $. Because of the common BBZ property, chains are dual to differential forms.

^{24}An orientation on an n-manifold is given by a nowhere vanishing exterior n-form.

―valid for any exterior differential p-form
$\Delta $ in
${\Omega}^{\ast}\left(W\right)=\underset{\lambda}{{\displaystyle \oplus}}\text{\hspace{0.17em}}{\Omega}_{\lambda}^{p}\left(W\right)\mathrm{,}\text{\hspace{1em}}\text{where}\text{\hspace{0.17em}}{\Omega}_{\lambda}^{p}\left(W\right)=\left\{\omega \in {\Omega}^{p}\left(W\right)\mathrm{|}\Delta \omega =\lambda \omega \right\}\mathrm{.}$ (as well as for all oriented^{24} smooth n-manifolds).

^{25}In a smooth n-manifold M with local coordinates
$a>0$ and the tangent and cotangent bundles,
$d\mathrm{:}{\Omega}^{p}\left(W\right)\to {\Omega}^{p+1}\left(W\right)$ and
${\text{e}}^{t{f}_{\text{RB}}}$, respectively, we can define the orthonormal basis of vectorfields called the frame:
${f}_{\text{RB}}$, and its dual, the orthonormal basis of covector fields (or 1-forms) called the coframe:
$t\ge 0$.

^{26}In general, given a p-form
${d}_{t}\mathrm{:}{\Omega}^{p}\left(W\right)\to {\Omega}^{p+1}\left(W\right)$ and a q-form
${d}_{t}={\text{e}}^{-t{f}_{\text{RB}}}\circ d\circ {\text{e}}^{t{f}_{\text{RB}}}\mathrm{,}\text{\hspace{1em}}{d}_{t}{}^{2}={\text{e}}^{-t{f}_{\text{RB}}}\circ {d}^{2}\circ {\text{e}}^{t{f}_{\text{RB}}}=0$, their anticommutative exterior (or wedge, or Grassman) product is a (p + q)-form
${d}_{t}$ ; e.g., if we have two 1-forms,
${\mathcal{H}}_{t}^{p}\left(W\right)=\text{Ker}\left({d}_{t}\right)/\text{Im}\left({d}_{t}\right)\mathrm{,}$, and
${H}_{d}^{p}\left(W\right)$, their wedge product
${\mathcal{H}}_{t}^{p}\left(W\right)\simeq {\mathcal{H}}^{p}\left(W\right)\simeq {H}_{d}^{p}\left(W\right)\mathrm{,}$ is a 2-form
${\text{e}}^{t{f}_{\text{RB}}}$ given by:
${\mathcal{H}}_{t}^{p}\left(W\right)=\text{Ker}\left({d}_{t}\right)/\text{Im}\left({d}_{t}\right)$ The exterior product
${\Delta}_{t}={d}_{t}{\delta}_{t}+{\delta}_{t}{d}_{t}$ of two p-forms is related to the exterior derivative
${\Omega}^{\ast}\left(t\mathrm{,}W\right)={{\displaystyle \oplus}}_{\lambda}\text{\hspace{0.05em}}{\Omega}_{\lambda}^{p}\left(t\mathrm{,}W\right)$, by
${\Omega}_{\lambda}^{\ast}\left(t\mathrm{,}W\right)$

^{27}A p-chain C is a formal sum of the form:
${\Omega}^{p}\left({\mathbb{R}}^{4}\right)$, where
$p\le 4$ are smooth oriented pD submanifolds of M and
$d={\partial}_{i}d{x}^{i}\mathrm{:}{\Omega}^{p}\left({\mathbb{R}}^{4}\right)\to {\Omega}^{p+1}\left({\mathbb{R}}^{4}\right)$ are coefficients (which can be either integers, real or complex numbers). Its boundary
$d\circ d={d}^{2}=0$ is a (p − 1)-chain, formally defined as:
$i,j,\cdots ,n=4$. The chains and their boundaries are rigorously defined in simplicial and singular homology theories (see [36] [37]).

^{28}For this reason, the exterior differential d is also called the coboundary operator.

^{29}In general, a p-form
$Pdx+Qdy$ is called closed if its exterior derivative
$A={A}_{i}\text{\hspace{0.05em}}d{x}^{i}\in {\Omega}^{1}\left({\mathbb{R}}^{4}\right)\mathrm{.}$ is equal to zero,
$A$. From this closure-condition one can see that the closed form, which is the kernel of the exterior derivative operator d, is a conserved quantity. Therefore, closed p-forms possess certain invariant properties, corresponding to the conservation laws in physics (see e.g., [38]). Also, a p-form
$\left({\partial}_{x}Q-{\partial}_{y}P\right)dxdy$ that is an exterior derivative of some (p − 1)-form
$B=dA\in {\Omega}^{2}\left({\mathbb{R}}^{4}\right)$, that is,
$B=\frac{1}{2}{B}_{ij}\text{\hspace{0.05em}}d{x}^{i}\wedge d{x}^{j}$, is called exact, which is the image of the exterior derivative operator d. By the Poincaré lemma, exact forms prove to be closed automatically:
$B={\partial}_{j}{A}_{i}\text{\hspace{0.05em}}d{x}^{j}\wedge d{x}^{i}$. Since
${B}_{ij}=-2{\partial}_{j}{A}_{i}={\partial}_{i}{A}_{j}-{\partial}_{j}{A}_{i}=-{B}_{ji}.$, every exact form is closed. The converse is only partially true by the Poincaré lemma: every closed form is locally exact. In particular, there is a Poincaré lemma for contractible manifolds: any closed form on a smooth contractible manifold is exact. The Poincaré lemma is a generalization and unification of two well-known facts in vector calculus: 1) If
$\wedge $, then locally
$C=dB\left(=ddA=0\right)\in {\Omega}^{3}\left({\mathbb{R}}^{4}\right)$ ; 2) If
$C=\frac{1}{\mathrm{3!}}{C}_{ijk}\text{\hspace{0.05em}}d{x}^{i}\wedge d{x}^{j}\wedge d{x}^{k}$, then locally
$C={\partial}_{k}{B}_{\left[ij\right]}d{x}^{k}\wedge d{x}^{i}\wedge d{x}^{j}$, for some scalar field f and some vector field g.

^{30}A short exact sequence of three vector spaces, or groups
$D$, is governed by two linear maps, or homomorphisms,
$n=5$ (which is injective, or “one-to-one” map) and
${\mathbb{R}}^{5}$ (which is surjective, or “onto” map), and is written:
$E=dD\left(=ddC\equiv 0\right)\in {\Omega}^{5}\left({\mathbb{R}}^{5}\right)$, so that
$E=\frac{1}{\mathrm{5!}}{E}_{ijklm}\text{\hspace{0.05em}}d{x}^{i}\wedge d{x}^{j}\wedge d{x}^{k}\wedge d{x}^{l}\wedge d{x}^{m}$, that is, the middle space/group is both the image of the previous map and the kernel of the subsequent map. In general, a (long) exact sequence is a sequence of maps/homomorphisms:
$E={\partial}_{m}{D}_{\left[ijkl\right]}d{x}^{m}\wedge d{x}^{i}\wedge d{x}^{j}\wedge d{x}^{k}\wedge d{x}^{l}$ between a sequence of spaces/groups
${E}_{ijkl}=-120{\partial}_{l}{D}_{\left[ijk\right]}$ that satisfies the exactness condition:
$w$.

^{31}Given two groups
$\partial $ and
$d\circ d\equiv {d}^{2}=0\text{\hspace{1em}}\iff \text{\hspace{1em}}\partial \circ \partial \equiv {\partial}^{2}=0,$, a group homomorphism from
$0=\langle \stackrel{=0}{\stackrel{\ufe37}{{\partial}^{2}C}},\omega \rangle =\langle \stackrel{=0}{\stackrel{\ufe37}{\partial C,d\omega}}\rangle =\langle C,\stackrel{=0}{\stackrel{\ufe37}{{d}^{2}\omega}}\rangle =0,$ to
$0={\displaystyle {\int}_{{\partial}^{2}C}}\text{\hspace{0.05em}}\omega ={\displaystyle {\int}_{\partial C}}\text{\hspace{0.05em}}d\omega ={\displaystyle {\int}_{C}}\text{\hspace{0.05em}}{d}^{2}\omega =0.$ is a function
${\mathbb{R}}^{3}$ such that for all
$0\to {\Omega}^{0}\left({\mathbb{R}}^{3}\right)\underset{\text{grad}}{\overset{d}{\to}}{\Omega}^{1}\left({\mathbb{R}}^{3}\right)\underset{\text{curl}}{\overset{d}{\to}}{\Omega}^{2}\left({\mathbb{R}}^{3}\right)\underset{\text{div}}{\overset{d}{\to}}{\Omega}^{3}\left({\mathbb{R}}^{3}\right)\to 0.$ we have the identity:
$d\circ d=0\in {\mathbb{R}}^{3}$. Therefore, h maps the identity element
$\text{curl}\left(\text{grad}\right)=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{div}\left(\text{curl}\right)=0.$ of G to the identity element
${\mathbb{R}}^{3}$ of H (and it also maps inverses to inverses in the sense that
$0\leftarrow {\mathcal{C}}_{0}\left({\mathbb{R}}^{3}\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{1}\left({\mathbb{R}}^{3}\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{2}\left({\mathbb{R}}^{3}\right)\stackrel{\partial}{\leftarrow}{\mathcal{C}}_{3}\left({\mathbb{R}}^{3}\right)\leftarrow 0.$ ). Hence, we say that h is compatible with the group structure. The kernel,
$\partial \circ \partial =0\in {\mathbb{R}}^{3}$, of a group homomorphism
${C}_{1}\stackrel{\partial}{\mapsto}{C}_{0}=\partial \left({C}_{1}\right)\mathrm{,}\text{\hspace{1em}}{C}_{2}\stackrel{\partial}{\mapsto}{C}_{1}=\partial \left({C}_{2}\right)\mathrm{,}\text{\hspace{1em}}{C}_{3}\stackrel{\partial}{\mapsto}{C}_{2}=\partial \left({C}_{3}\right)\mathrm{,}$ consists of all those elements of G which are sent by h to the identity element
${C}_{0}\in {\mathcal{C}}_{0}$ of H, that is:
${C}_{1}\in {\mathcal{C}}_{1}$. The image,
${C}_{2}\in {\mathcal{C}}_{2}$, of a group homomorphism
${C}_{3}\in {\mathcal{C}}_{3}$ consists of all elements of G which are sent by h to H, that is:
${C}^{0}\stackrel{d}{\mapsto}{C}^{1}=d\left({C}^{0}\right),\text{\hspace{1em}}{C}^{1}\stackrel{d}{\mapsto}{C}^{2}=d\left({C}^{1}\right),\text{\hspace{1em}}{C}^{2}\stackrel{d}{\mapsto}{C}^{3}=d\left({C}^{2}\right),$.

^{32}A quotient space in topology is obtained by identifying (or, “gluing”) certain points (specified by a certain equivalence relation) of a given manifold. In our case, the equivalence relation is “(co)homologous”, which means belonging to the same (co)homology class.

^{33}Cohomology classifies topological spaces by comparing two subspaces of
${C}^{0}\in {\Omega}^{0}$ : 1) the space of p-cocycles,
${C}^{1}\in {\Omega}^{1}$, and 2) the space of p-coboundaries,
${C}^{2}\in {\Omega}^{2}$ so that every p-coboundary is a p-cocycle:
${C}^{3}\in {\Omega}^{3}$ ; Whether the converse of this statement is true, according to Poincaré lemma, depends on the particular topology of the manifold. If every p-cocycle is a p-coboundary, so that
${A}^{\u2022}$ and
$\begin{array}{l}{A}^{\u2022}\mathrm{:0}\to {\Omega}^{0}\left(M\right)\stackrel{d}{\to}{\Omega}^{1}\left(M\right)\stackrel{d}{\to}{\Omega}^{2}\left(M\right)\stackrel{d}{\to}{\Omega}^{3}\left(M\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\stackrel{d}{\to}\cdot \cdot \cdot \stackrel{d}{\to}{\Omega}^{n}\left(M\right)\to \mathrm{0,}\end{array}$ are equal, then the cochain complex is exact at
$\mathrm{}d\circ d\equiv {d}^{2}=0$. Otherwise, the pth cohomology group
${A}^{n}={\Omega}^{n}\left(M\right)\in {A}^{\u2022}$ measure the failure of exactness (see, e.g. [39] and the references therein).

^{34}The de Rham theorem states that the period map:
$\left[C\right]\in {H}_{p}^{\partial}\left(M\right)$ given by
${H}_{p}^{\partial}\left(M\right)$ for
$\text{Ker}(\partial )/\text{Im}(\partial )$ and
${H}_{p}^{\partial}\left(M\right)\mathrm{:}=\frac{{Z}_{p}^{\partial}\left(M\right)}{{B}_{p}^{\partial}\left(M\right)}=\frac{\left\{p\text{-cycles}\right\}}{\left\{\left(p+\text{1}\right)\text{-boundaries}\right\}}=\frac{\text{Ker}\left[\partial \mathrm{:}{\mathcal{C}}_{p}\left(M\right)\to {\mathcal{C}}_{p-1}\left(M\right)\right]}{\text{Im}\left[\partial \mathrm{:}{\mathcal{C}}_{p+1}\left(M\right)\to {\mathcal{C}}_{p}\left(M\right)\right]}\mathrm{,}$ is a bilinear nondegenerate map which establishes the duality of the (co)homology groups
${Z}_{p}$ and
${B}_{p}\subset {Z}_{p}$ and the equality of the Betti numbers:
${b}_{p}=\mathrm{dim}\left[{H}_{p}^{\partial}\left(M\right)\right]$.

^{35}The closure relation between these three derivative operators reads:
${H}_{p}^{\partial}(M)$

^{36}On a Riemannian n-manifold M, the metric
$d\text{\hspace{0.05em}}\star F=\star J$ is defined in any local frame
$\star J$ by (
$\alpha \mathrm{,}\beta \in {\Omega}^{p}\left(M\right)$ ):
${L}^{2}$

^{37}The first, sourceless Maxwell equation,
$t\ge 0$, gives vector magnetostatics and magnetodynamics, Magnetic Gauss’ law:
${d}_{t}={\text{e}}^{-tf}\circ d\circ {\text{e}}^{tf}$, Faraday’s law:
${\delta}_{t}={\text{e}}^{tf}\circ \delta \circ {\text{e}}^{-tf}$. The second Maxwell equation with source,
${\Delta}_{t}={d}_{t}{\delta}_{t}+{\delta}_{t}{d}_{t}$ (or,
$t=0$ ), gives both vector electrostatics and electrodynamics, Electric Gauss’ law:
${\Delta}_{0}=\Delta $, Ampère’s law:
$t\to \infty $.

^{38}Applied to a scalar function f on a Riemannian manifold M with metric
${x}^{i}$, the Laplace-Beltrami differential operator reads:
${\Delta}_{t}=\Delta +{t}^{2}{\Vert df\Vert}^{2}+t{\displaystyle \underset{i,j}{\sum}}\frac{{\partial}^{2}f}{\partial {x}^{i}\partial {x}^{j}}\left[{\partial}_{i},d{x}^{j}\right],$

^{39}Note that the difference
$\frac{{\partial}^{2}f}{\partial {x}^{i}\partial {x}^{j}}$ is called the Dirac operator. Its square
$\left[{\partial}_{i}\mathrm{,}d{x}^{j}\right]$ also equals the Hodge Laplacian:
$\left\{{\partial}_{i}\right\}$.

^{40}Note that in [24] Witten actually uses the commutator
$\text{HDT}:\stackrel{\text{any}\text{\hspace{0.05em}}\text{form}}{\omega}=\stackrel{\text{exact}}{d\alpha}+\stackrel{\text{coexact}}{\delta \beta}+\stackrel{\text{harmonic}}{\gamma}\mathrm{.}$ of the fermion creation and annihilation operators in (the Heisenberg picture of) supersymmetric quantum mechanics.

^{41}Also, given a p-form
$d\alpha $, there is another p-form
$\delta \beta $ such that the equation:
$\gamma $ is satisfied iff for any harmonic p-form
$d\gamma =0$ we have
$d\left(d\alpha \right)=0$.

^{42}For example, in fluid dynamics, any vector-field v can be decomposed into the sum of two vector-fields, one of which is divergence-free, and the other that is curl-free.