Division Theorems for the Koszul Complex

Qingchun Ji

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

2011-06-19

Abstract:We establish a twisted version of Skoda's estimate for the Koszul complex from which we get division theorems for the Koszul complex. This generalizes Skoda's division theorem. We also show how to use Skoda triples to produce division theorems for the Koszul complex.

Complex Variables

What problem does this paper attempt to address?

Division Theorems for Exact Sequences

Qingchun Ji

DOI: https://doi.org/10.1007/s00208-012-0807-z

2012-01-01

Mathematische Annalen

Abstract:Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on the trivial bundle, our results recover Skoda's division theorem for holomorphic functions on pseudoconvex domains in complex Euclidean spaces.
A Representation theoretic perspective of Koszul theory

Ales Bouhada,Min Huang,Zetao Lin ans Shiping Liu

2024-11-23

Abstract:We discover a new connection between Koszul theory and representation theory. Let $\La$ be a quadratic algebra defined by a locally finite quiver with relations. Firstly, we give a combinatorial description of the local Koszul complexes and the quadratic dual $\La^!$, which enables us to describe the linear projective resolutions and the colinear injective coresolutions of graded simple $\La$-modules in terms of $\La^!$. As applications, we obtain a new class of Koszul algebras and a stronger version of the Extension Conjecture for finite dimensional Koszul algebras with a noetherian Koszul dual. Then we construct two Koszul functors, which induce a $2$-real-parameter family of pairs of derived Koszul functors between categories derived from graded $\La$-modules and those derived from graded $\La^!$-modules. In case $\La$ is Koszul, each pair of derived Koszul functors are mutually quasi-inverse, one of the pairs is Beilinson, Ginzburg and Soergel's Koszul duality. If $\La$ and $\La^!$ are locally bounded on opposite sides, then the Koszul functors induce two equivalences of bounded derived categories: one for finitely piece-supported graded modules, and one for finite dimensional graded modules. And if $\La$ and $\La^!$ are both locally bounded, then the bounded derived category of finite dimensional graded $\La$-modules has almost split triangles with the Auslander-Reiten translations and the Serre functors given by composites of derived Koszul functors.

Representation Theory
The Koszul Complex and a Certain Induced Module for a Quantum group

Toshiyuki Tanisaki

DOI: https://doi.org/10.1093/imrn/rnae043

2024-03-21

International Mathematics Research Notices

Abstract:Abstract We give a description of a certain induced module for a quantum group of type $A$. Together with our previous results this gives a proof of Lusztig’s conjectural multiplicity formula for non-restricted modules over the De Concini-Kac type quantized enveloping algebra of type $A_{n}$ at the $\ell $-th root of unity, where $\ell $ is an odd integer satisfying $(\ell ,n+1)=1$ and $\ell> n+1$.

mathematics
Koszul duality of affine kac -

P. Shan,M. Varagnolo

2013-01-01

Abstract:We give a proof of the parabolic/singular Koszul duality for the category O of affine Kac-Moody algebras. The main new tool is a relation between moment graphs and finite codimensional affine Schubert varieties. We apply this duality to q-Schur algebras and to cyclotomic rational double affine Hecke algebras. This yields a proof of a conjecture of Chuang-Miyachi relating the level-rank duality with the Ringel-Koszul duality of cyclotomic rational double affine Hecke algebras.
Twisted Quasi-elliptic cohomology and twisted equivariant elliptic cohomology

Zhen Huan

2024-03-29

Abstract:In this paper we construct a twisted version of quasi-elliptic cohomology. This theory can be constructed as a K-theory of a loop space. After establishing basic properties of the theory, including restriction, change-of-group and induction maps, we construct the Chern character map. And we compute the twisted quasi-elliptic cohomology theories of representation 4-spheres acted by the finite subgroups of SU(2), which, as conjectured by Sati and Schreiber, can produce good observables on M-brane charge in a Tate-elliptic enhancement of D-brane charge in twisted equivariant K-theory.

Algebraic Topology
Twisted Koszul algebras of nonisolated hypersurface singularities

Sangwook Lee

2024-02-28

Abstract:Given a hypersurface singularity (not necessarily isolated) with a finite abelian group action, we develop a method to define an explicit product structure on the twisted Koszul algebra (whose invariant subalgebra is the orbifold Koszul algebra).

Algebraic Geometry,Symplectic Geometry
A degeneration approach to Skoda's division theorem

Roberto Albesiano

DOI: https://doi.org/10.1007/s00209-024-03435-6

2024-01-30

Mathematische Zeitschrift

Abstract:We prove a Skoda-type division theorem via a degeneration argument. The proof is inspired by B. Berndtsson and L. Lempert's approach to the extension theorem and is based on positivity of direct image bundles. The same tools are then used to slightly simplify and extend the proof of the extension theorem given by Berndtsson and Lempert.

mathematics
Relations in Twisted Quantum K-Rings

Irit Huq-Kuruvilla

2024-09-23

