In the series of papers called the tensor-centric warfare (TCW; see    ) we have developed a tensor architecture for general Red-Blue combat dynamics. The TCW framework starts by providing tensorial generalization of the Lanchester-type combat equations  , and then includes entropic Lie-dragging (for modeling warfare uncertainty) and commutators (for analysis of warfare symmetry)  , as well as various kinds of delta-strikes and missiles  . The whole TCW architecture is defined by the following pair of Red-and-Blue tensorial dynamical systems (formally, the pair of Red-Blue vectorfields):
In Equations (1) the Red and Blue Hamilton-Langevin delta strikes, and , partially derived from the Ising-type battle Hamiltonian: , with the connection tensor:
(weighted by the random noise; see  for details), read:
In the Red-Blue Equations (1)-(2), and the Red and Blue forces are defined as vectors and , defined on their respective configuration n-manifolds (with local coordinates , for ) and (with local coordinates ). The Red and Blue vectorfields, and , include the following terms (placed on the right-hand side of Equations (1)):
• Linear Lanchester-type terms, and , with combat tensors and defined via bipartite and tripartite adjacency matrices, respectively defining Red and Blue aircraft formations (according to the aircraft-combat scenario from  and  );
• Quadratic Lanchester-type terms, and , with the 4th-order tensors and representing strategic, tactical and operational capabilities of the Red and Blue forces (see  );
• Entropic Lie-dragging of the opposite side terms, and , where and . In case of resistance, the Lie derivatives are positive, and , so that the non-equilibrium battlefield entropy grows, ; in case of non-resistance, the Lie derivatives vanish, and , so that the battlefield entropy is conserved, (see  );
• Entropic Red-Blue commutators, and , for modeling warfare symmetry (see  );
• Hamilton-Langevin delta strikes, and , on both sides, including 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  ).
The first three models of the TCW series have been developed on the Red and Blue configuration manifolds, and , intentionally without specifying any geometric structures on these manifolds. In the present paper, we use the most sophisticated geometric structure of Kähler manifolds, which allows development of both Lagrangian and Hamiltonian formalisms on it. Here we summarize and reformulate the two Red-and-Blue dynamical systems (1)-(2) in the form of a unique Kähler dynamical system, together with its specific geometrical underpinning called the Kähler-Ricci flow. This sophisticated geometric framework gives a new insight into deep mathematical and physical structures of battlefields and also provides a convenient computational wargaming framework.
2. Kähler Dynamics of Battlefields
The concept of Kähler dynamics, or tensor dynamics on Kähler manifolds (see Appendix 1 for a technical exposition), has been formally developed in  , based on our previous work on self-organization entropy  , controllable complexity  and autonomy of cyber-physical-cognitive systems  .
Briefly, the Kähler dynamics is defined by the complex-valued vectorfield:
which flows along the Kähler battle-manifold defined by the complexified sum (i.e., the sum with the imaginary unit: ):
where is the tangent bundle (or, velocity phase-space) of the Red forces with Riemannian structure and natural Lagrangian dynamics (derived from the Lagrangian energy function L), and is the cotangent bundle (or, momentum phase-space) of the Blue forces with symplectic structure and natural Hamiltonian dynamics (derived from the Hamiltonian energy function H).
More specifically, a Kähler manifold,
, represents a Hermitian manifold of complex dimension 2n (or, real dimension 4n), defined by the Hermitian metric form:
, where is the Riemannian metric on the tangent bundle and is the symplectic form on the cotangent bundle. In our case of the two-party battlefield with the Red forces defined by the (real) configuration n-manifold (with its tangent bundle which is the Riemannian 2n-manifold) and the Blue forces defined by the configuration n-manifold (with its cotangent bundle which is the symplectic 2n-manifold),1 our Kähler battle-manifold is defined as the complexified sum:
with the Hermitian metric form g:
, where , ,
with the local coordinates on the component bundles, and . For further technical details on Kähler manifolds, see Appendix 1.
The unique battlefield dynamics defined by the battle-vectorfield, , has several advantages over the real-valued Red-Blue Equations (1)-(2):
• is mathematically more consistent than the pair , since dynamics in the complex plane includes dynamics in the real plane but reveals much reacher structure (including polar form, Euler relation, conjugation, etc.);
• has a rigorous geometric underpinning called the Kähler-Ricci flow;
• gives a new insight into the physics of warfare in terms of its natural/embedded Lagrangian and Hamiltonian dynamics, and
• has a straightforward implementation in the computational wargame called the Entropy Battle.
Deep mathematical and physical aspects of this new concept are briefly defined in the next two subsections, based on the rigorous technical exposition given in Appendix 1.
2.1. Geometry of Warfare: Kähler Battle-Vectorfield
Our Kähler dynamics of the battlefield is defined as a complex-valued nD vectorfield , called the Kähler battle-vectorfield, flowing along the Kähler battle-manifold and defined in the following two steps. Firstly, the above two real-valued Red-and-Blue vectorfields (1) can be rewritten in terms of the real and imaginary components of a single complex-valued vectorfield, defined on as:
Secondly, from the split real-Red and imaginary-Blue vectorfields, and in (3), we can directly compose the following single complex-valued vectorfield, , as a unique description of the battlefield dynamics:
where is the unique complex vector. Its time derivative, , is our main actor, the battle-vectorfield, defined as the mapping from the Kähler battle-manifold to the complex plane :
The battle-vectorfield , defined by the complex-valued system of tensor differential Equations (4), represents a dynamical game played on the Kähler battle-manifold , in which the actors are the following complex tensors:
• , and
The promised rigorous geometric underpinning of the battle-vectorfield , defined by (4), is provided by the Kähler-Ricci (KR) flow, a geometric-dynamics structure defined on the Kähler battle-manifold in the following four equivalent ways:
1) Globally, in terms of the Kähler form and the Ricci curvature form , as:
2) Locally, in terms of the Kähler metric tensor and the Ricci curvature tensor , as:
3) In terms of the Kähler potential and volume forms as:
4) In the form of the Monge-Ampère equation (with Dolbeault’s -operators and the Kähler class condition, ):
The solutions of these four KR equations are called the KR solitons. They uniquely exist in the case of Kähler-Einstein metric: , for some real constant . KR solitons can be threefold: shrinking (if ), steady (if ), or expanding (if ). For more technical details on the Kähler-Ricci flow, see Appendix 1.2.
In summary, the proposed Red-Blue combat dynamics model:
is defined on the Kähler battle-manifold by a single battle-vectorfield:
which is underpinned by the geometric Kähler-Ricci flow on :
Since the Kähler-Ricci flow has threefold solitary solutions: shrinking, steady and expanding (depending on the parameters), by analogy, we conjecture that the battle-vectorfield also has solitary solutions of shrinking, steady and expanding nature. Therefore, the battle dynamics can be shrinking, steady, or expanding―as expected from the classical warfare analysis.
2.2. Physics of Warfare: Lagrangian and Hamiltonian Structures of the Red and Blue Forces
Now we give a physical interpretation of warfare, using geometric insights from the Kähler dynamics provided above (and in the Appendix 1). The Kähler battle-manifold , with the fundamental complex structure defined by its Hermitian metric , includes the Riemannian structure (for the Red force) and the symplectic structure (for the Blue force)―or vice versa. The Riemannian structure, , naturally admits Lagrangian dynamics for the Red force, derived from the Lagrangian energy function, ; the symplectic structure, , naturally admits Hamiltonian dynamics for the Blue force, derived from the Hamiltonian energy function, ―or vice versa.
Next, we recall that general forced-and-dissipative mechanics (see, e.g.  and the references therein) in Lagrangian form reads:
and in Hamiltonian form reads:
where new -indices denote partial derivatives (which is common with PDEs), represents the covector of generalized external forces and the scalar function , given by the mappings (for Lagrangian mechanics) and (for Hamiltonian mechanics) represents Rayleigh’s dissipation function (describing internal frictional forces proportional to velocity).
So, let us try to formally match the Red and Blue vectorfields from Equations (1) with the general Lagrangian Equations (5) and the general Hamiltonian Equations (6):
By comparing the general forced-and-dissipative mechanics with our Red and Blue vectorfields, we make the following two observations. Firstly, we can see that there are no any covectors of external forces in the Red and Blue (pure velocity) vectorfields, so we can reduce our matches to:
Secondly, since the Red and Blue vectorfields are generalized from classical Lanchester equations (which are the 1st-order ODEs), there are no any covectors of inertial (internal) forces either. In other words, the Red and Blue vectorfields physically correspond to dynamics of highly viscous/dissipative fluids, in which inertial forces can be neglected, so we can make the second reduction as:
Therefore, since our Red and Blue vectorfields are pure velocity-vectorfields without internal or external force co-vectorfields, both Lagrangian and Hamiltonian equations are reduced to the 1st-order systems of ODEs: in Lagrangian formulation the 2nd-order (inertial force) term vanishes, and in Hamiltonian formulation the whole force equation vanishes (momenta still exist but their time derivatives vanish).
3. Computational Wargame: “Entropy Battle”
The computational wargame called the Entropy Battle (see Figure 1) is currently being implemented in C# language (on. Net 4.7), using Irrlicht 3D graphics engine and Bullet 3D physics engine, and implementing the metaphysics of wargaming outlined in the next subsection. The core version of the wargame simulates the aircraft battle scenario from  and  with 30 aircraft on each
Figure 1. A prototype of the computational TCW-wargame called the Entropy Battle. The wargame is currently under development in the Joint and Operations Analysis Division, Defence Science & Technology Group, Australia, using the C# language, with Irrlicht 3D graphics engine and Bullet 3D physics engine. It implements a simplified version of the battle-vectorfield , moving predominantly in the horizontal complex plane, solved by the complex-valued RKF45 (Cash-Karp) integrator and implementing the general metaphysics of wargaming.
side: Red aircraft starts in the bipartite formation and Blue aircraft starts in the tripartite formation. The battle is formally defined as a simplified version of the battle-vectorfield , moving/flying predominantly in the horizontal complex plane . It is numerically solved in adaptive time steps using the complex-valued RKF45 (Cash-Karp) integrator, which is fast, accurate and almost symplectic.
The extended version of the Entropy Battle wargame has two levels:
Top level is the core aircraft battle, and
Bottom level has two scenarios (both formally defined by a simplified version of the battle-vectorfield moving in the complex plane):
• Land battle between Red and Blue land vehicles, and
• Sea battle between Red and Blue boats.
In both cases, the Entropy Battle wargame follows the general metaphysics of wargaming outlined as follows.
Metaphysics of Wargaming: Warfare Entropy and “Combat Signatures” in the Battlespace
• The stage for combat dynamics is the Red-Blue battlespace, which can be modeled by a dynamical concept of the phase-space. From a bird-view (or, from God’s Eye), the phase-space reduces to its 2D order-parameter subspace, the Red-Blue phase-plane, which is usually used in simulations.
• The concept of the phase-space (in our case spanned by the Red and Blue forces) comes from Hamiltonian mechanics (when W.R. Hamilton formally unified Lagrangian mechanics and optics). It is also used in statistical mechanics. Besides, the 2D phase plane was the main analytical tool of H. Poincaré in his qualitative analysis of differential equations, from which both topology and chaos theory emerged. Finally, L. Boltzmann defined the entropy by coarse-graining the phase space. Every kind of entropy (including Boltzmann, Gibbs, Shannon, Kolmogorov-Sinai, Rényi, Bekenstein-Hawking, Kosko fuzzy, entanglement, topological, partition-function based, path-integral based, etc.) is essentially a logarithm of some more fundamental underlying (probabilistic, phase space or topological) measure, therefore it is itself an additive measure, which in our combat case gives:
• The cornerstone of Hamiltonian and statistical mechanics (as well as ergodic dynamics) is the key concept related to the Warfare Entropy and “Combat Signatures” in the Battlespace. It is the famous Liouville’s theorem: The flow of a conservative Hamiltonian vectorfield preserves the phase-space Volume (technically, Hamiltonian flow is a symplectomorphism: the Lie derivative of the volume form: dRed^dBlue along the [Red, Blue] vectorfield vanishes). This volume preservation necessarily implies various shape distortions (called “combat signatures”) and therefore uncertainty!
• Liouville’s theorem-based interpretation of the Warfare Entropy and “Combat Signatures”: If dynamics in the Red-Blue phase-plane stretches in the Red direction, it necessarily shrinks in the Blue direction, and vice versa. The stretching and shrinking distortions of the Combat Area cause rapid entropy growth and combat signatures in the 2D phase-plane. More generally, in higher Red-Blue phase-space dimensions, Liouville’s theorem causes Hamiltonian chaos, because there are so many possible ways for stretching and shrinking, each one reflected by entropy growth. There is no chaos in the 2D phase plane (theorem), but the entropy growth is still observable, since, e.g., the Kolmogorov-Sinai entropy is a sum of all Lyapunov exponents (both positive-chaotic and negative-nonchaotic).
• We can assume that, at least in a short time interval, the Red-Blue combat dynamics in the battlespace is conservative (no energy sources or sinks). Therefore, for a short time period, all combat dynamics can be derived from the so-called battle Hamiltonian (total combat energy function in an isolated region of battlespace)―at a certain entropy level. In the next short time period, we again have the conservative combat dynamics―at a higher entropy level, etc.
• Generalization/relaxation of Liouville’s theorem: the so-called Hamilton-Langevin framework has been proposed in  , to include: delta-strikes, dissipation and random external forces. If the magnitude of these non-conservative influences is not overwhelming, the entropic stretching-and-shrinking effect of Liouville’s theorem is still visible.
• While slow changes of the battlefield are governed by Liouville’s theorem, fast changes are governed by Onsager2―Prigogine’s3 entropic, irreversible, non-equilibrium thermodynamics with the arrow-of-time.4 Sudden entropy growths in open combat Red-Blue systems reflect sudden energy dissipations due to impulsive Red-Blue crashes.
• In summary, general combat dynamics and wargaming necessarily includes both the reversible Hamiltonian-type dynamics (governed by Liouville’s theorem) and irreversible Prigogine’s non-equilibrium thermodynamics of open systems (exhibiting rapid entropy growth).
We have presented the Kähler dynamics approach to battlefields. It is the complex-dynamics synthesis of the combat dynamics series called the tensor-centric warfare, which includes tensor generalization of classical Lanchester-type combat equations, entropic Lie-dragging for modeling warfare uncertainty and symmetry, various (both deterministic and random) delta-strikes and missiles, and deep-learning at the battlefield. This synthesis is performed in the form of the complex battle-vectorfield, defined using the global framework of Kähler battle-manifolds. The proposed Red-Blue combat dynamics model is defined on the Kähler battle-manifold by a unique battle-vectorfield which is underpinned by the geometric Kähler-Ricci flow. This complex synthesis gives a new insight into the “physics of warfare” in terms of “hidden” Lagrangian and Hamiltonian structures of the battlefields. It also provides a convenient and efficient computational framework for entropic wargaming, in which the Entropy Battle is currently under development.
The authors are grateful to Dr. Tim McKay and Dr. Brandon Pincombe, Joint and Operations Analysis Division, Defence Science & Technology Group, Australia―for their constructive comments which have improved the quality of this paper.
1. Appendix: Kähler Manifolds and Kähler-Ricci Flow
In this section, we give a brief review of Kähler manifolds (the main reference is  ) and the Kähler-Ricci flow on them, which constitutes the geometric framework for the complex Red-Blue battle-vectorfield.
1.1. Geometry and Dynamics of Kähler Manifolds
Let be a compact (i.e., closed and bounded) complex n-manifold5 of complex dimension n (see   ). To be able to write various tensors on the manifold , we chose a local point with the neighborhood chart U that includes: 1) the holomorphic coordinates and their complex-conjugates: , 2) the natural basis of vectorfields in the tangent space at p: (using ), and 3) the dual basis of co-vectorfields (i.e., holomorphic 1-forms)6 in the cotangent space at p: .
To make the complex manifold into a Kähler n-manifold, we need to specify on it a Kähler metric g and its associated Kähler form , as follows (compare with     ). Consider a Hermitian metric7 g defined at each point by a smooth positive-definite (1,1)-tensor field , for , as:8
such that is a positive-definite Hermitian matrix. Its inverse is given by the matrix . Associated to the Hermitian metric g, there is a real positive-definite exterior (1,1)-form on , defined by:9
If the form is closed, , then g is called the Kähler metric and is called the Kähler form. The fundamental closure condition: is called the Kähler condition, the global condition for any Kähler manifold , which is locally in equivalent to the following metric symmetries:10
(independent of the choice of local holomorphic coordinates ). In (9), and are Dolbeault’s differential operators, which are the additive components of the exterior derivative (de Rham differential) d on : .11 In that case, as shown by E. Kähler himself in 1933, the metric tensor can be written in terms of a real-valued smooth function , called the Kähler potential (see below), as:12
We remark that the two differential expressions with the Kähler potential ,13 , both governed by the (see below) constitute the core of the Kähler geometry, so that any other geometro-dynamical structure on , including the Kähler-Ricci flow and the Monge-Amperè equation, is derivable from them.
Holomorphic vectorfields and co-vectorfields (1-forms) are defined on
by their appropriate holomorphic coordinate transformations (or, diffeomorphisms) in
, respectively. Let
, such that
, and let
, such that
. If is another holomorphic coordinate system on , then on the overlap the following diffeomorphisms hold:
The Kähler metric g induces the Levi-Civita connection on , given by the Christoffel symbols on , defined simply by:14
are not the components of a tensor; however, if and are two Kähler metrics with Christoffel’s symbols and then the difference is a tensor. From the Kähler condition (9) it follows that are symmetric in the lower indices: .
Using Christoffel’s symbols
, we can defined the pair of covariant derivatives
, which act on smooth functions f on as: . On the vectorfields on and co-vectorfields on , the covariant derivatives act in the following way:15
In general, the Christoffel symbols are chosen so that both covariant derivatives of the metric tensor vanish: . Similarly, a Hermitian manifold is a Kähler manifold iff the almost complex structure J satisfies: .
The Laplacian (or, rather Laplace-Beltrami) operator is defined in local coordinates as:
-action on smooth functions is given by:
where is the trace operator (i.e., contraction with ).16 More generally, -action on an arbitrary tensor T is defined in normal coordinates17 for g on as:
A Kähler metric g defines a corresponding Riemannian metric on , defined via its real and imaginary parts, as follows. In local coordinates
, we write , so that and , which gives:
The Riemann curvature tensor Rm of the Kähler metric is very simply defined in two forms, mixed and covariant, respectively:
Using (9) and (10), we have locally (in an open chart ; see  ):
The Riemann curvature tensor on has the following three symmetries:18
2) (I Bianchi identity); and
3) (II Bianchi identity).
For any two nonzero vectorfields on , we say that has positive holomorphic bisectional curvature and positive holomorphic sectional curvature, respectively, if
The trace of the Riemann curvature tensor is the Ricci curvature tensor Rc, defined as:
which locally (in an open chart ; see   ) reads:
Similarly, the trace of the Ricci curvature is the scalar curvature: .
A Kähler metric g defines a pointwise norm on any tensor field on ; e.g., the squared norm of functions f on reads: , and similarly for the vectorfields and co-vectorfields we have:19
Associated to the Ricci curvature tensor Rc is the Ricci form, , a real closed (1,1)-form on , similar to the Kähler form , given by:
which implies that is closed: .
The Riemann curvature tensor arises when commuting covariant derivatives . Using the standard commutator definition: , we have the following commutation formulae for the vectorfields on and co-vectorfields on :
which can naturally be extended to tensors of any type on . Also, when acting on any tensor, the covariant derivatives commute as: .
Now we come to the essential notion of cohomology of a Kähler manifold , which is defined using the formalism of -operators. Recall that de Rham’s cohomology group , based on the exterior derivative ,20 considers a symplectic 2-form which is globally closed: and locally exact: , for some canonical 1-form (Poincaré lemma). Then the group is defined as the quotient space:21
Similarly, a (1,1)-form is called -closed if and -exact if for some (0,1)-form .22 Therefore, a complexification of de Rham’s group gives the Dolbeault cohomology group , defined as the quotient space:23
A Kähler form on defines a nonzero element of . If a cohomology class can be written as: , for some Kähler form , then we say that is a Kähler class and write .24
As already mentioned, the famous -lemma (which is the holomorphic version of the classic Poincaré lemma that follows from Hodge theory) is the fundamental result of Kähler geometry. Let be a compact Kähler manifold and suppose that for a real smooth -closed -form on . Then there exists a real-valued smooth function , called the Kähler potential, such that the form is uniquely determined (up to the addition of a constant) as:25
In other words, a real -form is -exact iff it is -exact.26 An immediate consequence is that if and are two Kähler forms in the same Kähler class , then we have:
for some smooth Kähler potential (which is uniquely determined up to a constant). In other words, two Kähler metrics and on belong to the same Kähler class iff
The volume form: and the standard volume on are given, respectively, by:
so that: . By the universal Stokes theorem, if and are two Kähler forms in the same Kähler class then: . The total scalar curvature is determined by the Ricci form as  :
and it depends only on the Kähler class and the first Chern class, , defined as the cohomology class of the Ricci form: .
The space of Kähler forms on with the same Kähler class is given by:
and the associated functional space of Kähler potentials in the class is given by  :
for which the geodesic equation (w.r.t. ) reads:27
Based on the sign of their first Chern class , all compact Kähler manifolds can be classified into the following three categories:
• with positive first Chern class, , is called the Fano manifold in which . It admits Kähler-Ricci solitons, metrics for which:
where is the Lie derivative along a holomorphic vector field
• with vanishing first Chern class, is called the Calabi-Yau manifold, the basic geometric object in string theory.
• with negative first Chern class, , is called the Kähler-Einstein manifold, which admits the Kähler-Einstein metric g defined by:
In addition, if on then g is a Ricci-flat metric. In that case, according to the Calabi conjecture (see  ) proven by S.-T. Yau  , the first Chern class must also vanish: .28
1.2. Kähler-Ricci Flow
Now we are ready to introduce our main actor, the Kähler-Ricci flow (see   and the references therein) on a Kähler manifold . For this, we firstly recall that the real-valued Ricci flow on a Riemannian manifold M (introduced by R. Hamilton    and subsequently used by G. Perelman to prove the 100-year old Poincaré Conjecture, the only solved Clay Research’s Millennium Prize problem), is governed by the nonlinear evolution equation of the Riemannian metric (in real components ):
which in local harmonic coordinates on M can be rewritten in terms of the Laplace-Beltrami operator as:
where the tensor function is quadratic in and its first order partial derivatives, . Later, in  , Equations (14)-(15) were proposed as a general model for a wide range of (real) nonlinear reaction-diffusion systems.
The Ricci flow (14) has a unique solution, called a gradient Ricci soliton, only in case of Einstein manifolds, such that , which can be shrinking if , steady if and expanding if .29
The complexification of the real Ricci flow (14), from a Riemannian manifold of real dimension n to the Kähler manifold of complex dimension n, is called the Kähler-Ricci flow (KRF), given by (see, e.g.  and  ):
with the extended form:30
where the real constant is either 0 or 1. The case gives a rescaling of (16) called the normalized KRF.
In particular, a Fano n-manifold with positive first Chern class, , in which , admits the normalized KRF (see   ) with the time-dependent Ricci form (12) , given by:31
which is, starting from some smooth initial Kähler metric tensor given locally (in an open chart ) by:
The normalized KRF (18) preserves the Kähler class . It has a global solution when has as its Kähler class [which is written as ].
In terms of time-dependent Kähler potentials , the KRF (18) can be expressed as:
where the time-dependent Kähler metric is defined by:
The corresponding evolutions of the Ricci curvature and the scalar curvature on are governed, respectively by:
starting from some smooth initial Ricci and scalar curvatures, and .
The evolution of the scalar curvature R can be also expressed in terms of the Ricci form as:
and it has a lower bound (determined by the real constant: ; see  ):
The corresponding time evolution of the trace of the metric, , computed in normal coordinates for the metric g (see  ), and its lower bound, are given respectively by:
In general, the existence of the KRF in a time interval can be established as follows: if is a solution of the KRF:
then the corresponding cohomology class evolves on according to the following ODE:
So, the KRF (19) exists for iff (see   ).
In particular, the extensions of the Kähler-Einstein (KE) metric:
are the Kähler-Ricci (KR) solitons: a time-dependent Kähler metric is called a gradient KR soliton if there exists a real smooth Kähler potential on such that:
Similar to the real Ricci flow case, this soliton is called shrinking if , steady if , and expanding if , and the gradient vectorfield is holomorphic. If the Kähler manifold admits a KE metric (or, a KR soliton) g then the first Chern class is necessarily definite: .32
At the end of this section, we remark that it was shown by   that the KRF (19) can be rewritten as the (parabolic, complex) Monge-Ampère equation:33
since we have (see  ):
Similarly, the normalized KRF (18) with , that is:
can be rewritten as a normalized (parabolic, complex) Monge-Ampère equation:
For more technical details on the Kähler-Ricci flow, see e.g.,   and the references therein.
1It is clear that we can reverse this formal representation of the Red and Blue forces, so that the Blue manifold admits the tangent bundle and the Red manifold admits the cotangent bundle .
2Lars Onsager, 1968 Nobel Prize in Chemistry.
3Ilya Prigogine, 1977 Nobel Prize in Chemistry.
4When a glass or an egg is dropped on the floor, the arrow-of-time is obvious―once a glass or an egg is broken, there is no way to collect it back to its original state. However, all equations of classical and quantum physics are time-reversible, so they cannot model this simple crash-dissipation event. The only adequate physical/chemical principle at work is Onsager-Prigogine’s Extended Second Law of Thermodynamics, reflecting the sudden entropy growth (burst) due to a dissipative crash.
5Recall that a complex-valued function
is called holomorphic if-and-only-if (iff)
satisfies the Cauchy-Riemann relations for each holomorphic coordinate,
A complex manifold (like and Riemann surfaces) is a manifold with an atlas consisting of charts , such that the transition functions are holomorphic and satisfy the cocycle condition: on triple overlaps . An almost complex structure J is defined on a complex manifold as:
6The basis 1-forms (co-vectorfields) are holomorphic de Rham differentials of the holomorphic coordinates:
They induce the holomorphic velocities:
7A Hermitian manifold is a complex manifold with a Hermitian metric tensor , such that is a positive-definite Hermitian matrix function, . A Hermitian manifold becomes a Kähler manifold iff the almost complex structure J on it satisfies the condition: , where is the Levi-Civita connection on , defined later in this section.
8The metric g given by (7) has the following dynamical interpretation: it defines the complex kinetic-energy Lagrangian , in holomorphic coordinates given as:
from which the conservative Lagrangian equations read in the contravariant form:
and in the standard covariant form (with indices denoting partial derivatives):
9From the Kähler form (8) with as canonical momenta, the Hamiltonian formalism can be derived from the complex kinetic-energy Hamiltonian in holomorphic coordinates given as:
from which the conservative Hamiltonian equations read (with indices denoting partial derivatives):
10Since , we have:
11Recall that the exterior derivative, or de Rham differential, is the map on the space of exterior p-forms on the complex manifold , which generalizes standard gradient, curl and divergence operators from vector calculus. Being the additive components of the exterior derivative: , so that for any smooth real function f on , Dolbeault’s differential operators are the maps on the space of exterior forms on , such that and . They play the major role in the famous “ -lemma” and the associated Dolbeault cohomology (from the Hodge theory). Any function is holomorphic iff (the Cauchy-Riemann equations). In a local -coordinate chart , for any holomorphic function , -operators are given by:
12Potential definition of the Kähler metric, , implies that the Ricci curvature (see below) is given by:
and consequently, the solutions of the Einstein equation: (in components, , for some real constant ) can be defined by solving the scalar equation:
13For a real function the real (1,1)-form is the complex Hessian of .
14The Christoffel symbols on a Kähler manifold do not have their conjugate part. Because of this unique feature of Kähler manifolds, the Riemann and Ricci curvature tensors (defined below) are much simpler on than in standard Riemannian geometry.
15We can extend the covariant derivatives to act naturally on any type of tensor field on ; e.g., in case of covariant 2-tensors and , we have:
Similarly, if T is a mixed 3-tensor with components then we define its two covariant derivatives, and , as:
16For example, the trace of a real -form is defined by:
Here, is the volume form on (see below), such that for any smooth function , its Lp-norm (with respect to a Kähler metric g) is given by: .
17A normal coordinate system for g centered at a point is a holomorphic coordinate system that satisfies: and , which implies that the Christoffel symbols of g vanish at p.
18While the symmetries 1) and 2) follow immediately from (9) and (11), to show 3) we need to compute at a point in normal coordinates for g:
19The norm extends to any tensor field on ; e.g., if T is a tensor with components , its squared norm is given by:
which in case of the Ricci tensor Rc and the Riemann tensor Rm become, respectively:
20The closure relation between these three derivative operators reads:
21For general p-forms, the de Rham cohomology group is defined as the kernel over the image of the exterior derivative d:
22This is the -Poincaré lemma for complex manifolds, which says that a -closed (0,1)--form is locally -exact.
23For general -forms, the Dolbeault cohomology group is defined as the kernel over the image of the -operator:
24In other words, a Kähler form on defines a nonzero element . If a cohomology class can be written as for some Kähler form on then we say that is a Kähler class (and write ). Therefore, the Kähler class of is its cohomology class . Alternatively, in terms of , the Kähler class of is its cohomology class . Usually, all this is simply written: the Kähler class of is the cohomology class represented by .
25The simplest example of the Kähler potential is the case of the simplest Kähler n-manifold -the complex Euclid n-space, in which is given by:
Another standard example is the following entropic Kähler potential (see  ) with its Taylor expansion:
26The -lemma is an extension of the two Poincaré lemmas (for d and ). Basically, the -lemma says that a closed -form locally arises as for some smooth function , called the Kähler potential. This is similar to the standard Poincaré lemma, which says that closed exterior forms, , are locally exact, , where “exactness” means d (something), which is true on all smooth manifolds. The -Poincaré lemma, in which “exactness” means (something), is true on all complex manifolds. The -lemma, in which “exactness” means (something), is true only on Kähler manifolds. Therefore, Kähler manifolds are the most important of all: -lemma Þ -Poincaré lemma Þ Poincaré lemma.
27The geodesic equation is equivalent  to the homogeneous complex Monge-Amperè equation (see below):
28The Calabi-Yau theorem says that if is a compact Kähler manifold and is a real (1,1)-form representing then there exists a unique Kähler metric g on with , such that .
29A Riemannian metric g is called Einstein metric if the Ricci curvature of the metric is some multiple of the metric, that is, the Ricci tensor is defined as for some constant . A smooth manifold with an Einstein metric g is called an Einstein manifold.
If the initial metric is Ricci flat ( ), then , so under (12). Hence any Ricci flat metric is a stationary solution of the Ricci flow (12). If the initial metric is an Einstein metric of positive scalar curvature ( ), then the metric will shrink homothetically under the Ricci flow (12) by a time-dependent factor, and if the initial metric is an Einstein metric of negative scalar curvature ( ), the metric will expand homothetically for all times.
Therefore, the following simple and conformal solution of the Ricci flow (12) uniquely exists on Einstein n-manifolds (with ):
where in case of the positive scalar curvature ( ), the function satisfies the ODE:
and in case of the negative scalar curvature ( ), the function satisfies the ODE:
30Similar to the KRF is the Calabi flow determined by the scalar curvature: .
31The KRF (18) preserves the Kähler class . It has a global solution when has as its Kähler class, which is written as . In particular, by the -Lemma, there exists a family of real-valued functions , called Ricci potentials of the metric , which are special Kähler potentials. They are determined by the volume of the KRF (18):
32For any Kähler metric
with scalar curvature R and for any smooth function u on
, the Kähler-Perelman (KP) entropy is defined by:
33On the complex Monge-Ampère operator for the smooth potential is defined as the determinant of the complex Hessian:
However, on a compact Kähler manifold , the condition would imply that is constant, so the Hessian is naturally replaced by , to define the complex Monge-Ampère operator on as:
Using this operator, the complex Monge-Ampère equation is defined as: