左n-角范畴的稳定化及Grothendieck群

本文证明了左n-角范畴的稳定化范畴具有n-角结构,并证明了当n为奇数时,左n-角范畴的Grothendieck群与其稳定化范畴的Grothendieck群同构.     

序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.     

Double Hall algebras and derived equivalences

We show that the reduced Drinfeld double of the Ringel-Hall algebra of a hereditary category is invariant under derived equivalences. By associating an explicit isomorphism to a given derived equivalence, we also extend the results of Burban and Schiffmann [5] and [006], Sevenhant and Van den Bergh (1999) [25], and Xiao and Yang (2001) [31].     

On the convergence of Fourier series of computable Lebesgue integrable functions

This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of L^p‐computable functions (computable Lebesgue integrable functions) with a size notion, by introducing L^p‐computable Baire categories. We show that L^p‐computable Baire categories satisfy the following three basic properties. Singleton sets {f } (where f is L^p‐computable) are meager, suitable infinite unions of meager sets are meager, and the whole space of L^p‐computable functions is not meager. We give an alternative characterization of meager sets via Banach‐Mazur games. We study the convergence of Fourier series for L^p‐computable functions and show that whereas for every p > 1, the Fourier series of every L^p‐computable function f converges to f in the L^p norm, the set of L¹‐computable functions whose Fourier series does not diverge almost everywhere is meager (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hamel‐isomorphic images of the unit ball

In this article we consider linear isomorphisms over the field of rational numbers between the linear spaces ?² and ?. We prove that if f is such an isomorphism, then the image by f of the unit disk is a strictly nonmeasurable subset of the real line, which has different properties than classical non‐measurable subsets of reals. We shall also consider the question whether all images of bounded measurable subsets of the plane via a such mapping are non‐measurable (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

(f,ω)-Compatible Pair (B,H) for ω-Smash Coproduct Hopf Algebras

In this paper we introduce the notion of (f,ω)-compatible pair (B,H), by which we construct a Hopf algebra in the category HHYD of Yetter-Drinfeld H-modules by twisting the comultiplication of B. We also study the property of ω-smash coproduct Hopf algebras Bω H.     

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.     

On properties of h-homogeneous spaces of first category

A metric space X is called h-homogeneous if and each nonempty open-closed subset of X is homeomorphic to X. We describe how to assign an h-homogeneous space of first category and of weight k to any strongly zero-dimensional metric space of weight ?k. We investigate the properties of such spaces. We show that if Q is the space of rational numbers and Y is a strongly zero-dimensional metric space, then Q×Yω is an h-homogeneous space and F×Q×Yω is homeomorphic to Q×Yω for any Fσ-subset F of Q×Yω. L. Keldysh proved that any two canonical elements of the Borel class α are homeomorphic. The last theorem is generalized for the nonseparable case.     

The Miyashita–Ulbrich Action for Weak Hopf Algebras

In this article we extend the Miyashita–Ulbrich action for weak H-Galois extensions associated to a weak bialgebra H. Also, if H is a weak Hopf algebra, we prove that this action induces a monoidal connection with the category of right-right Yetter–Drinfeld modules over H.     

Lifting to Cluster-Tilting Objects in 2-Calabi–Yau Triangulated Categories

We show that a tilting module over the endomorphism algebra of a cluster-tilting object in a 2-Calabi–Yau triangulated category lifts to a cluster-tilting object in this 2-Calabi–Yau triangulated category. This generalizes a recent work of Smith for cluster categories.