Dimension and decomposition in modular upper-continuous lattices

José Ríos Montes,Angel Zaldívar

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

2015-11-30

Abstract:We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.

Rings and Algebras

What problem does this paper attempt to address?

Dimension and depth inequalities over complete intersections

Petter Andreas Bergh,David A. Jorgensen,Peder Thompson

2024-06-25

Abstract:For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are replaced by depth and complexity, respectively.

Commutative Algebra
Modular lattices of finite length (Part A)

Marcel Wild

2024-12-06

Abstract:This is Part A of four Parts dedicated to modular lattices of finite length. It builds on 1992 notes of the author (available on ResearchGate), and in so doing heeds a wish of the late Gian-Carlo Rota. Part A is in fairly final form and mainly features known material, exceptions being a short proof of the distributivity of congruence lattices of lattices, as well as the concept of a point-splitting (which applies to arbitrary partial linear spaces). The planned content of Parts B,C,D is given in the introduction of Part A. Suffice it to say that deep results from <a class="link-external link-http" href="http://C.Herrmann" rel="external noopener nofollow">this http URL</a> and <a class="link-external link-http" href="http://R.Wille" rel="external noopener nofollow">this http URL</a> will be treated in English for the first time. All of this (even Part A) is work in process and comments/contributions are welcome.

Combinatorics
Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down

Thierry Coquand,Henri Lombardi

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

2017-12-13

Abstract:We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espanõl and the authors. We show that this gives a constructive version of basic classical theorems (dimension of finitely presented algebras, Going up and Going down theorem, \ldots), and hence that we get an explicit computational content where these abstract results are used to show the existence of concrete elements. This can be seen as a partial realisation of Hilbert's program for classical abstract commutative algebra.

Commutative Algebra
Reconstruction of module categories in the infinite and non-rigid settings

Mateusz Stroiński,Tony Zorman

2024-09-02

Abstract:By building on the notions of internal projective and injective objects in a module category introduced by Douglas, Schommer-Pries, and Snyder, we extend the reconstruction theory for module categories of Etingof and Ostrik. More explicitly, instead of algebra objects in finite tensor categories, we consider quasi-finite coalgebra objects in locally finite tensor categories. Moreover, we show that module categories over non-rigid monoidal categories can be reconstructed via lax module monads, which generalize algebra objects. For the category of finite-dimensional comodules over a (non-Hopf) bialgebra, we give this result a more concrete form, realizing module categories as categories of contramodules over Hopf trimodule algebras -- this specializes to our tensor-categorical results in the Hopf case. Using lax module functors we give a categorical proof of the variant of the fundamental theorem of Hopf modules which applies to Hopf trimodules. We also give a characterization of fusion operators for a Hopf monad as coherence cells for a module functor structure, using which we similarly reinterpret and reprove the Hopf-monadic fundamental theorem of Hopf modules due to Bruguières, Lack, and Virelizier.

Quantum Algebra,Category Theory,Representation Theory
[math]-Modules in Graphs

Michel Habib,Lalla Mouatadid,Éric Sopena,Mengchuan Zou

DOI: https://doi.org/10.1137/21m1443534

IF: 0.868

2024-01-29

SIAM Journal on Discrete Mathematics

Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 1, Page 566-589, March 2024. Modular decomposition focuses on repeatedly identifying a module [math] (a collection of vertices that shares exactly the same neighborhood outside of [math]) and collapsing it into a single vertex. This notion of exactitude of neighborhood is very strict, especially when dealing with real-world graphs. We study new ways to relax this exactitude condition. However, generalizing modular decomposition is far from obvious. Most of the previous proposals lose algebraic properties of modules and thus most of the nice algorithmic consequences. We introduce the notion of an [math]-module, a relaxation that maintains some of the algebraic structure. It leads to a new combinatorial decomposition with interesting properties. Among the main results in this work, we show that minimal [math]-modules can be computed in polynomial time, and we generalize series and parallel operation between graphs. This leads to [math]-cographs which have interesting properties. We study how to generalize Gallai's theorem corresponding to the case for [math], but unfortunately we give evidence that computing such a decomposition tree can be difficult.

mathematics, applied
Decomposition of -algebras

Avallone, Anna,Vitolo, Paolo

DOI: https://doi.org/10.1007/s00012-024-00871-7

