arXiv 2209.033752022-09-07math.ACmath.AGmath.RAmath.RT

Matrix Factorizations of the discriminant of $S_n$

Eleonore Faber, Colin Ingalls, Simon May, Marco Talarico

备注：: 23 pages, comments welcome!

英文摘要：

Consider the symmetric group $S_n$ acting as a reflection group on the polynomial ring $k[x_1, \ldots, x_n]$, where $k$ is a field such that Char$(k)$ does not divide $n!$. We use Higher Specht polynomials to construct matrix factorizations of the discriminant of this group action: these matrix factorizations are indexed by partitions of $n$ and respect the decomposition of the coinvariant algebra into isotypical components. The maximal Cohen-Macaulay modules associated to these matrix factorizations give rise to a noncommutative resolution of the discriminant and they correspond to the nontrivial irreducible representations of $S_n$. All our constructions are implemented in Macaulay2 and we provide several examples. We also discuss extensions of these results to Young subgroups of $S_n$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Non-commutative resolutions for the discriminant of the complex reflection group $G(m,p,2)$

We show that for the family of complex reflection groups $G=G(m,p,2)$ appearing in the Shephard--Todd classification, the endomorphism ring of the reduced hyperplane arrangement $A(G)$ is a non-commutative resolution for the coordinate ring of the discriminant $Δ$ of $G$. This furthers the work of Buchweitz, Faber and Ingalls who showed that this result holds for any true reflection group. In particular, we construct a matrix factorization for $Δ$ from $A(G)$ and decompose it using data from the irreducible representations of $G$. For $G(m,p,2)$ we give a full decomposition of this matrix fact…

2021-07-26math.ACmath.RT

保持矩阵判别式的线性映射：一种增强方法

Linear maps preserving the matrix discriminant. An enhanced approach

Bar-Ilan University（巴伊兰大学）

本文针对基域足够大的情形刻画保持矩阵判别式的线性映射，将相关结果推广到有限基数且特征整除矩阵大小的情况，引入的新不变量可用于线性保持者理论的其他问题。

2026-10-14math.ACmath.FAmath.RA

Explicit factors of some iterated resultants and discriminants

In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into irreducible factors of several constructions involving two times iterated univariate resultants and discriminants over the integer universal ring of coefficients of the entry polynomials. Cases involving from two to four generic polynomials and resultants or discriminants in one of their variables are treated. The decompositions into irreducible factors we g…

2007-10-15cs.SCmath.ACmath.AG

A new determinantal formula for the classical discriminant

According to several classical results by Bezout, Sylvester, Cayley, and others, the classical discriminant D_n of degree n polynomials may be expressed as the determinant of a matrix whose entries are much simpler polynomials in the coefficients of f. However, all of the determinantal formulae for D_n appearing in the classical literature are equivalent in the sense that the cokernels of their associated matrices are isomorphic as modules over the associated polynomial ring. This begs the question of whether there exist formulae which are not equivalent to the classical formulae and not trivi…

2009-01-27math.ACmath.AG

A McKay correspondence for reflection groups

We construct a noncommutative desingularization of the discriminant of a finite reflection group $G$ as a quotient of the skew group ring $A=S*G$. If $G$ is generated by order two reflections, then this quotient identifies with the endomorphism ring of the reflection arrangement $\mathcal{A}(G)$ viewed as a module over the coordinate ring $S^G/(Δ)$ of the discriminant of $G$. This yields, in particular, a correspondence between the nontrivial irreducible representations of $G$ to certain maximal Cohen--Macaulay modules over the coordinate ring $S^G/(Δ)$. These maximal Cohen--Macaulay modules a…

2020-02-13math.ACmath.AGmath.RT

关于GKZ判别 locus

On the GKZ discriminant locus

Université Libre de Bruxelles（布鲁塞尔自由大学）；Universiteit Hasselt（哈瑟尔特大学）；Vrije Universiteit Brussel（布鲁塞尔自由大学）

本文证明GKZ判别 locus 是所有判别 locus 的直接并集，无需取闭包，回答了Kite和Segal的问题。

2026-02-13math.ACmath.AGmath.RA

更多相关论文收起更多论文

