1,209 research outputs found
Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)
It has been known since the work of Duskin and Pelletier four decades ago
that KH^op, the category opposite to compact Hausdorff spaces and continuous
maps, is monadic over the category of sets. It follows that KH^op is equivalent
to a possibly infinitary variety of algebras V in the sense of Slominski and
Linton. Isbell showed in 1982 that the Lawvere-Linton algebraic theory of V can
be generated using a finite number of finitary operations, together with a
single operation of countably infinite arity. In 1983, Banaschewski and Rosicky
independently proved a conjecture of Bankston, establishing a strong negative
result on the axiomatisability of KH^op. In particular, V is not a finitary
variety--Isbell's result is best possible. The problem of axiomatising V by
equations has remained open. Using the theory of Chang's MV-algebras as a key
tool, along with Isbell's fundamental insight on the semantic nature of the
infinitary operation, we provide a finite axiomatisation of V.Comment: 26 pages. Presentation improve
Adelic versions of the Weierstrass approximation theorem
Let be a compact subset of
and denote by
the ring of continuous
functions from into . We obtain two kinds
of adelic versions of the Weierstrass approximation theorem. Firstly, we prove
that the ring is dense in the
direct product for the
uniform convergence topology. Secondly, under the hypothesis that, for each
, for all but finitely many , we prove the
existence of regular bases of the -module , and show that, for such
a basis , every function in
may be uniquely written
as a series where
and .Comment: minor corrections the statement of Theorem 3.5, which covers the case
of a general compact subset of the profinite completion of Z. to appear in
Journal of Pure and Applied Algebra, comments are welcome
Hecke algebra isomorphisms and adelic points on algebraic groups
Let denote a linear algebraic group over and and two
number fields. Assume that there is a group isomorphism of points on over
the finite adeles of and , respectively. We establish conditions on the
group , related to the structure of its Borel groups, under which and
have isomorphic adele rings. Under these conditions, if or is a
Galois extension of and and
are isomorphic, then and are isomorphic as
fields. We use this result to show that if for two number fields and
that are Galois over , the finite Hecke algebras for
(for fixed ) are isomorphic by an isometry for the
-norm, then the fields and are isomorphic. This can be viewed as
an analogue in the theory of automorphic representations of the theorem of
Neukirch that the absolute Galois group of a number field determines the field
if it is Galois over .Comment: 19 pages - completely rewritte
Elementary approach to homogeneous C*-algebras
A C*-algebra is n-homogeneous (where n is finite) if every its nonzero
irreducible representation acts on an n-dimensional Hilbert space. An
elementary proof of Fell's characterization of n-homogeneous C*-algebras (by
means of their spectra) is presented. A spectral theorem and a functional
calculus for finite systems of elements which generate n-homogeneous
C*-algebras are proposed.Comment: 22 page
- …