
The purpose of this paper is to study stable representations of partially
ordered sets (posets) and compare it to the well known theory for quivers. In
particular, we prove that every indecomposable representation of a poset of
finite type is stable with respect to some weight and construct that weight
explicitly in terms of the dimension vector. We show that if a poset is
primitive then Coxeter transformations preserve stable representations. When
the base field is the field of complex numbers we establish the connection
between the polystable representations and the unitary $\chi$representations
of posets. This connection explains the similarity of the results obtained in
the series of papers.

We propose a new effective method of constructing explicitly Gelfand Tsetlin
modules for $\mathfrak{gl}_n$. We obtain a large family of simple modules that
have a basis consisting of GelfandTsetlin tableaux, the action of the Lie
algebra is given by the GelfandTsetlin formulas and with all GelfandTsetlin
multiplicities equal $1$. As an application of our construction we prove
necessary and sufficient condition for the Gelfand and Graev's continuation
construction to define a module which was conjectured by Lemire and Patera.

We address the noncommutative Noether's problem on the invariants of Weyl
algebras for linear actions of finite groups. We conjecture that if the
classical Noether's problem has a positive solution for group G then the
noncommutative Noether's problem is also positively solved for G. The main
result is the proof of the conjecture for any group and the field of complex
numbers. This provides a number of examples for which the noncommutative
Noether's Problem has a positive solution. We also show that this problem has a
positive solution for all pseudoreflections groups and alternating groups A3,
A4 over any field of zero characteristic.

We prove that an invariant subalgebra A_n^W of the Weyl algebra A_n is a
Galois order over an adequate commutative subalgebra \Gamma when W is a
twoparameters irreducible unitary reflection group G(m,1,n), m\geq 1, n\geq 1,
including the Weyl group of type B_n, or alternating group, or the product of n
copies of a cyclic group of fixed finite order. Earlier this was established
for the symmetric group by the authors. In each of the cases above we show that
A_n^W is free as a right (left) \Gammamodule. Similar results are established
for the algebra of Winvariant differential operators on the ndimensional
torus where W is a symmetric group S_n or orthogonal group of type B_n or D_n.
As an application of our technique we prove the quantum GelfandKirillov
conjecture for U_q(sl_2), the first Witten deformation and the Woronowicz
deformation.

We describe parabolic sets for root systems of affine Lie superalgebras and
corresponding Borel and parabolic subsuperalgebras associated to these sets. We
give necessary and sufficient conditions under which the Verma type modules
associated to such subsuperalgebras are simple.

The main result of the paper establishes the irreducibility of a large family
of nonzero central charge induced modules over Affine Lie algebras for any non
standard parabolic subalgebra. It generalizes all previously known partial
results and provides a a construction of many new irreducible modules.

We construct realizations of quantum generalized Verma modules for
U_q(sl_n(C)) by quan tum differential operators. Taking the classical limit q
! 1 provides a realization of classical generalized Verma modules for sl_n(C)
by differential operators.

In the present paper we study GelfandTsetlin modules defined in terms of BGG
differential operators. The structure of these modules is described with the
aid of the PostnikovStanley polynomials introduced in [PS09]. These
polynomials are used to identify the action of the GelfandTsetlin subalgebra
on the BGG operators. We also provide explicit bases of the corresponding
GelfandTsetlin modules and prove a simplicity criterion for these modules. The
results hold for modules defined over standard Galois orders of type $A$  a
large class of rings that include the universal enveloping algebra of
$\mathfrak{gl} (n)$ and the finite $W$algebras of type $A$.

We introduce the notion of virtual endomorphisms of Lie algebras and use it
as an approach for constructing selfsimilarity of Lie algebras. This is done
in particular for a class of metabelian Lie algebras having homological type F
Pn, which are variants of lamplighter groups. We establish several criteria
when the existence of virtual endomorphism implies a selfsimilar Lie
structure. Furthermore, we prove that the classical Lie algebra sln(k), where
char(k) does not divide n affords nontrivial faithful selfsimilarity.

In this note we compute the leading term with respect to the De ConciniKac
filtration of $U_q(\mathfrak{gl}_n)$ of a generating set for the quantum
GelfandTsetlin subalgebra.

