Related papers: Expansions of monomial ideals and multigraded modu…

Using the theory of analytic functions of several complex variables, we prove that if an analytic function in several variables satisfies a system of $q$-partial differential equations, then, it can be expanded in terms of the product of…

In this article, we explore the problem of constructing high-dimensional expanders through the study of relations between expansion constants over different rings. We investigate expansion constants of integer matrices regarded as morphisms…

We investigate Mellin integrals of products of hyperplanes, raised to an individual power each. We refer to the resulting functions as combinatorial correlators. We investigate their behavior when moving the hyperplanes individually. To…

Given a monomial ideal $I$, we study two functions that quantify ways to measure the difference between symbolic powers and usual powers of $I$. In many cases we determine the asymptotic growth rate of these two functions. We also perform…

We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic…

In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our…

An integrable Hamiltonian system presents monodromy if the action-angle variables cannot be defined globally. As a prototype of classical monodromy with azimuthal symmetry, we consider a linear molecule interacting with external fields and…

We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural…

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming…

In this paper, we use Soergel calculus to define a monoidal functor, called the evaluation functor, from extended affine type A Soergel bimodules to the homotopy category of bounded complexes in finite type A Soergel bimodules. This functor…

The satellite endofunctors are used to extend the definition of linkage of ideals to the linkage of totally finitely presented functors. The new notion for linkage works over a larger class of rings and is consistent with the functorial…

Proofs of two results about a monomial ideal -- describing membership in auxiliary ideals associated to the monomial ideal -- are given which do not invoke resolution of singularities. The AM--GM inequality is used as a substitute for…

We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality. The idea is that of distributing the defeasible properties of concepts into different modules, according…

We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to…

Let M be a factor of type II_\infty or II_1 having separable predual and let M-bar be the algebra of affiliated \tau-measureable operators. We characterize the commutator space [I,J] for sub-(M,M)-bimodules I and J of M-bar.

We prove an index theorem for the quotient module of a monomial ideal. We obtain this result by resolving the monomial ideal by a sequence of Bergman space like essentially normal Hilbert modules.

There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…

We develop a functorial framework for the ideal theory of commutative semirings using coherent frames and spectral spaces. Two central constructions-the radical ideal functor and the $k$-radical ideal functor-are shown to yield coherent…

In this note, we find a monomization of a certain power ideal associated to a directed graph. This power ideal has been studied in several settings. The combinatorial method described here extends earlier work of other, and will work on…

Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…