Related papers: An inductive proof of the Feinstein-Heath Swiss ch…

Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…

The notion of density of a finite set is discussed. We proof a general theorem of set theory which refines Bose-Einstein distribution.

Leighton's graph covering theorem says that two finite graphs with a common cover have a common finite cover. We present a new proof of this using groupoids, and use this as a model to prove two generalisations of the theorem. The first…

This work addresses certain ambiguities in the Dirac approach to constrained systems. Specifically, we investigate the space of so-called ``rigging maps'' associated with Refined Algebraic Quantization, a particular realization of the Dirac…

A general procedure of affinization of linear algebra structures is illustrated by the case of Leibniz algebras. Specifically, the definition of an affine Leibniz bracket, that is, a bi-affine operation on an affine space that at each…

Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of…

Let $n$ be a positive integer. We provide an explicit geometrically motivated $1$-Lipschitz map from the space of persistence diagrams on $n$ points (equipped with the Bottleneck distance) into the Hilbert space $\ell^2$. Such maps are a…

Let $f$ be a harmonic map from a Riemann surface to a Riemannian $n$-manifold. We prove that if there is a holomorphic diffeomorphism $h$ between open subsets of the surface such that $f\circ h = f$, then $f$ factors through a holomorphic…

Using the analytic assembly map that appears in the Baum-Connes conjecture in noncommutative geometry, we generalise the $\Spin^c$-version of the Guillemin-Sternberg conjecture that `quantisation commutes with reduction' to (discrete series…

We give a rather simple proof of the generalization of Kuhlmann's quasi-proper direct image theorem to the case of a map with values in a Banach analytic set. The proof uses a generalization of the Remmert-Stein's theorem to this context.…

The aim of this paper is to give another proof to a result on the image of a homogeneous quadratic map which is positive with respect to a homogeneous cone, given by Graczyk and Ishi in 2014. The new proof depends on a purely algebraic…

Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…

We apply Weyl $n$-algebras to prove formality theorems for higher Hochschild cohomology. We present two approaches: via propagators and via the factorization complex. It is shown that the second approach is equivalent to the first one taken…

In the paper ``Weil transfer of algebraic cycles'', published by the second author in Indagationes Mathematicae about 25 years ago, a Weil transfer map for Chow groups of smooth algebraic varieties has been constructed and its basic…

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

We revisit certain path-lifting and path-continuation properties of abstract maps as described in the work of F. Browder and R. Rheindboldt in 1950-1960s, and apply their elegant theory to exponential maps. We obtain thereby a number of…

We consider a generalized Riemann-Hurwitz formula as it may be applied to rational maps between projective varieties having an indeterminacy set and fold-like singularities. The case of a holomorphic branched covering map is recalled. Then…

Mathematicians still use Naive Set Theory when generating sets without danger of producing any contradiction. Therefore their working method can be considered as a consistent inference system with an experience of over 100 years. My…

The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…

The conclusion of the classical ham sandwich theorem of Banach and Steinhaus may be strengthened: there always exists a common bisecting hyperplane that touches each of the sets, that is, intersects the closure of each set. Hence, if the…