On a question of supports

Christophe Raffalli; Fr\'ed\'eric Mangolte

arxiv: 2202.04532 · v3 · submitted 2022-02-09 · 🧮 math.AG

On a question of supports

Fr\'ed\'eric Mangolte , Christophe Raffalli This is my paper

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

classification 🧮 math.AG

keywords real projective spacemultitangent hyperplaneclosed connected subsetssufficient conditionsupportsreal algebraic geometry

0 comments

The pith

A sufficient condition ensures n closed connected subsets of RP^n share a common multitangent hyperplane.

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

The paper supplies a sufficient condition under which any n closed connected subsets of real projective n-space admit a common multitangent hyperplane. This addresses the existence of a single hyperplane that is tangent to each of the subsets simultaneously. A sympathetic reader cares because the result gives a verifiable criterion for simultaneous support in projective geometry without exhaustive search. The argument stays within the real projective setting and relies on the closed and connected character of the subsets.

Core claim

The paper shows that a certain sufficient condition on n closed connected subsets of RP^n is enough to guarantee they admit a common multitangent hyperplane.

What carries the argument

The sufficient condition on the collection of n closed connected subsets that forces existence of a shared multitangent hyperplane.

If this is right

Whenever the condition holds, the n subsets are guaranteed to share at least one multitangent hyperplane.
The result applies uniformly in every dimension n.
The condition is sufficient but the paper does not claim it is necessary.

Where Pith is reading between the lines

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

The same style of argument might be tested on subsets that are not connected, to see where the condition fails.
One could ask whether the condition can be checked algorithmically for semialgebraic sets.
Analogous statements in complex projective space remain open under this approach.

Load-bearing premise

The subsets are closed and connected inside real projective n-space.

What would settle it

An explicit collection of n closed connected subsets in RP^n that meets the sufficient condition yet possesses no common multitangent hyperplane would refute the claim.

read the original abstract

We give a sufficient condition in order that $n$ closed connected subsets in the $n$-dimensional real projective space admit a common multitangent hyperplane.

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 states a sufficient condition for n closed connected subsets of RP^n to share a common multitangent hyperplane, but the abstract gives no details on the condition or its proof.

read the letter

The main point is a sufficient condition ensuring that n closed connected subsets in RP^n admit a common multitangent hyperplane. The claim is scoped narrowly to real projective space and sticks to closed connected sets, which keeps the topological side straightforward. The authors frame it as addressing a question on supports, and the result looks like a modest addition rather than a broad reorganization of the area. It does a reasonable job of stating the setting without extra assumptions that would complicate things. The condition itself is presented as new, and nothing in the abstract suggests it collapses into earlier statements. That said, the actual condition is not described, and there is no proof sketch or derivation. This leaves the soundness uncheckable from the given information, which matches the low confidence in the initial assessment. Without seeing how the condition is derived or what properties of the subsets it relies on, it is hard to tell if the argument holds or if it introduces any circularity with topological facts. The stress-test found no internal inconsistency in the claim as stated, and that seems fair on the surface. This is the sort of targeted note that would mainly interest people already working on real algebraic geometry, projective varieties, or tangent conditions. A general AG reader would probably skip it. It is not the kind of result I would cite in my own work in the next year unless I were directly extending multitangent questions. Still, the paper deserves a serious referee because it makes a concrete existence claim in a well-defined setting. A referee could verify the proof, check novelty against the literature, and see whether the condition is useful. If the full text has a self-contained argument, it is worth the time; otherwise the contribution stays limited.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to provide a sufficient condition ensuring that n closed connected subsets of RP^n admit a common multitangent hyperplane.

Significance. If the condition is non-trivial, explicitly checkable, and supported by a self-contained proof, the result would offer a criterion in real projective geometry concerning tangent hyperplanes to multiple sets, potentially relevant to questions of supports.

major comments (1)

