Projective modules over discrete Hodge algebras

Manoj Kumar Keshari

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

2007-08-03

Commutative Algebra

Abstract:Let A be a Noetherian commutative ring. Assume that projective modules of rank r over polynomial extensions of A are extended from A. Then projective modules of rank r over discrete Hodge A-algebras are also extended from A. This result extends a result of T. Vorst.

What problem does this paper attempt to address?

Projective modules for the subalgebra of degree 0 in a finite-dimensional hyperalgebra of type $A_1$

Yutaka Yoshii

DOI: https://doi.org/10.1090/proc/13934

2024-10-22

Abstract:We describe the structure of projective indecomposable modules for the subalgebra consisting of the elements of degree 0 in the hyperalgebra of the $r$-th Frobenius kernel for the algebraic group ${\rm SL}_2(k)$, using the primitive idempotents which were constructed before by the author.

Representation Theory
Invariants of FP-projective dimensions under cleft extensions

Xiuli Chen,Haiyan Zhu,Fang Li

DOI: https://doi.org/10.1142/S1005386713000667

2013-01-01

Algebra Colloquium

Abstract:Let H be a finite dimensional Hopf algebra and A be an algebra over a fixed field k. Firstly, it is proved that the left FP-projective dimension is invariant under cleft extensions when H is semisimple and A is left coherent. Secondly, using (co)induction functors, we study the relations between FP-projective dimensions in A#H-Mod and the counterparts in A(H)-Mod. Finally, we characterize the FP-projective preenvelopes (resp., precovers) under H*-extensions and cleft extensions, respectively.
Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Fang Li,Chang Ye

DOI: https://doi.org/10.1007/s10468-014-9512-9

2014-01-01

Algebras and Representation Theory

Abstract:In this article, we introduce a class of generalized matrix algebras, in which each algebra is called a normally upper triangular gm algebra, and characterise Gorenstein projective modules over this class of algebras. Moreover, a sufficient condition of strongly Gorenstein projective modules over normally upper triangular gm algebras is given. The importance of normally upper triangular gm algebras for us is that it includes the so-called path algebras of quivers over algebras and generalized path algebras. Due to this, we characterize Gorenstein projective modules and strongly Gorenstein projective modules over path algebras of quivers over algebras and generalized path algebras as applications of the main results on normally upper triangular gm algebras. At last, we give an example to show how all indecomposable Gorenstein projective modules over a given algebra are constructed by the result on generalized path algebras.
Projective modules over Rees-like algebras and its monoid extensions

Chandan Bhaumik,Md Abu Raihan,Husney Parvez Sarwar

2024-05-27

Abstract:Let $A$ be a Rees-like algebra of dimension $d$ and $N$ a commutative partially cancellative torsion-free seminormal monoid. We prove the following results. \begin{enumerate} \item Let $P$ be a finitely generated projective $A$-module of $\rank\geq d$. Then $(i)$ $P$ has a unimodular element; $(ii)$ The action of $\EL(A\oplus P)$ on $\Um(A\oplus P)$ is transitive. \item Let $P$ be a finitely generated projective $A[N]$-module of $\rank~r$. Then $(i)$ $P$ has a unimodular element for $r\geq\max\{3,d\}$; $(ii)$ The action of $\EL(A[N]\oplus P)$ on $\Um(A[N]\oplus P)$ is transitive for $r\geq\max\{2,d\}$. \end{enumerate} These improve the classical results of Serre \cite{Se58} and Bass \cite{Ba64}.

Commutative Algebra
Gorenstein-projective Modules over Short Local Algebras

Claus Michael Ringel,Pu Zhang

DOI: https://doi.org/10.1112/jlms.12577

2022-01-01

Journal of the London Mathematical Society

Abstract:Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra.. with radical.. will be said to be short provided J(3) = 0. As in the commutative case, we show: If a short local algebra.. has an indecomposable non-projective Gorenstein-projective module M, then either A is self-injective (so that all modules are Gorenstein-projective) and then, of course, vertical bar J(2)vertical bar <= 1, or else vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1 and vertical bar JM vertical bar = vertical bar J(2)vertical bar vertical bar M/JM vertical bar. More generally, we focus the attention to semi-Gorensteinprojective and 8-torsionfree modules, even to Omega-paths of length 2, 3 and 4. In particular, we show that the existence of a non-projective reflexive module implies that vertical bar J(2)vertical bar < vertical bar J/J(2)vertical bar and further restrictions. In addition, we consider exact complexes of projective modules with a non-projective image. Again, as in the commutative case, we see that if such a complex exists, then.. is self-injective or satisfies the condition vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1. Also, we show that any non-projective semi-Gorensteinprojective module M satisfies Ext(1)(M, M) not equal 0. In this way, we prove the Auslander-Reiten conjecture (one of the classical homological conjectures) for arbitrary short local algebras. Many arguments used in the commutative case actually work in general, but there are interesting differences and some of our results may be new also in the commutative case.
Algebras Associated to Inverse Systems of Projective Schemes

