Pith. sign in

REVIEW 1 cited by

On the existence of noncommutative Levi-Civita connections in derivation based calculi

T0 review · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Weak symmetry of the hermitian form, dρ=0, is a necessary condition for existence of Levi-Civita connections in derivation based calculi, and sufficient for free modules with a dual basis.

arxiv 2505.13984 v1 pith:ZKMVRVJJ submitted 2025-05-20 math.QA math-phmath.MP

Joakim Arnlind , Victor Hildebrandsson This is my paper · ORCID
classification math.QAmath-phmath.MP
keywords connectionsexistenceformhermitianlevi-civitanoncommutativecalculicondition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Noncommutative geometry studies spaces whose coordinates do not commute, so the usual tools of calculus and geometry must be rebuilt from algebra. In this paper the authors use a derivation based calculus: one fixes a set of derivations (directional derivatives) on an algebra, and builds 1-forms from them, much as differential forms on a manifold are built from smooth functions. A hermitian form plays the role of a metric, and a connection is a rule for differentiating sections. A Levi-Civita connection is one that is torsion free and compatible with the metric. The paper asks when such a connection exists in this algebraic setting.

The main discovery is a symmetry condition. Classically, the Riemannian metric is symmetric, which guarantees the unique Levi-Civita connection. For noncommutative algebras, full symmetry is too strong. The authors define a 2-form ρ that measures the failure of a weaker, hermitian symmetry. They prove that if a Levi-Civita connection exists, then the exterior derivative of ρ must vanish (dρ=0), calling this weak symmetry. In the important case where the module of 1-forms is free and has a basis dual to a basis of the derivations, weak symmetry is also sufficient; such a basis exists for noncommutative tori. The paper works out explicit rank-three examples, producing all Levi-Civita connections and showing they are generally not unique. This gives a clear criterion for when noncommutative spaces can carry a Riemannian-like structure.

Extended reading notes

Core claim

Corollary 7.8: Let (A,g,h) be a finitely generated free hermitian calculus with dim(g)=rk(Ω^1_g)=n and bases {θ^i} of Ω^1_g and {∂_a} of g such that θ^i(∂_a)=δ^i_a 1. Then there exists a Levi-Civita connection on Ω^1_g if and only if (A,g,h) is weakly symmetric, i.e. dρ=0. If correct, this establishes weak symmetry as the correct algebraic replacement for metric symmetry in derivation based calculi for the free dual-basis case, and Proposition 7.4 shows weak symmetry is necessary in general.

Load-bearing premise

The sufficiency direction rests on the rigid free dual-basis assumption: Ω^1_g is free of rank equal to dim(g) and admits a basis {θ^i} together with a basis {∂_a} of g satisfying θ^i(∂_a)=δ^i_a 1 (Cor. 7.8). This forces Ω^1_g = \bar{Ω}^1_g (Remark 7.9) and makes the U-equations solvable. For more general projective modules, Proposition 7.7 needs extra hypotheses ∂(h_ij h^{jk})θ^k=0 and a duality-like φ condition; if these fail, weak symmetry alone is not known to be sufficient.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Assumptions & free parameters 2 free parameters · 5 assumptions · 1 invented entities

The central existence result for free modules relies on the standard DG framework, the existence of connections (regularity), invertibility of the hermitian form, and the dual-basis condition. No free parameters are fitted to data; arbitrary hermitian parameters in Section 8 demonstrate non-uniqueness. The only invented object is the symmetry form ρ, which is derived rather than postulated.

free parameters (2)
  • Arbitrary hermitian elements X_ab, H_123 (Section 8)
    These parameterize a family of Levi-Civita connections on the rank-3 free module; they are free algebraic degrees of freedom, not fitted values.
  • Arbitrary diagonal entries (R_a)_aa in Proposition 7.5
    The general solution of the U-equations contains arbitrary diagonal hermitian entries; they show non-uniqueness but do not affect existence.
assumptions (5)
  • standard math A is a unital associative *-algebra over C; g is a *-closed complex Lie subalgebra of Der(A) with partial Z(A)-linearity.
    Section 2: this is the Dubois-Violette framework for derivation based calculi.
  • domain assumption (A,g) is a derivation based calculus, i.e. Ω^1_g is a g-connection module.
    Definition 3.12: if no connections exist on Ω^1_g, the existence problem is vacuous; this is assumed throughout.
  • domain assumption h is an invertible left hermitian form on Ω^1_g.
    Definition 3.14: invertibility is needed to define h^{-1} and the symmetry form ρ.
  • domain assumption For Corollary 7.8: Ω^1_g is free of rank n=dim(g) with basis {θ^i} and basis {∂_a} of g such that θ^i(∂_a)=δ^i_a 1.
    This dual-basis condition is the key hypothesis for sufficiency of weak symmetry; it holds for noncommutative tori.
  • domain assumption For Proposition 7.7: ∂(h_ij h^{jk}) θ^k = 0 and existence of φ^i_a with (θ^i_a φ^a_j)^* θ^i = θ^j.
    These are the additional projective-module hypotheses needed for the sufficient construction; without them weak symmetry is not proven sufficient.
