Proper spaces are spectral

Amartya Goswami

2024-08-20

Abstract:Since Hochster's work, spectral spaces have attracted increasing interest. Through this note we intend to show that the set of proper ideals of a ring endowed with coarse lower topology is a spectral space.

Commutative Algebra

What problem does this paper attempt to address?

Spectrality and monoids

Amartya Goswami

2024-07-06

Abstract:We prove that the set of proper ideals of a monoid endowed with coarse lower topology is a spectral space.

Rings and Algebras
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
Ideal spaces: An extension of structure spaces of rings

Themba Dube,Amartya Goswami

2024-08-20

Abstract:Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly irreducible, irreducible, completely irreducible, proper, minimal, primary, nil, nilpotent, regular, radical, principal, finitely generated ideals. We characterise ideal spaces that are sober. We introduce the notion of a strongly disconnected spaces and show that for a ring with zero Jacobson radical, strongly disconnected ideal spaces containing all maximal ideals of the ring imply existence of non-trivial idempotent elements in the ring. We also give a sufficient condition for a spectrum to be connected.

Commutative Algebra,Rings and Algebras
Topological properties of some classes of submodules

Amartya Goswami

2023-04-16

Abstract:We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation properties and characterize structure spaces in which nonempty irreducible closed subsets have unique generic points. We provide a sufficient condition for the connectedness of structure spaces. We prove that the structure spaces of proper submodules are spectral, and moreover, we characterize the spectral structure spaces of Noetherian modules. Finally, we discuss continuous functions between these spaces.

Rings and Algebras
Lower spaces of multiplicative lattices

Amartya Goswami

2024-07-06

Abstract:We consider some distinguished classes of elements of a multiplicative lattice endowed with coarse lower topologies, and call them lower spaces. The primary objective of this paper is to study the topological properties of these lower spaces, encompassing lower separation axioms and compactness. We characterize lower spaces that exhibit sobriety. Introducing the concept of strongly disconnected spaces, we establish a correlation between strongly disconnected lower spaces and the presence of nontrivial idempotent elements in the corresponding multiplicative lattices. Additionally, we provide a sufficient condition for a lower space to be connected. We prove that the lower space of proper elements is a spectral space, and we further explore continuous maps between lower spaces.

Rings and Algebras
A Note on Ideal Spaces of Banach Algebras

J. F. Feinstein,D. W. B. Somerset

DOI: https://doi.org/10.1112/s0024609398004512

IF: 1.036

1998-11-01

Bulletin of the London Mathematical Society

Abstract:In a previous paper, the second author introduced a compact topology τr on the space of closed ideals of a unital Banach algebra A. If A is separable, then τr is either metrizable or else neither Hausdorff nor first countable. Here it is shown that τr is Hausdorff if A is C1[0, 1], but that if A is a uniform algebra, then τr is Hausdorff if and only if A has spectral synthesis. An example is given of a strongly regular, uniform algebra for which every maximal ideal has a bounded approximate identity, but which does not have spectral synthesis. 1991 Mathematics Subject Classification 46H10.

mathematics
Spectral Synthesis on Varieties

László Székelyhidi

2024-10-03

Abstract:In his classical paper, Laurent Schwartz proved that on the real line, in every linear translation invariant space of continuous complex valued functions, which is closed under compact convergence the exponential monomials span a dense subspace. He studied so-called local ideals in the space of Fourier transforms, and his proof based on the observation that, on the one hand, these local ideals are completely determined by the exponential monomials in the space, and, on the other hand, these local ideals completely determine the space itself. On the other hand, Dimitri Gurevich gave counterexamples for Schwartz's theorem in higher dimension. In this paper we show that the ideas of localisation can be extended to general locally compact Abelian groups using abstract derivations on the Fourier algebra of compactly supported measures. Based on this method we present necessary and sufficient conditions for spectral synthesis for varieties on locally compact Abelian groups. Using localisation, in \cite{MR4789359} we proved that spectral synthesis holds on a locally compact Abelian group $G$ if and only if it holds on $G/B$, where $B$ is the closed subgroup of compact elements. This may lead to a complete characterisation of locally compact Abelian groups having spectral synthesis.