Andrew Conner,Peter Goetz

2024-06-25

Abstract:Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $\Upsilon_A = \{{\Upsilon_d(A)}\}$. This system affords an algebra, $\mathbf B(\Upsilon_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $\tau: A \to \mathbf B(\Upsilon_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${\Upsilon_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $\tau: A \to \mathbf B(\Upsilon_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $\Upsilon_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(\Upsilon_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $\tau$ is surjective or an isomorphism.

Algebraic Geometry,Rings and Algebras
On the Cohomology of Moduli of Vector Bundles

Ajneet Dhillon

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

2003-10-22

Abstract:We compute some Hodge and Betti numbers of the moduli space of stable rank $r$ degree $d$ vector bundles on a smooth projective curve. We do not assume $r$ and $d$ are coprime. In the process we equip the cohomology of an arbitrary algebraic stack with a functorial mixed Hodge structure. This Hodge structure is computed in the case of the moduli stack of rank $r$, degree $d$ vector bundles on a curve. Our methods also yield a formula for the Poincare polynomial of the moduli stack that is valid over any ground field.

Algebraic Geometry
Big pure projective modules over commutative noetherian rings: Comparison with the completion

Dolors Herbera,Pavel Příhoda,Roger Wiegand

DOI: https://doi.org/10.1515/forum-2024-0031

2024-09-03

Forum Mathematicum

Abstract:A module over a ring R is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module M, we consider Add ⁡ ( M ) {\operatorname{Add}(M)} , which consists of direct summands of direct sums of copies of M. We are primarily interested in the case where R is a one-dimensional, local domain, and in torsion-free (or Cohen–Macaulay) modules. We show that, even in this case, Add ⁡ ( M ) {\operatorname{Add}(M)} can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of M and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behaviour of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid V * ⁢ ( M ) {V^{*}(M)} , of isomorphism classes of countably generated modules in Add ⁡ ( M ) {\operatorname{Add}(M)} with the addition induced by the direct sum. We show that V * ⁢ ( M ) {V^{*}(M)} is a submonoid of V * ⁢ ( M ⊗ R R ^ ) {V^{*}(M\otimes_{R}\widehat{R})} , this allows us to make computations with examples and to prove some realization results.

mathematics, applied
GL-equivariant modules over polynomial rings in infinitely many variables. II

Steven V Sam,Andrew Snowden

DOI: https://doi.org/10.1017/fms.2018.27

2018-11-16

Abstract:Twisted commutative algebras (tca's) have played an important role in the nascent field of representation stability. Let A_d be the complex tca freely generated by d indeterminates of degree 1. In a previous paper, we determined the structure of the category of A_1-modules (which is equivalent to the category of FI-modules). In this paper, we establish analogous results for the category of A_d-modules, for any d. Modules over A_d are closely related to the structures used by the authors in previous works studying syzygies of Segre and Veronese embeddings, and we hope the results of this paper will eventually lead to improvements on those works. Our results also have implications in asymptotic commutative algebra.

Commutative Algebra,Algebraic Geometry,Representation Theory
Degeneration of families of projective hypersurfaces and Hodge conjecture

Johann Bouali

2024-04-28

Abstract:We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth projective variety $E_0$ which is a component of a normal crossing divisor $E=\cup_{i=0}^rE_i\subset Y$ which is the singular fiber of a pencil $f:Y\to\mathbb A^1$ of smooth projective hypersurfaces. Using the smooth hypersurface case by a previous result of the autor, the nearby cycle functor on mixed Hodge module with rational de Rham factor, and the induction hypothesis, we prove that an Hodge class of $E_0$ is absolute Hodge, more precisely the locus of Hodge classes inside the algebraic vector bundle given the De Rham cohomology the rational deformation of $E_0$ is defined over $\mathbb Q$. By another previous result of the autor, we get the Hodge conjecture for $E_0$. By the induction hypothesis we also have the Hodge conjecture for $X$.

Algebraic Geometry
From Submodule Categories to Preprojective Algebras

Claus Michael Ringel,Pu Zhang

DOI: https://doi.org/10.1007/s00209-014-1305-7

2014-01-01

Mathematische Zeitschrift

Abstract:Let S(n) be the category of invariant subspaces of nilpotent operators with nilpotency index at most n. Such submodule categories have been studied already in 1936 by Birkhoff, they have attracted a lot of attention in recent years, for example in connection with some weighted projective lines (Kussin, Lenzing, Meltzer). On the other hand, we consider the preprojective algebra of type A_n; the preprojective algebras were introduced by Gelfand and Ponomarev, they are now of great interest, for example they form an important tool to study quantum groups (Lusztig) or cluster algebras (Geiss, Leclerc, Schroeer). Direct connections between the submodule category S(n) and the module category of the preprojective algebra of type A_n-1 have been established quite a long time ago by Auslander and Reiten, and recently also by Li and Zhang, but apparently this remained unnoticed. The aim of this note is to provide details on this relationship. As a byproduct we see that here we deal with ideals I in triangulated categories T such that I is generated by an idempotent and T/I is abelian.
Determinantal modules over preprojective algebras and representations of Dynkin quivers

Yingjin Bi

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

2024-07-11

Abstract:In this paper, we study extension groups of determinantal modules over a preprojective algebra using the Auslander-Reiten translation of the quiver associated with it. More precisely, based on the recent work given by Aizenbud and Lapid, we calculate the extension group of a sort of so-called determinantal modules, which is an analog of quantum minors in quantum coordinate rings. In particular, we give an equivalent combinatorial condition when the product of two quantum minors (up to q-power rescaling) belongs to the dual canonical basis of quantum coordinate rings in the Dynkin case. More generally, we can check the quasi-commuting condition for any two quantum cluster monomials with the seeds of quantum minors.

Representation Theory,Quantum Algebra,Rings and Algebras
Projectivity of the moduli of equidimensional branchvarieties

Daniel Halpern-Leistner,Andres Fernandez Herrero,Trevor Jones,Ritvik Ramkumar

2024-10-15

Abstract:We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective moduli spaces of reduced equidimensional varieties equipped with ample linear series and subject to a semistability condition.

Algebraic Geometry
Commuting matrices, and modules over Artinian local rings

George M. Bergman

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

2013-08-31

Abstract:Gerstenhaber showed in 1961 that any commuting pair of n x n matrices over a field k generates a k-algebra A of k-dimension \leq n. A well-known example shows that the corresponding statement for 4 matrices is false. The question for 3 matrices is open. Gerstenhaber's result can be looked at as a statement about the relation between the length of a 2-generator finite-dimensional commutative k-algebra A and the lengths of faithful A-modules. Wadsworth generalized this result to a larger class of commutative rings than those generated by two elements over a field. We recover his generalization, using a slightly improved argument. We then explore some examples, raise further questions, and make a bit of progress toward answering some of them. An appendix gives some results on generation and subdirect decompositions of modules over not necessarily commutative Artinian rings, generalizing a special case used in the paper. What I originally thought of as my main result turned out to have been anticipated by Wadsworth, so I probably won't submit this for publication unless I find further strong results to add. However, others may find interesting the observations, partial results, and questions noted, and perhaps make some progress on them.

Commutative Algebra
Mixed Hodge modules and real groups

Dougal Davis,Kari Vilonen

2023-06-08

Abstract:Let $G$ be a complex reductive group, $\theta \colon G \to G$ an involution, and $K = G^\theta$. In <a class="link-https" data-arxiv-id="1206.5547" href="https://arxiv.org/abs/1206.5547">arXiv:1206.5547</a>, W. Schmid and the second named author proposed a program to study unitary representations of the corresponding real form $G_\mathbb{R}$ using $K$-equivariant twisted mixed Hodge modules on the flag variety of $G$ and their polarizations. In this paper, we make the first significant steps towards implementing this program. Our first main result gives an explicit combinatorial formula for the Hodge numbers appearing in the composition series of a standard module in terms of the Lusztig-Vogan polynomials. Our second main result is a polarized version of the Jantzen conjecture, stating that the Jantzen forms on the composition factors are polarizations of the underlying Hodge modules. Our third main result states that, for regular Beilinson-Bernstein data, the minimal $K$-type of an irreducible Harish-Chandra module lies in the lowest piece of the Hodge filtration of the corresponding Hodge module. An immediate consequence of our results is a Hodge-theoretic proof of the signature multiplicity formula of <a class="link-https" data-arxiv-id="1212.2192" href="https://arxiv.org/abs/1212.2192">arXiv:1212.2192</a>, which was the inspiration for this work.

Representation Theory,Algebraic Geometry
Frobenius-Perron theory for projective schemes

E. Wicks,X. H. Zhang,H. Zhu,J. Chen,Z. Gao,J. Zhang

DOI: https://doi.org/10.1090/tran/8624

IF: 1.3529

2023-01-18

Transactions of the American Mathematical Society

Abstract:The Frobenius-Perron theory of an endofunctor of a k \Bbbk -linear category (recently introduced in Chen et al. [Algebra Number Theory 13 (2019), pp. 2005–2055]) provides new invariants for abelian and triangulated categories. Here we study Frobenius-Perron type invariants for derived categories of commutative and noncommutative projective schemes. In particular, we calculate the Frobenius-Perron dimension for domestic and tubular weighted projective lines, define Frobenius-Perron generalizations of Calabi-Yau and Kodaira dimensions, and provide examples. We apply this theory to the derived categories associated to certain Artin-Schelter regular and finite-dimensional algebras.

mathematics
Verdier quotients of homotopy categories of rings and Gorenstein-projective precovers

Manuel Cortés-Izurdiaga

DOI: https://doi.org/10.1007/s11425-022-2211-0

2024-07-13

Science China Mathematics

Abstract:Let R be a ring, Proj be the class of all the projective right R -modules, be the full subcategory of the homotopy category K (Proj) whose class of objects consists of all the totally acyclic complexes, and be the class of all the morphisms in K (Proj) whose cones belong to . We prove that if K (Proj) has enough -injective objects, then the Verdier quotient has small Hom-sets, and this last condition implies the existence of Gorenstein-projective precovers in Mod- R and of totally acyclic precovers in C (Mod- R ).

mathematics, applied
Strongly Gorenstein Projective Modules over Upper Triangular Matrix Artin Algebras

Nan Gao,Pu Zhang

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

2009-01-01

Communications in Algebra

Abstract:We determine all the strongly complete projective resolutions, and all the strongly Gorenstein projective modules, over upper triangular matrix artin algebras. In particular, we show that all the strongly Gorenstein projective modules over one-point extensions of a finite-dimensional algebra A by finite-dimensional modules are always induced by strongly Gorenstein projective A-modules.
On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions

Tiago Cruz

2024-04-28

Abstract:Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur--Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, $B$, and module categories of endomorphism algebras of generators-relative cogenerators over $B$ which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree $n$ so that the endomorphism algebra of a generator-cogenerator provides an $n$-faithful cover, in the sense of Rouquier, of $B$. The degree $n$ is known as Hemmer-Nakano dimension of the standard modules. We prove that the Hemmer-Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra $B$ is bounded above by the number of non-isomorphic simple modules of $B$. We establish methods how to reduce computations of Hemmer-Nakano dimensions in the integral setup to computations of Hemmer-Nakano dimensions over finite-dimensional algebras. This theory allows us to derive results for Schur algebras and the BGG category O in the integral setup from the finite-dimensional case using relative dominant dimension. We exhibit several structural properties of deformations of the blocks of the BGG category O establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one.

Representation Theory,Rings and Algebras

Projective modules over discrete Hodge algebras

Projective modules for the subalgebra of degree 0 in a finite-dimensional hyperalgebra of type $A_1$

Invariants of FP-projective dimensions under cleft extensions

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Projective modules over Rees-like algebras and its monoid extensions

Gorenstein-projective Modules over Short Local Algebras

Algebras Associated to Inverse Systems of Projective Schemes

On the Cohomology of Moduli of Vector Bundles

Big pure projective modules over commutative noetherian rings: Comparison with the completion

GL-equivariant modules over polynomial rings in infinitely many variables. II

Degeneration of families of projective hypersurfaces and Hodge conjecture

From Submodule Categories to Preprojective Algebras

Determinantal modules over preprojective algebras and representations of Dynkin quivers

Projectivity of the moduli of equidimensional branchvarieties

Commuting matrices, and modules over Artinian local rings

Mixed Hodge modules and real groups

Frobenius-Perron theory for projective schemes

Verdier quotients of homotopy categories of rings and Gorenstein-projective precovers

Strongly Gorenstein Projective Modules over Upper Triangular Matrix Artin Algebras

On Noetherian algebras, Schur functors and Hemmer-Nakano dimensions