Applications and homological properties of local rings with decomposable maximal ideals

We construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R satisfies the uniform Auslander condition (UAC), but the localization $R_{\mathfrak{p}}$ does not satisfy Auslander's condition (AC). Given any positive integer n, we also construct a local Cohen–Macaulay ring R with a prime ideal $\mathfrak{p}\in \mathrm{Spec}(R)$ such that R has exactly two non-isomorphic semidualizing modules, but the localization $R_{\mathfrak{p}}$ has $2^n$ non-isomorphic semidualizing modules. Each of these examples is constructed as a fiber product of two local rings over their common residue field. Additionally, we characterize the non-trivial Cohen–Macaulay fiber products of finite Cohen–Macaulay type.     

Fq-linear codes over Fq-algebras

Huffman (2013) [12] studied ${\mathbb{F}}_q$-linear codes over ${\mathbb{F}}_{q^m}$ and he proved the MacWilliams identity for these codes with respect to ordinary and Hermitian trace inner products. Let S be a finite commutative ${\mathbb{F}}_q$-algebra. An ${\mathbb{F}}_q$-linear code over S of length n is an ${\mathbb{F}}_q$-submodule of $S^n$. In this paper, we study ${\mathbb{F}}_q$-linear codes over S. We obtain some bounds on minimum distance of these codes, and some large classes of MDR codes are introduced. We generalize the ordinary and Hermitian trace products over ${\mathbb{F}}_q$-algebras and we prove the MacWilliams identity with respect to the generalized form. In particular, we obtain Huffman's results on the MacWilliams identity. Among other results, we give a theory to construct a class of quantum codes and the structure of ${\mathbb{F}}_q$-linear codes over finite commutative graded ${\mathbb{F}}_q$-algebras.     

Realization of PBW-deformations of type An quantum groups via multiple Ore extensions

The notion of multiple Ore extension is introduced as a natural generalization of Ore extensions and double Ore extensions. For a PBW-deformation ${\mathfrak{B}}_q(\mathfrak{sl}(n+1,\mathbb{C}))$ of type ${\mathbb{A}}_n$ quantum group, we explicitly obtain the commutation relations of its root vectors, then show that it can be realized via a series of multiple Ore extensions, which we call a ladder Ore extension of type $(1,2,?,n)$. Moreover, we analyze the quantum algebras ${\mathfrak{B}}_q(\mathfrak{g})$ with $\mathfrak{g}$ of type ${\mathbb{D}}_4$, ${\mathbb{B}}_2$ and ${\mathbb{G}}_2$ and give some examples and counterexamples that can be realized by a ladder Ore extension.     

slN-web categories and categorified skew Howe duality

In this paper we show how the colored Khovanov–Rozansky ${\mathfrak{sl}}_N$-matrix factorizations, due to Wu [45] and Y.Y. [46], [47], can be used to categorify the type A quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison in [14]. In particular, we define ${\mathfrak{sl}}_N$-web categories and 2-representations of Khovanov and Lauda's categorical quantum ${\mathfrak{sl}}_m$ on them. We also show that this implies that each such web category is equivalent to the category of finite-dimensional graded projective modules over a certain type A cyclotomic KLR-algebra.     

Mixed quantum skew Howe duality and link invariants of type A

We define a ribbon category $\mathsf{Sp}(\beta )$, depending on a parameter β, which encompasses Cautis, Kamnitzer and Morrison's spider category, and describes for $\beta =m?n$ the monoidal category of representations of $U_q({\mathfrak{gl}}_{m|n})$ generated by exterior powers of the vector representation and their duals. We identify this category $\mathsf{Sp}(\beta )$ with a direct limit of quotients of a dual idempotented quantum group ${\dot{\mathbf{U}}}_q({\mathfrak{gl}}_{r+s})$, proving a mixed version of skew Howe duality in which exterior powers and their duals appear at the same time. We show that the category $\mathsf{Sp}(\beta )$ gives a unified natural setting for defining the colored ${\mathfrak{gl}}_{m|n}$ link invariant (for $\beta =m?n$) and the colored HOMFLY-PT polynomial (for β generic).     

Affine flag varieties and quantum symmetric pairs,II. Multiplication formula

We establish a multiplication formula for a tridiagonal standard basis element in the idempotent version, i.e., the Lusztig form, of the coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$ arising from the geometry of affine partial flag varieties of type C. We apply this formula to obtain the stabilization algebras ${\dot{\mathbf{K}}}_n^{\mathfrak{c}}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$, ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\eta }^{??}$, which are idempotented coideal subalgebras of quantum affine ${\mathfrak{gl}}_n$. The symmetry in the formula leads to an isomorphism of the idempotented coideal subalgebras ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ and ${\dot{\mathbf{K}}}_{\mathfrak{n}}^{??}$ with compatible monomial, standard and canonical bases.     

Projective well orders and coanalytic witnesses

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable P-points, definable tight MAD families and definable selective independent families. As a result, we obtain a model in which $\mathfrak{a}=\mathfrak{u}=\mathfrak{i}={\mathrm{?}}_1<2^{{\mathrm{?}}_0}={\mathrm{?}}_2$, each of $\mathfrak{a}$, $\mathfrak{u}$, $\mathfrak{i}$ has a ${\mathrm{\Pi }}_1^1$ witness and there is a ${\mathrm{\Delta }}_3^1$ well-order of the reals. Note that both the complexity of the witnesses of the above combinatorial cardinal characteristics, as well as the complexity of the well-order are optimal. In addition, we show that the existence of a ${\mathrm{\Delta }}_3^1$ well-order of the reals is consistent with $\mathfrak{c}={\mathrm{?}}_2$ and each of the following: $\mathfrak{a}=\mathfrak{u}<\mathfrak{i}$, $\mathfrak{a}=\mathfrak{i}<\mathfrak{u}$, $\mathfrak{a}<\mathfrak{u}=\mathfrak{i}$, where the smaller cardinal characteristics have co-analytic witnesses.Our methods allow the preservation of only sufficiently definable witnesses, which significantly differs from other preservation results of this type.     

A local–global principle for surjective polynomial maps

Let R be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over R is surjective if and only if it is surjective over $\stackrel{?}{R_{\mathfrak{m}}}$, the completion of R with respect to $\mathfrak{m}$, for every maximal ideal $\mathfrak{m}?R$. In fact, the completions $\stackrel{?}{R_{\mathfrak{m}}}$ may be replaced by arbitrary subrings containing R. We use this result to yield a characterization of surjective polynomial maps, and remark that there does not exist a similar principle for injective polynomial maps.