Troisième Rencontre Internationale sur les Polynômes à Valeurs Entières

Similar documents
Some closure operations in Zariski-Riemann spaces of valuation domains: a survey

The Zariski topology on sets of semistar operations

arxiv: v1 [math.ac] 15 Jun 2012

The Zariski topology on the set of semistar operations on an integral domain

LOCALLY PRINCIPAL IDEALS AND FINITE CHARACTER arxiv: v1 [math.ac] 16 May 2013

A Krull-type theorem for the semistar integral

UPPERS TO ZERO IN POLYNOMIAL RINGS AND PRÜFER-LIKE DOMAINS

a.b. star operations vs e.a.b. star operations Marco Fontana Università degli Studi Roma Tre

arxiv: v1 [math.ac] 10 May 2016

Intersecting valuation rings in the Zariski-Riemann space of a field

WHEN THE ZARISKI SPACE IS A NOETHERIAN SPACE

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

BEZOUT S THEOREM CHRISTIAN KLEVDAL

arxiv:math/ v1 [math.ac] 22 Sep 2003

ZARISKI-LIKE TOPOLOGY ON THE CLASSICAL PRIME SPECTRUM OF A MODULE

NOETHERIAN SPACES OF INTEGRALLY CLOSED RINGS WITH AN APPLICATION TO INTERSECTIONS OF VALUATION RINGS

Intersections of valuation overrings of two-dimensional Noetherian domains

Exploring the Exotic Setting for Algebraic Geometry

Kronecker function rings: a general approach. Abstract. The purpose of this paper is to outline a general approach tothe

arxiv:math/ v1 [math.ac] 13 Feb 2003

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ON ALMOST PSEUDO-VALUATION DOMAINS, II. Gyu Whan Chang

On z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

NOTES IN COMMUTATIVE ALGEBRA: PART 2

PRÜFER CONDITIONS IN RINGS WITH ZERO- DIVISORS

Polynomial closure in essential domains

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

The Space of Maximal Ideals in an Almost Distributive Lattice

Summer Algebraic Geometry Seminar

Spectral Compactification of a Ring

Dimension Theory. Mathematics 683, Fall 2013

Numération : mathématiques et informatique

Polynomial functions on subsets of non-commutative rings a link between ringsets and null-ideal sets

7 Lecture 7: Rational domains, Tate rings and analytic points

Studying monoids is not enough to study multiplicative properties of rings: an elementary approach

Splitting sets and weakly Matlis domains

1. Algebraic vector bundles. Affine Varieties

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

3 Lecture 3: Spectral spaces and constructible sets

GOLOMB S ARITHMETICAL SEMIGROUP TOPOLOGY AND A SEMIPRIME SUFFICIENCY CONDITION FOR DIRICHLET S THEOREM

PIF-Property in Pullbacks

Some remarks on Krull's conjecture regarding almost integral elements

The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected

GRADED INTEGRAL DOMAINS AND NAGATA RINGS, II. Gyu Whan Chang

Extension theorems for homomorphisms

A NOTE ON Θ-CLOSED SETS AND INVERSE LIMITS

VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Characterizing integral domains by semigroups of ideals

On hyperconnected topological spaces

Compactifications of Discrete Spaces

Gelfand Semirings, m-semirings and the Zariski Topology

Adic Spaces. Torsten Wedhorn. June 19, 2012

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

ON SOME GENERALIZED VALUATION MONOIDS

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

SOBER SPACES AND SOBER SETS. Othman Echi and Sami Lazaar

Algebraic Number Theory Notes: Local Fields

Constructive algebra. Thierry Coquand. May 2018

Automorphisms of varieties and critical density. Jason Bell (U. Michigan)

Relationships between Topological Properties of X and Algebraic Properties of Intermediate Rings A(X)

On strongly prime rings, ideals and radicals

What is p-adic geometry?

SCHEMES. David Harari. Tsinghua, February-March 2005

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

arxiv: v1 [math.ds] 22 Jan 2019

MV-algebras and fuzzy topologies: Stone duality extended

SPECIALIZATION ORDERS ON ATOM SPECTRA OF GROTHENDIECK CATEGORIES

