Bryant’s Dirichlet-Type Metric in G2 Structures

• Bryant’s Dirichlet-type metric is a formal Riemannian metric on the space of closed G2-structures, defined via an L2 pairing on canonical potentials to capture cohomological constraints.
• It organizes geodesics through a normalization mechanism that ensures the geodesic concavity of Hitchin’s volume functional and governs the gradient flow of the G2 Laplacian.
• The metric builds on earlier Dirichlet and gradient metrics in Kähler and Sasakian geometry, providing rigorous rigidity results in explicit geometric models.

Searching arXiv for recent and foundational papers on Bryant's Dirichlet-type metric and related Dirichlet/gradient metrics. Bryant’s Dirichlet-type metric is a formal Riemannian metric on the infinite-dimensional space of closed $G_2$-structures in a fixed cohomology class, defined by an $L^2$-pairing on canonical potentials of exact variations. In the current literature, the most precise use of the term occurs for the space $\mathcal M$ of closed $G_2$-structures, where the metric organizes geodesics, geodesic concavity of Hitchin’s volume functional, and length contraction for the $G_2$ Laplacian flow (Zheng, 28 Jul 2025). Closely related Dirichlet or gradient metrics were studied earlier on spaces of Kähler and Sasakian metrics, where they are likewise defined from first-derivative or gradient pairings and serve as weak Riemannian structures with nontrivial curvature and geodesic theory (Calamai et al., 2012, Calamai et al., 2014).

1. $G_2$-geometric definition

Let $M$ be a closed $7$-manifold, and let $[\varphi]\subset H^3(M,\mathbb R)$ be a cohomology class containing at least one $G_2$-structure. The relevant configuration space is

$L^2$0

the space of all closed $L^2$1-structures in $L^2$2. At each $L^2$3, the tangent space is identified with exact $L^2$4-forms,

$L^2$5

so tangent vectors are written as

$L^2$6

The metric is defined by taking the $L^2$7 inner product of the canonical potentials of tangent vectors. If $L^2$8 are the $L^2$9-exact $\mathcal M$0-forms representing $\mathcal M$1, then

$\mathcal M$2

where $\mathcal M$3 is the Riemannian metric determined by the $\mathcal M$4-structure $\mathcal M$5, and $\mathcal M$6 is the codifferential. The paper also presents the equivalent $\mathcal M$7-metric on $\mathcal M$8-forms,

$\mathcal M$9

and rewrites the metric in “gradient metric” form as

$G_2$0

where $G_2$1 is the Green operator chosen so that $G_2$2 is the canonical potential of $G_2$3 (Zheng, 28 Jul 2025).

This formulation makes the metric Hodge-theoretic: exact variations are measured through their canonical potentials rather than directly by the exact $G_2$4-forms themselves. A plausible implication is that the geometry is tailored to the cohomological constraint defining $G_2$5, rather than to an unconstrained $G_2$6-geometry on all $G_2$7-forms.

2. Geodesics and the normalization mechanism

The geodesic theory is expressed first on $G_2$8-forms. A family $G_2$9 is an $G_2$0-geodesic if it solves

$G_2$1

A family of closed $G_2$2-structures $G_2$3 is then a geodesic if

$G_2$4

for some such $G_2$5-geodesic $G_2$6 (Zheng, 28 Jul 2025).

Several distinguished subclasses are singled out. A canonical geodesic satisfies $G_2$7. An $G_2$8-geodesic satisfies $G_2$9. A gauge-fixing geodesic satisfies $G_2$0. An $G_2$1-geodesic satisfies $G_2$2. An $G_2$3-geodesic satisfies both $G_2$4 and $G_2$5. The normalization condition is essential because the paper states explicitly that Hitchin’s volume is not concave along arbitrary geodesics (Zheng, 28 Jul 2025).

The normalization functional $G_2$6 is built from several pieces. The paper writes

$G_2$7

where $G_2$8, $G_2$9 is the gauge-fixed component, $M$0 is built from the linearized operator

$M$1

and $M$2 is a torsion/Ricci-type correction term involving scalar and Ricci curvature. For an $M$3-geodesic, the condition simplifies to an expression involving $M$4, $M$5, $M$6, $M$7, $M$8, and a torsion term (Zheng, 28 Jul 2025).

The main Hessian statement is written as

$M$9

for an $7$0-geodesic $7$1. The paper concludes that along an $7$2-geodesic,

$7$3

so Hitchin’s volume functional is geodesically concave (Zheng, 28 Jul 2025). The normalization is therefore not auxiliary bookkeeping; it is the mechanism that converts the geodesic equation into a concavity statement.

3. Hitchin’s volume and the $7$4 Laplacian flow

Hitchin’s volume functional is

$7$5

In the hypersymplectic setting discussed later in the same work, it is also written as

$7$6

The paper’s central claim is that, under the normalization condition $7$7, this functional becomes geodesically concave with respect to Bryant’s Dirichlet-type metric (Zheng, 28 Jul 2025).

The same metric also governs the $7$8 Laplacian flow,

$7$9

where $[\varphi]\subset H^3(M,\mathbb R)$0 is the torsion form. The paper identifies this as the gradient flow of Hitchin’s volume with respect to Bryant’s metric. For a path $[\varphi]\subset H^3(M,\mathbb R)$1 with $[\varphi]\subset H^3(M,\mathbb R)$2-variation $[\varphi]\subset H^3(M,\mathbb R)$3, the length at fixed $[\varphi]\subset H^3(M,\mathbb R)$4 is

$[\varphi]\subset H^3(M,\mathbb R)$5

The main contraction identity is

$[\varphi]\subset H^3(M,\mathbb R)$6

Hence, for $[\varphi]\subset H^3(M,\mathbb R)$7-paths,

