Related papers: Closure operators, frames, and neatest representat…
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of…
Motivated by the Hofmann--Lawson theorem, which states that every continuous lattice is inf-generated by its irreducible elements, we explore how to represent posets by extreme points with respect to a closure operator. For this purpose, we…
Let $\Gamma$ be a non-uniform lattice in $PU(p,1)$ without torsion and with $p\geq2 $. We introduce the notion of volume for a representation $\rho:\Gamma \rightarrow PU(m,1)$ where $m \geq p$. We use this notion to generalize the…
This note provides new criteria on a unimodular group $G$ and a discrete series representation $(\pi, \mathcal{H}_{\pi})$ of formal degree $d_{\pi} > 0$ under which any lattice $\Gamma \leq G$ with $\text{vol}(G/\Gamma) d_{\pi} \leq 1$…
Suppose that $\Omega$ is a complex lattice that is closed under complex conjugation and that $I$ is a small real interval, and that $D$ is a disc in $ \mathbb{C}$. Then the restriction $\wp|_D$ is definable in the structure…
For P a poset or lattice, let Id(P) denote the poset, respectively, lattice, of upward directed downsets in P, including the empty set, and let id(P)=Id(P)-\{\emptyset\}. This note obtains various results to the effect that Id(P) is always,…
We investigate closure operators and describe their properties for $E$-combinations and $P$-combinations of structures and their theories. We prove, for $E$-combinations, that the existence of a minimal generating set of theories is…
Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying…
The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the…
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…
We prove for a $\Theta-$positive representation from a discrete subgroup $\Gamma\subset \mathsf{PSL}(2,\mathbb{R})$, the critical exponent for any $\alpha\in \Theta$ is not greater than one. When $\Gamma$ is geometrically finite, the…
We show that there is a sentence $\varphi$ in the first order language of groups such that a finitely generated group $\Gamma$ satisfies $\varphi$ if and only if $\Gamma$ is isomorphic to a group of the form $\mathrm{PSL}_n(O)$, where $n…
A partially ordered set P is representable if there is a bounded distributive lattice such that its ordered set of prime ideals is order-isomorphic to P. We show that if the order components of a poset P are representable, then so is P.…
We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates…
We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions…
Let $\Gamma$ be a finite group, let $\theta$ be an involution of $\Gamma$, and let $\rho$ be an irreducible complex representation of $\Gamma$. We bound $\dim \rho^{\Gamma^{\theta}}$ in terms of the smallest dimension of a faithful…
Let $F$ and $G$ be two bounded operators on two Hilbert spaces. Let their numerical radii be no greater than one. This note investigate when there is a $\Gamma$-contraction $(S,P)$ such that $F$ is the fundamental operator of $(S,P)$ and…
Let $\pi_{\alpha}$ be a holomorphic discrete series representation of a connected semi-simple Lie group $G$ with finite center, acting on a weighted Bergman space $A^2_{\alpha} (\Omega)$ on a bounded symmetric domain $\Omega$, of formal…
Given a finite group $G$ with a normal subgroup $N$, the simple graph $\Gamma_\textit{G}( \textit{N} )$ is a graph whose vertices are of the form $|x^G|$, where $x\in{N\setminus{Z(G)}}$, and $x^G$ is the $G$-conjugacy class of $N$…
A $7$-tuple of commuting bounded operators $\mathbf{T} = (T_1, \dots, T_7)$ defined on a Hilbert space $\mathcal{H}$ is said to be a \textit{$\Gamma_{E(3; 3; 1, 1, 1)}$-contraction} if $\Gamma_{E(3; 3; 1, 1, 1)}$ is a spectral set for…