Functional Analysis
T 0 -spaces and the lower topology

Jimmie Lawson,Xiaoquan Xu

DOI: https://doi.org/10.1017/s0960129524000240

2024-09-20

Mathematical Structures in Computer Science

Abstract:The authors' primary goal in this paper is to enhance the study of topological spaces by using the order of specialization of a -space to introduce the lower topology (with a subbasis of closed sets ) and studying the interaction of the original topology and the lower topology. Using the lower topology, one can define and study new properties of the original space that provide deeper insight into its structure. One focus of study is the property R, which asserts that if the intersection of a family of finitely generated sets , finite, is contained in an open set , then the same is true for finitely many of the family. We first show that property R is equivalent to several other interesting properties, for example, the property that all closed subsets of the original space are compact in the lower topology. We then find conditions under which these spaces are compact, well-filtered, and coherent, a weaker variant of stably compact spaces. We also investigate what have been called strong -spaces, develop some of their basic properties, and make connections with the earlier considerations involving spaces satisfying property R. Two key results we obtain are that if a dcpo with the Scott topology is a strong -space, then it is well-filtered, and if additionally the Scott topology of the product is the product of the Scott topologies of the factors, then the Scott space of is sober. We also exhibit connections of this work with de Groot duality.

computer science, theory & methods
Normal structure spaces of groups

Amartya Goswami

2024-08-20

Abstract:Can we do a topological study of various classes of normal subgroups endowed with a hull-kernel-type topology? In this paper, we have provided an answer to this question. We have introduced as well a new class of normal subgroups called primitive subgroups. Separation axioms, compactness, connectedness, and continuities of these spaces have been studied. We have concluded with the question of determining spectral spaces among them.

Group Theory,Rings and Algebras
Spectral synthesis and topologies on ideal spaces for Banach *-algebras

J.F. Feinstein,E. Kaniuth,D.W.B. Somerset

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

1999-10-06

Abstract:This paper continues the study of spectral synthesis and the topologies $\tau_{\infty}$ and $\tau_r$ on the ideal space of a Banach algebra, concentrating on the class of Banach $^*$-algebras, and in particular on $L^1$-group algebras. It is shown that if a group G is a finite extension of an abelian group then $\tau_r$ is Hausdorff on the ideal space of $L^1(G)$ if and only if $L^1(G)$ has spectral synthesis, which in turn is equivalent to $G$ being compact. The result is applied to nilpotent groups, [FD]$^-$-groups, and Moore groups. An example is given of a non-compact, non-abelian group G for which $L^1(G)$ has spectral synthesis. It is also shown that if G is a non-discrete group then $\tau_r$ is not Hausdorff on the ideal lattice of the Fourier algebra A(G).

Operator Algebras,Functional Analysis
$k$-spaces of non-domain-valued geometric points

Amartya Goswami

2024-10-01

Abstract:The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the corresponding Zariski space. We prove that a $k$-space is $T_{\scriptscriptstyle 0}$, quasi-compact, spectral, and connected. Moreover, we study continuous maps between such $k$-spaces. We conclude with a question about construction of a sheaf of $k$-spaces similar to affine schemes.

Algebraic Geometry
On the sheafyness property of spectra of Banach rings

Federico Bambozzi,Kobi Kremnizer

DOI: https://doi.org/10.1112/jlms.12855

2024-01-15

Journal of the London Mathematical Society

Abstract:Abstract Let be a non‐Archimedean Banach ring, satisfying some mild technical hypothesis that we will specify later on. We prove that it is possible to associate to a homotopical Huber spectrum via the introduction of the notion of derived rational localization. The spectrum so obtained is endowed with a derived structural sheaf of simplicial Banach algebras for which the derived C̆ech–Tate complex is strictly exact. Under some hypothesis, we can prove that there is a canonical morphism of underlying topological spaces that is a homeomorphism in some well‐known examples of non‐sheafy Banach rings, where is the usual Huber spectrum of . This permits the use of the tools from derived geometry to understand the geometry of in cases when the classical structure sheaf is not a sheaf.