2024-09-25

Algebra Universalis

Abstract:We generalize to -algebras a result of Riečanová about the decomposition of a D-lattice by means of a family of central elements.

mathematics
Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans,Shinnosuke Okawa,Andrea T. Ricolfi

2024-11-18

Abstract:For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. Using Artin's criterion, we show that this is an étale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. We generalise this to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions only, and conjecture it is an open and closed subspace.

Algebraic Geometry,Category Theory,K-Theory and Homology
Composition series of arbitrary cardinality in modular lattices and abelian categories

Eric J. Hanson,J. Daisie Rock

DOI: https://doi.org/10.1016/j.aim.2023.109292

2023-09-14

Abstract:For a certain family of complete modular lattices, we prove a Jordan--Hölder--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as well as the lattices of subobjects of any object in an abelian category satisfying properties related to Grothendieck's axioms (AB5) and (AB5*). We then give several examples of objects in abelian categories which satisfy these axioms, including pointwise finite-dimensional persistence modules, presheaves, and certain Prüfer modules. Moreover, we show that, over an arbitrary ring, the infinite product of isomorphic simple modules both fails to satisfy our axioms and admits at least two composition series with distinct cardinalities. We conclude by giving a lattice-theoretic proof that any object which is locally finitely generated and satisfies our axioms can be expressed as a direct sum of indecomposable subobjects. We conjecture that this decomposition is unique.

Category Theory,Representation Theory
Demazure modules, Fusion products and Q--systems

Vyjayanthi Chari,R.Venkatesh

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

2014-05-06

Abstract:In this paper, we introduce a family of indecomposable finite--dimensional graded modules for the current algebra associated to a simple Lie algebra. These modules are indexed by a tuple of partitions one for each positive root of the simple Lie algebra. We assume that the partitions satisfy a natural compatibility condition. In the case when the partitions are all rectangular, for instance, we prove that these are precisely the Demazure modules which are stable under the action of the simple Lie algebra. As a consequence we see that the defining relations of these Demazure modules can be greatly simplified. We use this simplified presentation to relate our results to the fusion products (defined by Feigin and Loktev) of representations of the current algebra. We prove that the Q--system can be actually thought of as a canonical short exact of the fusion products of representations associated to certain special partitions. Finally, in the last section we deal with the case of sl(2) and prove that the modules we define are just fusion products of irreducible representations of the associated current algebra. We also give monomial bases for these modules.

Representation Theory
Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Srikanth B. Iyengar,Chandrashekhar B. Khare,Jeffrey Manning

2024-09-29

Abstract:We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $\lambda$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $\Psi_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence.

Number Theory,Commutative Algebra
The modular hierarchy of the Toda lattice

Maria A. Agrotis,Pantelis A. Damianou

DOI: https://doi.org/10.1016/j.difgeo.2007.06.012

IF: 0.536

2007-12-01

Differential Geometry and its Applications

Abstract:The modular vector field plays an important role in the theory of Poisson manifolds and is intimately connected with the Poisson cohomology of the space. In this paper we investigate its significance in the theory of integrable systems. We illustrate in detail the case of the Toda lattice both in Flaschka and natural coordinates.

mathematics, applied
Weight modules over split Lie algebras

Antonio J. Calderón,José M. Sánchez

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

2024-01-24

Abstract:We study the structure of weight modules $V$ with restrictions neither on the dimension nor on the base field, over split Lie algebras $L$. We show that if $L$ is perfect and $V$ satisfies $LV=V$ and ${\mathcal Z}(V)=0$, then $$\hbox{$L =\bigoplus\limits_{i\in I} I_{i}$ and $V = \bigoplus\limits_{j \in J} V_{j}$}$$ with any $I_{i}$ an ideal of $L$ satisfying $[I_{i},I_{k}]=0$ if $i \neq k$, and any $V_{j}$ a (weight) submodule of $V$ in such a way that for any $j \in J$ there exists a unique $i \in I$ such that $I_iV_j \neq 0,$ being $V_j$ a weight module over $I_i$. Under certain conditions, it is shown that the above decomposition of $V$ is by means of the family of its minimal submodules, each one being a simple (weight) submodule.

Representation Theory
Dimensional reduction, extended topological field theories and orbifoldization

Lukas Müller,Lukas Woike

