Approximations and Mittag-Leffler conditions the tools

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [20], [14], [19]. If R is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class of all flat Mittag-Leffler modules is not deconstructible [16], and it does not provide for approximations when R has cardinality ≤ ?₀, [8]. We remove the cardinality restriction on R in the latter result. We also prove an extension of the Countable Telescope Conjecture [23]: a cotorsion pair (A, B) is of countable type whenever the class B is closed under direct limits.In order to prove these results, we develop new general tools combining relative Mittag-Leffler conditions with set-theoretic homological algebra. They make it possible to trace the above facts to their ultimate, countable, origins in the properties of Bass modules. These tools have already found a number of applications: e.g., they yield a positive answer to Enochs’ problem on module approximations for classes of modules associated with tilting [4], and enable investigation of new classes of flat modules occurring in algebraic geometry [26]. Finally, the ideas from Section 3 have led to the solution of a long-standing problem due to Auslander on the existence of right almost split maps [22].     

Relative Gorenstein injective covers with respect to a semidualizing module

Let R be a commutative Noetherian ring and let C be a semidualizing R-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to C which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every G _C -injective module G, the character module G ⁺ is G _C -flat, then the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class \(\mathcal{GI}_{C}(R)\cap\mathcal{A}_C(R)\) is covering.     

The countable Telescope Conjecture for module categories

