Noncommutative Dirichlet Form Theory

• Noncommutative Dirichlet Forms are closed, densely defined, and Markovian quadratic forms on Hilbert spaces from noncommutative measure spaces such as C*- or von Neumann algebras.
• They utilize techniques like carré du champ, derivation calculus, and matrix amplification to extend classical Dirichlet theory into the quantum realm.
• These forms underpin analyses of spectral growth, positivity preservation, and properties such as amenability and the Haagerup property in quantum probability and operator algebras.

A noncommutative Dirichlet form is a closed, densely defined, completely positive, and Markovian quadratic form on a Hilbert space associated with a noncommutative measure space, typically arising from a C*-algebra or von Neumann algebra equipped with a faithful trace or state. These forms generalize the classical Dirichlet form theory on measure spaces (potential theory, stochastic processes) to the setting of operator algebras, enabling the rigorous analysis of quantum Markov semigroups, noncommutative diffusion, and geometric structures in quantum probability and mathematical physics.

1. Foundational Definitions and General Properties

Let $A$ be a (separable) C*-algebra with a faithful semifinite lower-semicontinuous trace $\tau$, and denote by $(L^2(A,\tau),\Omega)$ its GNS Hilbert space. A Dirichlet form on $L^2(A,\tau)$ is a pair $(E, F)$ where:

• $F \subset L^2(A,\tau)$ is a dense subspace,
• $E: F \to [0,\infty)$ is a nonnegative quadratic form that is closed (complete w.r.t. the graph norm $\|\xi\|^2_F = E(\xi) + \|\xi\|^2_2$),
• $E$ is "real," i.e., $E(J\xi)=E(\xi)$ where $\tau$0 is modular conjugation,
• The Markov property holds: for every self-adjoint $\tau$1, $\tau$2 (using the projection onto the interval [0,1]),
• The property of "complete Dirichlet" (i.e., all matrix amplifications $\tau$3 with the lifted trace) and regularity (the core algebra $\tau$4 is dense in $\tau$5).

The generator $\tau$6 of $\tau$7 is the self-adjoint operator with $\tau$8, $\tau$9, resolvent $(L^2(A,\tau),\Omega)$0, and semigroup $(L^2(A,\tau),\Omega)$1 (Cipriani et al., 2012).

2. Structure, Examples, and Technical Constructions

Carré du champ and Derivation Calculus:

On the Dirichlet algebra $(L^2(A,\tau),\Omega)$2, the noncommutative carré du champ $(L^2(A,\tau),\Omega)$3 (energy functional) is defined via

$(L^2(A,\tau),\Omega)$4

which for canonical derivations $(L^2(A,\tau),\Omega)$5 becomes $(L^2(A,\tau),\Omega)$6 for a Hilbert bimodule $(L^2(A,\tau),\Omega)$7. The form is completely positive, and the boundedness $(L^2(A,\tau),\Omega)$8 holds. In the case of C*-algebras generated by groups or quantum groups, explicit forms can be written in terms of length functions or derivations (Cipriani et al., 2012, Skalski et al., 2017).

Potentials and Finite-Energy States:

A positive linear functional $(L^2(A,\tau),\Omega)$9 on $L^2(A,\tau)$0 is finite-energy if $L^2(A,\tau)$1 for $L^2(A,\tau)$2. The Riesz representation gives a unique element $L^2(A,\tau)$3 (potential) so that $L^2(A,\tau)$4.

3. Markovianity, Complete Positivity, and Matrix Amplification

A noncommutative Dirichlet form is completely Dirichlet if all matrix amplifications $L^2(A,\tau)$5 on $L^2(A,\tau)$6 are Dirichlet forms in the same sense, i.e., the seminorms $L^2(A,\tau)$7 satisfy Markov and Leibniz properties (Rieffel, 2014). This ensures that the analytic and geometric features (Markov contraction, energy, operator inequalities) pass to the “matrix level.”

The Markov property for completely Dirichlet forms is essential for applications to quantum Markov semigroups and their associated diffusion processes, as it guarantees the preservation of positivity and normalization through noncommutative dynamics (Skalski et al., 2017).

4. Generators, Spectral Growth, and Quantum Markov Semigroups

Given a noncommutative Dirichlet form $L^2(A,\tau)$8, the associated generator $L^2(A,\tau)$9 (possibly unbounded) defines a strongly continuous, completely positive, Markovian semigroup $(E, F)$0 on the corresponding noncommutative $(E, F)$1-space, with $(E, F)$2. These semigroups often manifest as quantum analogues of diffusion, Ornstein-Uhlenbeck, or convolution semigroups (Wang et al., 2017, Cipriani et al., 2021).

Spectral properties of the Dirichlet form/generator, in particular the growth of the eigenvalue counting function

$(E, F)$3

characterize operator-algebraic properties such as amenability and the Haagerup property. Subexponential spectral growth ($(E, F)$4) is equivalent to trace-summability of the heat semigroup and, for finite von Neumann algebras, implies amenability (Cipriani et al., 2016).

5. Noncommutative Dirichlet Forms in Quantum Groups and Advanced Examples

Noncommutative Dirichlet forms serve as analytic invariants characterizing the structure of convolution semigroups on locally compact quantum groups. There is a one-to-one correspondence between:

• convolution semigroups of invariant states,
• Markovian, KMS-symmetric completely positive semigroups on the quantum group algebra,
• translation-invariant completely Dirichlet forms, with further equivalences in the structure of their generators (Skalski et al., 2017).

For example, a Dirichlet form on $(E, F)$5 (where $(E, F)$6 is a locally compact quantum group) is translation-invariant if and only if its associated quantum Markov semigroup is invariant under convolution. Proper translation-invariant Dirichlet forms precisely characterize the Haagerup property, while the absence of unbounded translation-invariant forms gives Kazhdan property (T) (Skalski et al., 2017).

In concrete settings—noncommutative tori, quantum Sierpinski gaskets, group von Neumann algebras—Dirichlet forms are constructed via explicit spectral triples, harmonic extensions