Related papers: On $\mathscr{H}$-complete topological semilattices
We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…
In this paper we address a problem posed by Shelah in 1999 to find a suitable notion for superstability for abstract elementary classes in which limit models of cardinality $\mu$ are saturated. Theorem 1. Suppose that $\mathcal{K}$ is a…
We present several equivalent conditions of the continuity of the supremum function from the square of the Scott space of $C(X)$ to itself under mild assumptions, where $C(X)$ denotes the lattice of closed subsets of a $\mathbf{T_0}$…
Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge…
We prove that, on the $\mathrm{SL}(3,\mathbb R)$ Hitchin component, the Goldman symplectic form and the Labourie-Loftin complex structure are compatible and together determine a (mapping class group invariant) pseudo-K\"ahler structure.
The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such…
The class, denoted by $\mathscr{S}$, of totally disconnected locally compact groups which are non-discrete, compactly generated, and topologically simple contains many compelling examples. In recent years, a general theory for these groups,…
In this paper we study topological properties of stable Hamiltonian structures. In particular, we prove the following results in dimension three: The space of stable Hamiltonian structures modulo homotopy is discrete; there exist stable…
Recent advanced experimental implementations of optical lattices with highly tunable geometry open up new regimes for quantum many-body states of matter that previously had not been accessible. Here we introduce a symmetry-based method of…
We show that every Hausdorff Baire topology $\tau$ on $\mathcal{C}=\langle a,b\mid a^2b=a, ab^2=b\rangle$ such that $(\mathcal{C},\tau)$ is a semitopological semigroup is discrete and we construct a nondiscrete Hausdorff semigroup topology…
The collection of all topologies on a set X forms a complete lattice with respect to the inclusion order, which have been investigated by many researchers. Sobriety is one of the core and extensively studied properties in non-Hausdorff…
We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices $L$. For single finite $L$, these problems are shown tobe $\mc{NP}$-complete; for $L$ of height at…
In this thesis, we study cohomological properties of non-K\"ahler manifolds. In particular, we are concerned in investigating the cohomology of compact (almost-)complex manifolds, and of manifolds endowed with special structures, e.g.,…
It is known from Grzegorczyk's paper \cite{grze-1951} that the lattice of real semi-algebraic closed subsets of ${\mathbb R}^n$ is undecidable for every integer $n\geq 2$. More generally, if $X$ is any definable set over a real or…
This series of papers is devoted to an open-ended project aimed at the solution of Hilbert's sixth problem (concerning joint axiomatization of physics and probability theory) proposed to be constructed in the framework of an all-embracing…
For every semilattice $\mathcal{A}=(A,+)$, the set $\mathrm{End}(\mathcal{A})$ of its endomorphisms forms a semiring under pointwise addition and composition. We prove that that if $\mathcal{A}$ is finite, then the endomorphism semiring…
We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with…
Hypergraphic polytopes $\Delta_{\mathbb{H}}$ arise as Minkowski sums of simplices indexed by the hyperedges of a hypergraph $\mathbb{H}$. Orienting the $1$-skeleton of such a polytope by a certain generic linear functional gives rise to the…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…