Related papers: Absorption and directed J\'{o}nsson terms

A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected-Hodge-type; such schemes should include all…

A theorem of Eilenberg establishes that there exists a bijection between the set of all varieties of regular languages and the set of all varieties of finite monoids. In this article after defining, for a fixed set of sorts $S$ and a fixed…

Distorted sums of models were introduced and discussed in [Sh:463]. This notion generalizes the notion of disjoint (or direct) sums of models by letting the summands overlap. In the first section we investigate types in distorted sums and…

We show that every admissible irreducible representation of a product of two locally compact groups is a tensor product of admissible irreducible representations of the factors.

We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal…

We give effective bounds on the generation of pushforwards of log-pluricanonical bundles twisted by ample line bundles. This gives a partial answer to a conjecture proposed by Popa and Schnell. We prove two types of statements: first, more…

We introduce {\em admissible collections} for a finite group $G$ and use them to prove that most of the finite classical groups in non-defining characteristic satisfy the {\em Quillen dimension at $p$ property}, a strong version of…

Let G be a finite group acting on {1,...,n}. For any C*-algebra A, this defines an action of \alpha of G on A^{\otimes n}. We show that if A tensorially absorbs a UHF algebra of infinite type, the Jiang-Su algebra, or is approximately…

The Green-Griffiths-Lang conjecture stipulates that for every projective variety X of general type over C, there exists a proper algebraic subvariety of X containing all non constant entire curves f : C $\rightarrow$ X. Using the formalism…

Wolstenholme's type summations involve certain powers of all residues $k$ modulo some prime number $p$. We first consider the sums of double or triple products of certain powers of all residues, e.g., the sums of the terms $(a+k)^m(b+k)^n$…

We prove a general extension theorem for holomorphic line bundles on reduced complex spaces, equipped with singular hermitian metrics, whose curvature currents can be extended as positive, closed currents. The result has applications to…

We define what is meant by a strict total order in a category having subobjects, products and fibre products. This allows us to define the notions of an ordered bundle X and an ordered G-set; when G=\pi_1(X) we relate these structures to…

We prove an explicit uniform Chevalley theorem for direct summands of graded polynomial rings in mixed characteristic. Our strategy relies on the introduction of a new type of differential powers, which do not require the existence of a…

We obtain a generalization of the ABC Theorem on locally nilpotent derivations to the case of the polynomials with m monomials such that each variable is included just in one monomial. As applications of this result we provide some…

Let L be a finite extension of Q_p and d a positive integer. A conjecture, due to C. Breuil and P. Schneider, says that the existence of invariant norms on certain locally algebraic representations of GL_{d+1}(L) should be equivalent to the…

A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is…

We present a unitary approach to the construction of representations and intertwining operators. We apply it to the $C^*$-algebras, groups, Gabor type unitary systems and wavelets. We give an application of our method to the theory of…

We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an…

In the theory of unitary group representations, a group is called type I if all factor representations are of type I, and by a celebrated theorem of James Glimm [Gli61b], the type I groups are precisely those groups for which the…

Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…