ON MINIMAL HORSE-SHOE LEMMA

Guo-Jun Wang,Fang Li

DOI: https://doi.org/10.11650/twjm/1500574161

2008-01-01

Taiwanese Journal of Mathematics

Abstract:The main purpose of this paper is to find the conditions for the Minimal Horse-Shoe Lemma to be hold in some categories of graded modules. Using the Minimal Horse-Shoe Lemma, we prove that the category of p-Koszul modules is closed under direct sums, direct summands, extensions and cokernels.

What problem does this paper attempt to address?

Quasi-Koszulity and minimal Horseshoe Lemma

Jiafeng Lu

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

2011-09-17

Abstract:In this paper, the criteria for minimal Horseshoe Lemma to be true are given via quasi-$\delta$-Koszul modules, which are the nongraded version of $\delta$-Koszul modules first introduced by Green and Marcos in 2005. Moreover, some applications of minimal Horseshoe Lemma are also given.

Rings and Algebras
On Modules with D-Koszul Towers

LU Jiafeng,HE Jiwei,LU Diming

DOI: https://doi.org/10.3321/j.issn:1000-8134.2007.02.008

2007-01-01

Chinese Annals of Mathematics

Abstract:The notion of weakly d-Koszul module, which is a generalization of d-Koszul module, is introduced. The authors show that a finitely generated graded module M over a d-Koszul algebra is a weakly d-Koszul module if and only if it admits a tower of submodules: 0(?)U0(?)U1(?)…(?)Up= M, such that all Ui/Ui-1 are d-Koszul modules. Let A be a d-Koszul algebra and M a weakly d-Koszul module over A, it turns out that the Koszul duale(M) = ExtA*(M, A0) of M is generated in degree 0 as a graded ExtA*(A0, A0) module.
Quasi-Piecewise-Koszul Modules

Jia-Feng Lu,Yuan Pan,Guo-Jun Wang

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

2012-01-01

Communications in Algebra

Abstract:The main aim of this article is to discuss the piecewise-Koszul property of finitely generated modules in the nongraded case. In particular, the notion of quasi-piecewise-Koszul module, a natural extension of quasi-Koszul modules (see [2]), quasi-d-Koszul modules (see [12] or [6]) and piecewise-Koszul modules (see [7]), is introduced. Let R be a Noetherian semiperfect algebra with Jacobson radical J and M a finitely generated R-module. The structure of the graded E(R) = circle plus(i >= 0) Ext(R)(i) (R/J, R/J) module E(M) = circle plus(i >= 0) Ext(R)(i) (M, R/J) is studied in detail and some necessary and sufficient conditions for a finitely generated R-module to be quasi-piecewise-Koszul are provided. Moreover, as an application of quasi-piecewise-Koszul modules, we give a necessary and sufficient condition for the minimal Horseshoe Lemma to be true in the category of quasi-piecewise-Koszul modules, which perfects Theorem 2.8 of [13] and Theorem 3.1 of [9]. Finally, some applications of the minimal Horseshoe Lemma are also given.
ABSTRACTS OF LECTURES MODULI 2007

Caucher Birkar,Ching-Li Chai

2007-01-01

Abstract:First, I will quickly recall some of the basic elements of the minimal model program. Then, I concentrate on the interactions between the minimal model program and some moduli problems. In particular, I explain the construction of moduli spaces of varieties of general type via the minimal model program. Abstract. The Hecke symmetry is a salient feature of Shimura varieties. In the more recent past these symmetries have led to the notion of leaves, a global structure on the reduction of modular varieties of PEL type defined by Oort, and conjecturally for all Shimura varieties with good reduction. The Hecke symmetry also led to the notion of canonical coordinates on leaves, generalizing the classical Serre-Tate coordinates. We will discuss some recent works related to the Hecke symmetry : (1) -adic and p-adic monodromy of leaves, and irreducibility of leaves (joint work with F. Oort). One of the methods for showing that the p-adic monodromy is big is inspired by H. Hida. (2) CM lifting modulo Hecke symmetry (joint work with B. Conrad and F. Oort). Abstract. In this lecture we explain how to attach a p-adic representation to a vector bundle with strongly semistable reduction of degree zero on a p-adic curve. We also discuss higher dimensional generalizations. This is a report on joint work with Annette Werner. Abstract. Since the proof of Iwasawa's main conjecture in the classical case (the- orem of Mazur and Wiles), automorphic forms on GL(2) have played an essential role to understand GL(1)-problems. After the breakthrough by A. Wiles ((1)), there has been a substantial progress in the class field theory for GL2. In this talk, open problems in classical Iwasawa theory are discussed from this perspective, based on Galois deformations.
Homological Lemmas in a Non-pointed Context

