Solid Analytic Duality

• Solid analytic duality is a framework that generalizes classical duality by replacing traditional topological settings with 'solid' categorical structures.
• It unifies analytic geometry, condensed mathematics, operator theory, and continuum mechanics to establish robust and generalized duality theorems.
• Applications span cohomology of (φ,Γ)-modules, convex optimization strategies, and elasticity models, demonstrating practical and theoretical innovations.

Solid analytic duality encompasses a series of duality principles and theorems that occur at the interface of analytic geometry, condensed mathematics, operator theory, and continuum mechanics, where the conceptual and categorical structures of “solid” objects (in the sense of Clausen–Scholze) replace classical topological, algebraic, or functional analytic settings. It unifies the classical duality of cohomological and functional-analytic origin with new, robust duality frameworks in geometric representation theory, operator theory, and elasticity, all admitting rigorous extensions to highly structured settings such as stacks, solid analytic rings, and operator inclusions.

1. Foundations: Solid and Condensed Mathematics

Solid analytic duality is fundamentally rooted in the Clausen–Scholze theory of solid modules and analytic stacks, which generalize classical topological and analytic categories via condensed mathematics and the theory of solid abelian groups. In this framework, a solid abelian group is a condensed abelian group $A$ for which the operator $1 - \operatorname{shift}^*$ on $\operatorname{Hom}(P, A)$ is invertible, where $P$ is the “null-sequence” object in condensed abelian groups. The derived $\infty$-category $\operatorname{D(Solid)}$ contains complexes whose cohomology modules are solid.

This abstraction extends to solid analytic rings and solid analytic stacks, where the six-functor formalism ($f^*, f_*, f_!, f^!, \otimes, \operatorname{Hom}$) is established in analogy with classical derived algebraic geometry. For morphisms of solid Huber rings, properties such as solid smoothness, étaleness, and finite presentation are defined using the structure of animated rings and the behavior of their cotangent complexes. The resulting Grothendieck abelian categories and their derived categories facilitate well-defined notions of dualizing sheaves and cohomological duality (Camargo, 3 Mar 2026).

2. Canonical Dualities in Solid Analytic Settings

The categorical apparatus allows for analogues of classical duality theorems, such as Serre and Poincaré duality, to be proved in the “solid” context. Given a smooth proper morphism $f: X \to Y$ of solid analytic stacks, the dualizing complex is defined as $\omega_f = f^! \mathbb{Z}_Y$ in the derived category $D(X)$. For any perfect complex $1 - \operatorname{shift}^*$0 in $1 - \operatorname{shift}^*$1, a relative duality isomorphism is established:

$1 - \operatorname{shift}^*$2

When $1 - \operatorname{shift}^*$3 is a point, one retrieves absolute Serre duality:

$1 - \operatorname{shift}^*$4

These dualities persist under base change and possess robust finiteness and descent properties, broadening the scope of classical duality principles to include rigid analytic varieties, complex analytic spaces, and animated or solid Huber rings (Camargo, 3 Mar 2026).

3. Solid Analytic Duality in Cohomology: $1 - \operatorname{shift}^*$5-Modules

A major development in the application of solid analytic duality concerns the cohomology of $1 - \operatorname{shift}^*$6-modules, particularly via the work of Mikami and the formalism of Rodrigues Jacinto–Rodríguez Camargo and Heyer–Mann. The use of solid $1 - \operatorname{shift}^*$7-stacks and the 6-functor formalism enables the establishment of precise Poincaré/Tate–local duality for families of $1 - \operatorname{shift}^*$8-modules over general analytic base rings (Mikami, 2 Apr 2025).

For the locally analytic Fargues–Fontaine curve $1 - \operatorname{shift}^*$9, the duality theorem states:

• The morphism $\operatorname{Hom}(P, A)$0 is weakly $\operatorname{Hom}(P, A)$1-proper and $\operatorname{Hom}(P, A)$2-smooth, with dualizing complex $\operatorname{Hom}(P, A)$3, the twist by the cyclotomic character.
• A canonical trace morphism produces a perfect duality pairing for the cohomology of any $\operatorname{Hom}(P, A)$4:

