Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

Functors whose domain is a category of morphisms

Summary Connected sequences of functors whose domain, is the category of morphisms of an arbitrary abelian categoryA and whose range categoryB is also abelian are compared with the composition functors of Eckmann and Hilton acting between the same categories Sequences of functors of both types are obtained from any half-exact functorA→B ifA has enough injectives and projectives. This revised version was published online in November 2006 with corrections to the Cover Date.     

Composite of irreducible morphisms in the bounded derived category

We study necessary and sufficient conditions for the existence of n irreducible morphisms in the bounded derived category of an Artin algebra, with non-zero composite in the n+1-power of the radical. In the case of , the bounded derived category of an Ext-finite hereditary k-category with tilting object, such irreducible morphisms exist if and only if H is derived equivalent to a wild hereditary algebra or to a wild canonical algebra. We also characterize the cluster tilted algebras having such irreducible morphisms.     

On the category of weak Cayley table morphisms between groups

Weak Cayley table functions between groups are generalized conjugacy-preserving homomorphisms, under which products of images are conjugate to images of products. There is a weak Cayley table bijection between two groups iff they have the same 2-characters. In this paper, weak Cayley table functions are augmented to include the specific conjugating elements, leading to the concept of a weak (Cayley table) morphism. If the conjugating elements are chosen subject to a crossed-product condition, then the weak morphisms between groups form a category. The forgetful functor to this category from the category of group homomorphisms is shown to possess a left adjoint. Two weak morphisms are said to be homotopic if they project to the same weak Cayley table function. As a first step in the analysis of the category of weak morphisms, the group of units of the monoid of weak morphisms homotopic to the identity automorphism of a group is described.     

Fuzzy subobjects in a category and the theory of C-sets

In this paper we shall define the concept of a fuzzy subobject of an object in arbitrary categories. This concept is generated by the representation theorem of fuzzy sets. By using fuzzy subobjects one can include most of the fuzzy concepts defined in the literature, such as: fuzzy groups, fuzzy relations and fuzzy convex sets. In the second part of the paper we shall define a new concept; that of a $\text{C}$-set. This concept will generalize that of a fuzzy set and we shall also prove that $\text{C}$-sets can be represented by some sets of functors. More precisely, $\text{C}$-sets form a category which can be represented by a category of functors. The utility of $\text{C}$-sets resides in the fact that one can replace “ordering” by the more general concept of a morphism in category. The new representation of $\text{C}$-sets is weaker than that of fuzzy sets.     

On preimages of a class of generalized monotone operators

In this paper we first provide a geometric interpretation of the Minty-Browder monotonicity which allows us to extend this concept to the so called h-monotonicity, still formulated in an analytic way. A topological concept of monotonicity is also known in the literature: it requires the connectedness of all preimages of the operator involved. This fact is important since combined with the local injectivity, it ensures global injectivity. When a linear structure is present on the source space, one can ask for the preimages to even be convex. In an earlier paper, the authors have shown that Minty-Browder monotone operators defined on convex open sets do have convex preimages, obtaining as a by-product global injectivity theorems. In this paper we study the preimages of h-monotone operators, by showing that they are not divisible by closed connected hypersurfaces, and investigate them from the dimensional point of view. As a consequence we deduce that h-monotone local homeomorphisms are actually global homeomorphisms, as the proved properties of their preimages combined with local injectivity still produce global injectivity.     

The stone-čech compactification in the category of fuzzy topological spaces

In this paper we obtain a reflective subcategory C of the category FTS of fuzzy topological spaces. The associated reflection $\text{β}$ has properties similar to those of the ‘Stone-?ech’ compactification β and, in effect, is an extension of it. We study relations between β and $\text{β}$ in particular subcategories of FTS; $\text{β}$ is completely determined in the case of fuzzy topological spaces topologically generated.     

Rational preimages in families of dynamical systems

Let ${\phi}$ be a rational function of degree at least two defined over a number field k. Let ${a \in \mathbb{P}^1(k)}$ and let K be a number field containing k. We study the cardinality of the set of rational iterated preimages Preim ${(\phi, a, K) = \{x_{0} \in \mathbb{P}^1(K) | \phi^{N} (x_0) = a {\rm for some} N \geq 1\}}$ . We prove two new results (Theorems 2 and 4) bounding ${|{\rm Preim}(\phi, a, K)|}$ as ${\phi}$ varies in certain families of rational functions. Our proofs are based on unit equations and a method of Runge for effectively determining integral points on certain affine curves. We also formulate and state a uniform boundedness conjecture for Preim ${(\phi, a, K)}$ and prove that a version of this conjecture is implied by other well-known conjectures in arithmetic dynamics.     

Extensional subobjects in categories of Ω-fuzzy sets

Two categories Set(Ω) and SetF(Ω) of fuzzy sets over an MV-algebra Ω are investigated. Full subcategories of these categories are introduced consisting of objects (sub(A, δ), σ), where sub(A, δ) is a subset of all extensional subobjects of an object (A, δ). It is proved that all these subcategories are quasi-reflective subcategories in the corresponding categories. Supported by MSM6198898701, grant GAČR 201/04/0381/2 and grant 1M0572.     

Normal subobjects of topological groups and of topological semi-Abelian algebras

As any category Gp(E) of internal groups in a given category E, the category Gp(Top) of topological groups possesses the strong algebraic property of protomodularity which carries intrinsic notions of normal subobject and of centrality. Here we explicit and investigate these intrinsic notions in the category Gp(Top). We extend these results to any category TopT of topological semi-Abelian algebras.     

Birational morphisms of the plane

Let be the affine plane over a field of characteristic . Birational morphisms of are mappings given by polynomial mappings of the polynomial algebra such that for the quotient fields, one has . Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping given by . For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of . This question was answered in the negative by P. Russell (in an informal communication). In this paper, we give a simple combinatorial solution of the same problem. More importantly, our method yields an algorithm for deciding whether a given birational morphism can be factored that way.

     

On classes of relations and graphs determined by subobjects and factorobjects

The classes of relations and graphs determined by subobjects and factorobjects are studied. We investigate whether such classes are closed under products, whether they are finitely generated by products and subobjects and whether a class can be described alternatively by subobjects and factorobjects. This is related to good characterizations.