Pith. sign in

REVIEW 3 major objections 3 minor 55 references

Group Chunks in Model Theory and Algebraic Geometry

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper establishes a single sheaf-theoretic group chunk theorem that covers both model theory and algebraic geometry, and a Hilbert-scheme construction producing group algebraic spaces from tame rational families over general base scheme

desk verdict A careful thesis-style unification of group chunk theorems, with a genuinely new site-theoretic statement; the algebraic-geometric extension over general bases is honest but conditional on a hypothesis the author cannot yet verify. read the letter →

arxiv 2607.20824 v1 pith:NGRRJMM6 submitted 2026-07-23 math.AG math.LO

Ronan O'Gorman This is my paper
classification math.AGmath.LO MSC 03C4514A2014C0514L15
keywords groupchunkalgebraicspacesHilbertschemesrationalmorphismssheafquotientsinterpretablesetsgeometricstabilitytheoryconfiguration
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that the classical group chunk construction can be formulated once, in the language of sheaves on sites, so that it simultaneously covers the scheme-theoretic and model-theoretic versions. A presheaf with a partially defined, cancellative, associative binary operation and a sufficiently large domain admits a universal morphism to a sheaf of groups, realized as the sheaf quotient of X^2 by a compatibility relation. The second main claim is an algebro-geometric analogue of the model-theoretic construction of a group from canonical families of germs of definable functions: replacing canonical bases and elimination of imaginaries with Hilbert schemes, an invertible S-rational family φ whose self-composition ψ = φ†∘φ is tame yields an Artin group chunk on a canonical parameter space Z(ψ), hence a group algebraic space, provided some closed graphs are S-generically flat and two 'independence-like' morphisms are faithfully flat. A sympathetic reader would care because this is a path toward importing geometric stability theory, such as the group configuration theorem, into algebraic geometry over base schemes more general than fields.

What carries the argument

Two machines carry the argument. The abstract machine consists of partial morphisms, the internal partial hom ParHom(X,Y), partial magmas, and the compatibility relation ≬ on the semigroup e_X(∞) of left translations; the key identity is that the universal presheaf of groups is locally generated in two steps, so its sheafification is the sheaf quotient (X^2/≬)^+. The geometric machine consists of S-rational morphisms and families, with S-diffuse morphisms making composition well-defined; the canonical parameter space Z(ψ) is the schematic image of the morphism from A to the Hilbert scheme of X×Y induced by the graph of ψ, and the canonical family ψ̃ pulls back to ψ along ζ_ψ. Tameness of ψ e

What would settle it

Take a Noetherian base S of positive dimension, say S = A^1_k, and an invertible tame S-rational family φ: A×X ⇢ Y for which q1 and q2 are faithfully flat but one of the three closed graphs associated to ψ is not flat over any S-dense open of Z(ψ)^2. If the conclusion fails—no S-rational m12 extending composition on a dense open, or the induced partial operation violates the Artin group chunk axioms—then the S-generic flatness hypothesis is essential. Conversely, proving such a family cannot exist would show that hypothesis is redundant.

Watch

Extended reading notes

Core claim

The central claim is Theorem 10.3.2: for a Noetherian base S and schemes A, X, Y over S with A fppf with geometrically integral fibers, X S-birationally projective and Y locally Noetherian, every invertible S-rational family φ: A×X ⇢ Y whose associated family ψ = φ†∘φ is tame, whose three associated closed graphs are S-generically flat over Z(ψ)^2, and for which the two morphisms q1, q2: A^2 ⇢ A×Z(ψ) are faithfully flat, induces an S-rational morphism m12: Z(ψ)^2 ⇢ Z(ψ); restricting to S-dense opens gives an Artin group chunk, and hence a group algebraic space. The sheaf-level theorem (Theorem 1.3.2) states that any locally nontrivial group chunk on a site admits a universal sheaf of groups,

Load-bearing premise

The construction collapses unless the two 'independence-like' morphisms q1 and q2 are faithfully flat as S-rational morphisms and the three closed graphs built from ψ are S-generically flat; the paper offers no general criteria for the first of these outside the field case.

Editorial extensions

