{"id":"5bea1286-8af6-47d6-9db2-1d9f6eeaeb74","arxiv_id":"2507.23758","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues that Jordan's 1952 axiomatic treatment of the covariant derivative, motivated by projective relativity, is a distinctive historical contribution despite a similar 1930 definition by Walther Mayer.","lead":"This paper reconstructs Pascual Jordan's 1952 axiomatic definition of the covariant derivative, developed for his extended theory of gravitation in projective relativity, and places it in the history of differential geometry. It also notes that Walther Mayer gave a similar axiomatic definition in 1930, making the historical priority claim more nuanced.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's own quotation of Jordan undercuts the priority claim: Jordan credits Weyl, Eddington, and Schrödinger with already 'postulated an operation of the covariant derivative' before 1952, yet footnote 5 says only Mayer preceded him; the distinction is asserted, not defended.","rationale":"I read the paper's core argument as: Jordan's 1952 covariant derivative deserves historical credit for being an operator-style, axiom-based definition in the relativity literature, a style nearly absent before him. The load-bearing premise is therefore the negative priority claim. The reader flagged the absence of a systematic search for earlier axiomatic definitions. I agree, but I find a sharper, text-internal problem: the paper prints Jordan's own statement that Weyl, Eddington and Schrödinger had already 'postulated an operation of the covariant (or affine) derivative,' with explicit reference to Jordan's Axioms III and V. This is at least prima facie evidence that an axiom-like definition existed in the relativity literature before 1952, and the paper gives no criterion that would exclude those cases while including Mayer's. A single archival check of Eddington's 1921/1923 and Schrödinger's affine-theory papers would settle the issue. If the check confirms that they only introduced connection coefficients, the novelty claim survives; if they used a postulate list, the central claim needs substantial qualification. I therefore keep the reader's CONDITIONAL verdict, sharpening the condition.","tokens_in":18835,"tokens_out":10142,"duration_ms":95144,"concrete_test":"Check the primary sources named in Jordan's own passage: Eddington's 'A Generalisation of Weyl's Theory' (1921; also his 1923 book) and Schrödinger's affine-theory papers from around 1918–1919. Determine whether they define the covariant derivative as an operator obeying a list of postulates comparable to Jordan's I–V. If either does, footnote 5 and the §2 priority claim are false; if they only introduce connection coefficients without a postulate characterization, the claim survives. This single archival check decides the contradiction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central priority claim, stated in §2 and footnote 5, is that Jordan was the first in the relativity literature to give an axiomatic definition of the covariant derivative, with only Walther Mayer earlier in any literature. The paper itself supplies evidence against this. In §5 it quotes Jordan ([1, p.34]) saying that generalizations of Riemannian geometry 'initiated by Weyl and carried out by Eddington and Schrödinger' had already 'postulated an operation of the covariant (or affine) derivative,' and it explicitly discusses whether Axiom III and Axiom V were retained or abandoned by Eddington and Schrödinger. If these authors already characterized the covariant derivative by a list of postulates, then an axiomatic definition existed in the relativity literature before Jordan. The paper never defines the criterion that excludes Eddington/Schrödinger while admitting Mayer's 1930 treatment; the distinction between 'postulated an operation' and 'axiomatic definition' is asserted, not argued. This is not merely a missing systematic search: it is a potential contradiction between the most load-bearing historical claim and a primary quotation the paper itself reports.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper argues that Pascual Jordan's 1952 textbook \"Schwerkraft und Weltall\" contains an axiomatic definition of the covariant derivative—an operator characterized by five properties (additivity, the Leibniz rule, commutation with contraction, metric compatibility, and agreement with ordinary derivatives on gradients and rotations)—which closely resembles modern definitions of a connection. The paper claims that Jordan was the first in the relativity literature to give such an axiomatic definition, with only Walther Mayer earlier in the mathematical literature. It situates Jordan's work within the history of the covariant derivative, parallel transport, and connection in differential geometry, and within the development of projective relativity, particularly the Princeton school of Veblen and Eisenhart. The author further contends that Jordan's axiomatization was motivated by his five-dimensional projective extension of Einstein-Maxwell theory with a variable gravitational constant, and she provides an English summary of Jordan's formalism as an aid to non-German-speaking readers.","tokens_in":19056,"tokens_out":5243,"duration_ms":51888,"significance":"If the priority claim is correct, the paper would establish Jordan's 1952 textbook as an important anticipation of modern connection formalism, developed independently for physical applications. The paper's strength is its careful reading of primary sources with page citations, its explicit differentiation between Jordan's complete axiomatic characterization and Schouten's earlier list of properties, and its transparent acknowledgment of speculation (e.g., about Jordan's likely ignorance of Mayer's work). It also provides a valuable English-language summary of a German textbook that influenced the post-war Hamburg relativity group. The historical narrative connecting projective geometry, the Princeton school, and unified field theory is informative and fills a gap in the English-language historiography. The central claim, however, rests on a priority assertion that the paper does not fully defend, as detailed below.","major_comments":[{"comment":"The paper's central priority claim—that Jordan was the first in the relativity literature to give an axiomatic definition of the covariant derivative, with only Walther Mayer earlier in any literature—is contradicted, or at least under-justified, by the quotation the paper itself reports. In Section 5, Jordan is quoted as saying that Weyl, Eddington, and Schrödinger had already 'postulated an operation of the covariant (or affine) derivative,' and the paper goes on to discuss which of Jordan's Axioms III and V these authors retained or abandoned. The paper never defines a criterion that would exclude Eddington and Schrödinger from the category of 'axiomatic definition' while including Mayer. Since the novelty claim is load-bearing for the paper's thesis, the author should either supply a precise characterization of what counts as an axiomatic definition (e.g., a complete set of axioms that uniquely determines the operation, independent of a constructive definition) and show explicitly why Eddington's and Schrödinger's treatments fail it, or she should soften the priority claim to one about the specific form of Jordan's axiomatization. Without this, the strongest historical claim is unsupported.","section":"Section 2, footnote 5, and Section 5 (quotation from [1, p.34])"},{"comment":"The statement that 'in the entire literature, including mathematical literature, covering Riemannian geometry, only Walther Mayer was earlier' is asserted without a systematic survey. The footnote itself hedges with 'It seems that...,' but the main text states unqualifiedly that Jordan was 'the first in the relativity literature.' A claim of this universality requires either a broader literature search or a more modest formulation restricted to the sources examined. The omission is significant because the priority claim is the paper's primary historiographic contribution, and the reader cannot verify exhaustiveness from the cited references alone.","section":"Section 2, footnote 5"}],"minor_comments":[{"comment":"The assertion that the projective field equations (15)–(16) are equivalent to the Einstein-Maxwell system (5) is stated without derivation or a direct citation to the relevant pages of [1]. A brief indication of the steps (e.g., how λ eliminates itself and how the reduction formulas for the Ricci tensor are used) would make the summary more self-contained and easier to check.","section":"Section 2.4"},{"comment":"Several typographical errors appear throughout the manuscript: 'submitted 1988' should be 'submitted 1898' (the Ricci–Levi-Civita treatise), 'pionieering' should be 'pioneering', 'conscientously' should be 'conscientiously', 'hown' should be 'own' (in the introduction), and 'wherfore' should be 'wherefore' or 'therefore'. A careful proofread is needed.","section":"Section 3"},{"comment":"The projective differentiation formula (24) is introduced with little explanation of the notation (e.g., the meaning of the index 0 in Aα,0). A brief gloss, even in a footnote, would aid readers unfamiliar with Veblen's projective tensor calculus and would make the historical discussion more accessible.","section":"Section 4.3"},{"comment":"In the discussion of Schouten's 'Übertragung,' the paper correctly observes that Schouten's list of properties is not an axiomatic definition because Schouten does not prove completeness or treat the covariant derivative as an independent notion. This point is useful, but it would strengthen the paper to refer back to this distinction when discussing Eddington and Schrödinger in Section 5, in connection with the priority claim.","section":"Section 3"}],"recommendation":"major_revision","confidential_remarks":"The paper is well-suited to math.HO and makes a genuinely interesting contribution to the history of differential geometry and unified field theory. The main concern is the unsupported priority claim regarding axiomatic definitions of the covariant derivative; this is fixable by qualification or by adding a precise criterion. I would also encourage the author to verify the equation numbering and typos in the historical dates before resubmission. No concerns about citation patterns or novelty disclosure."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this is a genuinely useful paper for anyone who works on the history of connections or unified field theory. It gives the first English summary I know of Jordan's 1952 Schwerkraft und Weltall, focuses on his axiomatic definition of the covariant derivative, and places it in the context of the Princeton projective relativity program. The mathematical summary is careful, and the page citations to Jordan check out in spirit. It also surfaces Mayer's earlier definition, which is a real historical find, even if the paper is careful to say Jordan probably didn't know it.\n\nWhat it does well: it shows why Jordan introduced the covariant derivative axiomatically—not for the sake of axiomatics but because the projective five-dimensional formalism with homogeneous coordinates cannot use 'coordinate systems plane at a point.' That is a concrete, non-obvious historical claim, and the paper supports it with Jordan's own text. The section on Veblen and Eisenhart's geometry of paths is a competent synthesis of existing secondary literature, and the paper correctly distinguishes Schouten's list of desirable properties from a full axiomatic characterization.\n\nThe soft spots are real but not fatal. The priority claim—'first in the relativity literature' and 'only Mayer in the entire literature'—is broader than the evidence. The 'entire literature' part is simply unsupported without a systematic survey. The stress-test note about Weyl, Eddington, and Schrödinger does not sink the paper: Jordan himself says those authors retained or abandoned different axioms, so they did not give the full characterizing set. But the paper never explicitly defines what counts as an axiomatic definition when it makes the priority claim, so the reader has to infer the criterion. That needs to be fixed. The equivalence of the projective field equations to Einstein-Maxwell is asserted with 'one can see' rather than shown; for the historical thesis that's a minor gap, but a referee should ask for a sketch or a precise reference to Jordan's derivation. The typos ('1988' for 1898, 'Tedore') are trivial.\n\nOverall: this deserves a serious referee. The central claim is plausible, the work is honest, and the new English summary of Jordan's formalism is a contribution on its own. The right outcome is revision, not rejection.","headline":"A useful first English map of Jordan's projective formalism with a solid historical claim at its core, but the 'first axiomatic definition' priority claim needs to be reined in or explicitly defended.","tokens_in":19522,"tokens_out":3085,"would_cite":true,"duration_ms":30473,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["01A60","53-03","53B05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Pascual Jordan's 1952 textbook defined the covariant derivative axiomatically, as an operation fixed by five properties and independent of parallel transport; this paper argues that this anticipates modern connection theory and was…","keywords":["Pascual Jordan","covariant derivative","projective relativity","axiomatic definition","connection","history of differential geometry","Erweiterte Gravitationstheorie","variable gravitational constant"],"falsifier":"A systematic search of differential-geometry and unified-field-theory literature from 1900 to 1952 that finds an axiomatic, parallel-transport-free definition of the covariant derivative earlier than Walther Mayer's 1930 textbook, or finds one in the relativity literature before Jordan's 1952 book, would falsify the paper's priority claim.","tokens_in":89,"feed_emoji":"📐","tokens_out":12162,"duration_ms":235603,"temperature":0.7,"pith_summary":"The paper argues that a definition buried in Pascual Jordan's 1952 textbook 'Schwerkraft und Weltall' deserves a place in the history of differential geometry. Jordan introduced the covariant derivative not through coordinates and parallel transport, but as a tensor operation characterized by five axioms, in the style of a modern connection. The paper insists this was not an idle axiomatization: Jordan needed a derivative that still works in five-dimensional homogeneous projective coordinates, where no coordinate system is plane, and the axiomatic characterization made the extension routine. It also concedes that Jordan was not absolutely the first (Walther Mayer published a similar axiomatic definition in 1930) but contends that Jordan was the first in the relativity literature and probably did not know Mayer's book. The episode matters because it shows a concrete physical program, making the gravitational 'constant' variable, pushing the mathematical formalism toward the operator viewpoint that later became standard.","feed_headline":"Jordan's 1952 book defined the covariant derivative axiomatically","feed_subtitle":"For a five-dimensional gravity theory, Jordan axiomatized differentiation without parallel transport.","key_machinery":"The load-bearing object is Jordan's five-axiom characterization of covariant differentiation, together with the three-bar 'Kongruenzdifferentiation' built on it. The axioms fix the covariant derivative as the unique tensor operation satisfying the Leibniz-type sum and product rules, commutation with contraction, metric compatibility $g_{kl||j}=0$, and the gradient and rotation properties; the constructive definition via 'plane' coordinate systems supplies existence and uniqueness of a coordinate-free derivative. This machinery matters because in projective relativity the five homogeneous coordinates $X^\\mu$ cannot be made locally flat, so only the axiomatic characterization survives the passage from four to five dimensions. The derived operation of Kongruenzdifferentiation, denoted by three bars, restores the property that reduction of a five-dimensional projector derivative equals the four-dimensional covariant derivative of the reduced tensor. That chain of definitions is what lets Jordan rewrite the Einstein-Maxwell system in five-dimensional projective form with $J=1$, and then his extension drops $J=1$ to make the gravitational 'constant' a variable scalar field.","core_discovery":"The central discovery is that Jordan's covariant derivative is 'given in an operational, axiomatic way, which is completely uncommon at the time and which resembles very much the contemporary definition of a connection.' Jordan first builds a constructive definition: a tensor's covariant derivative at $P$ is its ordinary partial derivative in a coordinate system that is 'plane at $P$' (metric components constant to first order), transferred to all other systems by transformation rules. He then lists five properties of this operation, including sum and product rules, interchange with contraction, $g_{kl||j}=0$, and gradient and rotation behavior, and declares that any operation with these five properties is the covariant derivative. The paper shows why such a definition was needed: in the five-dimensional projective space with homogeneous coordinates $X^\\mu$, the Euler homogeneity condition for projectors prevents the metric from being plane anywhere, so the constructive definition cannot be carried over, but the axioms can. On this basis Jordan defines covariant differentiation of projectors and a 'Kongruenzdifferentiation' that makes reduction from five to four dimensions well behaved. The paper is explicit that Walther Mayer gave a similar axiomatization in 1930; its claim is that Jordan arrived at the same idea independently and was first to bring it into the relativity literature.","pith_inferences":["The paper leaves open whether Walther Mayer's 1930 axioms and Jordan's 1952 axioms are genuinely the same mathematical object; a direct comparison of their axiom lists would sharpen or weaken the priority claim.","Jordan's Kongruenzdifferentiation reads naturally as a connection on a projective frame bundle; translating it into modern bundle language would make the continuity with later gauge theory visible, a step the paper does not take.","Jordan's axiomatic style may be a personal trait extending into his earlier work with Wigner on quantum-theoretic foundations, but the paper only notes this in a footnote; testing that hypothesis would require a broader survey of his publications."],"forward_implications":["Jordan's textbook becomes evidence that the operator-style, axiom-based definition of a connection appeared in the relativity literature years before it became the standard way to present connections.","The five axioms are what make the five-dimensional projective extension tractable, so the book's mathematical claim and its historical claim stand or fall together.","If the priority claim holds, histories of modern differential geometry should acknowledge an application-driven, physics-motivated axiomatization alongside the better-known pure-mathematical ones.","Within the same formalism, treating $J=g_{\\mu\\nu}X^\\mu X^\\nu$ as a free field rather than fixing $J=1$ yields a concrete variational principle in which the gravitational 'constant' $\\chi$ varies as a scalar field."],"supporting_citations":[{"why":"Primary source for Jordan's axiomatic definition of the covariant derivative and for the five-dimensional projective theory built on it.","marker":"[1]"},{"why":"Introduces Walther Mayer's earlier (1930) axiomatic definition at p. 156, the one precedent the paper must accommodate.","marker":"[3]"},{"why":"The Duschek-Mayer textbook cited in footnote 5 as the only earlier axiomatic definition of the covariant derivative in the entire literature.","marker":"[4]"},{"why":"Christoffel's 1869 paper supplies the original covariant-differentiation formula that defines the tradition Jordan is reworking.","marker":"[5]"},{"why":"Levi-Civita's 1917 parallel transport is the geometric notion that Jordan's axiomatic definition deliberately does not rely on.","marker":"[14]"},{"why":"Weyl's 'Reine Infinitesimalgeometrie' introduces the affine connection, the later standard concept against which Jordan's definition looks modern.","marker":"[21]"},{"why":"Schouten's 1922 classification of linear Uebertragungen shows earlier axiomatization attempts were aimed at constructing connections, not at characterizing the covariant derivative alone.","marker":"[23]"},{"why":"Veblen and Hoffmann's 'Projective Relativity' represents the projective-relativity tradition into which Jordan's textbook enters.","marker":"[50]"}],"fun_headline_variants":["Jordan's 1952 axioms for covariant derivative without parallel transport","Covariant derivative defined axiomatically by Jordan in 1952","Axiomatic covariant derivative: Jordan's 1952 five-dimensional claim","Jordan's 1952 axiomatic covariant derivative via five-dimensional theory","No parallel transport: Jordan's axiom definition for covariant derivative"],"cache_read_input_tokens":21760,"weakest_assumption_plain":"The priority claim depends on the assumption that the survey of earlier literature is complete: that Walther Mayer's 1930 textbook is the only axiomatic definition before Jordan and that no one in the relativity literature before 1952 gave one; the paper asserts this with limited citations rather than demonstrating it by an exhaustive search.","fun_headline_variants_meta":{"raw":{"variants":["Jordan's 1952 axioms for covariant derivative without parallel transport","Covariant derivative defined axiomatically by Jordan in 1952","Axiomatic covariant derivative: Jordan's 1952 five-dimensional claim","Jordan's 1952 axiomatic covariant derivative via five-dimensional theory","No parallel transport: Jordan's axiom definition for covariant derivative"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001787,"raw_usage":{"total_tokens":7038,"prompt_tokens":938,"completion_tokens":6100,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":554,"completion_tokens_details":{"reasoning_tokens":6007}},"tokens_in":554,"tokens_out":6100,"duration_ms":43159,"temperature":1.0,"reasoning_tokens":6007,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T10:25:07.684212+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A systematic search of differential-geometry and unified-field-theory literature from 1900 to 1952 that finds an axiomatic, parallel-transport-free definition of the covariant derivative earlier than Walther Mayer's 1930 textbook, or finds one in the relativity literature before Jordan's 1952 book, would falsify the paper's priority claim.","supporting_citations":[{"cited_title":"Schwerkraft und Weltall","cited_arxiv_id":null,"evidence_quote":"Primary source for Jordan's axiomatic definition of the covariant derivative and for the five-dimensional projective theory built on it."},{"cited_title":"Lehrbuch der Differentialgeometrie Band II, Riemannsche Geometrie","cited_arxiv_id":null,"evidence_quote":"Introduces Walther Mayer's earlier (1930) axiomatic definition at p. 156, the one precedent the paper must accommodate."},{"cited_title":"Lehrbuch der Differentialgeometrie: Band II, Riemannsche Geometrie","cited_arxiv_id":null,"evidence_quote":"The Duschek-Mayer textbook cited in footnote 5 as the only earlier axiomatic definition of the covariant derivative in the entire literature."},{"cited_title":"Ueber die Transformation der homogenen Differen- tialaudrücke zweiten Grades","cited_arxiv_id":null,"evidence_quote":"Christoffel's 1869 paper supplies the original covariant-differentiation formula that defines the tradition Jordan is reworking."},{"cited_title":"Nozione di parallelismo in una variet t qualunque e con- seguentespezificazione geometrica della curvatura Riemanniana","cited_arxiv_id":null,"evidence_quote":"Levi-Civita's 1917 parallel transport is the geometric notion that Jordan's axiomatic definition deliberately does not rely on."},{"cited_title":"Reine Infinitesimalgeometrie","cited_arxiv_id":null,"evidence_quote":"Weyl's 'Reine Infinitesimalgeometrie' introduces the affine connection, the later standard concept against which Jordan's definition looks modern."},{"cited_title":"Über die verschiedenen Arten der Übertragung in einer n-dimensionalen Mannigfaltigkeit, die einer Differentialgeometrie zu- grunde gelegt werden können","cited_arxiv_id":null,"evidence_quote":"Schouten's 1922 classification of linear Uebertragungen shows earlier axiomatization attempts were aimed at constructing connections, not at characterizing the covariant derivative alone."},{"cited_title":"Projective Relativity","cited_arxiv_id":null,"evidence_quote":"Veblen and Hoffmann's 'Projective Relativity' represents the projective-relativity tradition into which Jordan's textbook enters."}],"review_version":1}