English
Related papers

Related papers: Closure operators, frames, and neatest representat…

200 papers

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…

Combinatorics · Mathematics 2021-07-13 Ivan Chajda , Helmut Länger

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…

Combinatorics · Mathematics 2025-09-09 Paul Poncet

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…

Geometric Topology · Mathematics 2020-09-28 Alessio Savini

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$…

Functional Analysis · Mathematics 2022-07-12 Ulrik Enstad , Jordy Timo van Velthoven

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…

Logic · Mathematics 2020-07-07 Raymond McCulloch

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,…

Rings and Algebras · Mathematics 2013-05-10 George M. Bergman

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…

Logic · Mathematics 2016-01-05 Sergey V. Sudoplatov

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…

General Topology · Mathematics 2010-11-05 Arnold W. Miller , Boaz Tsaban

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…

General Topology · Mathematics 2023-06-22 Anneliese Schauerte , John Frith

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…

Category Theory · Mathematics 2011-05-11 Pierre Gillibert , Friedrich Wehrung

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…

Differential Geometry · Mathematics 2026-02-09 Zhufeng Yao

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…

Group Theory · Mathematics 2020-10-19 Nir Avni , Chen Meiri

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.…

Logic · Mathematics 2007-05-30 Michael E. Adams , Dominic van der Zypen

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…

Operator Algebras · Mathematics 2022-04-21 Kenneth R. Davidson , Benjamin Passer

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…

Optimization and Control · Mathematics 2014-02-25 Feng Guo , Chu Wang , Lihong Zhi

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…

Representation Theory · Mathematics 2024-11-20 Nir Avni , Avraham Aizenbud

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…

Functional Analysis · Mathematics 2017-06-13 Tirthankar Bhattacharyya , Sneh Lata , Haripada Sau

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…

Functional Analysis · Mathematics 2022-04-29 Martijn Caspers , Jordy Timo van Velthoven

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$…

Group Theory · Mathematics 2020-06-08 Shabnam Rahimi

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…

Functional Analysis · Mathematics 2025-10-31 Dinesh Kumar Keshari , Avijit Pal , Bhaskar Paul