pith. sign in

arxiv: 2505.09080 · v2 · submitted 2025-05-14 · 🧮 math.CT · math.AG

Representable tangent structures for affine schemes

Marcello Lanfranchi , Jean-Simon Pacaud Lemay This is my paper

Pith reviewed 2026-05-22 15:44 UTC · model grok-4.3

classification 🧮 math.CT math.AG
keywords tangent structuresaffine schemestangentoidssolid non-unital algebrasKähler differentialsrepresentablecategory theory
0
0 comments X

The pith

Representable tangent structures on affine schemes correspond to finitely generated projective solid non-unital algebras.

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

This paper sets out to characterize the representable tangent structures on the category of affine schemes. It does so by defining tangentoids as the objects in a monoidal category of commutative unital algebras that can induce tangent structures by tensoring. The key step is proving that these tangentoids are equivalent to commutative associative solid non-unital algebras. As a result, representable tangent structures correspond to finitely generated projective such algebras, and over a principal ideal domain there turn out to be exactly two of them.

Core claim

The central discovery is that representable tangent structures on affine schemes correspond to finitely generated projective commutative associative solid non-unital algebras. In the special case where the affine schemes are over a principal ideal domain, there are precisely two such structures: the trivial one and the one induced by Kähler differentials. This characterization is obtained by establishing an equivalence between tangentoids and solid non-unital algebras, and using coexponentiable tangentoids to induce the structures on the opposite category.

What carries the argument

Tangentoids in the monoidal category of commutative unital algebras, which are equivalent to commutative associative solid non-unital algebras and induce tangent structures via tensoring when coexponentiable.

Load-bearing premise

The assumption that all representable tangent structures come from coexponentiable tangentoids via tensoring in the category of commutative unital algebras.

What would settle it

An explicit construction of a representable tangent structure on the category of affine schemes that cannot be obtained from any finitely generated projective commutative associative solid non-unital algebra.

read the original abstract

The category of affine schemes is a tangent category whose tangent bundle functor is induced by K\"ahler differentials, providing a direct link between algebraic geometry and tangent category theory. Moreover, this tangent bundle functor is represented by the ring of dual numbers. How special is this tangent structure? Are there any other (non-trivial) tangent structure on the category of affine schemes? In this paper, we characterize the representable tangent structures on the category of affine schemes. To this end, we introduce a useful tool, the notion of tangentoids, which are precisely the objects in a monoidal category that induce a tangent structure via tensoring. Furthermore, coexponentiable tangentoids induce tangent structures on the opposite category. As such, we first prove that tangentoids in the category of commutative unital algebras are equivalent to commutative associative solid non-unital algebras, that is, commutative associative non-unital algebras whose multiplication is an isomorphism. From there, we explain how representable tangent structures on affine schemes correspond to finitely generated projective commutative associative solid non-unital algebras. In particular, for affine schemes over a principal ideal domain, we show that there are precisely two representable tangent structures: the trivial one and the one given by K\"ahler differentials.

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.

Referee Report

2 major / 2 minor

Summary. The paper characterizes representable tangent structures on the category of affine schemes. It introduces tangentoids as objects in a monoidal category that induce tangent structures via tensoring, proves that tangentoids in the category of commutative unital algebras are equivalent to commutative associative solid non-unital algebras (multiplication an isomorphism), and shows that representable tangent structures on affine schemes correspond to finitely generated projective such algebras. Over a principal ideal domain there are precisely two: the trivial structure and the one induced by Kähler differentials.

Significance. If the results hold, the work supplies a classification theorem linking tangent category theory to algebraic geometry via affine schemes. The introduction of tangentoids as a general tool and the explicit bijection with fg projective solid algebras are useful advances; the concrete count of exactly two structures over a PID is a falsifiable prediction that strengthens the contribution. The derivations appear parameter-free once the solid-algebra condition is fixed.

major comments (2)
  1. [§3] §3 (equivalence of tangentoids and solid algebras): the proof must explicitly check that the multiplication-isomorphism condition on solid algebras ensures the induced functor satisfies all tangent-category axioms, including differential universality and the tangent-bundle projection properties; without this verification the claimed bijection with representable tangent structures does not follow.
  2. [§4] §4 (induction via coexponentiable tangentoids): the argument that coexponentiable tangentoids induce tangent structures on AffSch^op must confirm that every representable tangent structure arises this way and that the inverse construction recovers the original solid algebra; if the correspondence is only one-sided the classification theorem is incomplete.
minor comments (2)
  1. The notation for the monoidal structure on commutative algebras and the precise definition of 'solid' could be recalled in a single preliminary subsection to aid readability.
  2. Figure 1 (if present) comparing the trivial and Kähler cases would benefit from explicit labels for the tangent bundle functors.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments, which have helped us clarify and strengthen the presentation of the results. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (equivalence of tangentoids and solid algebras): the proof must explicitly check that the multiplication-isomorphism condition on solid algebras ensures the induced functor satisfies all tangent-category axioms, including differential universality and the tangent-bundle projection properties; without this verification the claimed bijection with representable tangent structures does not follow.

    Authors: We agree that an explicit verification is necessary for full rigor. In the current draft the equivalence between tangentoids and solid algebras is shown by constructing the functors in both directions and verifying that the multiplication-isomorphism condition is preserved, but the subsequent check that the resulting tangent functor on the category of algebras satisfies every tangent-category axiom (in particular differential universality and the tangent-bundle projection) is only sketched via the general properties of tangentoids. We will revise §3 to include a direct, self-contained verification that the solid-algebra condition implies each required axiom. This will make the bijection with representable tangent structures on affine schemes fully explicit. revision: yes

  2. Referee: [§4] §4 (induction via coexponentiable tangentoids): the argument that coexponentiable tangentoids induce tangent structures on AffSch^op must confirm that every representable tangent structure arises this way and that the inverse construction recovers the original solid algebra; if the correspondence is only one-sided the classification theorem is incomplete.

    Authors: The manuscript already establishes a two-sided correspondence: every representable tangent structure on AffSch arises from a finitely generated projective solid algebra via the coexponentiable tangentoid construction, and the inverse functor recovers the original algebra. Nevertheless, the referee is correct that the inverse direction and the proof that the two constructions are mutually inverse deserve a more detailed and self-contained treatment. We will expand §4 with an explicit description of the inverse construction together with a verification that it is indeed inverse to the forward map. This will complete the classification theorem as stated. revision: yes

