T-Geometries in Mathematics & Physics
- T-geometries are a context-dependent term defined in multiple ways, including transitional geometries that interpolate between spherical, Euclidean, and hyperbolic spaces via a continuous curvature parameter.
- In incidence geometry, T-geometries arise from triangle complex constructions that yield rank-three structures with intrinsic triality, ensuring properties like flag-transitivity in examples such as PG(2,q) and AG(2,q).
- Additional interpretations include T-model Kähler spaces in supergravity, teleparallel geometries reformulated via frame transformations with vanishing curvature, and discrete spaces exhibiting Geometric Property (T).
Searching arXiv for recent and relevant papers on “T-geometries” and closely related usages. “T-geometries” is not a single standardized concept across mathematics and theoretical physics. In the contemporary literature, the label is used for several technically distinct constructions: transitional geometries interpolating among constant-curvature planes (Papadopoulos et al., 2014); rank-three incidence geometries with a canonical triality obtained from triangle complexes of rank-two geometries (Delaby et al., 8 Apr 2025); Kähler geometries of T-model type in supergravity and inflationary model building (Pallis, 2 Feb 2025); teleparallel geometries characterized by vanishing curvature with nonzero torsion and/or nonmetricity (Adak et al., 2023); and, in coarse geometry, discrete metric spaces with Geometric Property (T), sometimes informally described as “T-geometries” (Willett et al., 2013, Vergara, 2023). The term also appears in algebraic geometry through T-varieties with effective torus actions (Altmann et al., 2011), and in string-theoretic constructions involving T-duality and non-abelian twists (Lunin et al., 2023, Lozano et al., 2018). The plurality of these usages makes context essential: the common “T” may stand for transition, triality, T-model, teleparallel, torus, or T-duality, rather than denoting a single invariant mathematical object.
1. Terminological scope and competing usages
The expression “T-geometries” is used in at least three broad ways.
First, in differential and classical geometry, A’Campo and Papadopoulos develop “transitional geometry,” a one-parameter family of constant-curvature geometries connecting spherical, Euclidean, and hyperbolic planes continuously through a curvature parameter (Papadopoulos et al., 2014). Here the “T” is explicitly transitional.
Second, in incidence geometry, the recent triangle-complex construction associates to a rank-two incidence system a rank-three pregeometry with a canonical triality , and the surrounding discussion explicitly treats these as geometries with trialities (Delaby et al., 8 Apr 2025). In this setting, “T-geometries” may be read as triality-geometries.
Third, in mathematical physics, the label appears in several unrelated ways: T-model Kähler geometries in -attractor supergravity (Pallis, 2 Feb 2025); teleparallel geometries with (Adak et al., 2023); and T-duality-generated supergravity backgrounds or twisted geometries (Lunin et al., 2023, Lozano et al., 2018).
A separate, operator-algebraic usage concerns Geometric Property (T) for discrete metric spaces. One source explicitly presents “T-geometries” as discrete metric spaces with Geometric Property (T), together with associated Kazhdan projections in maximal uniform Roe algebras (Vergara, 2023). This is consistent with the broader coarse-geometric treatment of Geometric Property (T) as a strong spectral-gap condition on representations of the translation algebra (Willett et al., 2013).
This terminological heterogeneity implies that the phrase has no universal definition. A plausible implication is that encyclopedia treatment is best organized by domain rather than by forcing a false unification.
2. Transitional geometries of constant curvature
In transitional geometry, one studies a family parameterized by real curvature , with spherical geometry for , Euclidean geometry for 0, and hyperbolic geometry for 1 (Papadopoulos et al., 2014). The ambient model is defined in 2 via
3
with 4 the identity component of the orthogonal group of 5. For 6, 7 acts transitively on 8; for 9, 0 acts on the two-sheeted hyperboloid 1; and for 2, after restricting to coherent elements, 3 becomes the Euclidean motion group 4 (Papadopoulos et al., 2014).
A distinctive feature is the group-theoretic definition of points and lines. Points in 5 are maximal compact abelian subgroups of 6, equivalently involutions 7 of order two. A line is a maximal subset 8 such that for any 9, the product 0 lies in an abelian one-parameter subgroup of 1. In this framework, any two points lie on a unique line, and for 2 lines correspond to great circles or geodesics on 3 (Papadopoulos et al., 2014).
The metric structure is normalized so that the Euclidean case arises as a genuine limit. For 4, one first defines an angular distance on 5 from the polar bilinear form 6, and then introduces the normalized distance
7
The family 8 varies continuously as 9, and the Euclidean metric is recovered by Taylor expansion (Papadopoulos et al., 2014).
The same continuity principle extends to triangles, angles, trigonometric identities, and area. The unified functions 0 and 1 satisfy curvature-dependent sine and cosine laws valid in all three regimes, and the area satisfies the Gauss–Bonnet-type formula
2
with Euclidean area arising as the 3 limit (Papadopoulos et al., 2014). This formulation is significant because Euclidean geometry is not treated as an exceptional case but as a smooth zero-curvature member of a single family.
3. Triality geometries from triangle complexes
For a rank-two incidence geometry
4
the triangle-complex construction defines a rank-three pregeometry
5
with type set 6 and element set
7
(Delaby et al., 8 Apr 2025). Thus 8 consists of three copies of the flags of 9. The incidence relation is defined cyclically by
0
Equivalently, 1 is joined to 2 precisely when 3 and 4 meet in exactly the point 5 and 6 (Delaby et al., 8 Apr 2025).
The canonical triality is the cyclic shift
7
which is a correlation of type the 3-cycle 8 and satisfies 9 (Delaby et al., 8 Apr 2025). The construction therefore produces rank-three systems with an intrinsic order-three symmetry exchanging types.
Several structural criteria govern when 0 is an incidence geometry with strong transitivity properties. If 1 is an incidence geometry, then the gonality of 2 is at most 3. In particular, a flag in 4 can be completed to a chamber if and only if every point-line pair in 5 lies in a triangle (Delaby et al., 8 Apr 2025). For a thick finite linear space 6 of gonality 7, flag-transitivity of 8 under 9 is equivalent to transitivity of 0 on
1
Thickness and residual connectedness admit precise criteria. 2 is thick if and only if every line of 3 has at least 4 points and every point lies on at least 5 lines. Moreover, 6 admits a duality if and only if 7 does. Residual connectedness holds for planes 8, 9, and for unitals 0 with 1 or 2, but fails in certain higher-dimensional projective or affine spaces and in complete graphs 3 because some rank-two residues split into multiple components (Delaby et al., 8 Apr 2025).
The classification theorem stated for the flag-transitive linear spaces under consideration identifies exactly when 4 is firm, residually connected, and flag-transitive: this occurs precisely for
5
(Delaby et al., 8 Apr 2025). In particular, 6 yields an infinite family of thick, flag-transitive, residually connected geometries with triality but no duality, described there as the first such infinite family (Delaby et al., 8 Apr 2025).
Two standard examples illustrate the scale of the construction.
| Base geometry 7 | Size of 8 | Structural features |
|---|---|---|
| 9 | 0 elements | thick, FT, RC, triality and dualities |
| 1, 2 | 3 elements | thick, FT, RC, triality but no duality |
For planes, all rank-two residues of 4 have point-diameter 5, line-diameter 6, and gonality 7, so the Buekenhout diagram is a triangle with edge-labels 8 (Delaby et al., 8 Apr 2025). This makes the triangle-complex T-geometries a concrete bridge between rank-two linear spaces and higher-rank incidence structures with triality.
4. T-model Kähler geometries in supergravity and inflation
In supergravity model building, “T-geometries” can denote Kähler geometries of T-model type. A recent realization appears in Starobinsky-like inflation within supergravity, where the inflaton sector is built from Kähler potentials parameterizing hyperbolic geometries known from T-model inflation (Pallis, 2 Feb 2025).
In the gauge-singlet case, the total Kähler potential is
9
with
00
01
02
(Pallis, 2 Feb 2025). The piece 03 is exactly the Kähler potential of the Poincaré disk of radius 04, realizing the symmetric space 05 with metric
06
The associated constant holomorphic sectional curvature is
07
and in 08-attractor language one defines 09 (Pallis, 2 Feb 2025).
The superpotential is constrained by symmetry. For a gauge-singlet inflaton,
10
with an 11-symmetry 12, 13 forcing linearity in 14, and a global 15 with 16, 17 forbidding other couplings. The holomorphic terms in 18 break 19 softly (Pallis, 2 Feb 2025). In the gauge non-singlet case,
20
with 21 carrying opposite charges under a gauge 22 (Pallis, 2 Feb 2025).
The paper emphasizes exact and softly broken shift symmetry. The T-part of 23 depends on
24
and is invariant under the real shift 25, while the imaginary direction has an exact shift symmetry 26 in the absence of 27 (Pallis, 2 Feb 2025). The additional term 28, and in the non-singlet case also the mass term 29, violate this shift symmetry mildly and generate a nontrivial inflaton dependence in the denominator of the scalar potential.
Along the inflationary trajectory 30, one finds in the gauge-singlet case
31
so that 32 and
33
(Pallis, 2 Feb 2025). For 34, the spectral observables satisfy
35
while the pure T-model limit 36 yields
37
The geometric interpretation given there places these constructions squarely in the class of 38-attractors. In the gauge-singlet case, the inflaton sector is a single 39 disk of curvature 40. In the gauge non-singlet case, the Kähler sector can instead realize either 41 or 42, with scalar curvatures
43
respectively (Pallis, 2 Feb 2025). The article further suggests a taxonomy of “44” geometries labeled by pole order 45 and curvature parameter 46, where 47 controls the shift-symmetry breaking through the factor 48 and 49 fixes the Kähler radius (Pallis, 2 Feb 2025). Since this nomenclature is presented as a possible labeling scheme rather than a universally adopted standard, it is best regarded as local to that work.
5. Teleparallel geometries
In differential geometry and gravitational theory, teleparallel geometries are sometimes informally grouped under “T-geometries.” These are metric-affine geometries on a manifold 50 equipped with an independent metric tensor 51 and affine connection 52, or equivalently a coframe 53 and 54-connection 1-form 55 (Adak et al., 2023). The fundamental objects are the nonmetricity 1-form,
56
the torsion 2-form,
57
and the curvature 2-form,
58
The connection decomposes uniquely into Levi-Civita and distortion pieces,
59
where 60 is the Riemannian connection, 61 is the contortion, 62 is the antisymmetric part of nonmetricity, and 63 is the symmetric part of 64 (Adak et al., 2023). Metric-affine geometries are then classified by which of 65, 66, and 67 vanish. The teleparallel branches are:
| Geometry | Vanishing tensors | Nonvanishing tensors |
|---|---|---|
| Metric teleparallel | 68 | 69 |
| Symmetric teleparallel | 70 | 71 |
| General teleparallel | 72 | 73 |
The defining constraint of the general teleparallel case is simply
74
(Adak et al., 2023). This permits gauge choices in which the connection becomes pure gauge. In the Weitzenböck gauge one sets 75, obtaining 76, 77, and 78. In the coincident gauge one sets 79 in a coordinate frame, giving 80, 81, and 82. In a mixed gauge for general teleparallelism one can set 83, so 84 and 85 (Adak et al., 2023).
A major methodological result is the recasting of a Riemannian geometry into teleparallel form by a 86 transformation of the frame. Starting from 87, one chooses 88 and transforms
89
Fixing 90, the original Riemannian curvature is then encoded entirely in torsion and nonmetricity of the new frame (Adak et al., 2023). This is not merely a formal restatement: the paper develops a general parity-even quadratic Lagrangian with 91, 92, and 93 sectors and derives the corresponding field equations in differential-form language (Adak et al., 2023).
The same work presents exact solutions in 94, including two-dimensional static metrics, three-dimensional BTZ-type configurations, and four-dimensional Kerr–de Sitter and Reissner–Nordström-like solutions recast in teleparallel form (Adak et al., 2023). The significance of these constructions lies in the relocation of gravitational degrees of freedom from curvature to torsion and nonmetricity, with applications both in gravity and in continuum descriptions of defects in materials.
6. Geometric Property (T) as a coarse-geometric notion
In coarse geometry, “T-geometries” can refer to discrete metric spaces with Geometric Property (T). Let 95 be a discrete metric space of bounded geometry, and let 96 denote the algebraic uniform Roe algebra consisting of uniformly bounded, finite-propagation matrices on 97 (Willett et al., 2013). A vector 98 in a representation 99 is invariant if for every partial translation 00,
01
(Vergara, 2023). Denoting by 02 the invariant subspace, Geometric Property (T) requires a uniform obstruction to almost-invariant vectors orthogonal to 03.
One formulation states that 04 has Geometric Property (T) if for every controlled generating set 05, there exists 06 such that for every representation 07 and every unit vector 08, there is a partial translation 09 with 10 satisfying
11
(Vergara, 2023). An earlier equivalent formulation uses the orthogonal complement of the constant-vector subspace and measures 12 (Willett et al., 2013). This is a coarse analogue of Kazhdan’s Property (T).
The theory admits a spectral-gap characterization via the combinatorial Laplacian 13. For a controlled set 14, Geometric Property (T) is equivalent to the existence of 15 such that the maximal spectrum satisfies
16
for every controlled 17, or equivalently for some generating 18 (Willett et al., 2013). For disjoint unions of finite connected graphs of uniformly bounded degree, this is stronger than ordinary expander behavior: Geometric Property (T) implies 19, but not conversely (Willett et al., 2013).
The property is a coarse invariant: if 20 and 21 are coarsely equivalent, then 22 has Geometric Property (T) if and only if 23 does (Willett et al., 2013). It also interacts sharply with amenability. For an infinite connected bounded-geometry graph, Geometric Property (T) holds if and only if the graph is non-amenable (Willett et al., 2013). For box spaces of residually finite groups, Geometric Property (T) is equivalent to the underlying group having Kazhdan’s Property (T) (Willett et al., 2013).
A later refinement characterizes Geometric Property (T) through a Kazhdan projection in the maximal uniform Roe algebra 24: there exists a projection 25 such that in every representation 26, 27 is exactly the orthogonal projection onto 28 (Vergara, 2023). This projection lies in the norm-closure of a positive normalized cone in the unistochastic subalgebra 29, and decomposes over coarse components. If 30 is a finite coarsely connected component, the componentwise Kazhdan projection is the rank-one matrix
31
If 32 is infinite and coarsely connected, then 33 (Vergara, 2023). This behavior marks a substantial difference from group 34-algebra Kazhdan idempotents.
The main misconception in this area is terminological: Geometric Property (T) concerns spectral gaps in Roe-algebra representations and should not be conflated with teleparallel, toric, or T-duality geometries merely because they also carry a “T.”
7. Related T-prefix geometries and reasons for ambiguity
Several further research areas use a T-prefix in ways adjacent to, but distinct from, the preceding notions.
In algebraic geometry, a T-variety is a normal variety 35 endowed with an effective action of an algebraic torus 36, with complexity 37 when 38 (Altmann et al., 2011). The modern language of polyhedral divisors and divisorial fans classifies affine and global T-varieties, recovers toric varieties as the complexity-zero case, and organizes invariant divisors, intersection theory, singularities, Cox rings, deformations, and polarizations (Altmann et al., 2011). These are not usually called “T-geometries,” but the overlap in naming can generate confusion.
In supergravity and string theory, “T-geometries” may also appear in connection with T-duality. One line of work studies geometries with twisted spheres and non-abelian T-dualities, where one starts with metrics carrying 39 isometries, applies a non-abelian generalization of a TsT or spectral-flow twist, and then performs NATD to generate new backgrounds (Lunin et al., 2023). Another line embeds Abelian and non-Abelian T-duals of the Brandhuber–Oz 40 solution into the D’Hoker–Gutperle–Uhlemann classification of 41 geometries with 7-branes, with the Abelian dual living on an annulus and the non-Abelian dual on the upper half-plane (Lozano et al., 2018). Here the “T” is unambiguously duality-theoretic.
Finally, exceptional generalized geometry introduces structures connected to non-Abelian and Poisson–Lie T-duality through the Exceptional Drinfeld Algebra, a Leibniz-algebraic generalization of the Drinfeld double in M-theory (Blair et al., 2020). Although this concerns generalized U-dualities rather than T-geometries in a narrow sense, it further illustrates the breadth of T-prefixed geometric nomenclature in current research.
Taken together, these examples show that “T-geometries” is a context-dependent umbrella label rather than a single discipline-wide term. In current usage, the most coherent meanings are transitional geometries in constant-curvature geometry (Papadopoulos et al., 2014), triangle-complex geometries with triality (Delaby et al., 8 Apr 2025), T-model Kähler geometries in inflationary supergravity (Pallis, 2 Feb 2025), teleparallel geometries with vanishing curvature (Adak et al., 2023), and coarse metric spaces with Geometric Property (T) (Willett et al., 2013, Vergara, 2023). The technical content of any occurrence is therefore fixed not by the letter “T” alone, but by the surrounding mathematical program.