Related papers: SNOQIT I: Growth of $\Lambda$-modules and Kummer t…

We study a family of groups consisting of the simplest extensions of lamplighter groups. We use these groups to answer multiple open questions in combinatorial group theory, providing groups that exhibit various combinations of properties:…

The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…

We show that the cyclotomic conjecture on the characteristic polynomial of T-ramified S-split Iwasawa modules introduced in a previous paper and satisfied by abelian fields governs the Z${\ell}$-rank of the submodule of fixed points for all…

In this work we generalize the concept of injective module and develop a theory of divisibility for modules over a general ring, which provides a general and unified framework to study Kummer-like field extensions arising from commutative…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…

We derive for the first time the growth index of matter perturbations of the FLRW flat cosmological models in which the vacuum energy depends on redshift. A particularly well motivated model of this type is the so-called quantum field…

Let $Q$ be a finite quiver of Dynkin type and $\Lambda=\Lambda_Q$ be the preprojective algebra of $Q$ over an algebraically closed field $k$. Let $\mathcal {T}_\Lambda$ be the mutation graph of maximal rigid $\Lambda$ modules. Geiss,…

Let $K_{exp+}$ be the class of all structures $A$ such that the automorphism group of $A$ has at most $c n^{d n}$ orbits in its componentwise action on the set of $n$-tuples with pairwise distinct entries, for some constants $c,d$ with $d <…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

With any integral lattice \Lambda in n-dimensional euclidean space we associate an elementary abelian 2-group I(\lambda) whose elements represent parts of the dual lattice that are similar to \Lambda. There are corresponding involutions on…

This is the author's diploma thesis. In the first part of the thesis the algebra structure on the Ext-spaces Ext^k(M(x), M(y)) of Verma modules M(x) and M(y) in the parabolic category O for the case of the parabolic subalgebras gl(n) x…

We generalize the well-studied notion of a modular pair of a finite matroid to arbitrary families of sets in infinite matroids, and use it to develop the theory of infinite matroids in several as-yet-unexplored areas. Our results include a…

We generalize the results of [KMST] concerning equivariant quantization by means of Verma modules $M(\lambda)$ for generic weight $\lambda$ to the case of general $\lambda$. We consider the relationship between the Shapovalov form on an…

We introduce the framework of modular inflation with level structure, generalizing the level one theory considered previously to higher levels. We analyze the modular structure of CMB observables in this framework and show that the…

The present paper continues the work of [10] and [6]. For any symmetrizable generalized Cartan Matrix $C$ and the corresponding quantum group $\mathbf{U}$, we consider the associated quiver $Q$ with an admissible automorphism $a$. We…

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

Let $\Lambda=\Bbb Z[t,t^{-1}]$ be the ring of Laurent polynomials over $\Bbb Z$. We classify all $\Lambda$-modules $M$ with $|M|=p^n$, where $p$ is a primes and $n\le 4$. Consequently, we have a classification of Alexander quandles of order…

Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

We introduce a family of ideals $I_{n,\lambda,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $\lambda$ a partition of $k\leq n$ and an integer $s \geq \ell(\lambda)$. This family contains both the Tanisaki ideals $I_\lambda$ and the ideals…