Abstract:We introduce twisted quantum $K$-rings, defined via twisted $K$-theoretic Gromov-Witten invariants. We develop a toolkit for computing relations by adapting some results about ordinary quantum K rings to our setting, and discuss some applications, including Ruan-Zhang's quantum $K$-theory with level structure, and complete intersections inside projective space, confirming some predictions coming from physics. In addition, we formulate a ring-theoretic abelian/non-abelian correspondence conjecture, relating the quantum K-ring of a GIT quotient $X//G$ to a certain twist of the quantum K-ring of $X//T$, the quotient by the maximal torus. We prove this conjecture for the case of Grassmanians, and use this to give another proof of the Whitney relations of Mihalcea-Gu-Sharpe-Zhou.

Algebraic Geometry,Mathematical Physics
On Koszul complex of a supermodule

Darío Sánchez Gómez,Fernando Sancho de Salas

2024-01-26

Abstract:This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting computing the cohomology of twisted differential p-forms sheaves on the projective superspaces is given.

Algebraic Geometry
Skew Knörrer's periodicity Theorem

Yang Liu,Yuan Shen,Xin Wang

2024-06-05

Abstract:In this paper, we introduce a class of twisted matrix algebras of $M_2(E)$ and twisted direct products of $E\times E$ for an algebra $E$. Let $A$ be a noetherian Koszul Artin-Schelter regular algebra, $z\in A_2$ be a regular central element of $A$ and $B=A_P[y_1,y_2;\sigma]$ be a graded double Ore extension of $A$. We use the Clifford deformation $C_{A^!}(z)$ of Koszul dual $A^!$ to study the noncommutative quadric hypersurface $B/(z+y_1^2+y_2^2)$. We prove that the stable category of graded maximal Cohen-Macaulay modules over $B/(z+y_1^2+y_2^2)$ is equivalent to certain bounded derived categories, which involve a twisted matrix algebra of $M_2(C_{A^!}(z))$ or a twisted direct product of $C_{A^!}(z)\times C_{A^!}(z)$ depending on the values of $P$. These results are presented as skew versions of Knörrer's periodicity theorem. Moreover, we show $B/(z+y_1^2+y_2^2)$ may not be a noncommutative graded isolated singularity even if $A/(z)$ is.

Rings and Algebras
The Twisted Doubling Method in Algebraic Families

Johannes Girsch

2024-10-30

Abstract:We define the twisted doubling zeta integrals of Cai-Friedberg-Ginzburg-Kaplan in the setting of algebraic families. We then prove a rationality result and a functional equation for these zeta integrals. This allows us to define an unnormalized $\gamma$-factor associated to certain families of representation of a classical group times a general linear group.

Representation Theory,Number Theory
A geometric realization of Koszul duality for graded gentle algebras

Zixu Li,Yu Qiu,Yu Zhou

2024-03-22

Abstract:We show that the Koszul functor of a homologically smooth graded gentle algebra can be realized as the half rotation in a geometric model. As a byproduct, we prove an intersection-dim formula involving the Koszul functor.

Representation Theory,Category Theory,Rings and Algebras
Blocks of symmetric groups, semicuspidal KLR algebras and zigzag Schur-Weyl duality

Anton Evseev,Alexander Kleshchev

DOI: https://doi.org/10.4007/annals.2018.188.2.2

IF: 4.795

2018-09-01

Annals of Mathematics

Abstract:We prove Turner's conjecture, which describes the blocks of the Hecke algebras of the symmetric groups up to derived equivalence as certain explicit Turner double algebras. Turner doubles are Schur-algebra-like `local' objects, which replace wreath products of Brauer tree algebras in the context of the Broué abelian defect group conjecture for blocks of symmetric groups with non-abelian defect groups. The main tools used in the proof are generalized Schur algebras corresponding to wreath products of zigzag algebras and imaginary semicuspidal quotients of affine KLR algebras.

mathematics
Construction of Koszul algebras by finite Galois covering

Yang Han,Deke Zhao

DOI: https://doi.org/10.48550/arXiv.math/0605773

2006-08-30

Abstract:It is shown that, the quasi-Koszulities of algebras and modules are Morita invariance. A finite-dimensional $K$-algebra $A$ with an action of $G$ is quasi-Koszul if and only if so is the skew group algebra $A \ast G$, where $G$ is a finite group satisfying $\char K \nmid |G|$. A finite-dimensional $G$-graded $K$-algebra $A$ is quasi-Koszul if and only if so is the smash product $A # G^*$, where $G$ is a finite group satisfying $\char K \nmid |G|$. These results are applied to prove that, if a finite-dimensional connected quiver algebra is Koszul then so are its Galois covering algebras with finite Galois group $G$ satisfying $\char K \nmid |G|$. So one can construct Koszul algebras by finite Galois covering. Moreover, a general construction of Koszul algebras by Galois covering with finite cyclic Galois group is provided. As examples, many Koszul algebras are constructed from exterior algebras and Koszul preprojective algebras by finite Galois covering with either cyclic or noncyclic Galois group.

Rings and Algebras,Representation Theory
Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Johannes Droschl

2024-09-15

