Idempotent completions of equivariant matrix factorization categories

Michael K. Brown,Mark E. Walker

DOI: https://doi.org/10.48550/arXiv.2212.14469

2023-07-31

Abstract:We prove that equivariant matrix factorization categories associated to henselian local hypersurface rings are idempotent complete, generalizing a result of Dyckerhoff in the non-equivariant case.

Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

Idempotent Completions of n-Exangulated Categories

Carlo Klapproth,Dixy Msapato,Amit Shah

DOI: https://doi.org/10.1007/s10485-023-09758-5

2024-02-10

Applied Categorical Structures

Abstract:Suppose is an n -exangulated category. We show that the idempotent completion and the weak idempotent completion of are again n -exangulated categories. Furthermore, we also show that the canonical inclusion functor of into its (resp. weak) idempotent completion is n -exangulated and 2-universal among n -exangulated functors from to (resp. weakly) idempotent complete n -exangulated categories. Furthermore, we prove that if is n -exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and -angulated cases. However, our constructions recover the known structures in the established cases up to n -exangulated isomorphism of n -exangulated categories.

mathematics
Idempotent completions of $n$-exangulated categories

Carlo Klapproth,Dixy Msapato,Amit Shah

2023-10-29

Abstract:Suppose $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is an $n$-exangulated category. We show that the idempotent completion and the weak idempotent completion of $\mathcal{C}$ are again $n$-exangulated categories. Furthermore, we also show that the canonical inclusion functor of $\mathcal{C}$ into its (resp. weak) idempotent completion is $n$-exangulated and $2$-universal among $n$-exangulated functors from $(\mathcal{C},\mathbb{E},\mathfrak{s})$ to (resp. weakly) idempotent complete $n$-exangulated categories. Furthermore, we prove that if $(\mathcal{C},\mathbb{E},\mathfrak{s})$ is $n$-exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and $(n+2)$-angulated cases. However, our constructions recover the known structures in the established cases up to $n$-exangulated isomorphism of $n$-exangulated categories.

Category Theory,Representation Theory
Categorical matrix factorizations

Petter Andreas Bergh,David A. Jorgensen

DOI: https://doi.org/10.2140/akt.2023.8.355

2022-06-22

Abstract:In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to Eisenbud. We explore some natural functors between associated triangulated categories, and show that when d=2 these are full and faithful, and in some cases equivalences.

K-Theory and Homology,Commutative Algebra,Category Theory
The category of extensions and idempotent completion

Raphael Bennett-Tennenhaus,Johanne Haugland,Mads Hustad Sandøy,Amit Shah

2023-10-26

Abstract:Building on previous work, we study the splitting of idempotents in the category of extensions $\mathbb{E}\operatorname{-Ext}(\mathcal{C})$ associated to a pair $(\mathcal{C},\mathbb{E})$ of an additive category and a biadditive functor to the category of abelian groups. In particular, we show that idempotents split in $\mathbb{E}\operatorname{-Ext}(\mathcal{C})$ whenever they do so in $\mathcal{C}$, allowing us to prove that idempotent completions and extension categories are compatible constructions in a $2$-category-theoretic sense. Furthermore, we show that the exact category obtained by first taking the idempotent completion of an $n$-exangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, in the sense of Klapproth-Msapato-Shah, and then considering its category of extensions is equivalent to the exact category obtained by first passing to the extension category and then taking the idempotent completion. These two different approaches yield a pair of $2$-functors each taking small $n$-exangulated categories to small idempotent complete exact categories. The collection of equivalences that we provide constitutes a $2$-natural transformation between these $2$-functors. Similar results with no smallness assumptions and regarding weak idempotent completions are also proved.

Category Theory,Representation Theory
Matrix factorizations with more than two factors

Tim Tribone

DOI: https://doi.org/10.48550/arXiv.2102.06819

2021-02-13

