Related papers: Good projective witnesses

Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…

Here we analyze a proper 2-generated core in a minimal counter example to the Cherlin-Zilber Algebraicity Conjecture for simple groups of finite Morley rank. We ultimately show that such a group is strongly embedded and the ambiant group is…

We show that if a locally compact group $G$ is non-abelian then the amenability constant of its Fourier algebra is $\geq 3/2$, extending a result of Johnson (JLMS, 1994) who proved that this holds for finite non-abelian groups. Our lower…

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X , Y$ be irreducible smooth complex projective varieties and $f: X \rightarrow Y$ an algebraic…

Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of irreducible characters of $G$. The codegree of an irreducible character $\chi$ of the group $G$ is defined as $\mathrm{cod}(\chi)=|G:\mathrm{ker}(\chi)|/\chi(1)$. In this paper,…

In this paper, we relate $L(1,\pi,\mathrm{Ad}^\circ)$ to the congruence ideals for cohomological cuspidal automorphic representations $\pi$ of $\mathrm{GL}_n$ over any number field. We then use this result to deduce relationships between…

We throw some light on the question: is there a MAD family (= a family of infinite subsets of N, the intersection of any two is finite) which is completely separable (i.e. any X subseteq N is included in a finite union of members of the…

We continue the development of the theory of construction schemes over $\omega_1$ as introduced by the third author by studying their relation with forcing axioms. Formally, we introduce the cardinals $\mathfrak{m}^n_{\mathcal{F}}$ and use…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of…

Let $A$ be a commutative ring, and assume every non-trivial ideal of $A$ has finite-index. We show that if ${\rm{SL}}_n(A)$ has bounded elementary generation then every conjugation-invariant norm on it is either discrete or precompact. If…

In 1988, Sibe Marde\v{s}i\'{c} and Andrei Prasolov isolated an inverse system $\mathbf{A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail…

In this paper, we introduce the notion of negatively regionally proximal pairs of onto maps which coincides with the set of regionally proximal pair of $f^{-1}$, whenever $f$ is an homeomorphism and we prove the maximal equicontinoues…

Given a finite group scheme $\cG$ over an algebraically closed field $k$ of characteristic $\Char(k)=p>0$, we introduce new invariants for a $\cG$-module $M$ by associating certain morphisms $\deg^j_M : U_M \lra \Gr_d(M) \ \…

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its…

We prove locality of superconformal algebras: every pluperfect superconformal algebra is spanned by coefficients of a finite family of mutually local distributions. We also introduce quasi-Poisson algebras and show that they can be used to…

We study the problem of maximizing a function that is approximately submodular under a cardinality constraint. Approximate submodularity implicitly appears in a wide range of applications as in many cases errors in evaluation of a…

In this survey article we propose the notion of a bound quiver for an exact category generalising the classical concept of the Gabriel quiver and its relation for a module category as certain ring extension. The notion is motivated by joint…

Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are:…

We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an $\omega$-Erdos cardinal, we determine which of these theories are Borel complete. We develop machinery,…