Circularity Check

0 steps flagged

No significant circularity; characterization proceeds via independent equivalence proof

full rationale

The paper introduces tangentoids by definition as the objects of a monoidal category that induce tangent structures via tensoring, then proves (rather than assumes) that these coincide with commutative associative solid non-unital algebras whose multiplication is an isomorphism. The subsequent correspondence between representable tangent structures on affine schemes and finitely generated projective solid algebras is obtained by composing this equivalence with the definition of representability; the steps are therefore self-contained categorical arguments rather than reductions of the target statement to its own inputs. The claim of precisely two such structures over a PID likewise rests on an algebraic classification that does not presuppose the tangent-category result. No load-bearing self-citations, fitted parameters renamed as predictions, or ansätze smuggled via prior work appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The paper introduces the new concept of tangentoids and the notion of solid algebras as the key additions beyond standard category theory and algebraic geometry; no free parameters appear, and the invented entities are the tangentoids and solid algebras themselves.

axioms (1)
  • standard math Standard axioms of monoidal categories and tangent categories
    The constructions rely on the background theory of tangent categories and monoidal categories of commutative algebras.
invented entities (2)
  • tangentoid no independent evidence
    purpose: Object in a monoidal category that induces a tangent structure via tensoring
    New notion introduced to characterize representable tangent structures.
  • solid non-unital algebra no independent evidence
    purpose: Commutative associative non-unital algebra whose multiplication is an isomorphism
    Shown equivalent to tangentoids in the algebra category.

pith-pipeline@v0.9.0 · 5749 in / 1491 out tokens · 64760 ms · 2026-05-22T15:44:37.538957+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

15 extracted references · 15 canonical work pages · 1 internal anchor

  1. [1]

    J.Beck,Triples,algebrasandcohomology,Repr.TheoryAppl.Categ.(2)(2003)1–59

    work page 2003

  2. [2]

    R.CockettandG.Cruttwell,DifferentialBundlesandFibrationsforTangentCategories,CahiersdeTopologie etGéométrieDifférentielleCatégoriques,LIX(2018)10–92. 29

    work page 2018

  3. [3]

    R.CockettandG.Cruttwell,DifferentialStructure,TangentStructure,andSDG,AppliedCategoricalStructures, 22(2)(2014)331–417

    work page 2014

  4. [4]

    Cruttwell, J-.S

    G. Cruttwell, J-.S. Lemay, and E. Vandenberg,A tangent category perspective on connections in algebraic geometry,Appl.Categ.Structures,33(1)(2025)PaperNo.440

    work page 2025

  5. [5]

    G.CruttwellandJ-S.Lemay,DifferentialBundlesinCommutativeAlgebraandAlgebraicGeometry(2023)

    work page 2023

  6. [6]

    R.Garner,Anembeddingtheoremfortangentcategories,AdvancesinMathematics,323(2018)668–687

    work page 2018

  7. [7]

    A.Grothendieck,Élémentsdegéométriealgébrique: IV.Étudelocaledesschémasetdesmorphismesdeschémas, Troisièmepartie,PublicationsMathématiquesdel’IHÉS,28(1966)5–255

    work page 1966

  8. [8]

    J.J.Gutiérrez,Onsolidandrigidmonoidsinmonoidalcategories,AppliedCategoricalStructures,23(4)(2015) 575–589

    work page 2015

  9. [9]

    Struct.,8(2)(2024)332–385

    S.Ikonicoff,M.Lanfranchi,andJ-.S.Lemay,TheRosickýtangentcategoriesofalgebrasoveranoperad,High. Struct.,8(2)(2024)332–385

    work page 2024

  10. [10]

    G.ImandG.Kelly,Someremarksonconservativefunctorswithleftadjoints,J.KoreanMath.Soc.,23(1)(1986) 19–33

    work page 1986

  11. [11]

    B.Jubin,Thetangentfunctormonadandfoliations,arXivpreprintarXiv:1401.0940(2014)

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  12. [12]

    P.Leung,ClassifyingtangentstructuresusingWeilalgebras,TheoryandApplicationsofCategories,32(2017) 286–337

    work page 2017

  13. [13]

    S.Niefield,Cartesianness: topologicalspaces,uniformspaces,andaffineschemes,J.PureAppl.Algebra,23(2) (1982)147–167

    work page 1982

  14. [14]

    J.Rosický,AbstractTangentFunctors,Diagrammes,12(1984)JR1–JR11

    work page 1984

  15. [15]

    J.Rotman,Advancedmodernalgebra,(2002)PrenticeHall,Inc.,UpperSaddleRiver,NJ. 30

    work page 2002