Related papers: Decomposition of semigroup algebras
Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid…
We show that every finitely generated cohomologically trivial module over $RG$, where $G$ is a finite $p$-group and $R$ is a $p$-adic ring, splits as the direct sum of a finite cohomologically trivial $RG$-module and a free $RG$-module.…
Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups. Accordingly, we use mathematical tools like products and…
Given a partial action $\pi$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} \rtimes_\pi S$. Our main result asserts that, when $\mathcal{A}$ is commutative, the…
We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and…
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modification, applicable in positive characteristic, where actually all computations are over the original ring, is…
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…
Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching…
Let $\mathcal{Z}(\mathcal{U}(\mathbb{Z}[G]))$ denote the group of central units in the integral group ring $\mathbb{Z}[G]$ of a finite group $G$. A bound on the index of the subgroup generated by a virtual basis in…
We propose a conjectural semiorthogonal decomposition for the derived category of the moduli space of stable rank 2 bundles with fixed determinant of odd degree, independently formulated by Narasimhan. We discuss some evidence for, and…
We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian schemes over some ring of integers. Torsion points are replaced by special 0-cycles, that is reductions modulo some, possibly varying, prime of Galois orbits of torsion…
An associative ring with 1 is said to be semilocal provided it is semisimple artinian modulo its Jacobson radical, that is, modulo its Jacobson radical it is isomorphic to a finite product of matrices over division rings. Modules with a…
In this article, we first prove that the type of an affine semigroup ring is equal to the number of maximal elements of the Ap\'ery set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further,…
In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…
Let $\cl{M}$ be a Hilbert module of holomorphic functions over a natural function algebra $\mathcal{A}(\Omega)$, where $\Omega \subseteq \bb{C}^m$ is a bounded domain. Let $\cl{M}_0\subseteq \cl{M}$ be the submodule of functions vanishing…
Using combinatorics of Young tableaux, we give an explicit construction of irreducible graded modules over Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^{\lambda}$ of type $A_{n}$. Our construction is compatible…
The purpose of this paper is to characterize one-dimensional local domains, or more in general reduced, in terms of its Macaulay's inverse system. This leads to study almost finitely generated modules in the divided power ring. We…
The Castelnuovo-Mumford regularity of the Jacobian algebra and of the graded module of derivations associated to a general curve arrangement in the complex projective plane are studied. The key result is an addition-deletion type result,…