If this is right

  • The abstract group chunk theorem yields a universal sheaf of groups for any locally nontrivial group chunk, generalizing the classical scheme-theoretic and model-theoretic group chunk theorems in one statement.
  • Type-interpretable sets are shown equivalent to sheaf quotients of type-definable sets by definable equivalence relations, so model-theoretic quotients in M^eq become sheaf-theoretic quotients.
  • Any tame invertible S-rational family satisfying the flatness hypotheses produces an Artin group chunk, hence a group algebraic space, extending over general Noetherian bases what was previously known mainly over fields.
  • The canonical parameter space Z(ψ) constructed from Hilbert schemes is universal among parametrizations of a family, giving a geometric counterpart to a canonical base.
  • In good cases the group algebraic space is fppf-locally a scheme; over a field it is a variety.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The most likely practical obstruction is verification of faithful flatness of q1 and q2 and S-generic flatness of the three graphs; the paper itself states there are no known good criteria for the former outside the field case. Developing such criteria is the direct route to making the base-generalization effective.
  • The sheaf-quotient presentation (X^2/≬)^+ suggests that in any category with a Grothendieck topology where such quotients are representable, the same group chunk construction should run; o-minimal or differential-algebraic settings are natural test cases.
  • A useful intermediate check for the intended geometric group configuration program is whether faithful flatness of q1,q2 can be relaxed to S-generic flatness of their graphs without changing the conclusion.
  • The paper conjectures that assuming the extra associativity condition in Definition 7.0.1 removes the need for fiber-separatedness and no-embedded-components assumptions; this is a concrete representability statement one could test.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper develops a group chunk theorem in three parallel settings: (1) abstract presheaves on a site, where a universal group sheaf is constructed from a partial magma; (2) model theory, where type-interpretable sets are identified with sheaf quotients on the category of type-definable sets, yielding the Hrushovski–Rideau-Kikuchi group chunk theorem; and (3) algebraic geometry, where a theory of S-rational morphisms and canonical families is built to construct an Artin group chunk from an invertible S-rational family. The main scheme-theoretic claim, Theorem 1.3.6 (= Theorem 10.3.2), asserts that under tameness, S-generic flatness, and faithful flatness hypotheses on two parameter maps, composition induces an Artin group chunk over an arbitrary Noetherian base S. The categorical companion, Theorem 1.3.2, gives an explicit description of the universal sheaf of groups as a sheaf quotient of X^2 by a compatibility relation. The paper is a detailed thesis-style exposition with proofs for most statements.

Significance. If the main results hold, the paper makes a valuable conceptual contribution by providing a common categorical framework for group chunk theorems in model theory and algebraic geometry. The identification of type-interpretable sets with sheaf quotients (Corollary 5.4.19) and the construction of canonical families via Hilbert schemes are likely to be useful beyond this paper. Concrete strengths include: the universal group construction in Chapters 3–4 is formal and appears to be machine-checkable in principle; the model-theoretic quotient theorem is proved directly; and the field-level geometric theorem (Theorem 1.3.5) is plausible and matches the model-theoretic independence condition. The paper is honest about its limitations, explicitly acknowledging in §1.3.4 the absence of criteria for faithful flatness outside the field case.

major comments (3)
  1. [§1.3.4, Theorem 1.3.6 (= Theorem 10.3.2), hypothesis (iii)] The main theorem over arbitrary Noetherian bases rests on the hypothesis that q1 and q2 be faithfully flat S-rational morphisms. The paper itself concedes in §1.3.4: 'outside of the case where S is the spectrum of a field, we are not aware of good criteria for guaranteeing that a given S-rational morphism will be faithfully flat.' Over a field this condition is verified by generic faithful flatness (Corollary 6.9.5), and the field-level Theorem 1.3.5 is convincing. Over a general base, faithful flatness is strictly stronger than fiberwise dominance, and no local criterion, descent-theoretic test, or non-field example is supplied. Thus the advertised extension over general Noetherian bases is not witnessed by any verifiable hypothesis. I recommend adding a criterion or a non-field family satisfying (iii), or else restating Theorem 1.3.6 with the field case as the main theorem and the gene
  2. [Theorem 1.3.6 / Theorem 10.3.2, hypothesis (ii)] Hypothesis (ii) requires S-generic flatness of three closed graphs 'for some choice of S-birational projective model of X witnessing tameness of ψ.' This makes the hypothesis dependent on a choice of model. The statement does not clarify whether the conclusion (existence of m12 and of the Artin group chunk) is independent of this choice, or whether the condition must hold for every witnessing model. Since tameness (Definition 9.3.9) is not reproduced in the introduction, the reader cannot determine what is being required. Please state explicitly whether the choice is part of the data of the theorem and, if not, prove that the conclusion is independent of the choice.
  3. [§5.5, proof of Theorem 5.5.2] In the final paragraph of the proof, the compatibility relation ≬ on (h_X)^2 is asserted to be 'representable as a definable equivalence relation X' without proof. This step is essential: it is what makes the universal sheaf of groups from Chapter 4 coincide with the type-interpretable group X^2/≬ produced by the model-theoretic quotient. The preceding lemmas give the group chunk axioms, but definability of this equivalence relation is not demonstrated. Since one of the paper's aims is to derive the Hrushovski–Rideau-Kikuchi result from the categorical construction, this missing verification needs to be supplied or replaced by a precise reference.