Abstract:In this paper we prove a conjecture of Kudla and Rallis. Let $\chi$ be a unitary character, $s\in \mathbb{C}$ and $W$ a symplectic vector space over a non-archimedean field with symmetry group $G(W)$. Denote by $I(\chi,s)$ the degenerate principal series representation of $G(W\oplus W)$. Pulling back $I(\chi,s)$ along the natural embedding $G(W)\times G(W)\hookrightarrow G(W\oplus W)$ gives a representation $I_{W,W}(\chi,s)$ of $G(W)\times G(W)$. Let $\pi$ be an irreducible smooth complex representation of $G(W)$. We then prove \[\dim _\mathbb{C}\mathrm{Hom}_{G(W)\times G(W)}(I_{W,W}(\chi,s),\pi\otimes \pi^\lor)=1.\] We also give analogous statements for $W$ orthogonal or unitary. This gives in particular a new proof of the conservation relation of the local Theta correspondence for symplectic-orthogonal and unitary dual pairs.

Representation Theory
A generalized Koszul theory and its relation to the classical theory

Liping Li

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

2013-12-06

Abstract:Let $A = \bigoplus_{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra such that $A_0$ is an arbitrary finite-dimensional algebra satisfying a certain splitting condition. In this paper we develop a generalized Koszul theory preserving many classical results. Moreover, we define a quotient graded algebra $\bar{A} = \bigoplus_{i \geqslant 0} \bar{A}_i$ and show that $A$ is a generalized Koszul algebra if and only if $\bar{A}$ is a classical Koszul algebra and a projective $A_0$-module. We also describe an application of this theory to the extension algebras of standard modules of standardly stratified algebras.

Representation Theory
On Seidel representation in quantum K-theory of Grassmannians

Changzheng Li,Zhaoyang Liu,Jiayu Song,Mingzhi Yang

2024-11-27

Abstract:We provide a direct proof of Seidel representation in the quantum K-theory QK(Gr(k, n)) by studying projected Gromov-Witten varieties concretely. As applications, we give an alternative proof of the K-theoretic quantum Pieri rule by Buch and Mihalcea, reduce certain quantum Schubert structure constants of higher degree to classical Littlewood-Richardson coefficients for K(Gr(k, n)), and provide a quantum Littlewood-Richardson rule for QK(Gr(3, n)).

Algebraic Geometry,Combinatorics
A generalized Koszul theory and its application in representation theory

Liping Li

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

2012-07-07

Abstract:There are many structures (algebras, categories, etc) with natural gradings such that the degree 0 components are not semisimple. Particular examples include tensor algebras with non-semisimple degree 0 parts, extension algebras of standard modules of standardly stratified algebras. In this thesis we develop a generalized Koszul theory for graded algebras (categories) whose degree 0 parts may be non-semisimple. Under some extra assumption, we show that this generalized Koszul theory preserves many classical results such as the Koszul duality. Moreover, it has some close relation to the classical theory. Applications of this generalized theory to finite EI categories, directed categories, and extension algebras of standard modules of standardly stratified algebras are described. We also study the stratification property of standardly stratified algebras, and classify algebras standardly (resp., properly) stratified for all linear orders.

Representation Theory,Rings and Algebras
The structure of Koszul algebras defined by four quadrics

Paolo Mantero,Matthew Mastroeni

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

2022-02-25

Abstract:Avramov, Conca, and Iyengar ask whether $\beta_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by completely classifying the possible Betti tables of Koszul algebras defined by height-two ideals of four quadrics. Continuing this work, the current paper proves a structure theorem for Koszul algebras defined by four quadrics. We show that all these Koszul algebras are LG-quadratic, proving that an example of Conca of a Koszul algebra that is not LG-quadratic is minimal in terms of number of defining equations. We then characterize precisely when these rings are absolutely Koszul, and establish the equivalence of the absolutely Koszul and Backelin--Roos properties up to field extensions for such rings (in characteristic zero). The combination of the above paper with the current one provides a fairly complete picture of all Koszul algebras defined by $g \leq 4$ quadrics.

Commutative Algebra

Division Theorems for the Koszul Complex

Division Theorems for Exact Sequences

A Representation theoretic perspective of Koszul theory

The Koszul Complex and a Certain Induced Module for a Quantum group

Koszul duality of affine kac -

Twisted Quasi-elliptic cohomology and twisted equivariant elliptic cohomology

Twisted Koszul algebras of nonisolated hypersurface singularities

A degeneration approach to Skoda's division theorem

Relations in Twisted Quantum K-Rings

On Koszul complex of a supermodule

Skew Knörrer's periodicity Theorem

The Twisted Doubling Method in Algebraic Families

A geometric realization of Koszul duality for graded gentle algebras

Blocks of symmetric groups, semicuspidal KLR algebras and zigzag Schur-Weyl duality

Construction of Koszul algebras by finite Galois covering

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

A generalized Koszul theory and its relation to the classical theory

On Seidel representation in quantum K-theory of Grassmannians

A generalized Koszul theory and its application in representation theory

The structure of Koszul algebras defined by four quadrics