The symbolic defect of an ideal

Let I be a homogeneous ideal of $\mathbb{k}[x_0,\dots ,x_n]$. To compare $I^{(m)}$, the m-th symbolic power of I, with $I^m$, the regular m-th power, we introduce the m-th symbolic defect of I, denoted $\mathrm{sdefect}(I,m)$. Precisely, $\mathrm{sdefect}(I,m)$ is the minimal number of generators of the R-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that I is either the defining ideal of a star configuration or the ideal associated to a finite set of points in ${\mathbb{P}}^2$. We are specifically interested in identifying ideals I with $\mathrm{sdefect}(I,2)=1$.     

The Z2-orbifold of the universal affine vertex algebra

Let $\mathfrak{g}$ be a simple, finite-dimensional complex Lie algebra, and let $V^k(\mathfrak{g})$ denote the universal affine vertex algebra associated to $\mathfrak{g}$ at level k. The Cartan involution on $\mathfrak{g}$ lifts to an involution on $V^k(\mathfrak{g})$, and we denote by $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ the orbifold, or fixed-point subalgebra, under this involution. Our main result is an explicit minimal strong finite generating set for $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ for generic values of k.     

Regular characters of classical groups over complete discrete valuation rings

Let $\mathfrak{o}$ be a complete discrete valuation ring with finite residue field $\mathsf{k}$ of odd characteristic, and let G be a symplectic or special orthogonal group scheme over $\mathfrak{o}$. For any $?\in \mathbb{N}$ let $G^{?}$ denote the ?-th principal congruence subgroup of $\mathbf{G}(\mathfrak{o})$. An irreducible character of the group $\mathbf{G}(\mathfrak{o})$ is said to be regular if it is trivial on a subgroup $G^{?+1}$ for some ?, and if its restriction to $G^{?}/G^{?+1}?\mathrm{Lie}(\mathbf{G})(\mathsf{k})$ consists of characters of minimal $\mathbf{G}({\mathsf{k}}^{\mathrm{alg}})$-stabilizer dimension. In the present paper we consider the regular characters of such classical groups over $\mathfrak{o}$, and construct and enumerate all regular characters of $\mathbf{G}(\mathfrak{o})$, when the characteristic of $\mathsf{k}$ is greater than two. As a result, we compute the regular part of their representation zeta function.     

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.     

Embedding of RCD⁎(K,N) spaces in L2 via eigenfunctions

In this paper we study the family of embeddings ${\mathrm{\Phi }}_t$ of a compact ${\mathrm{RCD}}^{?}(K,N)$ space $(X,\mathsf{d},\mathfrak{m})$ into $L^2(X,\mathfrak{m})$ via eigenmaps. Extending part of the classical results [10], [11] known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics ${\mathrm{\Phi }}_t^{?}{g}_{L^2}$ in $L^2(X,\mathfrak{m})$ induced by ${\mathrm{\Phi }}_t$. Moreover we discuss the behavior of ${\mathrm{\Phi }}_t^{?}{g}_{L^2}$ with respect to measured Gromov-Hausdorff convergence and t. Applications include the quantitative $L^p$-convergence in the noncollapsed setting for all $p<\infty$, a result new even for closed Riemannian manifolds and Alexandrov spaces.     

An improvement to the Hilton-Zhao vertex-splitting conjecture

For a simple graph G, denote by n, $\mathrm{\Delta }(G)$, and ${\chi }^{\prime }(G)$ its order, maximum degree, and chromatic index, respectively. A graph G is edge-chromatic critical if ${\chi }^{\prime }(G)=\mathrm{\Delta }(G)+1$ and ${\chi }^{\prime }(H)<{\chi }^{\prime }(G)$ for every proper subgraph H of G. Let G be an n-vertex connected regular class 1 graph, and let $G^{?}$ be obtained from G by splitting one vertex of G into two vertices. Hilton and Zhao in 1997 conjectured that $G^{?}$ must be edge-chromatic critical if $\mathrm{\Delta }(G)>n/3$, and they verified this when $\mathrm{\Delta }(G)\ge \frac{n}{2}(\sqrt{7}?1)\approx 0.82n$. In this paper, we prove it for $\mathrm{\Delta }(G)\ge 0.75n$.     

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).     

On invariant fields of vectors and covectors

Let ${\mathbb{F}}_q$ be the finite field of order q. Let G be one of the three groups $\mathrm{GL}(n,{\mathbb{F}}_q)$, $\mathrm{SL}(n,{\mathbb{F}}_q)$ or $\mathrm{U}(n,{\mathbb{F}}_q)$ and let W be the standard n-dimensional representation of G. For non-negative integers m and d we let $mW\oplus d{W}^{?}$ denote the representation of G given by the direct sum of m vectors and d covectors. We exhibit a minimal set of homogeneous invariant polynomials $\{{?}_1,{?}_2,\dots ,{?}_{(m+d)n}\}?{\mathbb{F}}_q{[mW\oplus d{W}^{?}]}^G$ such that ${\mathbb{F}}_q{(mW\oplus d{W}^{?})}^G={\mathbb{F}}_q({?}_1,{?}_2,\dots ,{?}_{(m+d)n})$ for all cases except when $md=0$ and $G=\mathrm{GL}(n,{\mathbb{F}}_q)$ or $\mathrm{SL}(n,{\mathbb{F}}_q)$.     

Non-integrated defect relation for meromorphic mappings on Kähler manifolds intersecting non-subdegenerate families of hyperplanes

Let M be a complete Kähler manifold, whose universal covering is biholomorphic to a ball ${\mathbb{B}}^m(R_0)$ in ${\mathbb{C}}^m$ ($0<R_0\le +\infty$). Our purpose of this article is to establish a non-integrated defect relation with truncated level for a meromorphic mapping on M intersecting a family of hyperplanes in ${\mathbb{P}}^n(\mathbb{C})$ which is non-subdegenerate with respect to the mapping.     

On discrete Brunn-Minkowski and isoperimetric type inequalities

We show that the lattice point enumerator ${\mathrm{G}}_n(?)$ satisfies${\mathrm{G}}_n{(tK+sL+{(?1,?t+s?)}^n)}^{1/n}\ge t{\mathrm{G}}_n{(K)}^{1/n}+s{\mathrm{G}}_n{(L)}^{1/n}$ for any $K,L?{\mathbb{R}}^n$ bounded sets with integer points and all $t,s\ge 0$.We also prove that a certain family of compact sets, extending that of cubes ${[?m,m]}^n$, with $m\in \mathbb{N}$, minimizes the functional ${\mathrm{G}}_n(K+t{[?1,1]}^n)$, for any $t\ge 0$, among those bounded sets $K?{\mathbb{R}}^n$ with given positive lattice point enumerator.Finally, we show that these new discrete inequalities imply the corresponding classical Brunn-Minkowski and isoperimetric inequalities for non-empty compact sets.