minor comments (3)
  1. [Chapter 8, Section 8.1] The terms 'wfd/wffd' appear in the introduction to Chapter 8 but are not defined in the visible text. They should be spelled out at first use or removed if they are only informal.
  2. [Notation 1.5.6 / Proposition 3.2.11] The simultaneous use of X×h_T and X_T is dense; a short comment explaining that the two are identified under the equivalence of Lemma 2.9.8 would help readability.
  3. [Chapter 4, Claim 4.2.4] The indexing in the claim is slightly confusing: the inequality '1≤j≤r_i' and the composition α_{i(j+1)}∘... change meaning when j=r_i. A clarifying sentence or a shifted index would prevent misinterpretation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's constructions are conditionally derived from explicit hypotheses and proved in text, with only an admitted limitation on verifiability outside fields.

full rationale

I walked the claimed derivation chain and found no step where a stated result is equivalent to its inputs by construction, no fitted parameter renamed as a prediction, and no load-bearing self-citation. The abstract group-chunk theorem (Theorem 1.3.2) is proved from the definition of group chunk via Freyd's adjoint functor theorem and an explicit quotient construction; the large-domain and strong-associativity hypotheses are chosen to make the universal property provable, not assumed as the conclusion. The model-theoretic identification of interpretable sets with sheaf quotients (Corollary 5.4.19) is given a direct proof in the text, and the author notes prior related work by Makkai and Shulman without relying on it for the new type-interpretable case. The main algebro-geometric theorem (Theorem 1.3.6 / 10.3.2) is a conditional statement: tameness, S-generic flatness, and faithful flatness of q1, q2 are real hypotheses, and the conclusion (existence of an Artin group chunk) is not contained in them. The author explicitly concedes in §1.3.4, 'outside of the case where S is the spectrum of a field, we are not aware of good criteria for guaranteeing that a given S-rational morphism will be faithfully flat.' That is an honest limitation on applicability and verifiability over general bases, not circularity. The canonical parameter space comes from Hilbert schemes, not from the target group, and no self-citation is used to force a uniqueness or forbid alternatives. Thus the appropriate finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper introduces no new particles, forces, or unexplained entities. Objects such as the universal group G(X) and the canonical parameter space Z(phi) are constructed from definitions and standard tools. There are no numerical free parameters; the real assumptions are the domain hypotheses listed above.

