Related papers: Non-forking w-good frames

In this paper, we establish a general criterion for good pairs, namely pairs consisting of a nilpotent orbit and an even good grading in a simple Lie algebra, which guarantees the existence of a quantum Hamiltonian reduction between…

A $k$-configuration is a collection of $k$ distinct integers $x_1,\ldots,x_k$ together with their pairwise arithmetic means $\frac{x_i+x_j}{2}$ for $1 \leq i < j \leq k$. Building on recent work of Filmus, Hatami, Hosseini and Kelman on…

Loosely speaking, a semi-frame is a generalized frame for which one of the frame bounds is absent. More precisely, given a total sequence in a Hilbert space, we speak of an upper (resp. lower) semi-frame if only the upper (resp. lower)…

The celebrated Drozd's theorem asserts that a finite-dimensional basic algebra $\Lambda$ over an algebraically closed field $k$ is either tame or wild, whereas the Crawley-Boevey's theorem states that given a tame algebra $\Lambda$ and a…

W-algebras of finite type are certain finitely generated associative algebras closely related to the universal enveloping algebras of semisimple Lie algebras. In this paper we prove a conjecture of Premet that gives an almost complete…

We study two-dimensional supersymmetric non-linear sigma-models with boundaries. We derive the most general family of boundary conditions in the non-supersymmetric case. Next we show that no further conditions arise when passing to the N=1…

We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $\lambda$, a sentence $\psi_k^\lambda$ of the logic $L_{(2^\lambda)^+,\omega}$…

For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…

We show that finite-dimensional Lie algebras over a field of characteristic zero such that their high-degree cohomology in any finite-dimensional non-trivial irreducible module vanishes, are, essentially, direct sums of semisimple and…

The topological $\mu$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly…

Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field $\mathbf{k}$, and let $\widehat{\Lambda}$ be the repetitive algebra of $\Lambda$. In this article, we prove that if $\widehat{V}$ is a left…

It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…

We show that the framing of $2$-sequences whose generating functions are rational integrate to $3$-sequences. To do so, we give a generalization of Wolstenholme's Theorem.

We study a canonical quantization of the Wess--Zumino--Witten (WZW) model which depends on two integer parameters rather than one. The usual theory can be obtained as a contraction, in which our two parameters go to infinity keeping the…

Let $\fg$ be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra $\fh$ and the Weyl group $W$. Let $P_+$ be the set of dominant integral weights. For $\lambda \in P_+$, let $L(\lambda)$ be the irreducible, integrable,…

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

Lie-theoretic structures of type $E_8$ (e.g., Lie groups and algebras, Hecke algebras and Kazhdan-Lusztig cells, ...) are considered to serve as a `gold standard' when it comes to judging the effectiveness of a general algorithm for solving…

We study framizations of algebras through the idea of Schur--Weyl duality. We provide a general setting in which framizations of algebras such as the Yokonuma--Hecke algebra naturally appear and we obtain this way a Schur--Weyl duality for…

We develop further the consequences of the irreducible-Boolean classification established in Ref. [9]; which have the advantage of allowing strong statistical calculations in disordered Boolean function models, such as the…

In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and…