Related papers: Maranda's Theorem for Pure-Injective Modules and D…
Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a…
Let $\Lambda$ be a dominant integral weight of level $k$ for the affine Lie algebra $\mathfrak g$ and let $\alpha$ be a non-negative integral combination of simple roots. We address the question of whether the weight $\eta=\Lambda-\alpha$…
For any truncated path algebra $\Lambda$, we give a structural description of the modules in the categories ${\cal P}^{<\infty}(\Lambda\text{-mod})$ and ${\cal P}^{<\infty}(\Lambda\text{-Mod})$, consisting of the finitely generated (resp.…
Based on our previous work on an arithmetic analogue of Christol's theorem, this paper studies in more detail the structure of the lambda-ring $E_K = K \otimes W_{O_K}^a (O_{\bar{K}})$ of algebraic Witt vectors for number fields $K$. First…
A finitely generated module over the ring L=Z[t, t^{-1}] of integer Laurent polynomials that has no Z-torsion is determined by a pair of sub-lattices of L^d. Their indices are the absolute values of the leading and trailing coefficients of…
Let (R,m) be a noetherian local ring and let $\mathcal{C}$ be the class of all R-modules M which possess a reflexive submodule U such that M/U is finitely generated. For every R-module $M\in \mathcal{C}$ the canonical embedding $\varphi:…
For any ordinal \Lambda, we can define a polymodal logic GLP(\Lambda), with a modality [\xi] for each \xi<\Lambda. These represent provability predicates of increasing strength. Although GLP(\Lambda) has no Kripke models, Ignatiev showed…
By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra $L(\Lambda)$ generated by indecomposable constructible sets in the varieties of modules for any finite dimensional $\mathbb{C}$-algebra $\Lambda.$ We…
In this paper, we study the structure of Shen-Larsson modules over the Hamiltonian Lie algebra, also known as the Lie algebra of Hamiltonian vector fields on a torus. We establish necessary and sufficient conditions for the irreducibility…
We investigate the filtration corresponding to the degree function induced by a non-zero locally nilpotent derivation and its associated graded algebra. We show that this kind of filtration, referred to as the LND-filtration, is the ideal…
We study invertibility of $\lambda$-terms modulo $\lambda$-theories. Here a fundamental role is played by a class of $\lambda$-terms called finite hereditary permutations (FHP) and by their infinite generalisations (HP). More precisely,…
Theorem. Let $\pi$ be a finite group of order $n$, $R$ be a Dedekind domain satisfying that (i) $\fn{char}R=0$, (ii) every prime divisor of $n$ is not invertible in $R$, and (iii) $p$ is unramified in $R$ for any prime divisor $p$ of $n$.…
Motivated by recent works on the genus of classifying spaces of compact Lie groups, here we study the set of filtered $\lambda$-ring structures over a filtered ring from a purely algebraic point of view. From a global perspective, we first…
In recent years, the combinatorial properties of monomials ideals and binomial ideals have been widely studied. In particular, combinatorial interpretations of free resolution algorithms have been given in both cases. In this present work,…
We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always…
This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…
Let $\Lambda$ be an Artin algebra. In 2014, T. Adachi, O. Iyama and I. Reiten proved that the torsion funtorially finite classes in $\mathrm{mod}\,(\Lambda)$ can be described by the $\tau$-tilting theory. The aim of this paper is to…
We prove that indecomposable $\Sigma$-pure-injective modules for a string algebra are string or band modules. The key step in our proof is a splitting result for infinite-dimensional linear relations.
A local Tb Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator T. One needs only boundedness of the operator T on systems of locally pseudo-accretive functions \{b_Q\}, indexed by cubes. We…
It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…