Diagonal Dimension in Mathematics

• Diagonal dimension is a context-dependent invariant that quantifies the complexity of diagonal objects in triangulated categories, operator algebras, and geometric constructions.
• It refines classical invariants—such as Rouquier and nuclear dimensions—through approximation techniques and order-zero decompositions.
• Applications span smooth projective varieties, asymptotic dimensions of uniform Roe algebras, and dimension analysis in fractal and dynamic systems.

Searching arXiv for relevant papers on “diagonal dimension” across mathematics. “Diagonal dimension” is a context-dependent technical term rather than a single invariant with one universally accepted meaning. In the literature represented here, it appears in several mathematically distinct roles: as a categorical invariant measuring the complexity of the diagonal object in a self-product or bimodule category; as a refinement of nuclear dimension for diagonal $C^*$-pairs; as a generalized dimension theory for noncommutative Cartan inclusions; as a geometric parameter indexing $k$-dimensional diagonals inside a parallelotope; and as a descriptor for dimension phenomena associated with diagonal dynamics and diagonal self-affine systems. Across these settings, the common motif is that a “diagonal” object or structure—whether a diagonal sheaf, diagonal subalgebra, diagonal flow, or diagonal affine action—encodes intrinsic information about the ambient space, category, or dynamical system (Elagin et al., 2019, Li et al., 2023).

1. Categorical diagonal dimension

In triangulated and dg-categorical settings, diagonal dimension is defined using the diagonal bimodule or diagonal sheaf. For a dg $k$-algebra $A$, the diagonal dimension of $\Perf(A)$ is the minimal $n\in \mathbb Z_{\ge 0}$ such that there exist objects $F\in \Perf(A^{op})$ and $G\in \Perf(A)$ with

$A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$

If no such $n$ exists, the diagonal dimension is $k$0 (Elagin et al., 2019). In geometric form, for a smooth projective variety $k$1, this is equivalently the least $k$2 such that there are $k$3 with

$k$4

where $k$5 is the structure sheaf of the diagonal $k$6 (Elagin et al., 2019).

This definition makes the diagonal dimension a measure of the complexity of the identity kernel. The diagonal object encodes the identity functor, so the invariant is stronger than ordinary generation by a single object. Precisely, the paper proves

$k$7

showing that diagonal dimension refines Rouquier dimension (Elagin et al., 2019). It is also finite exactly when $k$8 is smooth (Elagin et al., 2019).

Several structural properties are established. Diagonal dimension is Morita invariant for dg algebras, is subadditive under tensor products,

$k$9

and is monotone under semiorthogonal decompositions in the sense that admissible components cannot have larger diagonal dimension than the ambient category (Elagin et al., 2019). The zero-dimensional case is completely classified: if $k$0 is smooth and compact and

$k$1

then $k$2 is Morita equivalent to a finite product of finite-dimensional division $k$3-algebras concentrated in degree zero (Elagin et al., 2019).

For smooth quasi-projective schemes $k$4, the general bounds

$k$5

hold (Elagin et al., 2019). Olander proved the curve case conjectured by Elagin and Lunts: if $k$6 is a smooth projective curve with $k$7, then

$k$8

while for $k$9, one has $A$0 (Olander, 2021). Thus smooth projective curves of genus at least $A$1 provide explicit smooth examples where diagonal dimension is strictly larger than geometric dimension (Olander, 2021).

A stack-theoretic extension studies the diagonal dimension of a morphism of algebraic stacks via the object

$A$2

on $A$3. In that framework, diagonal dimension is used to bound the Rouquier dimension of $A$4, to construct generators on fiber products, and to prove that the diagonal dimension of a variety in arbitrary characteristic with mild singularities is at most twice its Krull dimension (Lank et al., 13 May 2026). This suggests that the diagonal-object formalism is robust under passage from schemes to stacks.

2. Diagonal dimension for $A$5-pairs

