Abelian group pairs having a trivial coGalois group

Torsion-free covers are considered for objects in the category q ₂. Objects in the category q ₂ are just maps in R-Mod. For R = ℤ, we find necessary and sufficient conditions for the coGalois group G(A → B), associated to a torsion-free cover, to be trivial for an object A → B in q ₂. Our results generalize those of E. Enochs and J. Rado for abelian groups.     

关于正则Fredholm多值线性算子对

将单值算子的Fredholm对的概念推广到多值线性算子的范畴上,讨论了Fredholm多值线性算子对的一些初等性质,在适当的条件下,获得了正则的Fredholm多值线性算子对的与正则Fredholm算子对的相平行的一些结果.     

Relative left derived functors of tensor product functors

We introduce and study the relative left derived functor Tor_n^(F,F') (-,-) in the module category, which unifies several related left derived functors. Then we give some criteria for computing the F-resolution dimensions of modules in terms of the properties of Tor_n^(F,F') (-,-). We also construct a complete and hereditary cotorsion pair relative to balanced pairs. Some known results are obtained as corollaries.     

Further explorations into ternary complementary pairs

In [R. Craigen, C. Koukouvinos, A theory of ternary complementary pairs, J. Combin. Theory Ser. A 96 (2001) 358-375], we proposed a systematic approach to the theory of ternary complementary pairs (TCPs) and showed how all pairs known then could be constructed using a single elementary product, the natural equivalence relations, and a handful of pairs which we called primitive. We also introduced more new primitive pairs than could be inferred previously, concluding with some conjectures reflecting the patterns that were beginning to arise in light of the new approach.In this paper we take what appears to be the natural next step, by investigating these patterns among those lengths and weights that are within easy computational distance from the last length considered therein, length 14. We give complete results up to length 21, and partial results up to length 28. (Ironically, although we proceed analytically by weight first then length, for computational reasons we are bound, in this empirical investigation, to proceed according to length first.)Thus we provide support for the previous conjectures, and shed enough new light to speculate further as to the likely ultimate shape of the theory. Since short term work on TCPs will require massive acquisition of data about small pairs, we also discuss affixes—a computational strategy that arose out of the investigations culminating in this article.     

The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames

We answer a question of J. Rosický and W. Tholen by showing that the class of complete Boolean algebras (which is a prereflective subcategory of the category of frames) is not an intersection of reflective subcategories of the category of frames. In order to deduce this result, we first prove the following observation (using some basic facts about congruence frames): the three-element chain belongs to every reflective subcategory of the category of frames which contains the class of complete Boolean algebras.Supported by the Categorical Topology Research Group at the University of Cape Town, under funding from the Foundation for Research Development and the University of Cape Town.     

Epimorphisms and ℋ-coextensions

Conclusions Theorems 3.4 and 4.3 have consequences of a similar form: we have compact monoids built from objects in a smaller category of compact monoids, and an epimorphism in the larger category is surjective provided the induced morphism (in 3.4 the restriction to the idempotents) is surjective. In 3.2 and 3.3 we make use of the fact that for the smaller category CL this will always be the case. Thus 3.4 and 4.3 could be completed, in a sense, if we know more about epimorphisms of compact semilattices and about A-epimorphisms. As for 3.4, another type of completion would be an extension to the nonabelian case. Since it is not known (see [2], [17]) whether constructions analogous to those in 3.1 yield Hausdorff semi-groups for the non-Lawson case, this problem may be difficult.In closing, the author would like to thank Professor J. H. Carruth for his helpful advice and encouragement in the research leading to this paper.     

本刊英文版Vol.32(2016),No.7论文摘要（英文）

正Relative Left Derived Functors of Tensor Product Functors Jun Fu WANG Zhao Yong HUANG Abstract We introduce and study the relative left derived functor Tor_n~((J,J'))(-,-)in the module category,which unifies several related left derived functors.Then we give some criteria for computing the J-resolution dimensions of modules in terms of the properties of Tor_n~((J,J'))(-,-).     

Strong pro-fibrations and ANR objects in pro-categories

The notions of pro-fibration and approximate pro-fibration for morphisms in the pro-category pro-Top of topological spaces were introduced by S. Mardeši? and T.B. Rushing. In this paper we introduce the notion of strong pro-fibration, which is a pro-fibration with some additional property, and the notion of ANR object in pro-Top, which is approximately an ANR-system, and we consider the full subcategory ANR of pro-Top whose objects are ANR objects. We prove that the category ANR satisfies most of the axioms for fibration category in the sense of H.J. Baues if fibrations are strong pro-fibrations and weak equivalences are morphisms inducing isomorphisms in the pro-homotopy category pro-H(Top) of topological spaces. We give various applications. First of all, we prove that every shape morphism is represented by a strong pro-fibration. Secondly, the fibre of a strong pro-fibration is well defined in the category ANR, and we obtain an isomorphism between the pro-homotopy groups of the base and total systems of a strong pro-fibration, and hence obtain the pro-homotopy sequence of a strong pro-fibration. Finally, we also show that there is a homotopy decomposition in the category ANR.     

Combinatorial and accessible weak model categories

In a previous work, we have introduced a weakening of Quillen model categories called weak model categories. They still allow all the usual constructions of model category theory, but are easier to construct and are in some sense better behaved. In this paper we continue to develop their general theory by introducing combinatorial and accessible weak model categories. We give simple necessary and sufficient conditions under which such a weak model category can be extended into a left and/or right semi-model category. As an application, we recover Cisinski-Olschok theory and generalize it to weak and semi-model categories. We also provide general existence theorems for both left and right Bousfield localization of combinatorial and accessible weak model structures, which combined with the results above gives existence results for left and right Bousfield localization of combinatorial and accessible left and right semi-model categories, generalizing previous results of Barwick. Surprisingly, we show that any left or right Bousfield localization of an accessible or combinatorial Quillen model category always exists, without properness assumptions, and is simultaneously both a left and a right semi-model category, without necessarily being a Quillen model category itself.     