By the Telescope Conjecture for Module Categories, we mean the following claim: “Let R be any ring and (A,B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A,B) is of finite type.”We prove a modification of this conjecture with the word ‘finite’ replaced by ‘countable.’ We show that a hereditary cotorsion pair (A,B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in A in terms of morphisms between finitely presented modules, and show that (A,B) is cogenerated by a single pure-injective module provided that A is closed under direct limits. Then we move our attention to strong analogies between cotorsion pairs in module categories and localizing pairs in compactly generated triangulated categories.     

A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Characteristic Modules of Dual Extensions and Groebner Bases

Let C be a finite dimensional directed algebra over an algebraically closed field k and A=A(C) the dual extension of C. The characteristic modules of A are constructed explicitly for a class of directed algebras, which generalizes the results of Xi. Furthermore, it is shown that the characteristic modules of dual extensions of a certain class of directed algebras admit the left Groebner basis theory in the sense of E. L. Green.     

On the telescope conjecture for module categories

In [H. Krause, O. Solberg, Applications of cotorsion pairs, J. London Math. Soc. 68 (2003) 631-650], the Telescope Conjecture was formulated for the module category of an artin algebra R as follows: “If C=(A,B) is a complete hereditary cotorsion pair in with A and B closed under direct limits, then ”. We extend this conjecture to arbitrary rings R, and show that it holds true if and only if the cotorsion pair C is of finite type. Then we prove the conjecture in the case when R is right noetherian and B has bounded injective dimension (thus, in particular, when C is any cotilting cotorsion pair). We also focus on the assumptions that A and B are closed under direct limits and on related closure properties, and detect several asymmetries in the properties of A and B.     

Symmetrization of Cuntz’ Picture for the Kasparov <Emphasis Type="Italic">KK</Emphasis>-Bifunctor

Given C^*-algebras A and B, we generalize the notion of a quasi-homomorphism from A to B in the sense of Cuntz by considering quasi-homomorphisms from some C^*-algebra C to B such that C surjects onto A and the two maps forming the quasi-homomorphism agree on the kernel of this surjection. Under an additional assumption, the group of homotopy classes of such generalized quasi-homomorphisms coincides with KK(A, B). This makes the definition of the Kasparov bifunctor slightly more symmetric and provides more flexibility in constructing elements of KK-groups. These generalized quasi-homomorphisms can be viewed as pairs of maps directly from A (instead of various C’s), but these maps need not be *-homomorphisms.     

Homological Systems in Triangulated Categories

We introduce the notion of homological systems Θ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional sequences in triangulated categories. We prove that, attached to the homological system Θ, there are two standardly stratified algebras A and B, which are derived equivalent. Furthermore, it is proved that the category \(\mathfrak {F}({\Theta }),\) of the Θ-filtered objects in a triangulated category \(\mathcal {T},\) admits in a very natural way a structure of an exact category, and then there are exact equivalences between the exact category \(\mathfrak {F}({\Theta })\) and the exact categories of the Δ-good modules associated to the standardly stratified algebras A and B. Some of the obtained results can be seen also under the light of the cotorsion pairs in the sense of Iyama-Nakaoka-Yoshino (see 6.6 and 6.7 ). We recall that cotorsion pairs are studied extensively in relation with cluster tilting categories, t-structures and co-t-structures.     

Two Bilinear (3 × 3)-Matrix Multiplication Algorithms of Complexity 25

As is known, a bilinear algorithm for multiplying 3 × 3 matrices can be constructed by using ordered triples of 3 × 3 matrices A _ρ , B _ρ , C _ρ , \(\rho = \overline {1,r} ,\) where r is the complexity of the algorithm. Algorithms with various symmetries are being extensively studied. This paper presents two algorithms of complexity 25 possessing the following two properties (symmetries): (1) the matricesA₁,B₁, and C1 are identity, (2) if the algorithm involves a tripleA, B, C, then it also involves the triples B, C, A and C, A, B. For example, these properties are inherent in the well-known Strassen algorithm for multiplying 2 × 2 matrices. Many existing (3 × 3)-matrix multiplication algorithms have property (2). Methods for finding new algorithms are proposed. It is shown that the found algorithms are different and new.     

Linear extensions associated with abstract functional operators

Abstract functional operators are defined as elements of a C*-algebra B with a structure consisting of a closed C*-subalgebra A ? B and a unitary element T ? B such that the mapping \(\hat T:a \to TaT^{ - 1} \) is an automorphism of A and the set of finite sums \(\sum {a_k T^k } ,a_k \in A\), is norm dense in B.We give a new construction of a linear extension associated with the abstract weighted shift operator aT and obtain generalizations of known theorems about the relationship between the invertibility of operators and the hyperbolicity of the associated linear extensions to the case of abstract functional operators.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

On a class of modules over group rings of locally soluble groups

A module A over a group ring DG is studied in the case when D is a Dedekind domain, the group G is locally soluble, the quotient module A/C _A (G) is not an Artinian D-module, and the system of all subgroups H ≤ G for which the quotient modules A/C _A (H) are not Artinian D-modules satisfies the minimality condition for subgroups. Under these assumptions, it is proved that the group G is hyperabelian and some properties of its periodic radical are described.     

Characteristic modules and tensor products over quasi-hereditary algebras

Let A be a monomial quasi-hereditary algebra with a pure strong exact Borel subalgebra B.It is proved that the category of induced good modules over B is contained in the category of good modules over A;that the characteristic module of A is an induced module of that of B via the exact functor-(?)_B A if and only if the induced A-module of an injective B-module remains injective as a B-module.Moreover,it is shown that an exact Borel subalgebra of a basic quasi-hereditary serial algebra is right serial and that the characteristic module of a basic quasi-hereditary serial algebra is exactly the induced module of that of its exact Borel subalgebra.     

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf–Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings (A,C) and (B,D) in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules V _A ^C and V _B ^D are Quillen equivalent. As an illustration of the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.     

On Generalized Derivations and Centralizers of Operator Algebras with Involution

Let B(H) be the algebra of all bounded linear operators on a complex Hilbert space H and A(H) ? B(H) be a standard operator algebra which is closed under the adjoint operation. Let F: A(H)→ B(H) be a linear mapping satisfying F(AA*A) = F(A)A*A + Ad(A*)A + AA*d(A) for all A ∈ A(H), where the associated linear mapping d: A(H) → B(H) satisfies the relation d(AA*A) = d(A)A*A + Ad(A*)A + AA*d(A) for all A ∈ A(H). Then F is of the form F(A) = SA ? AT for all A ∈ A(H) and some S, T ∈ B(H), that is, F is a generalized derivation. We also prove some results concerning centralizers on A(H) and semisimple H^*-algebras.     

A note on generating <Emphasis Type="Italic">P</Emphasis>-matrices

We prove that for any \({A,B\in\mathbb{R}^{n\times n}}\) such that each matrix S satisfying min(A, B) ≤ S ≤ max(A, B) is nonsingular, all four matrices A ^?1 B, AB ^?1, B ^?1 A and BA ^?1 are P-matrices. A practical method for generating P-matrices is drawn from this result.     

Semi-analytical Formula for Pricing Bilateral Counterparty Risk of CDS with Correlated Credit Risks

Based on the framework of [7], we discuss pricing bilateral counterparty risk of CDS, where each individual default intensity is modeled by a shifted CIR process with jump (JCIR++), and the correlation between the default times is modeled by a copula function. We present a semi-analytical formula for pricing bilateral counterparty risk of CDS, which is more convenient to compute through calculating multiple numerical integration or using Monte-Carlo simulation without simulating default times. Moreover, we obtain simpler formulae under FGM copulas, Bernstein copulas and C^A,B copulas, which can be applied for speeding up the computation and reducing the pricing error. Numerical results under FGM copulas and C^A,B copulas show that our method performs better both in computation speed and accuracy.     

Translation Invariant Asymptotic Homomorphisms and Extensions of <Emphasis Type="Italic">C</Emphasis>*-Algebras

Let A and B be C*-algebras, let A be separable, and let B be σ-unital and stable. We introduce the notion of translation invariance for asymptotic homomorphisms from S A = C₀(?) ? A to B and show that the Connes—Higson construction applied to any extension of A by B is homotopic to a translation invariant asymptotic homomorphism. In the other direction we give a construction which produces extensions of A by B from a translation invariant asymptotic homomorphism. This leads to our main result that the homotopy classes of extensions coincide with the homotopy classes of translation invariant asymptotic homomorphisms.     

A modified large-scale structure-preserving doubling algorithm for a large-scale Riccati equation from transport theory

A large scale nonsymmetric algebraic Riccati equation XCX ? XE ? AX + B = 0 arising in transport theory is considered, where the n × n coefficient matrices B,C are symmetric and low-ranked and A, E are rank one updates of nonsingular diagonal matrices. By introducing a balancing strategy and setting appropriate initial matrices carefully, we can simplify the large-scale structure-preserving doubling algorithm (SDA_ls) for this special equation. We give modified large-scale structure-preserving doubling algorithm, which can reduce the flop count of original SDA_ls by half. Numerical experiments illustrate the effectiveness of our method.