Showing 1–8 of 8 results for author: Linzi, A

L-mosaics and orthomodular lattices

Authors: Nicolò Cangiotti, Alessandro Linzi, Enrico Talotti

Abstract: In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing orthomodularity, suggesting possible applications to quantum logic. In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we formulate an algebraic property characterizing orthomodularity, suggesting possible applications to quantum logic. △ Less

Submitted 10 January, 2025; originally announced January 2025.

Comments: 15 pages, 1 figure

MSC Class: 20N20; 18B10; 03G10

A result of Krasner in categorial form

Authors: Alessandro Linzi

Abstract: In 1957 M.\ Krasner described a complete valued field $(K,v)$ via the projective limit of a system of certain structures, called hyperfields, associated to $(K,v)$. We put this result in purely category-theoretic terms by translating into a limit construction in certain slice categories of the category of valued hyperfields and their homomorphisms. In 1957 M.\ Krasner described a complete valued field $(K,v)$ via the projective limit of a system of certain structures, called hyperfields, associated to $(K,v)$. We put this result in purely category-theoretic terms by translating into a limit construction in certain slice categories of the category of valued hyperfields and their homomorphisms. △ Less

Submitted 10 October, 2023; v1 submitted 28 September, 2023; originally announced September 2023.

MSC Class: 12J20; 20N20; 18B99

On projective spaces over local fields

Authors: Nicolò Cangiotti, Alessandro Linzi

Abstract: Let $\mathcal{P}$ be the set of points of a finite-dimensional projective space over a local field $F$, endowed with the topology $τ$ naturally induced from the canonical topology of $F$. Intuitively, continuous incidence abelian group structures on $\mathcal{P}$ are abelian group structures on $\mathcal{P}$ preserving both the topology $τ$ and the incidence of lines with points. We show that the… ▽ More Let $\mathcal{P}$ be the set of points of a finite-dimensional projective space over a local field $F$, endowed with the topology $τ$ naturally induced from the canonical topology of $F$. Intuitively, continuous incidence abelian group structures on $\mathcal{P}$ are abelian group structures on $\mathcal{P}$ preserving both the topology $τ$ and the incidence of lines with points. We show that the real projective line is the only finite-dimensional projective space over an Archimedean local field which admits a continuous incidence abelian group structure. The latter is unique up to isomorphism of topological groups. In contrast, in the non-Archimedean case we construct continuous incidence abelian group structures in any dimension $n \in \mathbb{N}$. We show that if $n>1$ and the characteristic of $F$ does not divide $n+1$, then there are finitely many possibilities up to topological isomorphism and, in any case, countably many. △ Less

Submitted 13 July, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: 22 pages

MSC Class: 51A05; 51A25 (Primary) 20N20; 11F85 (Secondary)

Notes on valuation theory for Krasner hyperfields

Authors: Alessandro Linzi

Abstract: The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on hyperfields. After proving basic results and discussing several examples, we focus on the valued hyperfields that Krasner originally defined in 1957. We find that… ▽ More The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on hyperfields. After proving basic results and discussing several examples, we focus on the valued hyperfields that Krasner originally defined in 1957. We find that these must have a particular additive structure which in turns implies the existence of a valuation a'la Krasner. We note that given such a valued hyperfield $(F,v)$, the valuation induced by its additive structure does not have to be equivalent to $v$. We discuss the cases in which it does. △ Less

Submitted 20 January, 2023; originally announced January 2023.

MSC Class: 12J20; 20N20 (Primary) 13A18 (Secondary)

On the hyperfields associated to valued fields

Authors: Alessandro Linzi, Pierre Touchard

Abstract: One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by showing that the inverse limit of certain systems are stringent valued hyperfields. Secondly, we describe a Hahn-like construction which yields a henselian valued f… ▽ More One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by showing that the inverse limit of certain systems are stringent valued hyperfields. Secondly, we describe a Hahn-like construction which yields a henselian valued field from a stringent valued hyperfield. In addition, we provide an axiomatisation of the theory of stringent valued hyperfields in a language consisting of two binary function symbols $\oplus$ and $\cdot$ and two constant symbols $\textbf{0}$ and $\textbf{1}$. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Orderings and valuations in hyperfields

Authors: Katarzyna Kuhlmann, Alessandro Linzi, Hanna Stojałowska

Abstract: We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory from real fields can be generalized to real hyperfields; we point out facts that cannot. We generalize the Baer-Krull theorem to real hyperfields. We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory from real fields can be generalized to real hyperfields; we point out facts that cannot. We generalize the Baer-Krull theorem to real hyperfields. △ Less

Submitted 9 June, 2021; originally announced June 2021.

MSC Class: 12J15; 12J20; 14P10

Hypervaluations on hyperfields and ordered canonical hypergroups

Authors: Alessandro Linzi, Hanna Stojałowska

Abstract: We study the concept of hypervaluations on hyperfields. In particular, we show that any hypervaluation from a hyperfield onto an ordered canonical hypergroup is the composition of a hypervaluation onto an ordered abelian group (which induces the same valuation hyperring) and an order preserving homomorphism of hypergroups. We study the concept of hypervaluations on hyperfields. In particular, we show that any hypervaluation from a hyperfield onto an ordered canonical hypergroup is the composition of a hypervaluation onto an ordered abelian group (which induces the same valuation hyperring) and an order preserving homomorphism of hypergroups. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Caristi-Kirk and Oettli-Théra Ball Spaces and applications

Authors: Piotr Błaszkiewicz, Hanna Ćmiel, Alessandro Linzi, Piotr Szewczyk

Abstract: Based on the theory of ball spaces introduced by Kuhlmann and Kuhlmann we introduce and study Caristi-Kirk and Oettli-Théra ball spaces. We show that if the underlying metric space is complete, then these have a very strong property: every ball contains a singleton ball. This fact provides quick proofs for several results which are equivalent to the Caristi-Kirk Fixed Point Theorem, namely Ekeland… ▽ More Based on the theory of ball spaces introduced by Kuhlmann and Kuhlmann we introduce and study Caristi-Kirk and Oettli-Théra ball spaces. We show that if the underlying metric space is complete, then these have a very strong property: every ball contains a singleton ball. This fact provides quick proofs for several results which are equivalent to the Caristi-Kirk Fixed Point Theorem, namely Ekeland's Variational Principles, the Oettli-Théra Theorem, Takahashi's Theorem and the Flower Petal Theorem. △ Less

Submitted 12 January, 2019; originally announced January 2019.

Comments: 15 pages, submitted to Journal of Fixed Point Theory and Applications

MSC Class: 54H25 (Primary); 47H09; 47H10 (Secondary)