English
Related papers

Related papers: What makes a Stone topological algebra profinite

200 papers

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

Algebraic Geometry · Mathematics 2007-06-13 Gereon Quick

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of binary trees whose leaves are labeled by letters of an alphabet…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Andre Arnold , Patrick Cegielski , Serge Grigorieff , Irene Guessarian

In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…

Formal Languages and Automata Theory · Computer Science 2011-11-03 Michał Skrzypczak

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…

Group Theory · Mathematics 2026-05-06 Adrian Baumann , Holger Kammeyer

We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…

Algebraic Geometry · Mathematics 2014-01-14 Artem N. Shevlyakov

We extend Stone duality to a fully faithful embedding of condensed sets into fpqc sheaves over an arbitrary field, which preserves colimits and finite limits. We study how familiar notions from condensed mathematics/topology and algebraic…

Algebraic Geometry · Mathematics 2024-01-08 Rok Gregoric

Can music be represented as a meaningful geometric and topological object? In this paper, we propose a strategy to describe some music features as a polyhedral surface obtained by a simplicial interpretation of the \textit{Tonnetz}. The…

Sound · Computer Science 2016-02-03 Mattia G. Bergomi , Adriano Baraté , Barbara Di Fabio

We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which…

Differential Geometry · Mathematics 2007-05-23 David Metzler

We develop and explore the idea of recognition of languages (in the general sense of subsets of topological algebras) as preimages of clopen sets under continuous homomorphisms into Stone topological algebras. We obtain an Eilenberg…

Formal Languages and Automata Theory · Computer Science 2025-07-02 Jorge Almeida , Ondřej Klíma

We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the…

Operator Algebras · Mathematics 2012-04-23 Rachid El Harti , N. Christopher Phillips , Paulo R. Pinto

We propose a functional description of rewriting systems on topological vector spaces. We introduce the topological confluence property as an approximation of the confluence property. Using a representation of linear topological rewriting…

Rings and Algebras · Mathematics 2019-12-02 Cyrille Chenavier

On a two dimensional Stein space with isolated, normal singularities, smooth finite type boundary, and locally algebraic Bergman kernel, we establish an estimate on the type of the boundary in terms of the local algebraic degree of the…

Complex Variables · Mathematics 2025-03-17 Peter Ebenfelt , Soumya Ganguly , Ming Xiao

We classify essential algebras whose irredundant non-refinable covers consist of primal algebras. The proof is obtained by constructing one to one correspondence between such algebras and partial orders on finite sets. Further, we prove…

Logic · Mathematics 2014-06-26 Shohei Izawa

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

Logic · Mathematics 2025-11-21 Matteo De Berardinis , Silvio Ghilardi

Polynomial completeness results aim at characterizing those functions that are induced by polynomials. Each polynomial function is congruence preserving, but the opposite need not be true. A finite algebraic structure $\mathbf{A}$ is called…

Rings and Algebras · Mathematics 2024-04-23 Bernardo Rossi

We begin the study of completeness of affine connections, especially those on statistical manifolds as well as on affine hypersurfaces. We collect basic facts, prove new theorems and provide examples with remarkable properties.

Differential Geometry · Mathematics 2020-03-27 Barbara Opozda

This paper aims to provide a careful and self-contained introduction to the theory of topological degree in Euclidean spaces. It is intended for people mostly interested in analysis and, in general, a heavy background in algebraic or…

Functional Analysis · Mathematics 2023-04-14 Pierluigi Benevieri , Massimo Furi , Maria Patrizia Pera , Marco Spadini

String backgrounds are described as purely geometric objects related to moduli spaces of Riemann surfaces, in the spirit of Segal's definition of a conformal field theory. Relations with conformal field theory, topological field theory and…

High Energy Physics - Theory · Physics 2008-02-03 Alexander A. Voronov

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…

Algebraic Geometry · Mathematics 2010-07-15 Feng-Wen An

We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine,…

Algebraic Geometry · Mathematics 2022-09-19 Matthieu Romagny