$\operatorname{Hom}(P, A)$5

yielding an isomorphism

$\operatorname{Hom}(P, A)$6

This generalizes local Tate duality results for Galois cohomology, extended to analytic and overconvergent settings (Mikami, 2 Apr 2025).

The proof relies on a blend of six-functor formalism, control of cohomology via Tate–Sen axioms, and descent from finite-level to colimit objects. Solid objects are constructed as limits of Robba annuli quotiented by group actions.

4. Solid Analytic Duality in Operator Theory and Optimization

A separate but closely related usage appears in the duality theory for monotone operator inclusions and convex optimization. In the context of primal-dual frameworks, solid (total) Fenchel–Rockafellar duality is characterized via the paramonotonicity of maximally monotone operators. For proper, convex, lower semicontinuous functions $\operatorname{Hom}(P, A)$7, $\operatorname{Hom}(P, A)$8 with $\operatorname{Hom}(P, A)$9 linear, Fenchel duality states:

• No gap: $P$0, where

$P$1

• Attainment: Both infimum and supremum are achieved.

The key result is that if $P$2 and $P$3 are paramonotone, then total duality holds: the saddle-point set of the KKT formulation is exactly the product of primal and dual solution sets, $P$4. This is achieved without classical constraint qualifications such as interiority assumptions—paramonotonicity alone suffices. Projection formulas for the Chambolle–Pock operator enable explicit computation of metric projections onto the solution sets, thus enhancing the practical computational toolkit within this duality regime (Bauschke et al., 2024).

5. The Solid Duality Theorem for Coleff–Herrera Products

In the setting of complex analytic geometry, the duality theorem for Coleff–Herrera products is a precursor to modern solid duality principles. Let $P$5 be a reduced analytic variety of pure dimension $P$6, and let $P$7 be a complete intersection tuple. The solid duality theorem asserts:

If

$P$8

then

$P$9

where $\infty$0 is the Coleff–Herrera product. This condition is both necessary and sufficient in many geometric situations (for example, for $\infty$1 Cohen–Macaulay or $\infty$2). Failure of these codimension bounds leads to the existence of extra, nontrivial annihilators, reflecting the deeper singular structure of the analytic space. The theorem gives precise algebro-geometric criteria for when such “solid” duality holds in the presence of singularities (Lärkäng, 2010).

6. Solid–Analytic Duality in Continuum Mechanics

In the theory of mechanism-based metamaterials, “solid–analytic duality” arises as a mathematical duality between zero-energy ("soft") strain fields and force-balanced (equilibrium) stress fields. For two-dimensional unimode systems, the continuum theory reveals:

• Soft modes correspond to solutions of Cauchy–Riemann-type PDEs in sheared complex coordinates, admitting an analytic structure in the solid domain.
• The equilibrium stress fields form a dual analytic system, with stress patterns traveling orthogonally to the soft strain patterns.

This duality gives rise to bulk–surface transitions and enables applications such as mechanical signal filtering and amplification—tuning the Poisson ratio through an “exceptional point” triggers a transition from bulk to evanescent surface modes (Czajkowski et al., 2022).

7. Applications, Extensions, and Open Problems

Solid analytic duality has broad and deep ramifications in:

• Representation theory, specifically in the cohomology of families of $\infty$3-modules over general analytic bases,
• Functional analysis and optimization, yielding robust duality frameworks without stringent regularity hypotheses,
• Complex analytic geometry, as in the generalization of duality theorems for currents on singular spaces,
• Mathematical physics and mechanics, where analytic duality governs the interplay between stress and strain in complex media.

Open questions range from the extension of solid duality principles to non–pure-dimensional spaces, to the identification and classification of extra annihilators in failure cases, to further algorithmic developments in operator frameworks where explicit projection formulas may offer enhanced computational performance (Lärkäng, 2010, Mikami, 2 Apr 2025, Bauschke et al., 2024).