相关论文: Pre-filtrations, Pre-stable Canonical Rules, and t…
The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…
We introduce and study iterated primitives of meromorphic quasimodular forms for $\operatorname{SL}_2(\mathbb Z)$, generalizing work of Manin and Brown for holomorphic modular forms. We prove that the algebra of iterated primitives of…
Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As…
In the context of the Kasparov product in unbounded KK-theory, a well-known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov…
Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof…
We prove asymptotic linear bounds for the Castelnuovo-Mumford regularity of certain filtrations of homogeneous ideals whose Rees algebras need not to be Noetherian.
A discrete analog of a skew selfadjoint canonical (Zakharov-Shabat or AKNS) system with a pseudo-exponential potential is introduced. For the corresponding Weyl function the direct and inverse problem are solved explicitly in terms of three…
In this paper we discuss metric theory associated with the affine (inhomogeneous) linear forms in the so called doubly metric settings within the classical and the mixed setups. We consider the system of affine forms given by $\qq\mapsto…
We study the unitarizability of premodular categories constructed from representations of quantum group at roots of unity. We introduce \emph{Grothendieck unitarizability} as a natural generalization of unitarizability to any class of…
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…
A set $F$ of formulas is complete relative to a given class of logics, if every logic from this class can be axiomatized by formulas from $F$. A set of formulas $F$ is {\L}-complete relative to a given class of logics, if every logic of…
Pre-conditioning is a well-known concept that can significantly improve the convergence of optimization algorithms. For noise-free problems, where good pre-conditioners are not known a priori, iterative linear algebra methods offer one way…
We investigate some relations between the duality and the topological filtration in algebraic K-theory. As a result, we obtain a construction of the first Steenrod square for Chow groups modulo two of varieties over a field of arbitrary…
This paper is concerned with the study of a family of fixed point iterations combining relaxation with different inertial (acceleration) principles. We provide a systematic, unified and insightful analysis of the hypotheses that ensure…
Following G. Mints(Kluwer 2000 and draft 2013), we present terminating and bicomplete proof searches in multi-succedent sequent calculi for intuitionistic propositional logic, fragments of intuitionistic predicate logic and full…
We give some Korovkin-type theorems on convergence and estimates of rates of approximations of nets of functions, satisfying suitable axioms, whose particular cases are filter/ideal convergence, almost convergence and triangular…
We provide an alternative definition for the familiar concept of regular singularity for meromorphic connections. Our new formulation does not use derived categories, and it also avoids the necessity of finding a special good filtration as…
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
We present Chebyshev type cubature rules for the exact integration of rational symmetric functions with poles on prescribed coordinate hyperplanes. Here the integration is with respect to the densities of unitary Jacobi ensembles stemming…
A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…