The branching problem for a couple of non-compatible Lie algebras and their parabolic subalgebras applied to generalized Verma modules was recently discussed in [15]. In the present article, we employ the recently developed F-method, [10], [11] to the couple of non-compatible Lie algebras $\mathrm{Lie}{G}_2\stackrel{i}{\hookrightarrow }so\left(7\right)$, and generalized conformal $so\left(7\right)$-Verma modules of scalar type. As a result, we classify the $i\left(\mathrm{Lie}{G}_2\right)\cap 𝔭$-singular vectors for this class of $so\left(7\right)$-modules.

In this paper we compute injective, projective and flat dimensions of inverse polynomial modules as $R\left[x\right]$-modules. We also generalize Hom and Ext functors of inverse polynomial modules to any submonoid but we show Tor functor of inverse polynomial modules can be generalized only for a symmetric submonoid.

Let $𝒩=N_n\left(R\right)$ be the algebra of all $n\times n$ strictly upper triangular matrices over a unital commutative ring $R$. A map $\varphi$ on $𝒩$ is called preserving commutativity in both directions if $xy=yx\iff \varphi \left(x\right)\varphi \left(y\right)=\varphi \left(y\right)\varphi \left(x\right)$. In this paper, we prove that each invertible linear map on $𝒩$ preserving commutativity in both directions is exactly a quasi-automorphism of $𝒩$, and a quasi-automorphism of $𝒩$ can be decomposed into the product of several standard maps, which extains the main result of Y. Cao, Z. Chen and C. Huang (2002) from fields to rings.

We consider the Hilbert scheme $H(d,g)$ of space curves $C$ with homogeneous ideal $I\left(C\right):=H_{*}^0\left({ℐ}_C\right)$ and Rao module $M:=H_{*}^1\left({ℐ}_C\right)$. By taking suitable generizations (deformations to a more general curve) $C^{\prime }$ of $C$, we simplify the minimal free resolution of $I\left(C\right)$ by e.g making consecutive free summands (ghost-terms) disappear in a free resolution of $I\left(C^{\prime }\right)$. Using this for Buchsbaum curves of diameter one ($M_v\ne 0$ for only one $v$), we establish a one-to-one correspondence between the set $𝒮$ of irreducible components of $H(d,g)$ that contain $\left(C\right)$ and a set of minimal...

This paper studies space curves $C$ of degree $d$ and arithmetic genus $g$, with homogeneous ideal $I$ and Rao module $M={\mathrm{H}}_{*}^1\left(\tilde{I}\right)$, whose main results deal with curves which satisfy ${}_0{\mathrm{Ext}}_R^2(M,M)=0$ (e.g. of diameter, $\mathrm{diam}M\le 2$). For such curves we find necessary and sufficient conditions for unobstructedness, and we compute the dimension of the Hilbert scheme, $\mathrm{H}(d,g)$, at $\left(C\right)$ under the sufficient conditions. In the diameter one case, the necessary and sufficient conditions coincide, and the unobstructedness of $C$ turns out to be equivalent to the...

Let $H$ denote a finite index subgroup of the modular group $\Gamma$ and let $\rho$ denote a finite-dimensional complex representation of $H.$ Let $M\left(\rho \right)$ denote the collection of holomorphic vector-valued modular forms for $\rho$ and let $M\left(H\right)$ denote the collection of modular forms on $H$. Then $M\left(\rho \right)$ is a $\mathbb{Z}$-graded $M\left(H\right)$-module. It has been proven that $M\left(\rho \right)$ may not be projective as a $M\left(H\right)$-module. We prove that $M\left(\rho \right)$ is Cohen-Macaulay as a $M\left(H\right)$-module. We also explain how to apply this result to prove that if $M\left(H\right)$ is a polynomial ring, then $M\left(\rho \right)$ is a free...

Let $G$ be a finite simple graph with the vertex set $V$ and let $I_G$ be its edge ideal in the polynomial ring $S=𝕂\left[V\right]$. We compute the depth and the Castelnuovo-Mumford regularity of $S/I_G$ when $G=G_1\circ G_2$ or $G=G_1*G_2$ is a graph obtained from Cohen-Macaulay bipartite graphs $G_1$, $G_2$ by the $\circ$ operation or $*$ operation, respectively.

Let $I$ be an ideal in a commutative Noetherian ring $R$. Then the ideal $I$ has the strong persistence property if and only if $\left(I^{k+1}{:}_{R}I\right)=I^k$ for all $k$, and $I$ has the symbolic strong persistence property if and only if $\left(I^{(k+1)}{:}_R{I}^{\left(1\right)}\right)=I^{\left(k\right)}$ for all $k$, where $I^{\left(k\right)}$ denotes the $k$th symbolic power of $I$. We study the strong persistence property for some classes of monomial ideals. In particular, we present a family of primary monomial ideals failing the strong persistence property. Finally, we show that every square-free monomial ideal has the...

We consider a generalization of the notion of torsion theory, which is associated with a Serre subcategory over a commutative Noetherian ring. In 2008 Aghapournahr and Melkersson investigated the question of when local cohomology modules belong to a Serre subcategory of the module category. In their study, the notion of Melkersson condition was defined as a suitable condition in local cohomology theory. One of our purposes in this paper is to show how naturally the concept of Melkersson condition...