Abstract: the sufficient condition itself is not stated (only its existence is asserted), preventing any verification of whether it is load-bearing, non-vacuous, or correctly derived from the closed-and-connected hypotheses on the subsets.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments. We address the single major comment below.

read point-by-point responses

Referee: Abstract: the sufficient condition itself is not stated (only its existence is asserted), preventing any verification of whether it is load-bearing, non-vacuous, or correctly derived from the closed-and-connected hypotheses on the subsets.

Authors: We agree that the abstract asserts the existence of a sufficient condition without stating it explicitly. This limits immediate assessment of the result. In the revised manuscript we will add a concise statement of the condition to the abstract, making clear how it is formulated from the closed-and-connected hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity; pure existence theorem with self-contained topological argument

full rationale

The paper states a sufficient condition for the existence of a common multitangent hyperplane to n closed connected subsets of RP^n. No derivation chain, fitted parameters, self-citations, or ansatzes are present in the provided abstract or description that reduce the claimed result to its inputs by construction. As a pure existence result in algebraic geometry relying on external topological facts about projective space and connectedness, the argument is self-contained and does not exhibit any of the enumerated circularity patterns. The central claim remains independent of any internal fitting or renaming.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities. The ledger is therefore empty.

pith-pipeline@v0.9.0 · 5528 in / 969 out tokens · 19265 ms · 2026-05-24T12:24:20.650010+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/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem 10. Let n ∈ N and let A1, …, An ⊂ Pn(R) be closed connected subsets... Suppose that there exists a point p... Then there exists an n-supporting hyperplane

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.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Bourbaki, E spaces vectoriels topologiques , Actualit\' e s Scientifiques et Industrielles, No

N. Bourbaki, E spaces vectoriels topologiques , Actualit\' e s Scientifiques et Industrielles, No. 1189, Herman & Cie, Paris, 1953. 0054161

work page 1953
[2]

Algebraic Geom

Nuria Joglar-Prieto and Fr \'e d \'e ric Mangolte, Real algebraic morphisms and del P ezzo surfaces of degree 2 , J. Algebraic Geom. 13 (2004), no. 2, 269--285. 2047699 (2004m:14121)

work page 2004
[3]

24, Soci \'e t \'e Math \'e matique de France, Paris, 2017, viii + 484 pages

Fr \'e d \'e ric Mangolte, Vari \'e t \'e s alg \'e briques r \'e elles , Cours Sp \'e cialis \'e s [Specialized Courses], vol. 24, Soci \'e t \'e Math \'e matique de France, Paris, 2017, viii + 484 pages. 3727103

work page 2017
[4]

, Real algebraic varieties, Springer Monographs in Mathematics, Springer International Publishing, 2020, xviii + 444 pages

work page 2020

[1] [1]

Bourbaki, E spaces vectoriels topologiques , Actualit\' e s Scientifiques et Industrielles, No

N. Bourbaki, E spaces vectoriels topologiques , Actualit\' e s Scientifiques et Industrielles, No. 1189, Herman & Cie, Paris, 1953. 0054161

work page 1953

[2] [2]

Algebraic Geom

Nuria Joglar-Prieto and Fr \'e d \'e ric Mangolte, Real algebraic morphisms and del P ezzo surfaces of degree 2 , J. Algebraic Geom. 13 (2004), no. 2, 269--285. 2047699 (2004m:14121)

work page 2004

[3] [3]

24, Soci \'e t \'e Math \'e matique de France, Paris, 2017, viii + 484 pages

Fr \'e d \'e ric Mangolte, Vari \'e t \'e s alg \'e briques r \'e elles , Cours Sp \'e cialis \'e s [Specialized Courses], vol. 24, Soci \'e t \'e Math \'e matique de France, Paris, 2017, viii + 484 pages. 3727103

work page 2017

[4] [4]

, Real algebraic varieties, Springer Monographs in Mathematics, Springer International Publishing, 2020, xviii + 444 pages

work page 2020