Search arXivSearch

arXiv · 1710.01774

On the topology of valuation-theoretic representations of integrally closed domains

Abstract

Let $F$ be a field. For each nonempty subset $X$ of the Zariski-Riemann space of valuation rings of $F$, let ${A}(X) = \bigcap_{V \in X}V$ and ${J}(X) = \bigcap_{V \in X}{\mathfrak M}_V$, where ${\mathfrak M}_V$ denotes the maximal ideal of $V$. We examine connections between topological features of $X$ and the algebraic structure of the ring ${A}(X)$. We show that if ${J}(X) \ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of $F$, then there is a subspace $Y$ of the space of valuation rings of $F$ that is perfect in the patch topology such that ${A}(X) = {A}(Y)$. If any countable subset of points is removed from $Y$, then the resulting set remains a representation of $A(X)$. Additionally, if $F$ is a countable field, the set $Y$ can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring ${A}(X)$ with specific focus on topological conditions that guarantee ${A}(X)$ is a Prüfer domain, a feature that is reflected in the Zariski-Riemann space when viewed as a locally ringed space. We also classify the rings ${A}(X)$ where $X$ has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that also includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bruce Olberding. 2017-10-04. On the topology of valuation-theoretic representations of integrally closed domains. https://arxiv.org/abs/1710.01774

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Bourbaki Degree of Line Arrangements

We study the Bourbaki degree of line arrangements in the projective plane and its interaction with the intersection lattice and the syzygies of the gradient ideal. We show that the Bourbaki degree is obtained by evaluating the reduced characteristic polynomial at the initial degree of the first syzygy module. This leads to a sharp upper bound and to refinements involving the two largest intersection multiplicities, with consequences for the global Tjurina number, the freeness defect, and Terao's conjecture, including an improvement of Dimca's numerical criterion when the smaller exponent is at least five. We also establish addition--deletion formulas and show that the defect from the sharp bound is monotone under line addition. Finally, we prove that the Bourbaki degree is determined by the intersection lattice for arrangements with at most eight lines, while examples with isomorphic intersection lattices and different Bourbaki degrees exist for every number of lines at least nine.

math.AC

On triviality of $\mathbb{A}^2$-forms admitting a nontrivial $\mathbb{G}_a$-action

T. Kambayashi had shown that $\mathbb{A}^2$-forms over separable field extensions are necessarily polynomial rings. However, there exist inseparable $\mathbb{A}^2$-forms which are not necessarily polynomial rings. In this paper, we give a structure theorem for $\mathbb{A}^2$-forms over arbitrary field extensions admitting a nontrivial $\mathbb{G}_a$-action. From this structure theorem we derive some conditions under which an $\mathbb{A}^2$-form becomes trivial. In particular, we prove that over a field $k$, a factorial $\mathbb{A}^2$-form having a $k$-rational point and a non-trivial $\mathbb{G}_a$-action is trivial and we also give examples demonstrating that none of these hypotheses can be discarded. As a consequence of the structure theorem, we obtain a generalization of the Zariski Cancellation Theorem for the affine plane over an arbitrary field.

math.AC

Symbolic powers of the ideal of$n$ general points in $P^{n-1}$

Problem L of Fröberg--Lundqvist--Oneto--Shapiro asks for the difference between the Hilbert series of ordinary and symbolic powers of the ideal of general points in projective space. We solve this completely for \(n\) general points of \(\PP^{n-1}\). Besides a closed formula for \[ \HS(S/I^m)-\HS(S/I^{(m)}), \] we determine all minimal monomial generators of \(I^{(m)}\), and describe the symbolic Rees algebra. We also show that containment \(I^{(m)}\subseteq I^r\) is detected solely by initial degrees. This gives the exact containment threshold, the Waldschmidt constant \(\walpha\), the resurgence \(\Res\), and the asymptotic resurgence \(\aRes\): \[ \walpha(I)=\frac{n}{n-1}, \qquad \Res(I)=\aRes(I)=\frac{2(n-1)}{n}. \] We also take the first step beyond \(n\) points: for \(n+1\) general points of \(\PP^{n-1}\) --- again a rigid, non-monomial configuration --- we identify the defining quadrics, resolve the case \(n=3\) completely (a complete intersection, with \(J^{(m)}=J^m\) for all \(m\) and resurgence \(1\)), and propose an exact Waldschmidt-constant formula \(\walpha=\frac{n+1}{n-1}\) for all \(n\), verified computationally in every case we could check.

math.AC