A second major usage is in operator algebras, where diagonal dimension is a refinement of nuclear dimension for a $A$6-algebra together with a distinguished abelian subalgebra. For a nondegenerate pair $A$7 with $A$8 abelian, Li, Liao, and Winter define

$A$9

by requiring, for every finite subset $\Perf(A)$0 and every $\Perf(A)$1, finite-dimensional approximations

$\Perf(A)$2

such that $\Perf(A)$3, each $\Perf(A)$4 is c.p.c. order zero, $\Perf(A)$5 for a masa $\Perf(A)$6, and $\Perf(A)$7 maps every matrix unit with respect to $\Perf(A)$8 into $\Perf(A)$9 (Li et al., 2023). Dropping the diagonal-respecting conditions recovers nuclear dimension, and the paper records

$n\in \mathbb Z_{\ge 0}$0

(Li et al., 2023).

Finite diagonal dimension is structurally strong. If $n\in \mathbb Z_{\ge 0}$1 is nondegenerate and has finite diagonal dimension, then $n\in \mathbb Z_{\ge 0}$2 is a diagonal in $n\in \mathbb Z_{\ge 0}$3: it is a Cartan subalgebra with the unique extension property (Li et al., 2023). The invariant also has permanence properties under direct sums, tensor products, hereditary subalgebras, unitisations, quotients, inductive limits, and stabilisation by matrices and compacts (Li et al., 2023).

The main motivation is dynamical and coarse-geometric. For free actions $n\in \mathbb Z_{\ge 0}$4 on compact Hausdorff spaces,

$n\in \mathbb Z_{\ge 0}$5

and when $n\in \mathbb Z_{\ge 0}$6 is totally disconnected,

$n\in \mathbb Z_{\ge 0}$7

(Li et al., 2023). Thus for free Cantor systems, diagonal dimension agrees exactly with tower dimension (Li et al., 2023).

For bounded geometry metric spaces $n\in \mathbb Z_{\ge 0}$8, the diagonal dimension of the uniform Roe algebra with its canonical diagonal recovers asymptotic dimension: $n\in \mathbb Z_{\ge 0}$9 and likewise for finitely generated groups with the word metric (Li et al., 2023). The same paper shows that diagonal dimension is bounded below by dynamic asymptotic dimension for étale groupoids: $F\in \Perf(A^{op})$0 (Li et al., 2023). This indicates that the invariant is designed to remember the geometry encoded by the diagonal pair, not merely the ambient algebra.

3. Generalised diagonal dimension and ample $F\in \Perf(A^{op})$1-diagonals

The Li–Liao–Winter notion was later generalized to handle noncommutative Cartan-type subalgebras and nonnuclear Roe-like algebras. In this extension, for a nondegenerate inclusion $F\in \Perf(A^{op})$2 and a coefficient algebra $F\in \Perf(A^{op})$3, one defines

$F\in \Perf(A^{op})$4

using approximations through $F\in \Perf(A^{op})$5, where $F\in \Perf(A^{op})$6 is finite-dimensional and the return maps are order zero on $F\in \Perf(A^{op})$7, still respecting a canonical diagonal $F\in \Perf(A^{op})$8 and appropriate normaliser conditions (Kitsios, 8 Apr 2026). An additional commutation condition on supporting $F\in \Perf(A^{op})$9-homomorphisms is imposed to control how diagonal projections interact with the distinguished subalgebra (Kitsios, 8 Apr 2026).

This generalised diagonal dimension extends the original one exactly when $G\in \Perf(A)$0 is abelian and $G\in \Perf(A)$1: $G\in \Perf(A)$2 (Kitsios, 8 Apr 2026). It admits permanence under direct sums, tensor products, and matrix amplifications (Kitsios, 8 Apr 2026). If $G\in \Perf(A)$3 has finite nuclear dimension and

$G\in \Perf(A)$4

then $G\in \Perf(A)$5 is nuclear with finite nuclear dimension, and

$G\in \Perf(A)$6

(Kitsios, 8 Apr 2026).