Andrea Cappelletti,Andrea Montoli

2024-05-18

Abstract:We show that non-pointed versions of the classical homological lemmas hold in regular protomodular categories equipped with a suitable posetal monocoreflective subcategory. Examples of such categories are all protomodular varieties of universal algebras having more than one constant, like the ones of unitary rings, Boolean algebras, Heyting algebras and MV-algebras, their topological models, and the dual category of every elementary topos.

Category Theory
Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV\n and Y.-T. SIU

Caucher Birkar,Mihai Paun

DOI: https://doi.org/10.4171/007-1/4

2009-01-01

Abstract: In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the other results of Birkar-Cascini-Hacon-McKernan paper.
Minimal resolutions of Iwasawa modules

Takenori Kataoka,Masato Kurihara

2024-04-01

Abstract:In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian $p$-extension $K/k$ of totally real fields and the cyclotomic $\mathbb{Z}_p$-extension $K_{\infty}/K$, we consider $X_{K_{\infty},S}={\rm Gal}(M_{K_{\infty},S}/K_{\infty})$ where $S$ is a finite set of places of $k$ containing all ramifying places in $K_{\infty}$ and archimedean places, and $M_{K_{\infty},S}$ is the maximal abelian pro-$p$-extension of $K_{\infty}$ unramified outside $S$. We give lower and upper bounds of the minimal numbers of generators and of relations of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module, using the $p$-rank of ${\rm Gal}(K/k)$. This result explains the complexity of $X_{K_{\infty},S}$ as a $\mathbb{Z}_p[[{\rm Gal}(K_{\infty}/k)]]$-module when the $p$-rank of ${\rm Gal}(K/k)$ is large. Moreover, we prove an analogous theorem in the setting that $K/k$ is non-abelian. We also study the Iwasawa adjoint of $X_{K_{\infty},S}$, and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of $X_{K_{\infty},S}$.

Number Theory
Modules of minimal dimension over completed Weyl algebras

Feliks Rączka

2024-02-07

Abstract:We study the category of modules of minimal dimension over completed Weyl algebras in equal characteristic zero. In particular we prove finiteness of de Rham cohomology of such modules.

Algebraic Geometry
Category ${\mathscr{C}}_{k}$ of multi-loop algebra representations versus modular representations: Questions of G. Lusztig

Shrawan Kumar

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

2022-05-24

Abstract:Lusztig defined an abelian category ${\mathscr{C}}_{k}$ of a class of representations of a multi-loop algebra and asked various questions connecting it to the modular representation theory of simple algebraic groups in char. p>0. The aim of this paper is to show that some of these questions have negative answer.

Representation Theory,Group Theory
Symmetry, Unimodality, and Lefschetz Properties for Graded Modules

Zachary Flores

2024-07-05

Abstract:We investigate the Weak Lefschetz Properties for modules whose minimal free resolutions are given by generalized Kosuzl complexes in dimension three through a careful study of their Betti numbers and the symmetry and unimodality of their Hilbert functions. We also study the non-Lefschetz locus for finite length modules in arbitrary dimension, and are able to generalize several previous results on the non-Lefschetz locus in this setting. Along the way, we find several connections with a Gorenstein analogue for finite length modules and Artin level modules that are both interesting and useful throughout this paper.

