No Arabic abstract
Let $mathfrak{a},mathfrak{b}$ be two ideals of a commutative noetherian ring $R$ and $M$ a finitely generated $R$-module.~We continue to study $textrm{f}textrm{-}mathrm{grad}_R(mathfrak{a},mathfrak{b},M)$ which was introduced in [Bull. Malays. Math. Sci. Soc. 38 (2015) 467--482], some computations and bounds of $textrm{f}textrm{-}mathrm{grad}_R(mathfrak{a},mathfrak{b},M)$ are provided.~We also give the structure of $(mathfrak{a},mathfrak{b})$-$mathrm{f}$-modules,~various properties which are analogous to those of Cohen Macaulay modules are discovered.
We classify the simple bounded weight modules of ${mathfrak{sl}(infty})$, ${mathfrak{o}(infty)}$ and ${mathfrak{sp}(infty)}$, and compute their annihilators in $U({mathfrak{sl}(infty}))$, $U({mathfrak{o}(infty))}$, $U({mathfrak{sp}(infty))}$, respectively.
We use analogues of Enrights and Arkhipovs functors to determine the quiver and relations for a category of $mathfrak{sl}_2 ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $mathfrak{sl}_2$. We also outline serious obstacles to extend our result to $mathfrak{sl}_2 ltimes L(k)$, for $k>4$.
We define a $mathfrak{gl}_N$-stratification of the Grassmannian of $N$ planes $mathrm{Gr}(N,d)$. The $mathfrak{gl}_N$-stratification consists of strata $Omega_{mathbf{Lambda}}$ labeled by unordered sets $mathbf{Lambda}=(lambda^{(1)},dots,lambda^{(n)})$ of nonzero partitions with at most $N$ parts, satisfying a condition depending on $d$, and such that $(otimes_{i=1}^n V_{lambda^{(i)}})^{mathfrak{sl}_N} e 0$. Here $V_{lambda^{(i)}}$ is the irreducible $mathfrak{gl}_N$-module with highest weight $lambda^{(i)}$. We show that the closure of a stratum $Omega_{mathbf{Lambda}}$ is the union of the strata $Omega_{mathbfXi}$, $mathbf{Xi}=(xi^{(1)},dots,xi^{(m)})$, such that there is a partition ${I_1,dots,I_m}$ of ${1,2,dots,n}$ with $ {rm {Hom}}_{mathfrak{gl}_N} (V_{xi^{(i)}}, otimes_{jin I_i}V_{lambda^{(j)}}big) eq 0$ for $i=1,dots,m$. The $mathfrak{gl}_N$-stratification of the Grassmannian agrees with the Wronski map. We introduce and study the new object: the self-dual Grassmannian $mathrm{sGr}(N,d)subset mathrm{Gr}(N,d)$. Our main result is a similar $mathfrak{g}_N$-stratification of the self-dual Grassmannian governed by representation theory of the Lie algebra $mathfrak {g}_{2r+1}:=mathfrak{sp}_{2r}$ if $N=2r+1$ and of the Lie algebra $mathfrak g_{2r}:=mathfrak{so}_{2r+1}$ if $N=2r$.
Let $R=Bbbk[x_1,dots,x_n]$ be a polynomial ring over a field $Bbbk$ and let $Isubset R$ be a monomial ideal preserved by the natural action of the symmetric group $mathfrak S_n$ on $R$. We give a combinatorial method to determine the $mathfrak S_n$-module structure of $mathrm{Tor}_i(I,Bbbk)$. Our formula shows that $mathrm{Tor}_i(I,Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $mathfrak S_n$-equivariant analogue of Hochsters formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $mathfrak S_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $mathfrak S_n$-invariant part of $mathrm{Tor}_i(I,Bbbk)$ in terms of $mathrm{Tor}$ groups of the unsymmetrization of $I$.
We develop new methods to study $mathfrak{m}$-adic stability in an arbitrary Noetherian local ring. These techniques are used to prove results about the behavior of Hilbert-Samuel and Hilbert-Kunz multiplicities under fine $mathfrak{m}$-adic perturbations.