Rings and groups. Ya. Sysak

NONSINGULAR CURVES BRIAN OSSERMAN

(dim Z j dim Z j 1 ) 1 j i

Factorizations of ideals in noncommutative rings similar to factorizations of ideals in commutative Dedekind domains

arxiv:math/ v2 [math.ra] 7 Mar 2007

The Zariski Spectrum of a ring

TOPOLOGICAL GROUPS MATH 519

CW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

arxiv:math/ v1 [math.ac] 6 Mar 2006

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Institutionen för matematik, KTH.

0.1 Spec of a monoid

ON THE PRIME SPECTRUM OF MODULES

14 Lecture 14: Basic generallities on adic spaces

Math 418 Algebraic Geometry Notes

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

On an Extension of Half Condensed Domains

SOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA

A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS

SKOLEM PROPERTIES, VALUE-FUNCTIONS, AND DIVISORIAL IDEALS

Introduction to Topology

F-RESOLVABLE SPACES. 1. Introduction

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

REFLEXIVE MODULES OVER GORENSTEIN RINGS

ABSTRACT NONSINGULAR CURVES

Transcription:

Troisième Rencontre Internationale sur les Polynômes à Valeurs Entières Rencontre organisée par : Sabine Evrard 29 novembre-3 décembre 2010 Carmelo Antonio Finocchiaro and Marco Fontana Some applications of the ultrafilter topology on spaces of valuation domains, Part II Vol. 2, n o 2 (2010), p. 111-114. <http://acirm.cedram.org/item?id=acirm_2010 2_2_111_0> Centre international de rencontres mathématiques U.M.S. 822 C.N.R.S./S.M.F. Luminy (Marseille) France cedram Texte mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/

Actes des rencontres du C.I.R.M. Vol. 2 n o 2 (2010) 111-114 Some applications of the ultrafilter topology on spaces of valuation domains, Part II Carmelo Antonio Finocchiaro and Marco Fontana Abstract Let K be a field and A be a subring of K. In the present note, we present the main applications of the so called ultrafilter topology on the space Zar(K A), introduced in the previous Part I. After recalling that Zar(K A) is a spectral space, we give an explicit description of Zar(K A) as the prime spectrum of a ring (even in the case when the quotient field of A is a proper subfield of K). Moreover, we provide applications of the topological material previously introduced to the study of representations of integrally closed domains and valuative semistar operations. Introduction Let K be a field and A be a subring of K. Denote by Zar(K A) the set of all the valuation domains having K as the quotient field, and containining A as a subring; denote simply by Zar(K) the set of all the valuation domains of K. As usual, Zar(K A) can be equipped with the so called Zariski topology, that is, the topology having a basis for the open sets given by the family of all the subsets of the type B F := {V Zar(K A) V F }, where F is a finite subset of K. It is wellknown that Zar(K A) is quasi-compact, and it is Hausdorff only in the trivial case. A natural way to make Zar(K A) a compact Hausdorff topological space is to consider on it the so called ultrafilter topology (see [2] and [3]). In the present Note, we will provide applications of the topological properties of Zar(K A), endowed with the ultrafilter topology (or, with the inverse topology, in the sense of Hochster [6]), to the representations of integrally closed domains as intersections of valuation overrings. Moreover, we will also apply some of our results to characterize when two valuative semistar operations have their associated finite type semistar operations equal. 1. Identifying Zar(K A) with a nice spectral space Let K be a field and T be an indeterminate over K. Recall that a subring S of K(T ) is called a K function ring if T is invertible in S and f(0) f(t ) S, for each nonzero polynomial f(t ) K[T ]. This notion was introduced by Halter Koch in [5] as a generalization of the classical construction of the Kronecker function ring. We collect in the following remark the basic algebraic properties of K function rings. Remark 1.1. (see [5]) Let K be a field and T be an indeterminate over K. (i) The intersection of a nonempty collection of K function rings is a K function ring. (ii) Each K function ring is a Bézout domain with quotient field K(T ). (iii) If V is a valuation domain of K and m is the maximal ideal of V, then the localization V (T ) := V [T ] m[t ] (usually called the trivial extension of V in K(T )) is both a valuation domain of K(T ) and a K function ring. Text presented during the meeting Third International Meeting on Integer-Valued Polynomials organized by Sabine Evrard. 29 novembre-3 décembre 2010, C.I.R.M. (Luminy). Key words. Valuation domain, (semi)star operation, prime spectrum, Zariski topology, constructible topology, filter and ultrafilter, Prüfer domain. This talk was presented at the meeting by the first named author. 111