Commutative Algebra,Algebraic Geometry
Minimal Models, Flips And Finite Generation: A Tribute To Vv Shokurov And Y.-T. Siu

C. Birkar,M. Paun

2010-01-01

Abstract:In this paper, we give a proof of the existence of log minimal models for kit pairs (X/Z, B) with B big/Z. This then implies existence of kit log flips, finite generation of kit log canonical rings, and most of the other results of the Birkar-Cascini-Hacon-McKernan paper [3].
On categories of o-minimal structures

Rodrigo Figueiredo,Hugo Luiz Mariano

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

2019-10-13

Abstract:Our aim in this paper is to look at some transfer results in model theory (mainly in the context of o-minimal structures) from the category theory viewpoint.

Logic
Tame topology in Hensel minimal structures

Krzysztof Jan Nowak

2024-02-29

Abstract:We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that the value group and residue field are orthogonal and that the definable sets in the value group sort are already definable in the language of ordered groups. This condition is satisfied by several classical tame structures on Henselian fields, including Henselian fields with analytic structure, V-minimal fields and polynomially bounded o-minimal structures with a convex subring. In this article, we establish many results concerning definable functions and sets. These are, among others, existence of the limit for definable functions of one variable, a closedness theorem, several non-Archimedean versions of the Lojasiewicz inequalities, an embedding theorem for regular definable spaces, and the definable ultranormality and ultraparacompactness of definable Hausdorff LC-spaces.

Algebraic Geometry
Generalized Koszul Algebra and Koszul Duality

Haonan Li,Quanshui Wu

DOI: https://doi.org/10.1016/j.jalgebra.2022.12.023

IF: 0.908

2023-01-01

Journal of Algebra

Abstract:We define generalized Koszul modules and rings and develop a generalized Koszul theory for N-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings with degree zero part artinian semisimple developed by Beilinson-Ginzburg-Soergel and the ungraded Koszul theory for noetherian semiperfect rings developed by Green and Martinez-Villa. Let A be a left finite N-graded ring generated in degree 1 with A0 noetherian semiperfect, J be its graded Jacobson radical. By the Koszul dual of A we mean the Yoneda Ext ring Ext center dot A(A/J, A/J). If A is a generalized Koszul ring and M is a generalized Koszul module, then it is proved that the Koszul dual of the Koszul dual of A is the associated graded ring GrJ A and the Koszul dual of the Koszul dual of M is the associated graded module GrJ M. If A is a locally finite algebra, then the following statements are proved to be equivalent: A is generalized Koszul; the Koszul dual Ext center dot A(A/J, A/J) of A is (classically) Koszul; GrJ A is (classically) Koszul; the opposite ring Aop of A is generalized Koszul. As an application, it is proved that if A is generalized Koszul with finite global dimension then A is generalized AS regular if and only if the Koszul dual of A is self-injective.(c) 2022 Elsevier Inc. All rights reserved.
Semisimplicity of module categories of certain affine vertex operator superalgebras

Dražen Adamović,Chunrui Ai,Xingjun Lin,Jinwei Yang

2024-09-29

Abstract:In this paper, we show Kazhdan-Lusztig categories, that is, the categories of lower bounded generalized weight modules for certain affine vertex operator superalgebras that are locally finite modules of the underlying finite dimensional Lie superalgebra, are semisimple. Those are all representation categories of affine vertex operator superalgebras at conformal but non admissible levels. As a consequence, the categories of finite length generalized modules for these affine vertex operator superalgebras have braided tensor category structures.

Quantum Algebra
Hensel minimality: Geometric criteria for $\ell$-h-minimality

Floris Vermeulen

2024-01-03

Abstract:Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to mimic o-minimality in both strong consequences and wide applicability. In this article, we continue the study of Hensel minimality, in particular focusing on $\omega$-h-minimality and $\ell$-h-minimality, for $\ell$ a positive integer. Our main results include an analytic criterion for $\ell$-h-minimality, preservation of $\ell$-h-minimality under coarsening of the valuation and $\ell$-dimensional dimensional geometry.

