Related papers: Formalising the local compactness of the adele rin…
Let R be an associative ring with possible extra structure. R is said to be weakly small if there are countably many 1-types over any finite subset of R. It is locally P if the algebraic closure of any finite subset of R has property P. It…
This article focuses on the study of the group of units of incidence rings, which is a class of infinite matrix groups indexed by ordered sets, on a topological perspective. We first show when these groups can inherit the topological…
We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.
The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting Andr\'{e}'s perfectoid algebra techniques that, for complete local rings that have F-finite…
An annular continuum is a compact connected set $K$ which separates a closed annulus $A$ into exactly two connected components, one containing each boundary component. The topology of such continua can be very intricate (for instance,…
There are different definitions of ends in non-locally-finite graphs which are all equivalent in the locally finite case. We prove the compactness of the end-topology that is based on the principle of removing finite sets of vertices and…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…
The perfect cone compactification is a toroidal compactification which can be defined for locally symmetric varieties. Let $\overline{D_{L}/\widetilde{O}^{+}(L)}^{p}$ be the perfect cone compactification of the quotient of the type IV…
A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends…
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…
In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…
We define the fundamental group underlying to Lichtenbaum's Weil-\'etale cohomology for number rings. To this aim, we define the Weil-\'etale topos as a refinement of the Weil-\'etale sites introduced in \cite{Lichtenbaum}. We show that the…
We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…
We show that any complex (respectively real) representation of finite group naturally generates a open-closed (respectively Klein) topological field theory over complex numbers. We relate the 1-point correlator for the projective plane in…
A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…
We study Lie rings definable in a finite-dimensional theory, extending the results for the finite Morley rank case. In particular, we prove a classification of Lie rings of dimension up to four in the NIP or connected case. In…
The data of a "2D field theory with a closed string compactification" is an equivariant chain level action of a cell decomposition of the union of all moduli spaces of punctured Riemann surfaces with each component compactified as a…