C.A. Finocchiaro and M. Fontana Given a subring S of K(T ), we will denote by Zar 0 (K(T ) S) the subset of Zar(K(T ) S) consisting of all the valuation domains of K(T ) that are trivial extensions of some valuation domain of K. The following result provides a characterization of K function rings. Proposition 1.2. Let K be a field, T an indeterminate over K and S a subring of K(T ). Then, the following conditions are equivalent. (i) S is a K function ring. (ii) S is integrally closed and Zar(K(T ) S) = Zar 0 (K(T ) S). (iii) S is the intersection of a nonempty subcollection of Zar 0 (K(T )). Proposition 1.3. Let K be a field and T an indeterminate over K. The following statements hold. (a) The natural map ϕ : Zar(K(T )) Zar(K), W W K, is continuous and closed with respect to both Zariski topologies or ultrafilter topologies. (b) If S K(T ) is a K function ring, then the restriction of ϕ to the subspace Zar(K(T ) S) of Zar(K(T )) is a topological embedding, with respect to both Zariski topologies or ultrafilter topologies. (c) Let A be any subring of K, and let Kr(K A) := {V (T ) V Zar(K A)}. Then Kr(K A) is a K function ring. Moreover, the restriction of ϕ to Zar(K(T ) Kr(K A)) establishes a homeomorphism of Zar(K(T ) Kr(K A)) with Zar(K A), with respect to both Zariski topologies or ultrafilter topologies. (d) Let A be a subring of K, S := Kr(K A), and let γ : Zar(K(T ) S) Spec(S) be the map sending a valuation overring of S into its center on S. Then γ establishes a homeomorphism, with respect to both Zariski topologies or ultrafilter topologies; thus, the map γ ϕ 1 : Zar(K A) Zar(K(T ) S) Spec(S) is also a homeomorphism. In other words, Zar(K A) is a spectral space, endowed with both Zariski topology or ultrafilter topology. 2. Some applications The first application that we give is a topological interpretation of when two given collections of valuation domains are representations of the same integral domain. Proposition 2.1. Let K be a field. If Y 1,Y 2 are nonempty subsets of Zar(K) having the same closure in Zar(K), with respect to the ultrafilter topology, then {V V Y1 } = {V V Y 2 }. In particular, if Cl ultra (Y ) denotes the closure of a nonempty subset Y of Zar(K) with respect to the ultrafilter topology, then {V V Y } = {V V Cl ultra (Y )}. The converse of the previous statement is false. In fact, we will see that equality of the closures of the subsets Y 1,Y 2, with respect to the ultrafilter topology, implies a statement that, in general, is stronger than the equality of the (integrally closed) domains obtained by intersections. To see this, recall some background material about semistar operations. Let A be an integral domain, K be the quotient field of A. As usual, denote by F (A) the set of all nonzero A submodule of K, and by f(a) the set of all nonzero finitely generated A submodule of K. As it is well known, a nonempty subset Y of Zar(K A) induces the valuative semistar operation Y, defined by F Y := {FV V Y }, for each F F (A). A valuative semistar operation is always e.a.b., that is, for all F, G, H f(a), (FG) (FH) implies G H. Recall that we can associate to any semistar operation on A a semistar operation f of finite type (on A), by setting F f := {G G f(a), G F }, for each F F (A); f is called the semistar operation of finite type associated to. 112