assumptions (8)
  • standard math ZFC with standard category-theoretic foundations, including Freyd's adjoint functor theorem and choice where needed
    Freyd's adjoint functor theorem is used in Section 3.5 to prove the existence of the universal presheaf of groups.
  • standard math Hilbert schemes exist and represent the Hilbert functor on projective S-schemes
    Used in Section 6.3 and Chapter 9 to construct canonical parameter spaces; cited to Grothendieck.
  • standard math Schemes are sheaves for the fpqc/fppf topologies, and faithfully flat morphisms of finite presentation induce epimorphisms of fppf sheaves
    Used in Section 6.1 and Chapter 7 for descent and group chunk representability.
  • standard math Generic flatness for finite type morphisms over reduced bases
    Used in Corollary 6.9.5 and implicitly in the field-case canonical family construction; cited to the Stacks Project.
  • standard math For a complete first-order theory T, the expansion M^eq has uniform elimination of imaginaries
    Used in Section 5.2 to guarantee model-theoretic quotients exist; cited to Poizat and standard references.
  • domain assumption All sites are assumed small
    Notation 1.5.2; this ensures sheafification exists and avoids size issues throughout Chapters 2-4.
  • domain assumption Models for type-definable sets are taken |T|+-saturated and strongly homogeneous
    Section 5.3; needed for the categories typDef(T) and typInt(T) to be independent of the model.
  • domain assumption In the main scheme-theoretic theorem, S is Noetherian, A is fppf with geometrically integral fibers, X is S-birationally projective, and Y is locally Noetherian
    Theorem 1.3.6 / 10.3.2; these are explicit hypotheses of the central algebraic-geometric result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Group Chunks in Model Theory and Algebraic Geometry." pith.science (2026). https://pith.science/paper/NGRRJMM6

@misc{pith2026260720824,
  author       = {Pith},
  title        = {Pith review of: Group Chunks in Model Theory and Algebraic Geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NGRRJMM6}},
  note         = {Machine review of arXiv:2607.20824}
}
abstract

We formulate a group chunk theorem in the context of sheaves on sites which generalizes many similar results in model theory and algebraic geometry. Secondly, we develop an algebro-geometric analogue of Hrushovski's method of producing a group chunk from germs of definable functions on stationary types. The use of the model-theoretic tools of canonical bases and elimination of imaginaries is replaced with the use of Hilbert schemes to study ``canonical'' families of rational morphisms, allowing us to extend the previously known results over more general base schemes. The proofs of these results involve some technical work which may be of independent interest. First, we study partial morphisms in arbitrary categories, and show that a presheaf of partial magmas on a small category admits a universal morphism to a group. On the model theory side, we show that type-definable sets of $M^{eq}$ can be interpreted as sheaf quotients of type-definable sets. On the algebraic geometry side, we develop a theory of rational morphisms and families of rational morphisms of schemes over an arbitrary base.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

55 extracted references · 4 linked inside Pith

  1. [1]

    Theoreme De Weil Sur La Construction D'un Groupe A Partir D'une Loi Rationnelle , year =

    Artin, Michael , booktitle =. Theoreme De Weil Sur La Construction D'un Groupe A Partir D'une Loi Rationnelle , year =

  2. [2]

    Geometric Stability Theory , url =

    Martin Bays , howpublished =. Geometric Stability Theory , url =

  3. [3]

    Projective geometries arising from Elekes-Szabó problems , volume =

    Bays, Martin and Breuillard, Emmanuel , issn =. Projective geometries arising from Elekes-Szabó problems , volume =. Annales scientifiques de l'École normale supérieure , keywords =

  4. [4]

    and Lütkebohmert, Werner

    Bosch, S. and Lütkebohmert, Werner. and Raynaud, Michel. , booktitle =. Néron models / Siegfried Bosch, Werner Lütkebohmert, Michel Raynaud. , year =

  5. [5]

    A Torelli Theorem for Curves over Finite Fields , volume =

    Bogomolov, Fedor and Korotiaev, Mikhail and Tschinkel, Yuri , issn =. A Torelli Theorem for Curves over Finite Fields , volume =. Pure and applied mathematics quarterly , keywords =

  6. [6]

    Handbook of Categorical Algebra , year =

    Borceux, Francis , collection =. Handbook of Categorical Algebra , year =

  7. [7]

    arXiv , author =:2504.04307 , primaryclass =

    Reconstructing Abelian Varieties via Model Theory , url =. arXiv , author =:2504.04307 , primaryclass =

    arXiv

  8. [8]

    arXiv , author =:2605.09155 , primaryclass =

    A curve and its abstract generalized Jacobian , url =. arXiv , author =:2605.09155 , primaryclass =

    arXiv

