A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Following \textit{T. Coquand} [Ann. Pure Appl. Logic 157, No. 2-3, 97--109 (2009; Zbl 1222.03072)], the general framework of this paper is a reformulation of Hilbert's programme in commutative algebra using formal topology. In formal topology, a topological space is not defined as a set of points, but as a logical theory which describes the lattice of open sets. Points are then infinite ideal objects, defined as particular filters of neighborhoods, while basic open sets are thought of as primitive, symbolic objects or observable facts. Hilbert's ideal objects are represented by points of suitable formal spaces. The use of ideal objects can often be directly replaced by working in the corresponding logical theory, which is here presented by a distributive lattice. As an example, the Zariski spectrum of a commutative ring \(R\) is described in a formal way through a distributive lattice, whose prime filters correspond to its prime ideals. A statement of existence of a prime ideal corresponds formally to the fact that the distributive lattice under consideration is non-trivial(that is, the underlying theory is non-contradictory). The Hilbert Nullstellensatz, which classically provides the link between the topology and the algebraic structure, is substituted by the effective existence of a proof certificate, in form of an algebraic identity. In 1972, Storch showed that each radical ideal \(R[X]\) is the radical of an ideal generated by at most \(d+1\) elements, provided that \(R\) has Krull dimension \(d\). Independently, in 1973, Eisenbud and Evans proved the same result and gave it also for the projective case. The constructive definition of Krull dimension for lattices and rings led to an elementary constructive proof of Kronecker's result and to a constructive rebuilding of the Storch proof. In this paper the author extend the latter proof to the projective case as stated by Eisenbud and Evans. He use the description of the projective spectrum as a distributive lattice and get a topological proof which follows the affine case \textit{T. Coquand, H. Lombardi} and \textit{P. Schuster} [Arch. Math. 85, No. 1, 49--54 (2005; Zbl 1093.03035)]. The central role played by lattice-theoretic techniques prompts to conjecture that these theorems, regarding the number of generators, could be stated more properly in the wider context of lattices. The Eisenbud-Evans-Storch theorem looks rather as a statement on the distributive lattices underlying the algebraic structure(respectively \(\mathrm{Zar}(R[X])\) for the affine case, \(\mathrm{Pro}^X(A)\) for the projective one). Further studies will be undertaken in order to clarify these similarities and to possibly find a common generalization in the context of distributive lattices. | |||
Property / review text: Following \textit{T. Coquand} [Ann. Pure Appl. Logic 157, No. 2-3, 97--109 (2009; Zbl 1222.03072)], the general framework of this paper is a reformulation of Hilbert's programme in commutative algebra using formal topology. In formal topology, a topological space is not defined as a set of points, but as a logical theory which describes the lattice of open sets. Points are then infinite ideal objects, defined as particular filters of neighborhoods, while basic open sets are thought of as primitive, symbolic objects or observable facts. Hilbert's ideal objects are represented by points of suitable formal spaces. The use of ideal objects can often be directly replaced by working in the corresponding logical theory, which is here presented by a distributive lattice. As an example, the Zariski spectrum of a commutative ring \(R\) is described in a formal way through a distributive lattice, whose prime filters correspond to its prime ideals. A statement of existence of a prime ideal corresponds formally to the fact that the distributive lattice under consideration is non-trivial(that is, the underlying theory is non-contradictory). The Hilbert Nullstellensatz, which classically provides the link between the topology and the algebraic structure, is substituted by the effective existence of a proof certificate, in form of an algebraic identity. In 1972, Storch showed that each radical ideal \(R[X]\) is the radical of an ideal generated by at most \(d+1\) elements, provided that \(R\) has Krull dimension \(d\). Independently, in 1973, Eisenbud and Evans proved the same result and gave it also for the projective case. The constructive definition of Krull dimension for lattices and rings led to an elementary constructive proof of Kronecker's result and to a constructive rebuilding of the Storch proof. In this paper the author extend the latter proof to the projective case as stated by Eisenbud and Evans. He use the description of the projective spectrum as a distributive lattice and get a topological proof which follows the affine case \textit{T. Coquand, H. Lombardi} and \textit{P. Schuster} [Arch. Math. 85, No. 1, 49--54 (2005; Zbl 1093.03035)]. The central role played by lattice-theoretic techniques prompts to conjecture that these theorems, regarding the number of generators, could be stated more properly in the wider context of lattices. The Eisenbud-Evans-Storch theorem looks rather as a statement on the distributive lattices underlying the algebraic structure(respectively \(\mathrm{Zar}(R[X])\) for the affine case, \(\mathrm{Pro}^X(A)\) for the projective one). Further studies will be undertaken in order to clarify these similarities and to possibly find a common generalization in the context of distributive lattices. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Florentina Chirteş / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A02 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065343 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded ring | |||
Property / zbMATH Keywords: graded ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polynomial ideal | |||
Property / zbMATH Keywords: polynomial ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Krull dimension | |||
Property / zbMATH Keywords: Krull dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributive lattice | |||
Property / zbMATH Keywords: distributive lattice / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructive algebra | |||
Property / zbMATH Keywords: constructive algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
number of generators | |||
Property / zbMATH Keywords: number of generators / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00013-012-0405-z / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2039276068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Kronecker about algebraic varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About Stone's notion of spectrum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Space of valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical approach to abstract algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5718574 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A nilregular element property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5437178 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamical method in algebra: Effective Nullstellensätze / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite Methods in Mathematical Practice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every algebraic set in n-space is the intersection of n hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124833 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Über die Darstellung algebraischer Raumkurven als Durchschnitte von Flächen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A course in constructive algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive Aspects of Noetherian Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The regular element property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some points in formal topology. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Zariski spectrum as a formal geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bemerkung zu einem Satz von M. Kneser / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:00, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A formal proof of the projective Eisenbud-Evans-Storch theorem |
scientific article |
Statements
A formal proof of the projective Eisenbud-Evans-Storch theorem (English)
0 references
13 August 2012
0 references
Following \textit{T. Coquand} [Ann. Pure Appl. Logic 157, No. 2-3, 97--109 (2009; Zbl 1222.03072)], the general framework of this paper is a reformulation of Hilbert's programme in commutative algebra using formal topology. In formal topology, a topological space is not defined as a set of points, but as a logical theory which describes the lattice of open sets. Points are then infinite ideal objects, defined as particular filters of neighborhoods, while basic open sets are thought of as primitive, symbolic objects or observable facts. Hilbert's ideal objects are represented by points of suitable formal spaces. The use of ideal objects can often be directly replaced by working in the corresponding logical theory, which is here presented by a distributive lattice. As an example, the Zariski spectrum of a commutative ring \(R\) is described in a formal way through a distributive lattice, whose prime filters correspond to its prime ideals. A statement of existence of a prime ideal corresponds formally to the fact that the distributive lattice under consideration is non-trivial(that is, the underlying theory is non-contradictory). The Hilbert Nullstellensatz, which classically provides the link between the topology and the algebraic structure, is substituted by the effective existence of a proof certificate, in form of an algebraic identity. In 1972, Storch showed that each radical ideal \(R[X]\) is the radical of an ideal generated by at most \(d+1\) elements, provided that \(R\) has Krull dimension \(d\). Independently, in 1973, Eisenbud and Evans proved the same result and gave it also for the projective case. The constructive definition of Krull dimension for lattices and rings led to an elementary constructive proof of Kronecker's result and to a constructive rebuilding of the Storch proof. In this paper the author extend the latter proof to the projective case as stated by Eisenbud and Evans. He use the description of the projective spectrum as a distributive lattice and get a topological proof which follows the affine case \textit{T. Coquand, H. Lombardi} and \textit{P. Schuster} [Arch. Math. 85, No. 1, 49--54 (2005; Zbl 1093.03035)]. The central role played by lattice-theoretic techniques prompts to conjecture that these theorems, regarding the number of generators, could be stated more properly in the wider context of lattices. The Eisenbud-Evans-Storch theorem looks rather as a statement on the distributive lattices underlying the algebraic structure(respectively \(\mathrm{Zar}(R[X])\) for the affine case, \(\mathrm{Pro}^X(A)\) for the projective one). Further studies will be undertaken in order to clarify these similarities and to possibly find a common generalization in the context of distributive lattices.
0 references
graded ring
0 references
polynomial ideal
0 references
Krull dimension
0 references
distributive lattice
0 references
constructive algebra
0 references
number of generators
0 references
0 references