Abstract: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 $(\varphi_1,\varphi_2,\dots,\varphi_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 Solberg which identify the category of matrix factorizations with the full subcategory of maximal Cohen-Macaulay modules over a certain non-commutative algebra $\Gamma$. As a consequence of our findings, we observe that the ring $\Gamma$ behaves, homologically, like a "non-commutative hypersurface ring" in the sense that every finitely generated module over $\Gamma$ has an eventually $2$-periodic projective resolution.

Commutative Algebra,Rings and Algebras,Representation Theory
Tensor products of $d$-fold matrix factorizations

Richie Sheng,Tim Tribone

2024-07-06

Abstract:Consider a pair of elements $f$ and $g$ in a commutative ring $Q$. Given a matrix factorization of $f$ and another of $g$, the tensor product of matrix factorizations, which was first introduced by Knörrer and later generalized by Yoshino, produces a matrix factorization of the sum $f+g$. We will study the tensor product of $d$-fold matrix factorizations, with a particular emphasis on understanding when the construction has a non-trivial direct sum decomposition. As an application of our results, we construct indecomposable maximal Cohen-Macaulay and Ulrich modules over hypersurface domains of a certain form.

Commutative Algebra
Idempotent Completion of n-Angulated Categories

Zengqiang Lin

DOI: https://doi.org/10.1007/s10485-021-09644-y

2021-04-13

Applied Categorical Structures

Abstract:Let ${\mathcal {C}}$ be an n-angulated category. We prove that its idempotent completion $\widetilde{{\mathcal {C}}}$ admits a unique n-angulated structure such that the canonical functor $\iota : {\mathcal {C}}\rightarrow \widetilde{{\mathcal {C}}}$ is n-angulated. Moreover, the functor $\iota $ induces an equivalence $Hom _{n-ang }(\widetilde{{\mathcal {C}}},{\mathcal {D}})\cong Hom _{n-ang }({\mathcal {C}},{\mathcal {D}})$ for any idempotent complete n-angulated category ${\mathcal {D}}$, where $Hom _{n-ang }$ denotes the category of n-angulated functors.

mathematics
Ranks of matrix factorizations and sheaf cohomology

Michael K. Brown,Mark E. Walker

2024-12-02

Abstract:Buchweitz-Greuel-Schreyer conjectured in 1987 a lower bound on the ranks of matrix factorizations over certain local hypersurface rings. We study a graded version of this conjecture, and we show that it implies a novel conjecture concerning the cohomology of sheaves over non-Fano projective hypersurfaces.

Algebraic Geometry,Commutative Algebra
C*-Algebraic Factorization Homology and Realization of Cyclic Representations

Lucas Hataishi

2023-12-15

Abstract:We prove cocontinuity of the $\max$-tensor product of C*-categories and develop a framework to perform factorization homology in a C*-setting. In such context, we specialize some results of D. Ben-Zvi, A. Brochier and D. Jordan. As a consequence of our constructions, we realize quantum Hamiltonian reduction in terms of bimodules over a factor $N$. We also provide a GNS-type reconstruction theorem for C*-algebra objects of in categories of bimodules over a II_1-factor, enhancing a realization theorem due to C. Jones and D. Penneys.

Operator Algebras,Mathematical Physics,Quantum Algebra
Idempotent factorization on some matrices over quadratic integer rings

Peeraphat Gatephan,Kijti Rodtes

2023-06-01

Abstract:In 2020, Cossu and Zanardo raised a conjecture on the idempotent factorization on singular matrices in the form $\begin{pmatrix} p&z\\ \bar{z}&\sfrac{\lVert z\rVert}{p} \end{pmatrix},$ where $p$ is a prime integer which is irreducible but not prime element in the ring of integers $\mathbb{Z}[\sqrt{D}]$ and $z\in\mathbb{Z}[\sqrt{D}]$ such that $\langle p,z\rangle$ is a non-principal ideal. In this paper, we provide some classes of matrices that affirm the conjecture and some classes of matrices that oppose the conjecture. We further show that there are matrices in the above form that can not be written as a product of two idempotent matrices.

Rings and Algebras
Malcev Completions, Hodge Theory, and Motives

Emil Jacobsen

2024-09-05

Abstract:We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori) motivic strengthening of Hain's theorem on Malcev completions of monodromy representations. Our methods are Tannakian, and rely on an abstract criterion for ``Malcev completeness'', which is proved in the first part of the paper. A couple of secondary applications of this criterion are given: an alternative proof of D'Addezio--Esnault's theorem, which says that local systems of Hodge origin are stable under extension in the category of all local systems; a generalisation of the theorem of Hain, mentioned above, which also affirms a conjecture of Arapura; and an alternative proof of a theorem of Lazda, which under suitable assumptions gives an isomorphism between the relative unipotent de Rham fundamental group and the unipotent de Rham fundamental group of the special fibre.

