# Commutative Algebra (math.AC)

• Let $J\subset I$ be ideals in a formally equidimensional local ring with $\lambda(I/J)<\infty$ and $J$ is a reduction of $I.$ For all large $n>>0,$ the function $\lambda(I^n/J^n)$ is a polynomial $P(I/J)(X)$ in $n,$ known as Rees polynomial of the pair $(I,J).$ We provide certain classes of ideals such that deg $P(I/J)$ achieves its maximal degree, i.e. $l(J)-1.$ We also study the function $\lambda({\bf I}^{\bf n}/{\bf J}^{\bf n})$ where $J_i\subsetneq I_i$ be ideals in $R$ such that $J_1\cdots J_s\neq I_1\cdots I_s,$ $J_i$ is a reduction of $I_i$ and $\lambda(I_i/J_i)<\infty$ for $i=1,\ldots,s.$ On the other hand, for ideals $J\subset I$ in a formally equidimensional local ring, we consider the multiplicity function $e(I^n/J^n)$ which is polynomial in $n$ for all $n>>0.$ In this case also we explicitly express the deg $e(I^n/J^n)$ in some special cases. If $J$ is not a reduction of $I,$ $J$ has analytic deviation one and $\sqrt{J:I}=\sqrt{J^n:I^n}$ for all $n\geq 1,$ we give characterization of reductions in terms of deg $e(I^n/J^n).$
• Using the unfolding method given in \citeHL, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the conjecture is affirmed in the same case which states that the ${\bf g}$-vectors of any cluster form a basis of $\mathbb Z^n$. Also, the additive categorification of an acyclic sign-skew-symmetric cluster algebra $\mathcal A(\Sigma)$ is given, which is realized as $(\mathcal C^{\widetilde Q},\Gamma)$ for a Frobenius $2$-Calabi-Yau category $\mathcal C^{\widetilde Q}$ constructed from an unfolding $(Q,\Gamma)$ of the acyclic exchange matrix $B$ of $\mathcal A(\Sigma)$.
• If a morphism of germs of schemes induces isomorphisms of all local jet schemes, does it follow that the morphism is an isomorphism? This problem is called the local isomorphism problem. In this paper, we use jet schemes to introduce various closure operations among ideals and relate them to the local isomorphism problem. This approach leads to a partial solution of the local isomorphism problem, which is shown to have a negative answer in general and a positive one in several situations of geometric interest.