Logic
Jantzen coefficients and simplicity of generalized Verma modules

Wei Xiao,Ailin Zhang

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

IF: 0.6

2020-04-19

Representation Theory

Abstract:The main purpose of the paper is to establish new tools in the study of $\mathcal{O}^\mathfrak{p}$. We introduce the Jantzen coefficients of generalized Verma modules. It comes from the Jantzen's simplicity criteria for generalized Verma modules and has a deep relation with the structure of $\mathcal{O}^\mathfrak{p}$. We develop a reduction process to compute those coefficients. For which we need to consider generalized Verma modules induced from maximal parabolic subalgebras having maximal nontrivial singularity, so called basic generalized Verma modules. The classification of such modules is obtained in this paper. As the first application of our results, we give a refinement of Jantzen's simplicity criteria.
Partial Tilting Module and Module Categories Without Short Cycles

Qi Shi

2003-01-01

Abstract:Let Λ be Artin algebra, partial tilting module is defined by projective dimension less than 1 and the first tensor equals to 0. Then a module is the middle term of a short chain equaling to lying in a short cycle, which can be used to prove some theorems of partial tilting modules. The main conclusion of this article is M and X are indecomposable modules in module categories without short cycles. If M is sincere module, then M is partial tilting module. Moreover, if there exists nonzero morphism from X to M, then X is also partial tilting module.
Lubin-Tate and multivariable $(φ,\mathcal{O}_K^{\times})$-modules in dimension 2

Yitong Wang

2024-03-30

Abstract:Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. For $\overline{\rho}$ any reducible two-dimensional representation of $\operatorname{Gal}(\overline{K}/K)$ over $\mathbb{F}$, we compute explicitly the associated étale $(\varphi,\mathcal{O}_K^{\times})$-module $D_A^{\otimes}(\overline{\rho})$ defined by Breuil-Herzig-Hu-Morra-Schraen. Then we let $\pi$ be an admissible smooth representation of $\operatorname{GL}_2(K)$ over $\mathbb{F}$ occurring in some Hecke eigenspaces of the mod $p$ cohomology and $\overline{\rho}$ be its underlying two-dimensional representation of $\operatorname{Gal}(\overline{K}/K)$ over $\mathbb{F}$. Assuming that $\overline{\rho}$ is maximally non-split, we prove under some genericity assumption that the associated étale $(\varphi,\mathcal{O}_K^{\times})$-module $D_A(\pi)$ defined by Breuil-Herzig-Hu-Morra-Schraen is isomorphic to $D_A^{\otimes}(\overline{\rho})$. This extends the results of Breuil-Herzig-Hu-Morra-Schraen, where $\overline{\rho}$ was assumed to be semisimple.

Number Theory
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

ON MINIMAL HORSE-SHOE LEMMA

Quasi-Koszulity and minimal Horseshoe Lemma

On Modules with D-Koszul Towers

Quasi-Piecewise-Koszul Modules

ABSTRACTS OF LECTURES MODULI 2007

Homological Lemmas in a Non-pointed Context

Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV\n and Y.-T. SIU

Minimal resolutions of Iwasawa modules

Modules of minimal dimension over completed Weyl algebras

Category ${\mathscr{C}}_{k}$ of multi-loop algebra representations versus modular representations: Questions of G. Lusztig

Symmetry, Unimodality, and Lefschetz Properties for Graded Modules

Minimal Models, Flips And Finite Generation: A Tribute To Vv Shokurov And Y.-T. Siu

On categories of o-minimal structures

Tame topology in Hensel minimal structures

Generalized Koszul Algebra and Koszul Duality

Semisimplicity of module categories of certain affine vertex operator superalgebras

Hensel minimality: Geometric criteria for $\ell$-h-minimality

Jantzen coefficients and simplicity of generalized Verma modules

Partial Tilting Module and Module Categories Without Short Cycles

Lubin-Tate and multivariable $(φ,\mathcal{O}_K^{\times})$-modules in dimension 2

A generalized Koszul theory and its application in representation theory