invented entities (1)
  • Symmetry form ρ ∈ \bar{Ω}^2_g (Definition 3.15)
    purpose: Measures the failure of hermitian metric symmetry; weak symmetry dρ=0 replaces classical metric symmetry in the noncommutative setting.
    Defined from h^{-1} and the evaluation map ϕ; it is a derived object, not an independent physical postulate.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the existence of noncommutative Levi-Civita connections in derivation based calculi." pith.science (2026). https://pith.science/paper/ZKMVRVJJ

@misc{pith2026250513984,
  author       = {Pith},
  title        = {Pith review of: On the existence of noncommutative Levi-Civita connections in derivation based calculi},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZKMVRVJJ}},
  note         = {Machine review of arXiv:2505.13984}
}
abstract

We study the existence of Levi-Civita connections, i.e torsion free connections compatible with a hermitian form, in the setting of derivation based noncommutative differential calculi over $\ast$-algebras. We prove a necessary and sufficient condition for the existence of Levi-Civita connections in terms of the image of an operator derived from the hermitian form. Moreover, we identify a necessary symmetry condition on the hermitian form that extends the classical notion of metric symmetry in Riemannian geometry. The theory is illustrated with explicit computations for free modules of rank three, including noncommutative 3-tori. We note that our approach is algebraic and does not rely on analytic tools such as $C^\ast$-algebra norms.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Comparison of Levi-Civita connections in noncommutative geometry

    math.QA 2025-05 conditional novelty 7.0 of 10

    A unified translation between the Arnlind-Wilson, Bhowmick-Goswami-Mukhopadhyay, and Mesland-Rennie Levi-Civita constructions, plus new existence results for centred bimodules with strongly non-degenerate metrics.

Reference graph

Works this paper leans on

17 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [1]

    Arnlind, K

    J. Arnlind, K. Ilwale, and G. Landi. Levi- C ivita connections on quantum spheres. Math. Phys. Anal. Geom. , 25(3):Paper No. 19, 26, 2022

    work page 2022

  2. [2]

    J. Arnlind. Levi- C ivita connections for a class of noncommutative minimal surfaces. Int. J. Geom. Methods Mod. Phys. , 18(12):Paper No. 2150194, 26, 2021

    work page 2021

  3. [3]

    J. Arnlind. Noncommutative R iemannian geometry of K ronecker algebras. J. Geom. Phys. , 199:Paper No. 105145, 22, 2024

    2024

  4. [4]

    Aschieri

    P. Aschieri. Levi- C ivita connections on braided algebras. In Lie theory and its applications in physics , volume 396 of Springer Proc. Math. Stat. , pages 71--87. Springer, Singapore, [2022] 2022

    work page 2022

  5. [5]

    Arnlind and A

    J. Arnlind and A. Tiger Norkvist. Noncommutative minimal embeddings and morphisms of pseudo- R iemannian calculi. J. Geom. Phys. , 159:Paper No. 103898, 17, 2021

    work page 2021

  6. [6]

    Arnlind and M

    J. Arnlind and M. Wilson. On the C hern- G auss- B onnet theorem for the noncommutative 4-sphere. J. Geom. Phys. , 111:126--141, 2017

    work page 2017

  7. [7]

    Arnlind and M

    J. Arnlind and M. Wilson. R iemannian curvature of the noncommutative 3-sphere. J. Noncommut. Geom. , 11(2):507--536, 2017

    work page 2017

  8. [8]

    Metric compatibility and Levi-Civita Connections on Quantum Groups

    P. Aschieri and T. Weber. Metric compatibility and L evi- C ivita connections on quantum groups. ariXiv:2209.05453 , 2022

    work page Pith review arXiv 2022

Show all 17 references
  1. [9]

    Bhowmick, D

    J. Bhowmick, D. Goswami, and G. Landi. Levi- C ivita connections and vector fields for noncommutative differential calculi. Internat. J. Math. , 31(8):2050065, 23, 2020

    2020

  2. [10]

    Bhowmick, D

    J. Bhowmick, D. Goswami, and S. Mukhopadhyay. Levi- C ivita connections for a class of spectral triples. Lett. Math. Phys. , 110(4):835--884, 2020

    2020

  3. [11]

    E. J. Beggs and S. Majid. * -compatible connections in noncommutative R iemannian geometry. J. Geom. Phys. , 61(1):95--124, 2011

    2011

  4. [12]

    E. J. Beggs and S. Majid. Quantum R iemannian geometry , volume 355 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer, Cham, [2020] 2020

    2020

  5. [13]

    Dubois-Violette

    M. Dubois-Violette. D\'erivations et calcul diff\'erentiel non commutatif. C. R. Acad. Sci. Paris S\'er. I Math. , 307(8):403--408, 1988

    1988

  6. [14]

    Flamant, B

    A. Flamant, B. Mesland, and A. Rennie. Comparison of L evi- C ivita connections in noncommutative geometry. (To appear), 2025

    2025

  7. [15]

    Mesland and A

    B. Mesland and A. Rennie. Existence and uniqueness of the levi-civita connection on noncommutative differential forms, 2024

    2024

  8. [16]

    Majid and L

    S. Majid and L. Williams. Quantum koszul formula on quantum spacetime. Journal of Geometry and Physics , 129:41 -- 69, 2018

    2018

  9. [17]

    Rosenberg

    J. Rosenberg. L evi- C ivita's theorem for noncommutative tori. SIGMA , 9:071, 2013

    2013

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.