A principal application is to large-scale geometry. For a uniformly locally finite metric space $G\in \Perf(A)$7, with $G\in \Perf(A)$8, propagation-zero algebra

$G\in \Perf(A)$9

inside the finite-propagation algebra on $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$0, the generalised diagonal dimension with coefficient algebra $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$1 equals asymptotic dimension: $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$2 (Kitsios, 8 Apr 2026). This is a nonnuclear counterpart of the uniform Roe algebra result (Kitsios, 8 Apr 2026).

A further development concerns ample $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$3-diagonal pairs. A 2024 paper studies “diagonal comparison” for ample diagonal pairs and treats finite diagonal dimension as a regularity hypothesis (Kopsacheilis et al., 2024). In the form actually used there, if

$A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$4

then for every $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$5 and every $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$6, there are finite-dimensional approximations

$A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$7

with a chosen masa $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$8, $A\in (F\boxtimes G)_n \subset \Perf(A^{op}\otimes A).$9, each $n$0 c.p.c. order zero, and each order-zero colour preserving normalisers (Kopsacheilis et al., 2024). One of the paper’s main consequences is that finite diagonal dimension implies the associated conditional expectation is hereditary (Kopsacheilis et al., 2024). In the crossed-product setting of free minimal actions on compact infinite zero-dimensional metrizable spaces, finite diagonal dimension implies tracial $n$1-stability, dynamical comparison, and diagonal comparison (Kopsacheilis et al., 2024).

Recent work on functoriality and Weyl groupoids imports diagonal dimension into the groupoid model of ample $n$2-diagonal pairs (Jabbari, 25 May 2026). For principal ample pairs in the relevant class, diagonal dimension is identified with dynamic asymptotic dimension: $n$3 (Jabbari, 25 May 2026). This yields tensor-product subadditivity: $n$4 under principality and finite dynamic asymptotic dimension assumptions (Jabbari, 25 May 2026). The same paper emphasizes examples of exotic diagonals in the CAR algebra $n$5, where for each

$n$6

there is a $n$7-diagonal with diagonal dimension exactly $n$8 (Jabbari, 25 May 2026). This shows that diagonal dimension can distinguish non-isomorphic diagonal pairs inside the same ambient algebra (Jabbari, 25 May 2026).

Earlier, Niu introduced mean dimension for AH-algebras with diagonal maps (Niu, 2010). Although that paper does not define a quantity literally called diagonal dimension, it develops a dimension invariant for diagonal AH-systems and proves that mean dimension zero implies strict comparison of positive elements and bounds the radius of comparison via

$n$9

(Niu, 2010). In that literature, “dimension” attached to diagonal maps thus refers to a different, AH-theoretic invariant (Niu, 2010). This illustrates that within operator algebras alone, multiple diagonal-sensitive dimension theories coexist.

4. Geometric and arithmetic meanings unrelated to $k$00-theory

Outside categorical and operator-algebraic contexts, “diagonal dimension” can mean the dimension of the diagonal object being measured, rather than a complexity invariant.

In Euclidean geometry, a 2019 paper studies $k$01-dimensional diagonals of an $k$02-dimensional parallelotope (Oller-Marcén, 2019). For

$k$03

a $k$04-diagonal is a $k$05-dimensional parallelotope obtained by collapsing $k$06 generating directions into a single diagonal vector and retaining the remaining $k$07 directions (Oller-Marcén, 2019). The paper counts $k$08-faces and $k$09-diagonals and proves that the ratio of the quadratic mean of $k$10-dimensional diagonal measures to the quadratic mean of $k$11-dimensional face measures is

$k$12

(Oller-Marcén, 2019). In this setting, “diagonal dimension” refers to the parameter $k$13: the dimension of the diagonal subparallelotope itself (Oller-Marcén, 2019).

In Hopf algebra theory, Nichols algebras of diagonal type use “diagonal” in yet another sense. A braided vector space is of diagonal type when one has a basis $k$14 with

$k$15