Show all 55 references
  1. [9]

    Zilber’s restricted trichotomy in characteristic zero , volume =

    Castle, Benjamin , copyright =. Zilber’s restricted trichotomy in characteristic zero , volume =. Journal of the American Mathematical Society , keywords =

  2. [10]

    G and Bradd Hart and Thomas G

    Scott, Philip J and Seely, Robert A. G and Bradd Hart and Thomas G. Kucera and Anand Pillay , booktitle =. Model theory vs. categorical logic: Two approaches to pretopos completion , volume =

  3. [11]

    Difference fields and descent in algebraic dynamics

    Chatzidakis, Zoé and Hrushovski, Ehud , copyright =. Difference fields and descent in algebraic dynamics. I, II , volume =. Journal of the Institute of Mathematics of Jussieu , keywords =

  4. [12]

    arXiv , author =:2506.23265 , primaryclass =

    Externally definable fsg groups in NIP theories , url =. arXiv , author =:2506.23265 , primaryclass =

    arXiv

  5. [13]

    , booktitle =

    Demazure, M. , booktitle =. Le Theoreme d'Existence , year =

  6. [14]

    and Prelli, Luca , doi =

    Edmundo, M\'ario J. and Prelli, Luca , doi =. Sheaves on T-topologies , url =. J. Math. Soc. Japan , mrclass =

  7. [15]

    Dieudonn. \'. Inst. Hautes \'Etudes Sci. Publ. Math. , pagination =

  8. [16]

    Group schemes out of birational group laws,

    Edixhoven, Bas and Romagny, Matthieu , booktitle =. Group schemes out of birational group laws,

  9. [17]

    and Hrushovski, Ehud , copyright =

    Evans, David M. and Hrushovski, Ehud , copyright =. Projective Planes in Algebraically Closed Fields , volume =. Proceedings of the London Mathematical Society , keywords =

  10. [18]

    Techniques de construction et th\'eor\`emes d'existence en g\'eom\'etrie alg\'ebrique

    Grothendieck, Alexander , booktitle =. Techniques de construction et th\'eor\`emes d'existence en g\'eom\'etrie alg\'ebrique. 1961 , zbl =

    1961

  11. [19]

    Vakil, Ravi , title =

  12. [20]

    When any three solutions are independent , volume =

    Freitag, James and Jaoui, Rémi and Moosa, Rahim , copyright =. When any three solutions are independent , volume =. Inventiones mathematicae , keywords =

  13. [21]

    Hilbert's fifth problem for local groups , url =

    Goldbring, Isaac , doi =. Hilbert's fifth problem for local groups , url =. Ann. of Math. (2) , mrclass =

  14. [22]

    Globalizing locally compact local groups , volume =

    van den Dries, Lou and Goldbring, Isaac , fjournal =. Globalizing locally compact local groups , volume =. J. Lie Theory , mrclass =

  15. [23]

    and Hrushovski, E

    Haskell, D. and Hrushovski, E. and Macpherson, D. , isbn =. Stable Domination and Independence in Algebraically Closed Valued Fields , url =

  16. [24]

    Incidence systems on Cartesian powers of algebraic curves , volume =

    Hasson, Assaf and Sustretov, Dmitry , issn =. Incidence systems on Cartesian powers of algebraic curves , volume =. Journal of the European Mathematical Society : JEMS , language =

  17. [25]

    Model theory , year =

    Wilfrid Hodges , booktitle =. Model theory , year =

  18. [26]

    , booktitle =

    Hrushovski, Ehud. , booktitle =. Contributions to stable model theory , year =

  19. [27]

    Valued Fields, Metastable Groups , url =

    Hrushovski, Ehud and Rideau-Kikuchi, Silvain , doi =. Valued Fields, Metastable Groups , url =. Selecta Mathematica , month =

  20. [28]

    The Mordell-Lang conjecture for function fields , volume =

    Hrushovski, Ehud , copyright =. The Mordell-Lang conjecture for function fields , volume =. Journal of the American Mathematical Society , keywords =

  21. [29]

    The Manin–Mumford conjecture and the model theory of difference fields , volume =

    Hrushovski, Ehud , copyright =. The Manin–Mumford conjecture and the model theory of difference fields , volume =. Annals of pure and applied logic , keywords =

  22. [30]

    and Sawin, Will , booktitle =

    Kollár, János and Lieblich, Max and Olsson, Martin C. and Sawin, Will , booktitle =. What determines an algebraic variety? / János Kollár, Max Lieblich, Martin Olsson, Will Sawin. , year =

  23. [31]

    Sheaves in geometry and logic: A first introduction to topos theory , year =

    Mac Lane, Saunders and Moerdijk, Ieke , place =. Sheaves in geometry and logic: A first introduction to topos theory , year =

  24. [32]

    , isbn =

    Marker, D. , isbn =. Model Theory : An Introduction , url =

  25. [33]

    , booktitle =

    Makkai, Mihály and Reyes, Gonzalo E. , booktitle =. First order categorical logic : model-theoretical methods in the theory of topoi and related categories / M. Makkai, G. E. Reyes. , year =

  26. [34]

    and Pillay, Anand

    Nesin, Ali. and Pillay, Anand. , booktitle =. The Model theory of groups / Ali Nesin and Anand Pillay, editors. , url =

  27. [35]

    On definable groups in real closed fields with a generic derivation, and related structures , year =

    Peterzil, Ya'acov and Pillay, Anand and Point, Francoise , copyright =. On definable groups in real closed fields with a generic derivation, and related structures , year =

  28. [36]

    arXiv , author =:2503.13242 , primaryclass =

    On groups definable in geometric fields with generic derivations , url =. arXiv , author =:2503.13242 , primaryclass =

    arXiv

  29. [37]

    On groups and fields definable in o-minimal structures , volume =

    Pillay, Anand , copyright =. On groups and fields definable in o-minimal structures , volume =. Journal of pure and applied algebra , keywords =

  30. [38]

    , booktitle =

    Pillay, Anand. , booktitle =. Geometric stability theory / Anand Pillay. , url =

  31. [39]

    Groups definable in local fields and pseudo-finite fields , volume =

    Hrushovski, Ehud and Pillay, Anand , copyright =. Groups definable in local fields and pseudo-finite fields , volume =. Israel journal of mathematics , keywords =

  32. [40]

    , isbn =

    Poizat, B. , isbn =. A Course in Model Theory , url =

  33. [41]

    Rabinovich, E. D. , booktitle =. Definability of a field in sufficiently rich incidence systems , year =

  34. [42]

    Generalized Jacobian Varieties , url =

    Maxwell Rosenlicht , issn =. Generalized Jacobian Varieties , url =. Annals of Mathematics , number =

  35. [43]

    Categories for the working mathematician , url =

    Mac Lane, Saunders , booktitle =. Categories for the working mathematician , url =

  36. [44]

    Theorie de Topos et Cohomologie Etale des Schemas

    Artin, Michael and Grothendieck, Alexander and Verdier, Jean-Louis , publisher =. Theorie de Topos et Cohomologie Etale des Schemas

  37. [45]

    Exact completions and small sheaves , volume =

    Shulman, Michael , fjournal =. Exact completions and small sheaves , volume =. Theory Appl. Categ. , mrclass =

  38. [46]

    Johnstone, P. T. , booktitle =. Sketches of an elephant : a topos theory compendium , year =

  39. [47]

    Math 225A -- Model Theory: Lecture 15 , url =

    Speirs, Martin , howpublished =. Math 225A -- Model Theory: Lecture 15 , url =

  40. [48]

    The Stacks project , year =

    The. The Stacks project , year =

  41. [49]

    , booktitle =

    Tent, Katrin and Ziegler, Martin. , booktitle =. A course in model theory / by Katrin Tent, Martin Ziegler. , url =

  42. [50]

    van den Dries, L. P. D. , issn =. Weil's group chunk theorem: A topological setting , volume =. Illinois journal of mathematics , keywords =

  43. [51]

    Foundations of algebraic geometry / André Weil

    Weil, André , booktitle =. Foundations of algebraic geometry / André Weil. , year =

  44. [52]

    Variétés abéliennes et courbes algébriques

    Weil, André , keywords =. Variétés abéliennes et courbes algébriques. , year =

  45. [53]

    On Algebraic Groups of Transformations , volume =

    Weil, Andre , issn =. On Algebraic Groups of Transformations , volume =. American journal of mathematics , keywords =

  46. [54]

    Regularization of birational group operations in sense of Weil

    Zaitsev, Dmitri , journal =. Regularization of birational group operations in sense of Weil. , url =

  47. [55]

    A Curve and its Abstract Jacobian , volume =

    Zilber, Boris , journal =. A Curve and its Abstract Jacobian , volume =

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.