Matrix factorizations with more than two factors

Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(φ_1,φ_2,\dots,φ_d)$ such that their product is $f$ times an identity matrix of the appropriate size. Several well known properties of matrix factorizations with $2$ factors extend to the case of arbitrarily many factors. For instance, we show that the stable category of matrix factorizations with $d\ge 2$ factors is naturally triangulated and we give explicit formula for the relevant suspension functor. We also extend results of Knörrer and S…

2021-02-12math.ACmath.RAmath.RT

Periodic free resolutions from twisted matrix factorizations

The notion of a matrix factorization was introduced by Eisenbud in the commutative case in his study of bounded (periodic) free resolutions over complete intersections. In this work, we extend the notion of (homogeneous) matrix factorizations to regular normal elements of connected graded algebras over a field. Next, we relate the category of twisted matrix factorizations to an element over a ring and certain Zhang twists. We also show that in the AS-regular setting, every sufficiently high syzygy module is the cokernel of some twisted matrix factorization. Furthermore, we show that in this se…

2013-07-31math.ACmath.RA

等变矩阵分解范畴的幂等完备化

Idempotent completions of equivariant matrix factorization categories

本文证明了与henselian局部超曲面环相关的等变矩阵分解范畴是幂等完备的，将Dyckerhoff在非等变情形下的结果推广至等变情形。

2023-07-30math.ACmath.AG

Betti tables for indecomposable matrix factorizations of $XY(X-Y)(X-λY)$

We classify the Betti tables of indecomposable graded matrix factorizations over the simple elliptic singularity $f_λ= XY(X-Y)(X-λY)$ by making use of an associated weighted projective line of genus one.

2017-12-19math.ACmath.RT

Matrix factorizations over projective schemes

We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the hypercohomology of a certain mapping complex. Using this explicit description, we give another proof of Orlov's theorem that there is a fully faithful embedding of the homotopy category of matrix factorizations into the singularity category of the corresponding zero subscheme. We also give a complete description of the image of this functor.

2012-05-11math.ACmath.AG

Standard Conjecture D for matrix factorizations

We prove the non-commutative analogue of Grothendieck's Standard Conjecture D for the dg-category of matrix factorizations of an isolated hypersurface singularity in characteristic 0. Along the way, we show the Euler pairing for such dg-categories of matrix factorizations is positive semi-definite.

2020-03-04math.ACmath.AGmath.KT

Matrix factorizations of generic polynomials

We prove that the Buchweitz-Greuel-Schreyer Conjecture on the minimal rank of a matrix factorization holds for a generic polynomial of given degree and strength. The proof introduces a notion of the secondary strength of a polynomial, and uses a variant of the ultraproduct technique of Erman, Sam, and Snowden.

2022-09-26math.ACmath.AG

Direct sum decomposability of polynomials and factorization of associated forms

We prove two criteria for direct sum decomposability of homogeneous polynomials. For a homogeneous polynomial with a non-zero discriminant, we interpret direct sum decomposability of the polynomial in terms of factorization properties of the Macaulay inverse system of its Milnor algebra. This leads to an if-and-only-if criterion for direct sum decomposability of such a polynomial, and to an algorithm for computing direct sum decompositions over any field, either of characteristic $0$ or of sufficiently large positive characteristic, for which polynomial factorization algorithms exist. For homo…

2018-11-19math.ACmath.AG

An explicit matrix factorization of cubic hypersurfaces of small dimension

In this paper, we compute an explicit matrix factorization of a rank 9 Ulrich sheaf on a general cubic hypersurface of dimension at most 7, whose existence was proved by Manivel. Instead of using invariant theory, we use Shamash's construction with a cone over the spinor variety. We also describe an algebro-geometric interpretation of our matrix factorization which connects the spinor tenfold and the Cartan cubic.

2019-10-30math.ACmath.AG

Matrix Factorizations for Complete Intersections and Minimal Free Resolutions

Matrix factorizations of a hypersurface yield a description of the asymptotic structure of minimal free resolutions over the hypersurface. We introduce a new concept of matrix factorizations for complete intersections that allows us to describe the asymptotic structure of minimal free resolutions over complete intersections.

2015-02-23math-phmath.ACmath.AG

Complete intersections and equivalences with categories of matrix factorizations

We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor, the homotopy category of matrix factorizations embeds into the homotopy category of totally acyclic complexes of finitely generated projective modules over the factor ring.

2015-09-14math.ACmath.CTmath.KT