Researcher profile

Dario Spirito

Dario Spirito contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Almost Dedekind domains without radical factorization

We study almost Dedekind domains with respect to the failure of ideals to have radical factorization, that is, we study how to measure how far an almost Dedekind domain is from being an SP-domain. To do so, we consider the maximal space $\mathcal{M}=\mathrm{Max}(R)$ of an almost Dedekind domain $R$, interpreting its (fractional) ideals as maps from $\mathcal{M}$ to $\mathbb{Z}$, and looking at the continuity of these maps when $\mathcal{M}$ is endowed with the inverse topology and $\mathbb{Z}$ with the discrete topology. We generalize the concept of critical ideals by introducing a well-ordered chain of closed subsets of $\mathcal{M}$ (of which the set of critical ideals is the first step) and use it to define the class of \emph{SP-scattered domains}, which includes the almost Dedekind domains such that $\mathcal{M}$ is scattered and, in particular, the almost Dedekind domains such that $\mathcal{M}$ is countable. We show that for this class of rings the group $\mathrm{Inv}(R)$ is free by expressing it as a direct sum of groups of continuous maps, and that, for every length function $\ell$ on $R$ and every ideal $I$ of $R$, the length of $R/I$ is equal to the length of $R/\mathrm{rad}(I)$.

preprint2022arXiv

Localizations of integer-valued polynomials and of their Picard group

We prove a necessary and sufficient criterion for the ring of integer-valued polynomials to behave well under localization. Then, we study how the Picard group of $\mathrm{Int}(D)$ and the quotient group $\mathcal{P}(D):=\mathrm{Pic}(\mathrm{Int}(D))/\mathrm{Pic}(D)$ behave in relation to Jaffard, weak Jaffard and pre-Jaffard families; in particular, we show that $\mathcal{P}(D)\simeq\bigoplus\mathcal{P}(T)$ when $T$ ranges in a Jaffard family of $D$, and study when similar isomorphisms hold when $T$ ranges in a pre-Jaffard family. In particular, we show that the previous isomorphism holds when $D$ is an almost Dedekind domain such that the ring integer-valued polynomials behave well under localization and such that the maximal space of $D$ is scattered with respect to the inverse topology.

preprint2022arXiv

Radical semistar operations

We introduce and study the set of radical stable operations of an integral domain $D$. We show that their set is a complete lattice that is the join-completion of the set of spectral semistar operations, and we characterize when every radical operation is spectral (under the hypothesis that $D$ is rad-colon coherent). When $D$ is a Prüfer domain such that every set of minimal prime ideals is scattered, we completely classify stable semistar operations.

preprint2021arXiv

Metrizability of spaces of valuation domains associated to pseudo-convergent sequences

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this set either with the Zariski or with the constructible topology. In particular, we consider the two subspaces induced by sequences with a prescribed breadth or with a prescribed pseudo-limit. We give some necessary conditions for the Zariski space to be metrizable (under the constructible topology) in terms of the value group and the residue field of $V$.

preprint2021arXiv

The derived sequence of a pre-Jaffard family

We introduce the concept of \emph{pre-Jaffard family}, a generalization of Jaffard families obtained by substituting the locally finite hypothesis with a much weaker compactness hypothesis. From any such family, we construct a sequence of overrings of the starting domain that allows to decompose stable semistar operations and singular length functions in more cases than what is allowed by Jaffard families. We also apply the concept to one-dimensional domains, unifying the treatment of sharp and dull degree of a Prüfer domain.

preprint2019arXiv

The Golomb space is topologically rigid

The $Golomb$ $space$ $\mathbb N_τ$ is the set $\mathbb N$ of positive integers endowed with the topology $τ$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_τ$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by the first author at Mathoverflow in 2017.