Related papers: Maximal residuated lattices with lifting Boolean c…
We investigate a certain class of solvable metric Lie algebras. For this purpose a theory of twofold extensions associated to an orthogonal representation of an abelian Lie algebra is developed. Among other things, we obtain a…
We show that every complemented modular lattice can be converted into a left residuated lattice where the binary operations of multiplication and residuum are term operations. The concept of an operator left residuated poset was introduced…
We exhibit the first examples of residually finite non-linear Gromov hyperbolic groups. Our examples are constructed as amalgamated products of torsion-free cocompact lattices in the rank 1 Lie group $\mathrm{Sp}(d,1)$, $d\geq 2$ along…
We study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X. We first prove a global transformation law for toric residues. When the fan of the toric variety has a simplicial cone of…
We develop a Van der Waerden type theorem in an axiomatic setting of graded lattices and show that this axiomatic formulation can be applied to various lattices, for instance the set partition and the Boolean lattices. We derive the…
This paper studies residual finiteness of lattices in the universal cover of $\mathrm{PU}(2,1)$ and applications to the existence of smooth projective varieties with fundamental group a cocompact lattice in $\mathrm{PU}(2,1)$ or a finite…
In this article we deal with the free Banach lattice $FBL\langle \mathbb{L} \rangle$ generated by a lattice $\mathbb{L}$. We prove that if $FBL\langle \mathbb{L} \rangle$ is projective then $\mathbb{L}$ has a maximum and a minimum. On the…
A hyperbolic lattice allows for any $p$-fold rotational symmetry, in stark contrast to a two-dimensional crystalline material, where only twofold, threefold, fourfold or sixfold rotational symmetry is permitted. This unique feature…
This paper is devoted to the study of lattices generated by finite Abelian groups. Special species of such lattices arise in the exploration of elliptic curves over finite fields. In case the generating group is cyclic, they are also known…
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
The notion of $n$-normal residuated lattice, as a class of residuated lattices in which every prime filter contains at most $n$ minimal prime filters, is introduced and studied. Before that, the notion of $\omega$-filter is introduced and…
We prove that an irreducible lattice acting on a product of two or more locally finite, biregular trees is finitely generated.
This article consists in applications of [arXiv:2511.14232] in the case of homemomorphisms of higher genus surfaces whose homological rotation set is big enough -- a class of dynamics that is open. We first prove a structure theorem for the…
We construct the first example of a lattice on an irreducible Euclidean building that is not residually finite. Conjecturally, the normal subgroup theorem extends to this lattice making it virtually simple.
We introduce for the first time a general model of biased-active particles, where the direction of the active force has a biased angle from the principle orientation of the anisotropic interaction between particles. We find that a highly…
We construct minimal laminations by hyperbolic surfaces whose generic leaf is a disk and contain any prescribed family of surfaces and with a precise control of the topologies of the surfaces that appear. The laminations are constructed via…
Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe…
In this paper we investigate measures over bounded lattices, extending and giving a unifying treatment to previous works. In particular, we prove that the measures of an arbitrary bounded lattice can be represented as measures over a…
We give an extension of Margulis' Super-Rigidity for higher rank lattices. In our approach the target group could be defined over any complete valued field. Our proof is based on the notion of Algebraic Representation of Ergodic Actions.
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…