REVIEW 5 minor 1 cited by
Algebraic identities to prove that a neat finite free algebra is tracically \'etale
T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that vanishing Kähler differentials make a finite free algebra tracically étale, by explicit algebraic identities.
desk verdict A clean elementary proof of a standard theorem with a genuinely sharper divisibility statement; deserves refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key objects are the kernel of multiplication J = ker(B⊗_A B → B) and its annihilator Ann(J). The central identity is that for δ ∈ Ann(J), multiplication by δ on the free left B-module B⊗_A B is a rank-one endomorphism: because δβ = μ(β)δ for every β, its trace is μ(δ). Combined with the trace formula Tr_{B⊗_A B/B}(x⊗y) = x·Tr_{B/A}(y), this gives the matrix equality M_b = P_u T_ε for b = μ(δ), with M_b the multiplication matrix of b, P_u the coordinate matrix of the components of δ, and T_ε the trace matrix of the basis. The companion piece is the Bezoutian lifting: for polynomials F_i in the ideal defining B, the determinants det(U_{ij}) defined by F_i(Y)-F_i(Z) = Σ_j (Y_j-Z_j) U_{ij} belong to Ann(J) and map under μ to the Jacobian determinants that generate F0(Ω_{B/A}). These two ingredients yield the divisibility theorem.
What would settle it
The central claim would be refuted by exhibiting a finite free algebra B over a commutative ring A with Ω_{B/A}=0 and Disc(B/A) not a unit; the theorem predicts none exists, so a concrete finite check is the monogenic case B=A[X]/(f) with f monic, where Ω=0 is equivalent to gcd(f,f')=1 and the discriminant is the resultant Res(f,f'), and one may search rings such as Z/mZ for a monic f with gcd(f,f')=1 but non-unit resultant.
Extended reading notes
Core claim
The paper's central theorem is that for a finite free commutative algebra B over a commutative ring A, the Kähler different F0(Ω_{B/A}) is contained in the set of elements whose norm is divisible by the discriminant: b ∈ F0(Ω_{B/A}) implies Disc(B/A) | N_{B/A}(b). Since F0(Ω_{B/A})=B when Ω_{B/A}=0, the discriminant then divides 1 and is invertible. This means the trace form on B is nondegenerate, so B is tracically étale and a fortiori étale over A. The proof combines the inclusion F0(Ω_{B/A}) ⊆ μ(Ann(J)) — realized by writing Jacobian determinants as Bezoutian determinants that annihilate the kernel of multiplication — with a matrix identity for finite free modules: for δ ∈ Ann(J), writing δ = Σ u_i ⊗ ε_i and b = μ(δ), the multiplication matrix M_b equals P_u T_ε, where P_u is the matrix of the u_i in the basis ε and T_ε is the trace matrix. Taking determinants gives N_{B/A}(b) = det(P_u) Disc(ε). The whole argument is constructive and works over any commutative ring.
Load-bearing premise
The argument rests on the identity δβ = μ(β)δ holding for every δ in the annihilator of the kernel of multiplication and every β in B⊗_A B, which converts multiplication by δ into a rank-one endomorphism; if this identity ever failed in a finite free algebra, the trace calculation and the whole divisibility proof would collapse.
Editorial extensions
If this is right
- If Ω_{B/A}=0 for a finite free algebra B/A, then Disc(B/A) is invertible, so the trace form is nondegenerate and B is étale over A.
- For any b in the Fitting ideal F0(Ω_{B/A}), the norm N_{B/A}(b) is divisible by the discriminant in A, giving a concrete arithmetic constraint generated by the Kähler different.
- The same conclusion holds when B is merely a finitely generated projective A-module (Corollary 1.2), since the property is local and the theorem applies after localization at comaximal elements.
- The paper's inclusions among Kähler, Noether, and annihilator ideals — (D_N)^m ⊆ (Ann Ω)^m ⊆ D_K ⊆ D_N ⊆ Ann Ω — show that for an algebra whose differential module is generated by one element, all these differents coincide.
Reading between the lines
- Because the proof is entirely constructive and makes no Noetherian or reducedness assumptions, the divisibility statement should hold in any commutative ring, including rings with nilpotents and non-Noetherian rings; this makes it a natural test case for formal verification in constructive algebra.
- The matrix identity M_b = P_u T_ε resembles a factorization of the multiplication matrix through the trace pairing; this suggests a direct route to compute the discriminant ideal for finite projective algebras by sheafifying the local identities, potentially sharpening Corollary 1.2.
- The strict inclusion between Kähler and Noether differents shown in the paper's example indicates that μ(Ann(J)) is genuinely larger than F0(Ω); if the norm-divisibility theorem is to be strengthened, μ(Ann(J)) is the natural candidate ideal to study as the 'trace different'.
- The Bezoutian determinants provide an explicit elimination procedure: to prove Disc | N(b) for a given b, one can construct a certificate matrix over the polynomial ring; this could be turned into an algorithm for certifying étaleness of a presented algebra over a base ring.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper gives an elementary proof of the following statement: if B is a finite free commutative algebra over an arbitrary commutative ring A and the B-module of Kähler differentials Ω_{B/A} vanishes, then the discriminant Disc(B/A) is invertible, equivalently the trace form is nondegenerate and B is étale over A. The proof is built from two ingredients: Lemma 2.1, which embeds the Fitting ideal F0(Ω_{B/A}) into μ(Ann(J)) for J = ker(B⊗_A B → B) using Bezoutian determinants, and Theorem 3.1, which establishes a matrix identity M_b = P_u T_ε for any δ ∈ Ann(J) with b = μ(δ), yielding the divisibility Disc | N(b). Theorem 1.1(2) follows by taking b = 1. Section 4 discusses the Kähler and Noether differents and an example.
Significance. The main theorem is standard in classical commutative algebra (a finite projective algebra with zero differentials is étale, and finite étale algebras have nondegenerate trace forms), and the authors' claim of novelty should be tempered. The genuine contribution of the paper is the explicit, constructive, identity-based proof that works uniformly for arbitrary commutative rings and yields the sharper divisibility statement Disc | N(b) for b in the Kähler different. The trace identity in Theorem 3.1 and the Fitting-ideal inclusion in Lemma 2.1 are clean and correctly proved, and the paper is self-contained for the main theorem apart from minor presentation issues. The auxiliary Section 4 is not used in the proof of Theorem 1.1.
minor comments (5)
- [4.1, Theorem 4.1] The proof of Theorem 4.1 uses the untested assertion that the sequence (Y1-Z1,...,Yn-Zn) is 1-sécante in A[Y,Z]; although this is a standard fact for regular sequences, it should be stated with a proof or a precise reference, and it is not used in the proof of Theorem 1.1.
- [1, Corollary 1.2] Corollary 1.2 refers to 'théorème 1.2' but should refer to Theorem 1.1, and the word 'Corolaire' should be 'Corollaire'.
- [1, title and Theorem 1.1] The term 'nette' is used in the title and abstract but never defined; it should be defined explicitly, for example as the condition Ω_{B/A}=0 for a finite free algebra.
- [throughout] There are several typographical errors in the French text, including 'd´ et' for 'dét', 'Kälher' for 'Kähler', and inconsistent accents; a careful proofreading would be helpful.
- [3.3, Lemma 3.4] The notation for the structure constants c^{(i)}_{kj} is introduced implicitly; clarifying that ε_k ε_j = Σ_i c^{(i)}_{kj} ε_i would avoid confusion.
Circularity Check
No circularity: Theorem 1.1 is derived from elementary Bezoutian and trace identities, not from the conclusion being proved.
full rationale
The proof of Theorem 1.1 is self-contained. Lemma 2.1 proves F0(Ω_{B/A}) ⊆ μ(Ann J) directly: for every n-tuple F in I(X), the Bezoutian determinant δ_F satisfies δ_F(y_i − z_i) = 0 in B⊗_A B, so δ_F ∈ Ann(J), and μ(δ_F) is the Jacobian determinant. This does not presuppose any divisibility of the discriminant. Theorem 3.1 then proves the matrix identity M_b = P_u T_ε from two elementary lemmas: Fait 3.2(1) gives δβ = μ(β)δ for δ ∈ Ann(J), making multiplication by δ the rank-one endomorphism y ↦ μ(y)δ with trace μ(δ) (Lemma 3.3(2)); Lemma 3.4 converts δ ∈ Ann(J) into the coefficient identities u_i ε_j = Σ_k c^{(i)}_{kj} u_k using the basis expansion. Substitution yields bε_j = Σ_i Tr(u_i ε_j)ε_i, hence M_b = P_u T_ε and N(b) = det(P_u) Disc(ε). Thus Disc divides N(b) for b ∈ μ(Ann J), and Lemma 2.1 gives the stated divisibility for b ∈ F0(Ω). When Ω = 0, b = 1 ∈ F0(Ω), so Disc | 1 and Disc is invertible. The self-citations to Lombardi-Quitté are only background notes about prior treatments and standard notions; they are not used as evidence for the key inclusions. The '1-sécante' assertion in Theorem 4.1 is confined to the auxiliary Section 4, which the paper explicitly says is not needed for the main theorem. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work. The derivation therefore does not reduce to its own inputs.
Assumptions & free parameters
assumptions (4)
- standard math Kähler differentials of a finitely presented algebra are presented by the Jacobian matrix of the presentation, and F0(Ω) is generated by the n×n minors of that matrix.
- standard math For a finitely presented module M, the zeroth Fitting ideal F0(M) is contained in Ann(M).
- standard math For δ in Ann(J), multiplication by δ on B⊗A B factors through the rank-one map β ↦ μ(β)δ, so the trace of this endomorphism is μ(δ).
- standard math The sequence (Y1−Z1, ..., Yn−Zn) in A[Y,Z] is 1-sécante, i.e., the module of syzygies is generated by the trivial syzygies.
Cite this review
Pith. "Pith review of Algebraic identities to prove that a neat finite free algebra is tracically \'etale." pith.science (2026). https://pith.science/paper/RMQ5SF3V
@misc{pith2026250603851,
author = {Pith},
title = {Pith review of: Algebraic identities to prove that a neat finite free algebra is tracically \'etale},
year = {2026},
howpublished = {\url{https://pith.science/paper/RMQ5SF3V}},
note = {Machine review of arXiv:2506.03851}
}
abstract
The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is tracically \'etale (its trace form is nondegenerate) and a fortiori \'etale over A. As indicated in the title, our proof is based on algebraic identities. This confirms the implicit adage that much of the most abstract commutative algebra is concentrated in algebraic identities concerning matrices of polynomials over an arbitrary commutative ring. -- -- -- L'objectif central de cet article est de donner une d\'emonstration \'el\'ementaire du th\'eor\`eme suivant, dont nous ne connaissons pas de trace dans la litt\'erature existante. Si $B$ est une alg\`ebre libre finie nette sur $A$, alors elle est traciquement \'etale (sa forme trace est non d\'eg\'en\'er\'ee) et \`a fortiori \'etale sur $A$. Comme indiqu\'e dans le titre, notre d\'emonstration est bas\'ee sur des identit\'es alg\'ebriques. Cela confirme l'adage implicite selon lequel une grande partie de l'alg\`ebre commutative la plus abstraite se concentre dans des identit\'es alg\'ebriques concernant les matrices de polyn\^omes sur un anneau commutatif arbitraire.
Forward citations
Cited by 1 Pith paper
-
A decisive Theorem (Un th\'eor\`eme d\'ecisif)
Over a discrete field, every nette (unramified) algebra of finite presentation is strictly finite and tracially etale.
Reference graph
Works this paper leans on
-
[1]
LeB-moduleΩ B/A est de présentation finie et son idéal de FittingF0 ( ΩB/A ) (idéal deB), possède la propriété suivante b∈F 0 ( ΩB/A ) =⇒Disc(B/A)|N B/A(b)
-
[2]
SupposonsΩ B/A = 0. AlorsDisc(B/A)est inversible. Note.La référence de base pour les différentielles de Kähler est le livre Kunz (1986). Dans les ouvrages Lombardi et Quitté (2015) et Lombardi et Quitté (2021), le point2. du théorème 1.1 est démontré uniquement pour le cas oùAest un corps discret. Cet ouvrage décrit de manière complètement constructive de...
work page 1986
-
[3]
Avecb=µ(δ), on a les deux égalités matricielles dansMn(A): Mb = ( TrB/A(uiεj) ) 1⩽i,j⩽n =P uTε
-
[4]
En conséquence,Disc(B/A)diviseN B/A(b)pour toutb∈µ(Ann(J))
En prenant les déterminants, on obtientNB/A(b) = d´ et(Pu) Disc(ε). En conséquence,Disc(B/A)diviseN B/A(b)pour toutb∈µ(Ann(J)). 3.2 Des rappels d’ordre général On rappelle des résultats bien connus. Tout d’abordB⊗ A Best muni de deux structures deB-modules, une à gauche, l’autre à droite : pourb∈B,β∈B⊗ A B b.β= (b⊗1)β, β.b=β(1⊗b) Fait 3.2
-
[5]
De plus pourδ∈Ann(J)etβ∈B⊗ A Bon a µ(β)δ=δµ(β) =βδ
SurAnn(J), les deux structures (à gauche et à doite) deB-module deB⊗ A B coïncident. De plus pourδ∈Ann(J)etβ∈B⊗ A Bon a µ(β)δ=δµ(β) =βδ
-
[6]
Démonstration.1.Pourb∈B, il faut vérifier que(b⊗1)δ= (1⊗b)δ, ce qui est immédiat carb⊗1−1⊗b∈J
L’idéalJdeB⊗ A Bet leB-moduleAnn(J)sont stables par l’involutionswap : B⊗ A B→B⊗ A Bqui réalisex⊗y↦→y⊗x. Démonstration.1.Pourb∈B, il faut vérifier que(b⊗1)δ= (1⊗b)δ, ce qui est immédiat carb⊗1−1⊗b∈J. L’égalitéµ(β)δ=βδrésulte du fait queµ(β)⊗1−β∈Ker(µ) déf =J. 2.La stabilité deJrésulte deJ= kerµet deµ◦swap =µ. Elle implique la stabilité de Ann(J). 3.3 Iden...
-
[7]
Alors pourβ= ∑ ixi⊗y i∈B⊗ A Bon obtient Tr(B⊗AB)/B(β) = ∑ ixi TrB/A(yi)
On munitB⊗ A Bde la structure deB-algèbre à gauche. Alors pourβ= ∑ ixi⊗y i∈B⊗ A Bon obtient Tr(B⊗AB)/B(β) = ∑ ixi TrB/A(yi)
-
[8]
Démonstration.1.Il suffit de le vérifier pourβ=x⊗y
Lorsqueδ= ∑ ixi⊗y i appartient àAnn(J), on obtient µ(δ) = ∑ ixiyi = ∑ ixi TrB/A(yi) = ∑ iyi TrB/A(xi). Démonstration.1.Il suffit de le vérifier pourβ=x⊗y. Pour la structure deB-module à gauche deB⊗ A B,1⊗ε est uneB-base. La matrice de la multiplication parx⊗ydans cette base1⊗ε estxM y∈M n(B)oùM y∈M n(A)est la matrice de multiplication pary dans la baseε. ...
work page 1986
Show all 12 references
-
[9]
Une suite est dite 1-sécante, si le module des syzygies pour (l’idéal engendré par) cette suite est engendré par les syzygies triviales
-
[10]
C’est l’idéal engendré parf ′(x), oùf(T)est le polynôme caractéristique de (la multiplication par)xdans leA-module projectif de type finiB
La différente de DedekindDD(B/A)est définie lorsqueBest est un module projectif de type fini surA. C’est l’idéal engendré parf ′(x), oùf(T)est le polynôme caractéristique de (la multiplication par)xdans leA-module projectif de type finiB. Voir à ce sujet dans Lombardi et Quitt...
2015
-
[11]
De la même manière, soitB=A[x 1,...,x n]l’algèbre définie par les relations x2 1 =···=x 2 n etx ixj = 0pouri < j
En revenant aux notationsx,y,z, on a bien montré 5x2∈D N(B/A). De la même manière, soitB=A[x 1,...,x n]l’algèbre définie par les relations x2 1 =···=x 2 n etx ixj = 0pouri < j. AlorsB/Aest libre de rangn+ 2, de base (1,x 1,...,x n,x 2 1). Et on a(n+ 2)x2 1∈D N(B/A)via un argum...
-
[12]
Bibliographie Srikanth B.Iyengaret RyoTakahashi: The Jacobian ideal of a commutative ring and annihilators of cohomology.J
Pourn⩾3, on aD K(B/A) = 0puisque lesn- mineurs de la jacobienne sont des polynômes homogènes de degrénet que la composante homogène de degréddeBest nulle pourd⩾3. Bibliographie Srikanth B.Iyengaret RyoTakahashi: The Jacobian ideal of a commutative ring and annihilators of coho...
2021 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.