For each twodimensional vector space $V$ of commuting $n\times n$ matrices
over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$
the vector space of all $(n+1)\times(n+1)$ matrices of the form
$\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We
prove the wildness of the problem of classifying Lie algebras $\widetilde V$
with the bracket operation $[u,v]:=uvvu$. We also prove the wildness of the
problem of classifying twodimensional vector spaces consisting of commuting
linear operators on a vector space over a field.

For an irreducible affine variety $X$ over an algebraically closed field of
characteristic zero we define two new classes of modules over the Lie algebra
of vector fields on $X$  gauge modules and Rudakov modules, which admit a
compatible action of the algebra of functions. Gauge modules are
generalizations of modules of tensor densities whose construction was inspired
by nonabelian gauge theory. Rudakov modules are generalizations of a family of
induced modules over the Lie algebra of derivations of a polynomial ring
studied by Rudakov. We prove general simplicity theorems for these two types of
modules and establish a pairing between them.

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie
algebra of polynomial vector fields on an irreducible affine variety X is
simple if and only if X is a smooth variety. Given proof is selfcontained and
does not depend on papers mentioned above. Besides, the structure of the module
of polynomial functions on an irreducible smooth affine variety over the Lie
algebra of vector fields is studied. Examples of Lie algebras of polynomial
vector fields on an Ndimensional sphere, nonsingular hyperelliptic curves and
linear algebraic groups are considered.

The purpose of this paper is to construct new families of irreducible
GelfandTsetlin modules for U_q(gl_n). These modules have arbitrary singularity
and GelfandTsetlin multiplicities bounded by 2. Most previously known
irreducible modules had all GelfandTsetlin multiplicities bounded by 1
\cite{FRZ1}, \cite{FRZ2}. In particular, our method works for q=1 providing new
families of irreducible GelfandTsetlin modules for gl_n. This generalizes the
results of \cite{FGR3} and \cite{FRZ}.

We prove a uniqueness theorem for irreducible noncritical GelfandTsetlin
modules. The uniqueness result leads to a complete classification of the
irreducible GelfandTsetlin modules with 1singularity. An explicit
construction of such modules was given in \cite{FGR2}. In particular, we show
that the modules constructed in \cite{FGR2} exhaust all irreducible
GelfandTsetlin modules with 1singularity. To prove the result we introduce a
new category of modules (called Drinfeld category) related to the Drinfeld
generators of the Yangian Y(gl_n) and define a functor from the category of
noncritical GelfandTsetlin modules to the Drinfeld category.

Singular GelfandTsetlin modules of index 2 are modules whose tableaux bases
may have singular pairs but no singular triples of entries on each row. In this
paper we construct singular GelfandTsetlin modules for arbitrary singular
character of index 2. Explicit bases of derivative tableaux and the action of
the generators of $\mathfrak{gl}(n)$ are given for these modules. Our
construction leads to new families of irreducible GelfandTsetlin modules and
also provides tableaux bases for some simple Verma modules.

Let R be a ring (not necessarily with 1) and G be a finite group of
automorphisms of R. The set B(R, G) of primes p such that p  G and R is not
ptorsion free, is called the set of bad primes. When the ring is Gtorsion
free, i.e., B(R, G) is empty set, the properties of the rings R and R^G are
closely connected. The aim of the paper is to show that this is also true when
B(R, G) is not empty set under natural conditions on bad primes. In particular,
it is shown that the Jacobson radical (resp., the prime radical) of the ring
R^G is equal to the intersection of the Jacobson radical (resp., the prime
radical) of R with R^G; if the ring R is semiprime then so is R^G; if the trace
of the ring R is nilpotent then the ring itself is nilpotent; if R is a
semiprime ring then R is left Goldie iff the ring R^G is so, and in this case,
the ring of Ginvariants of the left quotient ring of R is isomorphic to the
left quotient ring of R^G and \udim (R^G)\leq \udim (R)\leq G \udim (R^G).