(Andruskiewitsch et al., 2017). The resulting Nichols algebra $k$16 is studied via generalized root systems and Weyl groupoids, and its finite-dimensionality is governed by arithmetic root systems (Andruskiewitsch et al., 2017). Here the relevant dimensions are ordinary vector-space dimension and Gelfand–Kirillov dimension, computed from PBW root vectors and their orders (Andruskiewitsch et al., 2017). Although not a “diagonal dimension” invariant in the categorical sense, the phrase “diagonal type” again signals that a diagonal structure on the basic data determines the dimension theory (Andruskiewitsch et al., 2017).

These usages suggest a broader pattern: the word “diagonal” may refer either to a geometric subobject whose own dimension is being studied, or to a structural form of data—diagonal braiding, diagonal inclusion, diagonal correspondence—from which a dimension invariant is extracted.

5. Diagonal dimensions in dynamics, fractal geometry, and Diophantine settings

In homogeneous dynamics, the phrase may concern the Hausdorff dimension of exceptional sets associated with a diagonal flow. For the higher-rank diagonal semigroup

$k$17

on

$k$18

Kadyrov, Kleinbock, and collaborators prove the dimension drop conjecture: for every nonempty open $k$19, the avoiding set has strictly smaller than full Hausdorff dimension, with explicit codimension bound

$k$20

(Kleinbock et al., 2020). Here the “dimension” is the Hausdorff dimension of sets defined by diagonal flow avoidance, not a dimension of a diagonal object (Kleinbock et al., 2020).

In a rank-one hyperbolic setting, Yang proves that for the diagonal geodesic flow on a product of $k$21 finite-volume noncompact hyperbolic $k$22-manifolds, the divergent set $k$23 has Hausdorff dimension

$k$24

(Yang, 2013). Again the adjective “diagonal” refers to the flow acting simultaneously on each factor (Yang, 2013).

In fractal geometry, diagonal self-affine systems provide another dimension theory. For a diagonal affine IFS on $k$25,

$k$26

Feng proves that if the Lyapunov exponents are strictly ordered,

$k$27

and each coordinate IFS is exponentially separated, then the self-affine measure $k$28 satisfies

$k$29

(Feng, 29 Jan 2025). This confirms a conjecture of Rapaport by removing a previous one-dimensional subgroup assumption on the linear parts (Feng, 29 Jan 2025).

Rapaport’s earlier 2023 work treated diagonal self-affine sets and measures under related hypotheses. For the attractor $k$30 of a diagonal affine IFS, if each coordinate IFS is exponentially separated and the coordinate contractions are pairwise non-equal in the stated sense, then

$k$31

(Rapaport, 2023). Under an additional one-dimensional subgroup condition on the linear parts and distinct Lyapunov exponents, the corresponding self-affine measure satisfies

$k$32

(Rapaport, 2023). Feng’s 2025 theorem extends the measure part beyond that subgroup hypothesis (Feng, 29 Jan 2025).

Projection theory for planar diagonal self-affine measures gives yet another diagonal-dimension phenomenon. For a planar self-affine measure with diagonal linear parts, under an irrationality condition on logarithms of contraction factors, Ferguson proves that for every non-principal orthogonal projection $k$33,

$k$34

(Pyörälä, 2024). The proof uses local entropy averages, symbolic approximate-square magnifications, product structure of blow-ups, and an ergodic suspension-flow argument driven by the irrationality condition (Pyörälä, 2024).

These dynamical and fractal results do not define a single invariant called diagonal dimension, but they show that diagonal structures frequently impose precise dimension formulas on exceptional sets, measures, or projections.

6. Diagonals in algebraic geometry: positivity and decomposition

In algebraic geometry, the diagonal $k$35 can itself be studied through positivity or decomposition, and this interacts with diagonal-dimension questions in the categorical sense.

Lehmann and Ottem study positivity properties of the diagonal class $k$36 for a projective $k$37-fold $k$38 (Lehmann et al., 2017). If $k$39 is homologically big, then

$k$40