mathematics
Spectral analysis on standard locally homogeneous spaces

Fanny Kassel,Toshiyuki Kobayashi

2024-10-18

Abstract:Let $X=G/H$ be a reductive homogeneous space with $H$ noncompact, endowed with a $G$-invariant pseudo-Riemannian structure. Let $L$ be a reductive subgroup of $G$ acting properly on $X$ and $\Gamma$ a torsion-free discrete subgroup of $L$. Under the assumption that the complexification $X_{\mathbb C}$ is $L_{\mathbb C}$-spherical, we prove an explicit correspondence between spectral analysis on the standard locally homogeneous space $X_{\Gamma}=\Gamma\backslash X$ and on $\Gamma\backslash L$ via branching laws for the restriction to $L$ of irreducible representations of $G$. In particular, we prove that the pseudo-Riemannian Laplacian on $X_{\Gamma}$ is essentially self-adjoint, and that it admits an infinite point spectrum when $X_{\Gamma}$ is compact or $\Gamma\subset L$ is arithmetic. The proof builds on structural results for invariant differential operators on spherical homogeneous spaces with overgroups.

Representation Theory,Differential Geometry,Spectral Theory
Spectral synthesis for Banach Algebras II

J.F. Feinstein,D.W.B. Somerset

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

2000-05-12

Abstract:This paper continues the study of spectral synthesis and the topologies $\tau_{\infty}$ and $\tau_r$ on the ideal space of a Banach algebra, concentrating particularly on the class of Haagerup tensor products of C$^*$-algebras. For this class, it is shown that spectral synthesis is equivalent to the Hausdorffness of $\tau_{\infty}$. Under a weak extra condition, spectral synthesis is shown to be equivalent to the Hausdorffness of $\tau_r$.

Operator Algebras,Functional Analysis
Spectra of typical Hilbert space operators

Marcel Scherer

2024-09-23

Abstract:Let $\mathcal{B}(H)$ be the bounded, linear operators on a separable Hilbert space equipped with the norm topology. A property is called typical if the set of operators fulfilling the property is co-meager. We show that having non-empty continuous spectrum is a typical property and that the operators with non-empty point spectrum form a nowhere dense set. In addition we show that the set of operators with empty point spectrum is dense and characterize the closure of the set of those operators for which the spectrum and the point spectrum coincide.

Functional Analysis,Spectral Theory
Spectrum in alternative topological algebras and a new look at old theorems

Bamdad R. Yahaghi

2024-07-08

Abstract:In this paper, we consider real and complex algebras as well as algebras over general fields. In Section 2, we revisit and prove several results on (quadratic) algebras over general fields. In Section 3, we show how to develop the spectral theory in the context of complex (resp. real) one-sided alternative topological algebras. As an application of the existence of spectrum, we prove the existence of nontrivial hyperinvariant linear manifolds for nonscalar (resp. nonquadratic) continuous linear operators acting on complex (resp. real) Fréchet spaces. Along the way, spectral theory is used to prove several topological counterparts of the well-known theorems of Frobenius, Hurwitz, Gelfand-Mazur, and Zorn. This is done, for example, in the context of left (resp. right) alternative topological algebras whose duals separate their elements. In Section 4, we consider real and complex algebras in various topological settings and reconsider and prove several results. For instance, it is shown that given a $ 1 < k \in \mathbb{N}$, on any locally complex algebra, there exists a unique nonzero vector space norm, say, $\|.\|$, satisfying the identity $\|a^k\| = \|a\|^k$ on the algebra. In Section 5, among other things, we revisit and slightly strengthen the celebrated theorems of Frobenius, Zorn, Gelfand-Mazur, and Hurwitz, and also give slight extensions of their topological counterparts, e.g., theorems of Albert, Kaplansky, and Urbanik-Wright to name a few, in several settings.