Ultrafilters and spaces of valuation domains For any subset Y Zar(K A), denote by Y the Zariski generic closure of Y, that is, Y := {W Zar(K A) W V, for some V Y }. Theorem 2.2. Let A be an integral domain, K its quotient field, and Y 1,Y 2 two nonempty subsets of Zar(K A). Then, the following conditions are equivalent. (i) The semistar operations of finite type associated to Y1 and Y2 are the same, that is, ( Y1 ) f =( Y2 ) f. (ii) The subsets Cl ultra (Y 1 ), Cl ultra (Y 2 ) of Zar(K A) have the same Zariski generic closure, that is, Cl ultra (Y 1 ) = Cl ultra (Y 2 ). Let A be an integral domain, K its quotient field and Z := Zar(K A). For any nonempty subset Y Z, consider the K function ring Kr(Y ) := {V (T ) V Y }. We say that A is a vacant domain if it is integrally closed and, for any representation Y of A, we have Kr(Y )=Kr(Z) (see [1]). Corollary 2.3. Let A be an integrally closed domain and K its quotient field. conditions are equivalent. (i) A is a vacant domain. (ii) For any representation Y of A, Cl ultra (Y ) = Zar(K A). The following Recall that a semistar operation is complete if it is e.a.b. and of finite type (see [4] for further equivalent definitions of complete semistar operation). The following result provides a topological characterization of when a semistar operation is complete. Theorem 2.4. Let A be an integral domain, K its quotient field and a semistar operation on A. Then, the following conditions are equivalent. (i) is complete. (ii) There is a quasi-compact subspace Y of Zar(K A), equipped with the ultrafilter topology, such that Y =. (iii) There is a quasi-compact subspace Y of Zar(K A), equipped with the Zariski topology, such that Y =. (iv) There is a quasi-compact and Zariski generically closed subspace Y of Zar(K A), equipped with the ultrafilter topology, such that Y =. Corollary 2.5. Let A be an integral domain, K its quotient field, and Y a nonempty subset of Zar(K A). Then ( Y ) f = Cl ultra (Y ). Following [6], the spectral space Zar(K A) can be also considered with the so called inverse (or dual) topology, that is the topology for which a basis for the closed sets consists of all the subspaces of Zar(K A) that are quasi-compact and open with respect to the Zariski topology. Keeping in mind that it is known that the ultrafilter topology and the constructible topology on Zar(K A) coincide (see [3]), the following result follows easily. Proposition 2.6. Let K be a field and A be a subring of K. For any subset Y of Zar(K A), denote by Cl inv (Y ) the closure of Y with respect to the inverse topology. Then Cl inv (Y )=Cl ultra (Y ). Finally, we can formulate some previous results in terms of Hochster s inverse topology. Corollary 2.7. Let A be an integral domain, K be its quotient field. The following statements hold. (a) If Y 1,Y 2 are nonempty subsets of Zar(K A), then ( Y1 ) f =( Y2 ) f if and only if Y 1,Y 2 have the same closure with respect to the inverse topology. (b) A is a vacant domain if and only if it is integrally closed and any representation Y of A is dense in Zar(K A) with respect to the inverse topology. (c) For any nonempty subset Y of Zar(K A), ( Y ) f = Cl inv (Y ). References [1] A. Fabbri, Integral domains with a unique Kronecker function ring, J. Pure Appl. Algebra 215 (2011), 1069-1084. [2] C. A. Finocchiaro, M. Fontana, Some applications of the ultrafilter topology on spaces of valuation domains, Part I, this volume. 113

C.A. Finocchiaro and M. Fontana [3] C. A. Finocchiaro, M. Fontana, K. A. Loper, Ultrafilter and constructible topologies on spaces of valuation domains, submitted. [4] M. Fontana, K. A. Loper, Cancellation properties in ideal systems: a classification of e.a.b. semistar operations, J. Pure Appl. Algebra 213 (2009), no. 11, 2095 2103. [5] F. Halter Koch, Kronecker function rings and generalized integral closures, Comm. Algebra 31 (2003), 45-49. [6] Melvin Hochster, Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43 60. C.A.F. - Dipartimento di Matematica Università degli studi Roma Tre Largo San Leonardo Murialdo 1, 00146 Roma, Italy carmelo@mat.uniroma3.it M.F. - Dipartimento di Matematica Università degli studi Roma Tre Largo San Leonardo Murialdo 1, 00146 Roma, Italy fontana@mat.uniroma3.it 114