Properties of the moduli set of complete connected projective special real manifolds

David Lindemann

arxiv: 1907.06791 · v1 · pith:SMM5XGXZnew · submitted 2019-07-15 · 🧮 math.DG · hep-th

Properties of the moduli set of complete connected projective special real manifolds

David Lindemann This is my paper

Pith reviewed 2026-05-24 20:55 UTC · model grok-4.3

classification 🧮 math.DG hep-th

keywords projective special real manifoldsmoduli setconvex generating setregular boundary behaviourscalar geometries5d supergravity

0 comments

The pith

A compact convex set C_n generates the moduli space of closed connected projective special real manifolds of fixed dimension n, with its interior points exactly those manifolds that have regular boundary behaviour.

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

The paper constructs a compact convex generating set C_n for the moduli set of closed connected projective special real manifolds in fixed dimension n. It proves that these manifolds correspond to inner points of C_n precisely when they have regular boundary behaviour. This gives a concrete geometric parametrization of the entire moduli set. The construction is intended to describe deformations of 5d supergravity theories whose scalar geometries are complete.

Core claim

We construct a compact convex generating set C_n of the moduli set of closed connected projective special real manifolds of fixed dimension n. We show that a closed connected projective special real manifold corresponds to an inner point of C_n if and only if it has regular boundary behaviour.

What carries the argument

The compact convex generating set C_n that generates the moduli set and whose interior points are characterized by regular boundary behaviour.

If this is right

The moduli set of these manifolds in each fixed dimension is the convex hull of a compact set.
Deformations of 5d supergravity theories with complete scalar geometries are parametrized by points inside or on the boundary of C_n.
Manifolds without regular boundary behaviour occupy the boundary of the generating set C_n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The convex geometry of C_n may allow explicit computation of distances or volumes in the moduli space.
One could test whether C_n is a polytope by checking whether only finitely many extreme points exist.
The same construction might extend to non-closed or non-connected cases if the regularity condition is relaxed.

Load-bearing premise

The moduli set admits a compact convex generating set C_n whose interior points are exactly the manifolds with regular boundary behaviour.

What would settle it

A closed connected projective special real manifold that has irregular boundary behaviour yet lies in the interior of C_n, or one that has regular boundary behaviour yet lies on the boundary of C_n.

read the original abstract

We construct a compact convex generating set $\mathcal{C}_n$ of the moduli set of closed connected projective special real manifolds of fixed dimension $n$. We show that a closed connected projective special real manifold corresponds to an inner point of $\mathcal{C}_n$ if and only if it has regular boundary behaviour. Our results can be used to describe deformations of 5d supergravity theories with complete scalar geometries.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper builds an explicit compact convex generating set C_n for the moduli space of closed connected projective special real manifolds and gives an iff criterion tying interior points to regular boundary behaviour.

read the letter

The main thing to know is that Lindemann constructs a compact convex generating set C_n for the moduli space of these manifolds in fixed dimension n, then shows a manifold sits in the interior of C_n exactly when it has regular boundary behaviour. The construction is presented as the convex hull of a family of model manifolds, with the interior condition following from direct analysis of the boundary strata. This gives a concrete handle on the space and is flagged as useful for describing deformations in 5d supergravity with complete scalar geometries. That is the actual new content on offer. The argument is parameter-free and stays within the definitions of projective special real geometry, so the central claims look internally consistent if the boundary analysis holds. No obvious circularity or invented entities appear. The soft spots are limited. The abstract supplies no explicit examples or derivation steps, so independent verification of the generating property and the iff direction requires the full proofs; the stress-test indicates those steps are direct, but a referee would still need to check them line by line. Prior literature on special real manifolds is cited, and the claim of novelty rests on the specific C_n and the interior characterisation not having been stated before. This is a niche paper aimed at people already working in special real geometry or its supergravity applications. A reader in that subfield gets a usable description of the moduli set; outsiders will not find broad new technology. It deserves a serious referee because the result is specific enough to be checked and organises an existing space in a reproducible way rather than relying on vague existence arguments.

Referee Report

0 major / 2 minor

Summary. The manuscript constructs a compact convex generating set C_n for the moduli set of closed connected projective special real manifolds of fixed dimension n. It proves that a manifold in this moduli set corresponds to an interior point of C_n if and only if it has regular boundary behaviour. The results are presented as applicable to describing deformations of 5d supergravity theories with complete scalar geometries.

Significance. If the claims hold, the work supplies a parameter-free convex generating set together with an explicit interior-point characterisation via regular boundary behaviour. This offers a concrete, falsifiable handle on the moduli space without hidden parameters or additional assumptions on boundedness, which strengthens its utility for applications in special real geometry and supergravity deformations.

minor comments (2)

The abstract refers to 'closed connected' manifolds while the title uses 'complete connected'; a brief clarification of the relationship between these notions would improve consistency.
Notation for the generating set is introduced as C_n in the abstract but rendered as mathcal{C}_n in the text; uniform notation across the manuscript would aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The report correctly captures the main results on the compact convex generating set C_n and the interior-point characterization via regular boundary behaviour. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained

full rationale

The central claim is an explicit construction of the compact convex set C_n as the convex hull of a family of model manifolds, together with a direct proof that interior points correspond exactly to manifolds with regular boundary behaviour. This proceeds from the definitions of projective special real geometry and the moduli set without invoking fitted parameters, self-definitional reductions, or load-bearing self-citations whose content is itself unverified. No equation or step reduces to its own input by construction, and the iff statement follows from the generating property and boundary analysis as stated. The derivation is therefore parameter-free and independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities. All such items remain unknown.

pith-pipeline@v0.9.0 · 5577 in / 1014 out tokens · 15997 ms · 2026-05-24T20:55:40.911525+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We construct a compact convex generating set C_n of the moduli set of closed connected projective special real manifolds of fixed dimension n. ... max_{||y||=1} P3(y) ≤ 2/(3√3)
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The boundary of C_n ... is a continuous submanifold ... ˜h ∈ ∂C_n iff the initial H does not have regular boundary behaviour

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.