$[\varphi]\subset H^3(M,\mathbb R)$8

The paper summarizes this by stating that the gradient flow of the volume functional decreases the length of all normalised paths (Zheng, 28 Jul 2025).

These statements place Bryant’s metric in a standard Riemannian variational role: it is simultaneously the metric defining geodesics and the metric relative to which a natural functional has a gradient flow. A plausible implication is that the normalization condition isolates those directions in which the flow exhibits genuine contractive behavior.

4. Hypersymplectic and hyper-symplectic realizations

A major source of examples is the product construction

$[\varphi]\subset H^3(M,\mathbb R)$9

where a hyper-symplectic triple $G_2$0 determines a closed $G_2$1-structure

$G_2$2

Within this framework the paper studies spaces such as $G_2$3, a cohomogeneity-one family on $G_2$4, and $G_2$5, a space of triples of such structures (Zheng, 28 Jul 2025).

For the torus-fibration example $G_2$6, the paper proves three geometric properties: the volume is geodesically concave along the canonical geodesic, the gradient flow decreases the distance, and the sectional curvature is nonnegative. The concavity statement is expressed by

$G_2$7

In the more general triple setting $G_2$8, the weighted volume functional

$G_2$9

is geodesically concave along the corresponding geodesic, and the associated weighted flow decreases the distance (Zheng, 28 Jul 2025).

The hyper-symplectic motivation is structural. For closed $L^2$00, the torsion-free condition for the induced $L^2$01-structure is equivalent to the hyper-symplectic structure being hyper-Kähler. The paper further states that the resulting geodesic concavity yields uniqueness results modulo diffeomorphisms (Zheng, 28 Jul 2025). In this way the metric is not merely formal: it produces effective rigidity statements in explicit geometric models.

5. Earlier Dirichlet and gradient metrics on Kähler and Sasakian spaces

Before the $L^2$02-theoretic formulation, closely related Dirichlet or gradient metrics were developed on spaces of Kähler metrics. In the Kähler one-form model

$L^2$03

the Dirichlet metric is

$L^2$04

and, equivalently on potentials,

$L^2$05

Its Levi-Civita derivative is given explicitly by

$L^2$06

with

$L^2$07

The paper derives explicit sectional-curvature formulas and proves that the curvature of any $L^2$08-plane is bounded above and below by a constant depending on the base point and one tangent direction; it also states that when $L^2$09 is a Riemann surface, the Dirichlet metric is flat. The K-energy is shown to be convex at a constant scalar curvature Kähler point, and the pseudo-Calabi flow is described as the gradient flow of the Mabuchi K-energy for this metric (Calamai et al., 2012).

A later paper adopts the name gradient metric for the same basic construction on the space of normalized Kähler potentials,

$L^2$10

with geodesic equation

$L^2$11

That work proves local well-posedness of the geodesic Cauchy problem for the gradient metric and for the sum metric

$L^2$12

It also establishes a Rauch-type comparison theorem with the Calabi metric and shows that, in Sasakian geometry, the Ebin metric restricted to type II deformations satisfies

$L^2$13

The paper explicitly presents the Dirichlet/gradient metric as a Sobolev- or energy-type weak Riemannian structure built from first derivatives of potentials (Calamai et al., 2014).

Taken together, these Kähler and Sasakian developments provide the clearest antecedents of the $L^2$14 theory. The common feature is a weak Riemannian metric defined through first-order data—gradients, exact forms, or canonical potentials—rather than through zeroth-order $L^2$15-pairings alone.

6. Related but distinct “Dirichlet-type” constructions

The phrase “Dirichlet-type” has several other established meanings that should not be conflated with Bryant’s $L^2$16-metric.

In one complex variable, Dirichlet type spaces on the disk are analytic function spaces. One family is

$L^2$17

and the embedding

$L^2$18

is bounded if and only if $L^2$19 is a $L^2$20-Carleson measure; compactness is characterized by vanishing $L^2$21-Carleson measures. The same paper relates these spaces to weighted Bergman spaces, the Bloch space, Volterra-type integral operators, and multiplier theory (Liu et al., 2018). A different Dirichlet-type space $L^2$22 is defined by

$L^2$23

and is characterized by a double-integral criterion, by mean oscillation in the Bergman metric, by higher-order derivatives, and by an atomic decomposition adapted to Bergman balls and separated sequences (Liu et al., 2013). These are function-space geometries, not Riemannian metrics on moduli spaces.

In geometric mapping theory, a Dirichlet-type energy on annuli is

$L^2$24

with auxiliary combined energy

$L^2$25

For $L^2$26, the infimum of $L^2$27 is not attained in the full homeomorphism class, but there is a minimizing sequence inside the generalized radial class (Chen et al., 2020). This is again a variational energy for maps, not Bryant’s metric on a space of geometric structures.

Finally, Bryant–Tupper diversity theory is a separate axiomatic framework. There a diversity is a set-function on finite subsets satisfying non-degeneracy and a triangle inequality, and recent work shows that metric complexity yields such a diversity via

$L^2$28

The paper proves that both $L^2$29 and $L^2$30 are diversities and studies Minkowski-superlinearity on compact subsets of $L^2$31 (Aishwarya et al., 13 Jul 2025). Despite the shared name “Bryant,” this topic concerns Bryant–Tupper diversities rather than Bryant’s Dirichlet-type metric.

The terminological boundary is therefore sharp. In current geometric usage, Bryant’s Dirichlet-type metric refers most specifically to the formal $L^2$32-metric on the space of closed $L^2$33-structures built from canonical potentials and Hodge theory; earlier Kähler and Sasakian Dirichlet or gradient metrics are close analogues, while the function-space, annulus-energy, and diversity-theoretic notions are distinct constructions that share only the broader “Dirichlet-type” vocabulary.