Ordered Involutive Operator Spaces

This is a companion to recent papers of the authors; here we construct the ‘noncommutative Shilov boundary’ of a (possibly nonunital) selfadjoint ordered space of Hilbert space operators. The morphisms in the universal property of the boundary preserve order. As an application, we consider ‘maximal’ and ‘minimal’ unitizations of such ordered operator spaces.     

Borel–Moore homology,Riemann–Roch transformations,and local terms

We develop various properties of étale Borel–Moore homology and study its relationship with intersection theory. Using Gabber's localized cycle classes we define étale homological Gysin morphisms and show that they are compatible with the cycle class map and Gysin morphisms in intersection theory. We also study étale versions of bivariant operations, and establish their compatibility with Riemann–Roch transformations and Fulton–MacPherson bivariant operations. As an application of these techniques we show that in certain situations local terms for correspondences acting on étale cohomology are given by cycle classes.     

A tale of two categories: Inductive groupoids and cross-connections

A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialized groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialized small category whose object set is a strict preorder and the morphisms admit a factorization property. A pair of ‘related’ normal categories constitutes a cross-connection. Both inductive groupoids and cross-connections were identified by Nambooripad as categorical models of regular semigroups. We explore the inter-relationship between these seemingly different categorical structures and prove a direct category equivalence between the category of inductive groupoids and the category of cross-connections.     

Triharmonic morphisms between Riemannian manifolds

Polyharmonic functions have been studied in various fields. There are maps between Riemannian manifolds called harmonic morphisms and biharmonic morphisms that preserve harmonic functions and biharmonic functions respectively. In this paper, we introduce the notion of k-polyharmonic morphisms as maps that preserves polyharmonic functions of order k. For k = 3, we obtain several characterizations of triharmonic morphisms. We also give some relationships among harmonic, biharmonic, and triharmonic morphisms, and a relationship between triharmonic morphisms and p-harmonic morphisms.     

Another Approach to Topological Descent Theory

In the category T op of topological spaces and continuous functions, we prove that surjective maps which are descent morphisms with respect to the class E of continuous bijections are exactly the descent morphisms, providing a new characterization of the latter in terms of subfibrations E(X) of the basic fibration given by T op/X which are, essentially, complete lattices. Also effective descent morphisms are characterized in terms of effective morphisms with respect to continuous bijections. For classes E satisfying suitable conditions, we show that the class of effective descent morphisms coincides with the one of effective E-descent morphisms.     

On the uniqueness of bivariant Chern class and bivariant Riemann–Roch transformations

The existence of bivariant Chern classes was conjectured by W. Fulton and R. MacPherson and proved by J.-P. Brasselet for cellular morphisms of analytic varieties. However, its uniqueness has been unsolved since then. In this paper we show that restricted to morphisms whose target varieties are possibly singular but (rational) homology manifolds (such as orbifolds), the bivariant Chern classes (with rational coefficients) are uniquely determined. We also discuss some related results and problems.     

Direct versus indirect credit scoring classifications

We introduce a new approach to assigning bank account holders to ‘good’ or ‘bad’ classes based on their future behaviour. Traditional methods simply treat the classes as qualitatively distinct, and seek to predict them directly, using statistical techniques such as logistic regression or discriminant analysis based on application data or observations of previous behaviour. We note, however, that the ‘good’ and ‘bad’ classes are defined in terms of variables such as the amount overdrawn at the time at which the classification is required. This permits an alternative, ‘indirect’, form of classification model in which, first, the variables defining the classes are predicted, for example using regression, and then the class membership is derived deterministically from these predicted values. We compare traditional direct methods with these new indirect methods using both real bank data and simulated data. The new methods appear to perform very similarly to the traditional methods, and we discuss why this might be. Finally, we note that the indirect methods also have certain other advantages over the traditional direct methods.     

The quasitopos hull of the category of uniform spaces

The quasitopos hull of a concrete categoryKis the least cartesian closed topological category with representable strong partial morphisms, containingKas a dense subcategory. The quasitopos hull of the category of uniform spaces is described: its objects are submetrizable bornological merotopic spaces, i.e., merotopic spaces endowed with a collection of ‘bounded’ sets related to the merotopy which is, in addition, generated by partial pseudometrics.     

Modular Classes of Lie Algebroid Morphisms

We study the behavior of the modular class of a Lie algebroid under general Lie algebroid morphisms by introducing the relative modular class. We investigate the modular classes of pull-back morphisms and of base-preserving morphisms associated to Lie algebroid extensions. We also define generalized morphisms, including Morita equivalences, that act on the 1-cohomology, and observe that the relative modular class is a coboundary on the category of Lie algebroids and generalized morphisms with values in the 1-cohomology.     

Dualité tannakienne pour les quasi-groupoïdes quantiques

This paper is the sequel of a previous one [2] where we extended the Tannaka-Krein duality results to the non-commutative situation, i.e. to ‘quantum groupoids’. Here we extend those results to the quasi-monoidal situation, corresponding to ‘quasi-quantum groupoids’ as defined in [3] (‘quasi-’ stands for quasi-associativity a la Drinfeld). More precisely, let B be a commutative algebra over a field k. Given a tensor autonomous category τ,. we define the notion of a quasi-fibre functor ω:τ-proj B (here, ‘quasi-’ means without compatibility to associativity constraints). On the other hand, we define the notion of a transitive quasi-quantum groupoid over B. We then show that the category of tensor autonomous categories equipped with a quasi-fibre functor (with suitable morphisms), is equivalent to the category of transitive quasi-quantum groupoids (5.4.2)