Naïve noncommutative blowups at zero-dimensional schemes

In an earlier paper [D.S. Keeler, D. Rogalski, J.T. Stafford, Naïve noncommutative blowing up, Duke Math. J. 126 (2005) 491–546, MR 2120116], we defined and investigated the properties of the naïve blowup of an integral projective scheme X at a single closed point. In this paper we extend those results to the case when one naïvely blows up X at any suitably generic zero-dimensional subscheme Z. The resulting algebra A has a number of curious properties; for example it is noetherian but never strongly noetherian and the point modules are never parametrized by a projective scheme. This is despite the fact that the category of torsion modules in qgr-A is equivalent to the category of torsion coherent sheaves over X. These results are used in the companion paper [D. Rogalski, J.T. Stafford, A class of noncommutative projective surfaces, in press] to prove that a large class of noncommutative surfaces can be written as naïve blowups.     

Schur product techniques for commuting multivariable weighted shifts

In this paper we study the hyponormality and subnormality of 2-variable weighted shifts using the Schur product techniques in matrices. As applications, we generalize the result in [R. Curto, J. Yoon, Jointly hyponormal pairs of subnormal operators need not be jointly subnormal, Trans. Amer. Math. Soc. 358 (2006) 5135-5159, Theorem 5.2] and give a non-trivial, large class satisfying the Curto-Muhly-Xia conjecture [R. Curto, P. Muhly, J. Xia, Hyponormal pairs of commuting operators, Oper. Theory Adv. Appl. 35 (1988) 1-22] for 2-variable weighted shifts. Further, we give a complete characterization of hyponormality and subnormality in the class of flat, contractive, 2-variable weighted shifts T≡(T₁,T₂) with the condition that the norm of the 0th horizontal 1-variable weighted shift of T is a given constant.     

Homotopic properties of confluent maps in the proper category

We establish some properties of homotopical nature for confluent maps in the proper category. We analyze in this setting the characterization of tree-like continua by J.H. Case and R.E. Chamberlin as well as the theorem by T.B. McLean on the preservation of tree-likeness under confluent maps. We give counterexamples for the corresponding proper analogues and we extend results of several authors in classical continuum theory to non-compact spaces. Finally, we describe the behavior of these maps with respect to the fundamental pro-group, generalizing results of J. Grispolakis and other authors. Two questions of interest are still open (Open Question 15 and Conjecture 24).     

Three results on Frobenius categories

This paper consists of three results on Frobenius categories: (1) we give sufficient conditions on when a factor category of a Frobenius category is still a Frobenius category; (2) we show that any Frobenius category is equivalent to an extension-closed exact subcategory of the Frobenius category formed by Cohen–Macaulay modules over some additive category; this is an analogue of Gabriel–Quillen’s embedding theorem for Frobenius categories; (3) we show that under certain conditions an exact category with enough projective and enough injective objects allows a natural new exact structure, with which the given category becomes a Frobenius category. Several applications of the results are discussed.     

Holomorphe Korrespondenzen und Meromorphe Abbildungen Allgemeiner Komplexer Räume-Fortsetzungssätze

The numerous results concerning analytic sheaf extension obtained in the last time can be applied to the extension problem for holomorphic correspondences and meromorphic mappings of complex spaces. In this paper, from a fundamental theorem of J. Frisch and J. Guenot [3, Th. VII. 2] extension theorems of the type of the 2^nd Riemann removable singularities theorem are deduced.The definition of holomorphic correspondences is based on a categorial concept; it is shown that an arbitrary category with products and fibre products can be embedded in a category of correspondences.     

Category equivalences of clones

This note was inspired by McKenzie's recent paper [8] whose main result is a characterization of categorical equivalence (for short category equivalence) between varieties. Here we use this result to define category equivalent clones and to describe all clones category equivalent to maximal clones. If one is interested in maximal clones only up to category equivalence it is sufficient to consider very simple maximal clones, essentially the same as considered in Jablonski's early papers about maximal clones [6]. The results we have found encourage us in our feeling that category equivalence could be a useful tool in clone theory.Dedicated to the memory of Alan Day.Presented by J. Sichler.     

An update on primitive ternary complementary pairs

In two recent papers we overhauled the theory of ternary complementary pairs, focusing on questions relating to the possible weights of pairs, and special pairs from which all others can be derived, which we call “primitive.”Of particular interest at this time is a new refinement of the concept of primitivity, which necessitates some revisions to our tables. In this article we report on the state of the art with respect to primitive pairs and elaborate on some conjectures in light of new data.30 new primitive pairs are given; the status of 12 previously “primitive” pairs is changed to “imprimitive.”     

On Ext-Transfer for Algebraic Groups

This paper builds upon the work of Cline and Donkin to describe explicit equivalences between some categories associated to the category of rational modules for a reductive group G and categories associated to the category of rational modules for a Levi subgroup H. As an application, we establish an Ext-transfer result from rational G-modules to rational H-modules. In case G = GL_n, these results can be illustrated in terms of classical Schur algebras. In that case, we establish another category equivalence, this time between the module category for a Schur algebra and the module category for a union of blocks for a natural quotient of a larger Schur algebra. This category equivalence provides a further Ext-transfer theorem from the original Schur algebra to the larger Schur algebra. This result extends to the category level the decomposition number method of Erdmann. Finally, we indicate (largely without proof) some natural variations to situations involving quantum groups and q-Schur algebras.