[Paper Review] Topologische und algebraische Filter

Holger Brenner|ArXiv.org|Feb 19, 2003

Rings, Modules, and Algebras1 references3 citations

TL;DR

This paper introduces a unified framework for topological and algebraic filters in commutative monoids, generalizing both topological filters and multiplicative systems in commutative algebra. It constructs the 'filtrum' of a monoid as a topological space with functorial properties, establishes its role as a universal object in the category of locally ringed spaces, and demonstrates its utility in characterizing affine schemes and cohomological properties via filter convergence and sheaf-theoretic constructions.

ABSTRACT

We provide the set of filters (saturated submonoids) in a commutative monoid with a topology (like the spectrum of a ring) and study the resulting spaces.

Motivation & Objective

• To generalize the concept of filters beyond topology and algebra by defining them in arbitrary commutative monoids.
• To construct the filtrum of a monoid as a topological space with functorial properties, enabling both covariant and contravariant behavior.
• To establish the filtrum as a universal object in the category of locally ringed spaces, analogous to the spectrum in algebraic geometry.
• To clarify the correspondence between algebraic and topological structures in beringed spaces using filter-theoretic methods.
• To explore applications in affine schemes, cohomology, and complex spaces through filter convergence and sheaf-theoretic constructions.

Proposed method

• Define a filter in a commutative monoid as a multiplicatively closed, divisor-closed subset containing the identity.
• Construct the filtrum of a monoid as the set of all filters, equipped with a topology induced by basic open sets defined via elements of the monoid.
• Prove that the filtrum construction is a functor, both covariant and contravariant, via morphisms of monoids.
• Characterize filtrum spaces topologically, showing they are spectral spaces when the monoid is cancellative and satisfies certain finiteness conditions.
• Equip the filtrum of a topological space with a structure sheaf, showing it contains all image sheaves of continuous maps.
• Use filter convergence and the notion of fixed filters to prove affineness of open subsets in noetherian, integral, one-dimensional schemes without cohomological tools.

Experimental results

Research questions

• RQ1 How can filters in commutative monoids unify topological and algebraic notions, and what are their fundamental properties?
• RQ2 What topological structure does the filtrum of a monoid admit, and how does it behave under monoid homomorphisms?
• RQ3 In what sense is the filtrum of a ring a universal object in the category of locally ringed spaces, and how does it compare to the spectrum?
• RQ4 How do algebraic filters in beringed spaces relate to topological properties such as affineness, completeness, or Steinness?
• RQ5 Can filter convergence be used to prove geometric properties like affineness in schemes without cohomological methods?

Key findings

• The filtrum of a commutative monoid is a topological space that generalizes both the spectrum of a ring and the space of filters in topology.
• The filtrum construction yields a functor that is both covariant and contravariant, enabling a new perspective on morphisms between monoids.
• The filtrum of a noetherian, integral, one-dimensional scheme has the property that every open subset is affine, proven via filter convergence and the fixed filter concept.
• The filtrum of a topological space contains all image sheaves of continuous maps, making it a universal object for sheaf-theoretic constructions.
• The filtrum of a ring, equipped with a structure sheaf, satisfies the same universal property in the category of locally ringed spaces as the spectrum does in the category of locally ringed schemes.
• The paper shows that a beringed space can be affine if its structure morphism to the filtrum is bijective, suggesting a potential characterization of affine schemes via filter-theoretic data.