Algebraic Geometry,Representation Theory
Derived functors and Hilbert polynomials over hypersurface rings

Tony J. Puthenpurakal

2024-07-24

Abstract:Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal Cohen-Macaulay $A$-module the function $n \rightarrow \ell(Tor^A_1(M, A/I^{n+1}))$ (which is of polynomial type) has degree $r_I$. Analogous results hold for Hilbert polynomials associated to Ext-functors. Surprisingly a key ingredient is the classification of thick subcategories of the stable category of MCM $A$-modules (obtained by Takahashi).

Commutative Algebra
Factorization centers in dimension two and the Grothendieck ring of varieties

Hsueh-Yung Lin,Evgeny Shinder,Susanna Zimmermann

2023-06-11

Abstract:We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $\phi : X \dashrightarrow X$ of a smooth projective surface $X$ over a perfect field $k$, the blowup centers are isomorphic to the blowdown centers in every weak factorization of $\phi$. This implies that nontrivial L-equivalences of $0$-dimensional varieties cannot be constructed based on birational automorphisms of a surface. It also implies that rationality centers are well-defined for every rational surface $X$, namely there exists a $0$-dimensional variety intrinsic to $X$, which is blown up in any rationality construction of $X$.

Algebraic Geometry
Idempotence Preserving Maps Between Matrix Spaces

Yang Zhang,Jun Cao,Bao-Dong Zheng

DOI: https://doi.org/10.1080/03081087.2011.599066

2011-01-01

Linear and Multilinear Algebra

Abstract:Suppose 𝔽 is an arbitrary field of characteristic not 2 and 𝔽 ≠ 𝔽3. Let M n (𝔽) be the space of all n × n full matrices over 𝔽 and P n (𝔽) the subset of M n (𝔽) consisting of all n × n idempotent matrices and GL n (𝔽) the subset of M n (𝔽) consisting of all n × n invertible matrices. Let Φ𝔽(n, m) denote the set of all maps from M n (𝔽) to M m (𝔽) satisfying A − λB ∈ P n (𝔽) ⇒ φ(A) − λφ(B) ∈ P m (𝔽) for every A, B ∈ M n (𝔽) and λ ∈ 𝔽, where m and n are integers with 3 ≤ n ≤ m. It is shown that if φ ∈ Φ𝔽(n, m), then there exists T ∈ GL m (𝔽) such that φ(A) = T [A ⊗ I p ⊕ A t ⊗ I q ⊕ 0]T −1 for every A ∈ M n (𝔽), where I 0 = 0. This improves the results of some related references.
Factorization homology of enriched $\infty$-categories

David Ayala,John Francis,Aaron Mazel-Gee,Nick Rozenblyum

2024-05-11

Abstract:For an arbitrary symmetric monoidal $\infty$-category $\mathcal{V}$, we define the factorization homology of $\mathcal{V}$-enriched $(\infty,1)$-categories over (possibly stratified) 1-manifolds and study some of its basic properties. In the case of spectral enrichment, we show that the value of factorization homology on a circle is topological Hochschild homology.

Algebraic Topology,Mathematical Physics,Category Theory,Quantum Algebra
Idempotent completion of certain $n$-exangulated categories

Jian He,Jing He,Panyue Zhou

DOI: https://doi.org/10.48550/arXiv.2207.01232

IF: 0.6

2022-07-04

Representation Theory

Abstract:It was shown recently that an $n$-extension closed subcategory $\mathscr A$ of a Krull-Schmidt $(n+2)$-angulated category has a natural structure of an $n$-exangulated category. In this article, we prove that its idempotent completion $\widetilde{\mathscr A}$ admits an $n$-exangulated structure. It is not only a generalization of the main result of Lin, but also gives an $n$-exangulated category which is neither $n$-exact nor $(n+2)$-angulated in general.
Partially symmetric tensors and the non-defectivity of secant varieties of products with a projective line as a factor

Edoardo Ballico

2023-06-09

Abstract:We prove (with a mild restriction on the multidegrees) that all secant varieties of Segre-Veronese varieties with $k>2$ factors, $k-2$ of them being $\mathbb{P}^1$, have the expected dimension. This is equivalent to compute the dimension of the set of all partially symmetric tensors with a fixed rank and the same format. The proof uses the case $k=2$ proved by Galuppi and Oneto. Our theorem is an easy consequence of a theorem proved here for arbitrary projective varieties with a projective line as a factor and with respect to complete linear systems.

