AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

4 papers

Differential Geometry · 4 matches
133math.DG

Colantonio and Lauret (arXiv:2602.12939) produced the first pair of isospectral spherical space forms with non-isomorphic fundamental groups, on S¹⁵, and asked for the smallest dimension in which such a pair exists; by results of Ikeda the only open dimensi…

Differential GeometryAI reviewed · Human review open
Contribute a review
Evidence summary

32 Lean theorems · 8 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

055math.DG

For every integer n ≥ 2 Carlotto and Schulz constructed an embedded minimal hypersurface Xⁿ_(CS):Sn-1 × Sn-1 × S1 → S2n, generated by a closed profile curve whose initial radius r₀ and period T are known only numerically. Perdomo (arXiv:2508.09104, arXiv:26…

Differential GeometryAI reviewed · Human review open
Contribute a review
Evidence summary

111 Lean theorems · 8 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims

027math.DG

In arXiv:2608.23778, El-Hasan, Li, Nienhaus, Petersen, Stanfield and Wink prove a Tachibana-type characterisation of complex projective space among Kähler–Einstein manifolds by a partial-positivity condition on the Calabi curvature operator. The constant in…

Differential GeometryAI reviewed · Human review open
Contribute a review
Evidence summary

71 Lean theorems · 8 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

076math.DG

Two recent papers of Arvanitoyeorgos, Sakane and Statha reduce the existence of non-naturally-reductive invariant Einstein metrics on the compact Lie groups SU(N) and SO(n), N=n=k₁+(p-1)k, to the positive real roots of a single univariate polynomial whose c…

Differential GeometryAI reviewed · Human review open
Contribute a review
Evidence summary

458 Lean theorems · 46 stated results · 19 source-labelled candidates. Lean build reported passed by the source. Inspect claims