Rings and Algebras
Almost isometric ideals in Banach spaces

Trond A. Abrahamsen,Vegard Lima,Olav Nygaard

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

2013-06-21

Abstract:A natural class of ideals, almost isometric ideals, of Banach spaces is defined and studied. The motivation for working with this class of subspaces is our observation that they inherit diameter 2 properties and the Daugavet property. Lindenstrauss spaces are known to be the class of Banach spaces that are ideals in every superspace; we show that being an almost isometric ideal in every superspace characterizes the class of Gurariy spaces.

Functional Analysis
The spectral site revisited

Axel Osmond

2023-11-17

Abstract:We give the site-theoretic account of the spectral construction as first introduced by Coste. We provide a detailed examination of the geometric properties of the spectrum, in particular what classes of topoi it produces when applied to the different classes of objects and maps in a geometry. We also give a new proof of the spectral adjunction for set-valued models and the classifying property of the structure sheaf. We also discuss the opposition between ``gros and petit" spectra and relation with some canonical classifying sites. We then describe the general case of a modelled topos. We also prove that the spectrum of a locally modelled topos is local over its base and deduce a new proof of the spectral adjunction for the general case. We finally give several examples from the world of propositional algebras, and in particular recover classifying topoi of first order theories in various fragment of logic as spectra of some suitably modelled topoi.

Category Theory,Algebraic Geometry,Logic
Ideals in quantales, II

Amartya Goswami

2023-08-12

Abstract:As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of ideals. These ideals are equipped with quantale topologies. The primary objectives encompass characterizing quantale spaces exhibiting sobriety, examining several conditions pertaining to quasi-compactness, and demonstrating that quantale spaces comprised of proper ideals adhere to the spectral properties as defined by Hochster. We introduce the notion of a strongly disconnected spaces and show that for a quantale with zero Jacobson radical, strongly disconnected quantale spaces containing all maximal ideals of the quantale imply existence of non-trivial idempotent elements in the quantale. Additionally, a sufficient criterion for establishing the connectedness of a quantale space is presented. Finally, we discuss on continuous maps between quantale spaces.

General Topology
Spectral sets and weak tiling

Mihail N. Kolountzakis,Nir Lev,Máté Matolcsi

DOI: https://doi.org/10.1007/s43670-023-00070-w

2023-10-22

Abstract:A set $\Omega \subset \mathbb{R}^d$ is said to be spectral if the space $L^2(\Omega)$ admits an orthogonal basis of exponential functions. Fuglede (1974) conjectured that $\Omega$ is spectral if and only if it can tile the space by translations. While this conjecture was disproved for general sets, it was recently proved that the Fuglede conjecture does hold for the class of convex bodies in $\mathbb{R}^d$. The proof was based on a new geometric necessary condition for spectrality, called "weak tiling". In this paper we study further properties of the weak tiling notion, and present applications to convex bodies, non-convex polytopes, product domains and Cantor sets of positive measure.

Classical Analysis and ODEs,Functional Analysis,Metric Geometry

Proper spaces are spectral

Spectrality and monoids

Distinguished classes of ideal spaces and their topological properties

Ideal spaces: An extension of structure spaces of rings

Topological properties of some classes of submodules

Lower spaces of multiplicative lattices

A Note on Ideal Spaces of Banach Algebras

Spectral Synthesis on Varieties

T 0 -spaces and the lower topology

Normal structure spaces of groups

Spectral synthesis and topologies on ideal spaces for Banach *-algebras

$k$-spaces of non-domain-valued geometric points

On the sheafyness property of spectra of Banach rings

Spectral analysis on standard locally homogeneous spaces

Spectral synthesis for Banach Algebras II

Spectra of typical Hilbert space operators

Spectrum in alternative topological algebras and a new look at old theorems

Almost isometric ideals in Banach spaces

The spectral site revisited

Ideals in quantales, II

Spectral sets and weak tiling