Algebraic Geometry
Additive Combinatorics Using Equivariant Cohomology

László M. Fehér,János Nagy

2024-09-26

Abstract:We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.

Combinatorics,Algebraic Geometry,Algebraic Topology
On a Completion of Cohomological Functors Generalising Tate Cohomology II

Max Gheorghiu

2024-06-08

Abstract:Viewing group cohomology as a so-called cohomological functor, G. Mislin has generalised Tate cohomology from finite groups to all discrete groups by defining a completion for cohomological functors in [24]. For any cohomological functor $T^{\bullet}: \mathcal{C} \rightarrow \mathcal{D}$ we have constructed its Mislin completion $\widehat{T}^{\bullet}: \mathcal{C} \rightarrow \mathcal{D}$ in [15] under mild assumptions on the abelian categories $\mathcal{C}$ and $\mathcal{D}$ which generalises Tate cohomology to all $T1$ topological groups. In this paper we investigate the properties of Mislin completions. As their main feature, Mislin completions of Ext-functors detect finite projective dimension of objects in the domain category. We establish a version of dimension shifting, an Eckmann-Shapiro result as well as cohomology products such as external products, cup products and Yoneda products.

Group Theory
Hodge ideals for the determinant hypersurface

Michael Perlman,Claudiu Raicu

DOI: https://doi.org/10.1007/s00029-020-00616-z

2021-01-04

Selecta Mathematica

Abstract:We determine explicitly the Hodge ideals for the determinant hypersurface as an intersection of symbolic powers of determinantal ideals. We prove our results by studying the Hodge and weight filtrations on the mixed Hodge module $\mathcal {O}_{\mathscr {X}}(*\mathscr {Z})$ of regular functions on the space $\mathscr {X}$ of $n\times n$ matrices, with poles along the divisor $\mathscr {Z}$ of singular matrices. The composition factors for the weight filtration on $\mathcal {O}_{\mathscr {X}}(*\mathscr {Z})$ are pure Hodge modules with underlying $\mathcal {D}$-modules given by the simple ${\text {GL}}$-equivariant $\mathcal {D}$-modules on $\mathscr {X}$, where ${\text {GL}}$ is the natural group of symmetries, acting by row and column operations on the matrix entries. By taking advantage of the ${\text {GL}}$-equivariance and the Cohen–Macaulay property of their associated graded, we describe explicitly the possible Hodge filtrations on a simple ${\text {GL}}$-equivariant $\mathcal {D}$-module, which are unique up to a shift determined by the corresponding weights. For non-square matrices, $\mathcal {O}_{\mathscr {X}}(*\mathscr {Z})$ is replaced by the local cohomology modules $H^{\bullet }_{\mathscr {Z}}(\mathscr {X},\mathcal {O}_{\mathscr {X}})$, which turn out to be pure Hodge modules. By working out explicitly the Decomposition Theorem for some natural resolutions of singularities of determinantal varieties, and using the results on square matrices, we determine the weights and the Hodge filtration for these local cohomology modules.

mathematics, applied

Idempotent completions of equivariant matrix factorization categories

Idempotent Completions of n-Exangulated Categories

Idempotent completions of $n$-exangulated categories

Categorical matrix factorizations

The category of extensions and idempotent completion

Matrix factorizations with more than two factors

Tensor products of $d$-fold matrix factorizations

Idempotent Completion of n-Angulated Categories

Ranks of matrix factorizations and sheaf cohomology

C*-Algebraic Factorization Homology and Realization of Cyclic Representations

Idempotent factorization on some matrices over quadratic integer rings

Malcev Completions, Hodge Theory, and Motives

Derived functors and Hilbert polynomials over hypersurface rings

Factorization centers in dimension two and the Grothendieck ring of varieties

Idempotence Preserving Maps Between Matrix Spaces

Factorization homology of enriched $\infty$-categories

Idempotent completion of certain $n$-exangulated categories

Partially symmetric tensors and the non-defectivity of secant varieties of products with a projective line as a factor

Additive Combinatorics Using Equivariant Cohomology

On a Completion of Cohomological Functors Generalising Tate Cohomology II

Hodge ideals for the determinant hypersurface