(Lehmann et al., 2017). If $k$41 admits a surjective morphism to a lower-dimensional variety, then $k$42 is not big (Lehmann et al., 2017). If $k$43 is nef, then every pseudoeffective class on $k$44 is nef; if $k$45 is big and nef, then

$k$46

(Lehmann et al., 2017). For surfaces, the only smooth projective examples with big and nef diagonal are $k$47 and fake projective planes (Lehmann et al., 2017). The paper also proves cohomological decomposition criteria for $k$48 on surfaces in terms of $k$49 and $k$50 (Lehmann et al., 2017). While this is a positivity theory rather than a diagonal-dimension invariant, it again treats the diagonal as a fundamental complexity-bearing object (Lehmann et al., 2017).

A different geometric theme is the existence of a decomposition of the diagonal in Chow groups. Fiammengo and Lüders study very general hypersurfaces of low bidegree in products of projective spaces and prove nonexistence of decomposition of the diagonal via degeneration and relative torsion order (Lüders et al., 21 Jan 2026). Their main dimension-raising theorem shows that once a single example with nontrivial relative torsion order is known, one can produce higher-dimensional bidegree hypersurfaces without a decomposition of the diagonal, subject to explicit inequalities on degree and dimension (Lüders et al., 21 Jan 2026). They also prove a special dimension-raising-without-degree-growth result for a very general $k$51 hypersurface in

$k$52

(Lüders et al., 21 Jan 2026). This literature concerns rationality obstructions, but it reinforces the role of the diagonal as a central geometric object whose decomposition properties encode deep birational information (Lüders et al., 21 Jan 2026).

Taken together with the categorical results, these papers suggest two distinct but related strands: one studies how difficult it is to generate the diagonal object in a derived or $k$53-algebraic sense; the other studies how positive, rigid, or decomposable the geometric diagonal is as a cycle.

7. Synthesis and scope of the term

Across the cited literature, “diagonal dimension” has no single cross-disciplinary definition. The term organizes several families of ideas.

First, in triangulated categories, algebraic stacks, and $k$54-pairs, diagonal dimension is a genuine invariant. It measures how many extension or order-zero colours are needed to build the diagonal object or to approximate an algebra while respecting a diagonal substructure (Elagin et al., 2019, Li et al., 2023, Lank et al., 13 May 2026).

Second, in operator-algebraic developments, the notion has become a bridge between approximation theory and geometry. It recovers tower dimension for free Cantor actions, asymptotic dimension for uniform Roe algebras, and dynamic asymptotic dimension for suitable Weyl groupoids (Li et al., 2023, Jabbari, 25 May 2026). Generalised diagonal dimension extends this bridge to nonnuclear settings with noncommutative Cartan subalgebras (Kitsios, 8 Apr 2026).

Third, in geometry, dynamics, and fractal theory, the phrase often refers not to one invariant but to dimension problems governed by diagonal structures: $k$55-dimensional diagonals in parallelotopes, Hausdorff dimensions for diagonal flows, or dimension formulas for diagonal self-affine measures and their projections (Oller-Marcén, 2019, Kleinbock et al., 2020, Yang, 2013, Feng, 29 Jan 2025, Pyörälä, 2024).

A plausible implication is that the term persists because diagonal structures often encode the identity, symmetry, or coordinate-separation data of a theory. In categories, the diagonal represents the identity functor. In $k$56-pairs, the diagonal subalgebra records the underlying dynamics. In self-affine systems, diagonal linear parts isolate coordinatewise scaling. In homogeneous dynamics, diagonal flows synchronize expansion and contraction. The dimension theory that emerges is therefore highly sensitive to the diagonal object chosen.

For that reason, any use of “diagonal dimension” must be read locally within its field. In categorical and operator-algebraic settings it denotes a formal invariant with approximation-theoretic content. In several other settings it names the dimension of objects or exceptional sets attached to diagonal constructions. The unifying theme is not a universal formula, but the role of the diagonal as a structure that concentrates intrinsic information about the ambient mathematical system (Elagin et al., 2019, Li et al., 2023).