Moreover, we classify quasi-fibre functors for a semisimple tensor autonomous category (6.1.2), and give a few examples : a family of quantum groups having the same tensor category of representations as Sl²(C), but with non-isornorphic underlying coalgebras, constructed by means of an R-matrix introduced by Gurevich ([9]) in a manner suggested to the author by Lyubashenko (6.2.1 and 6.2.2), and quasi-quantum groups which cannot be obtained from quantum groups by a Drinfeld twist (6.2.1)     

Distributive Envelopes and Topological Duality for Lattices via Canonical Extensions

We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of ‘admissibility’ to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.     

Fundamental Classes in Algebraic Cobordism

We recall our construction of fundamental classes in the algebraic cobordism of smooth quasi-projective varieties, and show by example that it is not possible to extent this to fundamental classes, functorial for local complete intersection morphisms, for Cohen–Macaulay varieties.     

Topology of injective endomorphisms of real algebraic sets

Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real algebraic sets define a partial order on the equivalence classes of these germs divided by continuous semi-algebraic homeomorphisms. We use this observation to deduce that any injective regular self-mapping of a real algebraic set is a homeomorphism. We show also a similar local property. All our results can be extended to arc-symmetric semi-algebraic sets and injective continuous arc-symmetric morphisms, and some results to Euler semi-algebraic sets and injective continuous semi-algebraic morphisms.Mathematics Subject Classification (2000):14Pxx, 14A10, 32B10     

Unimodular functions

We introduce some classes of pseudo-boolean functions (the so-called ‘unimodular’, ‘completely unimodular’ and ‘unate’ ones), whose maximizations over the binary n-cube is reducible to a maximal flow problem.All such classes of functions are generalizations of classes previously investigated by Rhys and Balinski.It is shown that in the quadratic case the above three classes coincide, and that they also coincide with the class of those pseudo-boolean functions f such that a certain signed graph G_f associated with f is balanced.The latter characterization leads to a polynomial recognition algorithm.When G_f is a (signed) tree, a linear-time maximization algorithm is available.     

The effect of the 4MAT method (learning styles and brain hemispheres) of instruction on achievement in mathematics

The purpose of this study was to determine the efficiency of 4MAT method of instruction in which learning style and cerebral hemispheres are taken into account in teaching the binary operation and its properties in mathematics. The sample of this study comprised 58 ninth grade students in two separate classes in a high school. One of the classes was selected as the experimental group in which 4MAT method of instruction was used; and the other class was selected as the control group in which the traditional teaching was given, and this selection was performed randomly. The data have been obtained primarily from three scales, namely ‘mathematical knowledge test’, ‘mathematical attitude scale’ and ‘knowledge test on binary operation and its properties’. It has been determined that 4MAT method of instruction was more efficient than the traditional method in teaching of the binary operation subject in mathematics.     

态射集中的加权星序和加权广义逆

本文推广范畴上态射集中的星序理论.引进范畴上态射集中的加权星序.利用态射集的加权广义逆来刻划态射集中的加权星序.给出了态射集中的加权星序和态射的加权广义逆之间的一些关系.得到了态射集中的加权星序的一些刻划和性质.     

Examples of Para-cocyclic Objects Induced by BD-Laws

In a recent paper (Böhm and Stefan, Commun Math Phys 282:239–286, 2008), we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple—consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general examples coming from appropriate (‘locally braided’) morphisms of monads.     

\lambda-presentable Morphisms, Injectivity and (Weak) Factorization Systems

We show that in a locally -presentable category, every -injectivity class (i.e., the class of all the objects injective with respect to some class of -presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of -presentable morphisms. This was known for small-injectivity classes, and referred to as the ‘small object argument.’ An analogous result is obtained for orthogonality classes and factorization systems, where -filtered colimits play the role of the transfinite compositions in the injectivity case. -presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives). Finally, locally -presentable categories are shown to be cellularly generated by the set of morphisms between -presentable objects.     

Some categories associated with bases of the kalman algebra

We investigate relationships in the Kalman algebra, viewed as an algebra over the algebra induced by the coefficients of the characteristic polynomial of the state matrix. To this end we introduce the categories BSS \mathcal{B}\mathcal{S}\mathcal{S} and BSS^\textstrict \mathcal{B}\mathcal{S}{\mathcal{S}^{\text{strict}}} associated with relationships in some basis of the Kalman algebra and also with reconstruction of relationships from known fragments. On these categories we construct the structures of the symmetrical monoidal category induced by addition and multiplication in the Kalman algebra. We investigate the properties of some of the most important classes of morphisms, in particular, we describe the structure and the action of the automorphism group.     

Global-Affine Morphisms of Projective Lattice Geometries

The fundamental theorem of projective geometry gives an algebraic representation of isomorphisms between projective geometries of dimension at least 3 over vector spaces and has been generalized in different ways. This note briefly presents some further generalizations which will be proved in the author’s thesis. We introduce the notion of global-affine morphisms between projective lattice geometries. Our investigations result in a general partial representation of global-affine morphisms which yields a complete representation of global-affine homomorphisms between large classes of module-induced projective geometries by semilinear mappings between the underlying modules.