DOI: https://doi.org/10.1112/blms.12427

IF: 1.036

2020-10-28

Bulletin of the London Mathematical Society

Abstract:<p>We prove a decomposition formula for the dimensional reduction of an extended topological field theory that arises as an orbifold of an equivariant topological field theory. Our decomposition formula can be expressed in terms of a categorification of the integral with respect to groupoid cardinality. The application of our result to topological field theories of Dijkgraaf–Witten type proves a recent conjecture of Qiu–Wang.</p>

mathematics
On Decompositions of Matrices over Distributive Lattices

Yizhi Chen,Xianzhong Zhao

DOI: https://doi.org/10.1155/2014/202075

2014-01-01

Journal of Applied Mathematics

Abstract:Let L be a distributive lattice and M n , q ( L ) (M n ( L ) , resp.) the semigroup (semiring, resp.) of n × q ( n × n , resp.) matrices over L . In this paper, we show that if there is a subdirect embedding from distributive lattice L to the direct product ∏ i = 1 m ‍ L i of distributive lattices L 1 , L 2 , ... , L m , then there will be a corresponding subdirect embedding from the matrix semigroup M n , q ( L ) (semiring M n ( L ) , resp.) to semigroup ∏ i = 1 m ‍ M n , q ( L i ) (semiring ∏ i = 1 m ‍ M n ( L i ) , resp.). Further, it is proved that a matrix over a distributive lattice can be decomposed into the sum of matrices over some of its special subchains. This generalizes and extends the decomposition theorems of matrices over finite distributive lattices, chain semirings, fuzzy semirings, and so forth. Finally, as some applications, we present a method to calculate the indices and periods of the matrices over a distributive lattice and characterize the structures of idempotent and nilpotent matrices over it. We translate the characterizations of idempotent and nilpotent matrices over a distributive lattice into the corresponding ones of the binary Boolean cases, which also generalize the corresponding structures of idempotent and nilpotent matrices over general Boolean algebras, chain semirings, fuzzy semirings, and so forth.
Generic Constructions and Semidualizing Modules

Sean K. Sather-Wagstaff,Tony Se,Sandra Spiroff

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

2019-12-31

Abstract:We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that arise in the process.

Commutative Algebra
Entwined modules over representations of categories

Abhishek Banerjee

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

2022-07-18

Abstract:We introduce a theory of modules over a representation of a small category taking values in entwining structures over a semiperfect coalgebra. This takes forward the aim of developing categories of entwined modules to the same extent as that of module categories as well as the philosophy of Mitchell of working with rings with several objects. The representations are motivated by work of Estrada and Virili, who developed a theory of modules over a representation taking values in small preadditive categories, which were then studied in the same spirit as sheaves of modules over a scheme. We also describe, by means of Frobenius and separable functors, how our theory relates to that of modules over the underlying representation taking values in small $K$-linear categories.

Category Theory
A monoid-theoretical approach to infinite direct-sum decompositions of modules

Zahra Nazemian,Daniel Smertnig

2024-01-16

Abstract:Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $\kappa$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $\kappa$-indexed direct sums, and study the resulting $\kappa$-monoid $V^{\kappa}(\mathcal C)$.

Rings and Algebras
Indecomposable manipulations with simple modules in category O

Kevin Coulembier,Volodymyr Mazorchuk,Xiaoting Zhang

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

IF: 0.6

2017-09-02

Representation Theory

Abstract:We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results.
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

Dimension and decomposition in modular upper-continuous lattices

Dimension and depth inequalities over complete intersections

Modular lattices of finite length (Part A)

Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down

Reconstruction of module categories in the infinite and non-rigid settings

[math]-Modules in Graphs

Decomposition of -algebras

Moduli spaces of semiorthogonal decompositions in families

Composition series of arbitrary cardinality in modular lattices and abelian categories

Demazure modules, Fusion products and Q--systems

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

The modular hierarchy of the Toda lattice

Weight modules over split Lie algebras

Dimensional reduction, extended topological field theories and orbifoldization

On Decompositions of Matrices over Distributive Lattices

Generic Constructions and Semidualizing Modules

Entwined modules over representations of categories

A monoid-theoretical approach to infinite direct-sum decompositions of modules

Indecomposable manipulations with simple modules in category O

Modules of minimal dimension over completed Weyl algebras