Related papers: Normed modules, integral sequences, and integrals …
We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its…
In the paper two-weighted norm estimates with general weights for Hardy-type transforms, maximal functions, potentials and Calder\'on-Zygmund singular integrals in variable exponent Lebesgue spaces defined on quasimetric measure spaces $(X,…
A characterization of the maximal abelian sub-algebras of matrix algebras that are normalized by the canonical representation of a finite Heisenberg group is given. Examples are constructed using a classification result for finite…
We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we…
We introduce a notion of integration defined from filters over families of finite sets. This procedure corresponds to determining the average value of functions whose range lies in any algebraic structure in which finite averages make…
In this paper, we re-examine certain integrable modules of Chari-Presslely for an (untwisted) affine Lie algebra $\hat{\g}$ by exploiting basic formal variable techniques. We define and study two categories ${\mathcal{E}}$ and…
P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable…
Let $L$ be a finite-dimensional Lie algebra over a field of non-zero characteristic and let $S$ be a subalgebra. Suppose that $X$ is a finite set of finite-dimensional $L$-modules. Let $D$ be the category of all finite-dimensional…
In this article, we realize skew-gentle algebras as skew-tiling algebras associated to admissible partial triangulations of punctured marked surfaces. Based on this, we establish a bijection between tagged permissible curves and certain…
This manuscript presents a novel framework that integrates higher-order symmetries and category theory into machine learning. We introduce new mathematical constructs, including hyper-symmetry categories and functorial representations, to…
In this note one tries to venture into a study of some notions, in the context of a (unital) normed algebra, in particular the algebra of operators on a Hilbert space. Namely, one considers ``moving norms'', i.e.\ norming an element minus a…
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a…
Let $L(-{1/2}(l+1),0)$ be the simple vertex operator algebra associated to an affine Lie algebra of type $A_{l}^{(1)}$ with the lowest admissible half-integer level $-{1/2}(l+1)$, for even l. We study the category of weak modules for that…
A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is…
In this work we obtain boundedness on weighted variable Lebesgue spaces of some maximal functions that come from the localized analysis considering a critical radius function. This analysis appears naturally in the context of the…
Let $\Lambda$ be a $\mathbb{Z}$-graded artin algebra. Two classical results of Gordon and Green state that if $\Lambda$ has only finitely many indecomposable gradable modules, up to isomorphism, then $\Lambda$ has finite representation…
We present a replacement for traditional Riemann integrals in undergraduate calculus, which supplements naive precalculus and at the same time opens a way to more sophisticated theories such as Lebesgue integration.
We define a new class of positive and Lebesgue measurable functions in terms of their asymptotic behavior, which includes the class of regularly varying functions. We also characterize it by transformations, corresponding to generalized…
In the context of variable exponent Lebesgue spaces equipped with a lower Ahlfors measure we obtain weighted norm inequalities over bounded domains for the centered fractional maximal function and the fractional integral operator.
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…