W.E. Roth (1952) proved that the matrix equation $AXXB=C$ has a solution if
and only if the matrices $\left[\begin{matrix}A&C\\0&B\end{matrix}\right]$ and
$\left[\begin{matrix}A&0\\0&B\end{matrix}\right]$ are similar. A. Dmytryshyn
and B. K{\aa}gstr\"om (2015) extended Roth's criterion to systems of matrix
equations $A_iX_{i'}M_iN_iX_{i''}^{\sigma_i} B_i=C_i$ $(i=1,\dots,s)$ with
unknown matrices $X_1,\dots,X_t$, in which every $X^{\sigma}$ is $X$, $X^T$, or
$X^*$. We extend their criterion to systems of complex matrix equations that
include the complex conjugation of unknown matrices. We also prove an analogous
criterion for systems of quaternion matrix equations.

We construct new families of U_q(gl_n)modules by continuation from finite
dimensional representations. Each such module is associated with a
combinatorial object  admissible set of relations defined in \cite{FRZ}. More
precisely, we prove that any admissible set of relations leads to a family of
irreducible U_q(gl_n)modules. Finite dimensional and generic modules are
particular cases of this construction.

For an admissible affine vertex algebra $V_k(\mathfrak{g})$ of type $A$, we
describe a new family of relaxed highest weight representations of
$V_k(\mathfrak{g})$. They are simple quotients of representations of the affine
KacMoody algebra $\widehat{\mathfrak{g}}$ induced from the following
$\mathfrak{g}$modules: 1) generic GelfandTsetlin modules in the principal
nilpotent orbit, in particular all such modules induced from $\mathfrak{sl}_2$;
2) all GelfandTsetlin modules in the principal nilpotent orbit which are
induced from $\mathfrak{sl}_3$; 3) all simple GelfandTsetlin modules over
$\mathfrak{sl}_3$. This in particular gives the classification of all simple
positive energy weight representations of $V_k(\mathfrak{g})$ with finite
dimensional weight spaces for $\mathfrak{g}=\mathfrak{sl}_3$.

W.Specht (1940) proved that two $n\times n$ complex matrices $A$ and $B$ are
unitarily similar if and only if $\operatorname{trace} w(A,A^{\ast}) =
\operatorname{trace} w(B,B^{\ast})$ for every word $w(x,y)$ in two noncommuting
variables. We extend his criterion and its generalizations by N.A.Wiegmann
(1961) and N.Jing (2015) to an arbitrary system $\mathcal A$ consisting of
complex or real inner product spaces and linear mappings among them. We
represent such a system by the directed graph $Q(\mathcal A)$, whose vertices
are inner product spaces and arrows are linear mappings. Denote by $\widetilde
Q(\mathcal A)$ the directed graph obtained by enlarging to $Q(\mathcal A)$ the
adjoint linear mappings. We prove that a system $\mathcal A$ is transformed by
isometries of its spaces to a system $\mathcal B$ if and only if the traces of
all closed directed walks in $\widetilde Q(\mathcal A)$ and $\widetilde
Q(\mathcal B)$ coincide.

For the algebra L= K <x, d/dx, \int> of polynomial integrodifferential
operators over a field K of characteristic zero, a classification of
indecomposable, generalized weight Lmodules of finite length is given. Each
such module is an infinite dimensional uniserial module. Extgroups are found
between indecomposable generalized weight modules, it is proven that they are
finite dimensional vector spaces.

Let $n>1$ be an integer, $\alpha\in{\mathbb C}^n$, $b\in{\mathbb C}$, and $V$
a $\mathfrak{gl}_n$module. We define a class of weight modules
$F^\alpha_{b}(V)$ over $\sl_{n+1}$ using the restriction of modules of tensor
fields over the Lie algebra of vector fields on $n$dimensional torus. In this
paper we consider the case $n=2$ and prove the irreducibility of such
5parameter $\mathfrak{sl}_{3}$modules $F^\alpha_{b}(V)$ generically. All such
modules have infinite dimensional weight spaces and lie outside of the category
of GelfandTsetlin modules. Hence, this construction yields new families of
irreducible $\mathfrak{sl}_{3}$modules.

We solve the noncommutative Noether's problem for the reflection groups by
showing that the skew field of the invariants of the Weyl algebra under the
action of any reection group is a Weyl field, that is isomorphic to a skew
field of some Weyl algebra over a transcendental extension of the ground field.
We also extend this result to the invariants of the ring of differential
operators on any dimensional torus.The results are applied to obtain analogs of
the GelfandKirillov Conjecture for Cherednik algebras and Galois algebras.

Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces
$\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms
$A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for
$i=1,\dots,s$. We prove that $\cal A$ is transformed to $\cal B$ by
homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if
$\cal A$ is transformed to $\cal B$ by linear bijections within $\mathbb
C^{n_1},\dots,\mathbb C^{n_t}$.