Residual functions and divisorial ideals

Dario Spirito

2024-09-18

Abstract:We define a \emph{residual function} on a topological space $X$ as a function $f:X\longrightarrow\mathbb{Z}$ such that $f^{-1}(0)$ contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Prüfer domain.

Commutative Algebra,General Topology

What problem does this paper attempt to address?

On Divisor Topology of Commutative Rings

Uğur Yiğit,Suat Koç

2024-09-16

Abstract:Let $R\ $be an integral domain and $R^{\#}$ the set of all nonzero nonunits of $R.\ $For every elements $a,b\in R^{\#},$ we define $a\sim b$ if and only if $aR=bR,$ that is, $a$ and $b$ are associated elements. Suppose that $EC(R^{\#})$ is the set of all equivalence classes of $R^{\#}\ $according to $\sim$.$\ $Let $U_{a}=\{[b]\in EC(R^{\#}):b\ $divides $a\}$ for every $a\in R^{\#}.$ Then we prove that the family $\{U_{a}\}_{a\in R^{\#}}$ becomes a basis for a topology on $EC(R^{\#}).\ $This topology is called divisor topology of $R\ $and denoted by $D(R).\ $We investigate the connections between the algebraic properties of $R\ $and the topological properties of$\ D(R)$. In particular, we investigate the seperation axioms on $D(R)$, first and second countability axioms, connectivity and compactness on $D(R)$. We prove that for atomic domains $R,\ $the divisor topology $D(R)\ $is a Baire space. Also, we characterize valution domains $R$ in terms of nested property of $D(R).$ In the last section, we introduce a new topological proof of the infinitude of prime elements in a UFD and integers by using the topology $D(R)$.

Commutative Algebra,General Topology
The reciprocal complements of classes of integral domains

Lorenzo Guerrieri

2024-11-01

Abstract:Given an integral domain $D$ with quotient field $\mathcal{Q}(D)$, the reciprocal complement of $D$ is the subring $R(D)$ of $\mathcal{Q}(D)$ whose elements are all the sums $\frac{1}{d_1}+\ldots+\frac{1}{d_n} $ for $d_1, \ldots, d_n$ nonzero elements of $D$. In this article we study problems related with prime ideals, localizations and Krull dimension of rings of the form $R(D)$ and we describe the reciprocal complements of classes of domains, including semigroup algebras and $ D+ \mathfrak{m} $ constructions. We also characterize when $R(D)$ is a DVR.

Commutative Algebra
On effective non-vanishing and base-point-freeness

Yujiro Kawamata

DOI: https://doi.org/10.48550/arXiv.math/0003169

2000-04-14

Abstract:Let $X$ be a complete normal variety, $B$ an effective $\mathbb{R}$-divisor on $X$, and $D$ a Cartier divisor on $X$. Assume that the pair $(X, B)$ is log terminal. We consider the problem whether $H^0(X, D) \ne 0$ and obtain some results in lower dimensions.

Algebraic Geometry
Divisorial Ideals in the Power Series Ring

Hamed Ahmed

DOI: https://doi.org/10.1007/s40840-024-01724-1

2024-06-19

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:Let be an extension of integral domains, be the power series ring over B , and be a subring of In this paper, we give a complete description of v -invertible v -ideals (with nonzero trace in A ) of R . We show that if B is a completely integrally closed domain and I is a fractional divisorial v -invertible ideal of R with nonzero trace over A , then for some an integral divisorial v -invertible ideal of B and a nonzero ideal of A .

mathematics
Residual Deficiency

Mariano Zeron-Medina Laris

DOI: https://doi.org/10.48550/arXiv.1304.5061

2013-06-11

Abstract:We introduce a new real valued invariant for finitely presented groups called residual deficiency. Its main property is the following. Let G be a finitely presented group. If the residual deficiency of G is greater than one, then G has a finite index subgroup with deficiency greater than one. The latter property is strong. For instance, such a group is large, has positive rank gradient and positive first L^2-Betti number, among other properties. We also compute the residual deficiency of some well known families of presentations, prove that residual deficiency minus one is supermultiplicative with respect to finite index normal subgroups and find lower bounds for the residual deficiency of quotients.

Group Theory
A note on the remainders of rectifiable spaces

junwen zhang,wei he,liang xie

2014-01-01

Bulletin of the Iranian Mathematical Society

Abstract:By a space we mean a Tychonoff topological space. A remainder of a space X is the subspace bX / X of bX, where bX is a Hausdorff compactification of X. The closure of a subset A in the space X is denoted by (A) over bar (X), and (A) over bar stands for the closure of A in bX. In this paper, tau is an infinite cardinal. Remainders of a space X have many interesting properties and have been studied extensively in literature. A famous classical result in this study is the following theorem of Henriksen and Isbell [12]:
Three dimensional divisorial extremal neighborhoods

Nikolaos Tziolas

DOI: https://doi.org/10.48550/arXiv.math/0309010

2003-09-18

Abstract:Revised version. Proper credits added. In this paper we study divisorial extremal neighborhoods f:Y-->X, such that X is a cAn type three dimensional terminal singularity, and C=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one-parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods.

Algebraic Geometry
Distinguished classes of ideal spaces and their topological properties

Carmelo A. Finocchiaro,Amartya Goswami,Dario Spirito

2024-08-20

Abstract:We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them.

Commutative Algebra,Rings and Algebras
Radical factorization in higher dimension

Dario Spirito

2024-09-16

Abstract:We generalize the theory of radical factorization from almost Dedekind domain to strongly discrete Prüfer domains; we show that, for a fixed subset $X$ of maximal ideals, the finitely generated ideals with $\mathcal{V}(I)\subseteq X$ have radical factorization if and only if $X$ contains no critical maximal ideals with respect to $X$. We use these notions to prove that in the group $\mathrm{Inv}(D)$ of the invertible ideals of a strongly discrete Prüfer domains is often free: in particular, we show it when the spectrum of $D$ is Noetherian or when $D$ is a ring of integer-valued polynomials on a subset over a Dedekind domain.

Commutative Algebra
The Rees algebra and analytic spread of a divisorial filtration

Steven Dale Cutkosky

2024-07-29

Abstract:In this paper we investigate some properties of Rees algebras of divisorial filtrations and their analytic spread. A classical theorem of McAdam shows that the analytic spread of an ideal $I$ in a formally equidimensional local ring is equal to the dimension of the ring if and only if the maximal ideal is an associated prime of $R/\overline{I^n}$ for some $n$. We show in Theorem 1.6 that McAdam's theorem holds for $\mathbb Q$-divisorial filtrations in an equidimensional local ring which is essentially of finite type over a field. This generalizes an earlier result for $\mathbb Q$-divisorial filtrations in an equicharacteristic zero excellent local domain by the author. This theorem does not hold for more general filtrations. We consider the question of the asymptotic behavior of the function $n\mapsto \lambda_R(R/I_n)$ for a $\mathbb Q$-divisorial filtration $\mathcal I=\{I_n\}$ of $m_R$-primary ideals on a $d$-dimensional normal excellent local ring. It is known from earlier work of the author that the multiplicity $$ e(\mathcal I)=d! \lim_{n\rightarrow\infty}\frac{\lambda_R(R/I_n)}{n^d} $$ can be irrational. We show in Lemma 4.1 that the limsup of the first difference function $$ \limsup_{n\rightarrow\infty}\frac{\lambda_R(I_n/I_{n+1})}{n^{d-1}} $$ is always finite for a $\mathbb Q$-divisorial filtration. We then give an example in Section 4 showing that this limsup may not exist as a limit. In the final section, we give an example of a symbolic filtration $\{P^{(n)}\}$ of a prime ideal $P$ in a normal two dimensional excellent local ring which has the property that the set of Rees valuations of all the symbolic powers $P^{(n)}$ of $P$ is infinite.

Commutative Algebra,Algebraic Geometry
Totally Invariant Divisors of non Trivial Endomorphisms of the Projective Space

Mabed Yanis

DOI: https://doi.org/10.48550/arXiv.2111.14410

2021-11-29

Abstract:It is expected that a totally invariant divisor of a non-isomorphic endomorphism of the complex projective space is a union of hyperplanes. In this paper, we compute an upper bound for the degree of such a divisor. As a consequence, we prove the linearity of totally invariant divisors with isolated singularities.

Algebraic Geometry,Dynamical Systems
Stickelberger ideals and divisor class numbers

Linsheng Yin

DOI: https://doi.org/10.1007/s002090100310

2002-01-01

Mathematische Zeitschrift

Abstract:. Let K/k be a finite abelian extension of function fields with Galois group G . Using the Stickelberger elements associated to K/k studied by J. Tate, P. Deligne and D. Hayes, we construct an ideal I in the integral group ring ℤ[G] relative to the extension K/k , whose elements annihilate the group of divisor classes of degree zero of K and whose rank is equal to the degree of the extension. When K/k is a (wide or narrow) ray class extension, we compute the index of I in ℤ[G] , which is equal to the divisor class number of K up to a trivial factor.
Some remarks on Prüfer rings with zero-divisors

Federico Campanini,Carmelo Antonio Finocchiaro

DOI: https://doi.org/10.1016/j.jpaa.2021.106692

2024-03-29

Abstract:Let $A$ be the fiber product $R\times_TB$, where $B\to T$ is a surjective ring homomorphism with regular kernel and $R\subseteq T$ is a ring extension where $T$ is an overring of $R$. In this paper we provide a characterization of when $A$ has distinguished Prüfer-like properties and new constructions of Prüfer rings with zero-divisors. Furthermore we give examples of homomorphic images of Prüfer rings that are Prüfer without assuming that the kernel of the surjection is regular. Finally we provide some remarks on the ideal theory of pre-Prüfer rings.

Mathematics
The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

Bruce Olberding,William Heinzer

2023-06-14

Abstract:Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if a collection of such prime divisors is taken below a certain ``level,'' then the intersection is an almost Dedekind domain having the property that every nonzero ideal can be represented uniquely as an irredundant intersection of powers of maximal ideals.

Commutative Algebra
A free approach to residual intersections

S. Hamid Hassanzadeh

DOI: https://doi.org/10.48550/arXiv.2409.05705

2024-09-09

Abstract:This paper studies algebraic residual intersections in rings with Serre's condition $ S_{s} $. It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a uniform upper bound for the multiplicity of residual intersections. In positive characteristic, it follows that residual intersections are cohomologically complete intersection and, hence, their variety is connected in codimension one.

Commutative Algebra
A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Claudio Fontanari

2024-04-12

Abstract:We introduce and motivate the following question: Is every effective strictly nef Cartier divisor on a projective variety big? In the appendix, Andreas Höring produces a counterexample, thus providing a negative answer.

Algebraic Geometry
Divisor Functions: Train-like Structure and Density Properties

Evelina Dubovski

2024-05-28

Abstract:We investigate the density properties of generalized divisor functions $\displaystyle f_s(n)=\frac{\sum_{d|n}d^s}{n^s}$ and extend the analysis from the already-proven density of $s=1$ to $s\geq0$. We demonstrate that for every $s>0$, $f_s$ is locally dense, revealing the structure of $f_s$ as the union of infinitely many $trains$ -- specially organized collections of decreasing sequences -- which we define. We analyze Wolke's conjecture that $|f_1(n)-a|<\frac{1}{n^{1-\varepsilon}}$ has infinitely many solutions and prove it for points in the range of $f_s$. We establish that $f_s$ is dense for $0<s\leq1$ but loses density for $s>1$. As a result, in the latter case the graphs experience ruptures. We extend Wolke's discovery $\displaystyle |f_1(n)-a|<\frac{1}{n^{0.4-\varepsilon}}$ to all $0<s\leq1$. In the last section, we prove that the rational complement to the range of $f_s$ is dense for all $s>0$. Thus, the range of $f_1$ and its complement form a partition of rational numbers to two dense subsets. If we treat the divisor function as a uniformly distributed random variable, then its expectation turns out to be $\zeta(s+1)$. The theoretical findings are supported by computations. Ironically, perfect and multiperfect numbers do not exhibit any distinctive characteristics for divisor functions.

Number Theory
On Divisible And Torsionfree Modules

Lixin Mao,Nanqing Ding

DOI: https://doi.org/10.1080/00927870701724201

2008-01-01

Communications in Algebra

Abstract:A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext(1) (G, M) = 0 (resp. Tor(1) (N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A -> B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K -> F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of volt Neumann regular rings and PP rings are given.
A non-boundary nef divisor on $\bar{M}_{0,12}$

Aaron Pixton

DOI: https://doi.org/10.48550/arXiv.1112.5512

2011-12-23

Algebraic Geometry

Abstract:We describe a nef divisor $D_P$ on $\bar{M}_{0,12}$ that is not numerically equivalent to an effective sum of boundary divisors.
Types of Irreducible Divisor Graphs of Noncommutative Domains, II

A. Naser,R. E. Abdel-Khalek,R. M. Salem,A. M. Hassanein

2024-04-07

Abstract:In this paper, we continue investigation of the directed and undirected irreducible divisor graph concepts $G(x)$ and $\Gamma (x)$ of $x\in D^{\ast} \backslash U(D)$, respectively, which were introduced in [7]. Consequently, we introduce two generalizations of these concepts. The first one is the irreducible divisor simplicial complex $S(x)$ of $x\in D^{\ast} \backslash U(D)$ in a noncommutative atomic domain $D$, which simultaneously extends the commutative case that was introduced by R. Baeth and J. Hobson in [3]. The second one is the directed and undirected $\tau $-irreducible divisor graphs $G_{\tau }(x)$ and $\Gamma _{\tau }(x)$ of $x\in D^{\ast} \backslash U(D)$, respectively, in a noncommutative $\tau $-atomic domain $D$ with a symmetric and associate preserving relation $\tau $ on $D^{\ast} \backslash U(D)$. Those graphs also extend the commutative case that was introduced by C. P. Mooney in [5]. Furthermore, we extend the results of [3] and [5] to give a characterization of n-unique factorization domains via those two generalizations.

Rings and Algebras

Residual functions and divisorial ideals

On Divisor Topology of Commutative Rings

The reciprocal complements of classes of integral domains

On effective non-vanishing and base-point-freeness

Divisorial Ideals in the Power Series Ring

Residual Deficiency

A note on the remainders of rectifiable spaces

Three dimensional divisorial extremal neighborhoods

Distinguished classes of ideal spaces and their topological properties

Radical factorization in higher dimension

The Rees algebra and analytic spread of a divisorial filtration

Totally Invariant Divisors of non Trivial Endomorphisms of the Projective Space

Stickelberger ideals and divisor class numbers

Some remarks on Prüfer rings with zero-divisors

The ideal theory of intersections of prime divisors dominating a normal Noetherian local domain of dimension two

A free approach to residual intersections

A question on effective strictly nef divisors (with an appendix by Andreas Höring)

Divisor Functions: Train-like Structure and Density Properties

On Divisible And Torsionfree Modules

A non-boundary nef divisor on $\bar{M}_{0,12}$

Types of Irreducible Divisor Graphs of Noncommutative Domains, II