Related papers: The sup-completion of a Dedekind complete vector l…

We show that a compact Lorentzian locally symmetric space is geodesically complete if the Lorentzian factor in the local de Rham-Wu decomposition is of Cahen-Wallach type or if the maximal flat factor is one-dimensional and time-like. Our…

We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the…

We give two sufficient conditions for the lattice Co(R^n,X) of relatively convex sets of n-dimensional real space R^n to be join-semidistributive, where X is a finite union of segments. We also prove that every finite lower bounded lattice…

We show geodesic completeness of certain compact locally symmetric pseudo-Riemannian manifolds of signature $(2,n)$. Our model space $\mathbf{X}$ is a $1$-connected, indecomposable symmetric space of signature $(2,n)$, that admits a unique…

A lattice is called well-rounded if its minimal vectors span the corresponding Euclidean space. In this paper we completely describe well-rounded full-rank sublattices of ${\mathbb Z}^2$, as well as their determinant and minima sets. We…

We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation,…

The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…

Let $P$ be the image of a period map. We discuss progress towards a conjectural Hodge theoretic completion $\overline{P}$, an analogue of the Satake-Baily-Borel compactification in the classical case. The set $\overline{P}$ is defined and…

Let S be a Dedekind scheme with fraction field K. We study the following problem: given a Del Pezzo surface X, defined over K, construct a distinguished integral model of X, defined over all of S. We provide a satisfactory answer if S is a…

We construct a complete lattice $Z$ such that the binary supremum function $\sup:Z\times Z\to Z$ is discontinuous with respect to the product topology on $Z\times Z$ of the Scott topologies on each copy of $Z$. In addition, we show that…

A lattice is called well-rounded if its minimal vectors span the corresponding Euclidean space. In this paper we study the similarity classes of well-rounded sublattices of ${\mathbb Z}^2$. We relate the set of all such similarity classes…

We study the R-torsionfree part of the Ziegler spectrum of an order \Lambda over a Dedekind domain R. We underline and comment on the role of lattices over \Lambda. We describe the torsionfree part of the spectrum when \Lambda is of finite…

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…

Following G.~Gr\"atzer and E.~Knapp, 2009, a planar semimodular lattice $L$ is \emph{rectangular}, if~the left boundary chain has exactly one doubly-irreducible element, $c_l$, and the right boundary chain has exactly one doubly-irreducible…

For a non-empty set $X$, the collection $Top(X)$ of all topologies on $X$ sits inside the Boolean lattice $\PP(\PP(X))$ (when ordered by set-theoretic inclusion) which in turn can be naturally identified with the Stone space $\px$. Via this…

Motivated by applications to information retrieval, we study the lattice of antichains of finite intervals of a locally finite, totally ordered set. Intervals are ordered by reverse inclusion; the order between antichains is induced by the…

We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,\tau ^{cl})$ and study its topological…

A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…

Following a recent idea by Ball, we introduce the notion of strongly truncated Riesz space with a suitable spectrum. We prove that, under an extra Archimedean type condition, any strongly truncated Riesz space is isomorphic to a uniformly…

Let $X_0$ be an affine variety with only normal isolated singularity $p$ and $\pi: X\to X_0$ a smooth resolution of the singularity with trivial canonical line bundle $K_X$. If the complement of the affine variety $X_0\backslash\{p\}$ is…