scholarly journals LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES

2011 ◽  
Vol 10 (01) ◽  
pp. 129-155 ◽  
Author(s):  
ROBERT WISBAUER

Any (co)ring R is an endofunctor with (co)multiplication on the category of abelian groups. These notions were generalized to monads and comonads on arbitrary categories. Starting around 1970 with papers by Beck, Barr and others a rich theory of the interplay between such endofunctors was elaborated based on distributive laws between them and Applegate's lifting theorem of functors between categories to related (co)module categories. Curiously enough some of these results were not noticed by researchers in module theory and thus notions like entwining structures and smash products between algebras and coalgebras were introduced (in the nineties) without being aware that these are special cases of the more general theory. The purpose of this survey is to explain several of these notions and recent results from general category theory in the language of elementary module theory focusing on functors between module categories given by tensoring with a bimodule. This provides a simple and systematic approach to smash products, wreath products, corings and rings over corings (C-rings). We also highlight the relevance of the Yang–Baxter equation for the structures on the threefold tensor product of algebras or coalgebras (see 3.6).

2003 ◽  
Vol 9 (2) ◽  
pp. 197-212 ◽  
Author(s):  
Angus Macintyre

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be given sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and “transfer of structure” is incomparably more flexible and powerful than anything yet known in “set-theoretic model theory”.It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called “Definability Theory” in the near future.Tarski's set-theoretic foundational formulations are still favoured by the majority of model-theorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable (to the geometers), this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly.


1975 ◽  
Vol 78 (2) ◽  
pp. 301-307 ◽  
Author(s):  
Simon Wassermann

A deep result in the theory of W*-tensor products, the Commutation theorem, states that if M and N are W*-algebras faithfully represented as von Neumann algebras on the Hilbert spaces H and K, respectively, then the commutant in L(H ⊗ K) of the W*-tensor product of M and N coincides with the W*-tensor product of M′ and N′. Although special cases of this theorem were established successively by Misonou (2) and Sakai (3), the validity of the general result remained conjectural until the advent of the Tomita-Takesaki theory of Modular Hilbert algebras (6). As formulated, the Commutation theorem is a spatial result; that is, the W*-algebras in its statement are taken to act on specific Hilbert spaces. Not surprisingly, therefore, known proofs rely heavily on techniques of representation theory.


2016 ◽  
Author(s):  
A. Bradley Duthie ◽  
Aline M. Lee ◽  
Jane M. Reid

AbstractInbreeding increases parent-offspring relatedness and commonly reduces offspring viability, shaping selection on reproductive interactions involving relatives and associated parental investment (PI). Nevertheless, theories predicting selection for inbreeding versus inbreeding avoidance and selection for optimal PI have only been considered separately, precluding prediction of optimal PI and associated reproductive strategy given inbreeding. We unify inbreeding and PI theory, demonstrating that optimal PI increases when a female's inbreeding decreases the viability of her offspring. Inbreeding females should therefore produce fewer offspring due to the fundamental trade-off between offspring number and PI. Accordingly, selection for inbreeding versus inbreeding avoidance changes when females can adjust PI with the degree that they inbreed. In contrast, optimal PI does not depend on whether a focal female is herself inbred. However, inbreeding causes optimal PI to increase given strict monogamy and associated biparental investment compared to female-only investment. Our model implies that understanding evolutionary dynamics of inbreeding strategy, inbreeding depression, and PI requires joint consideration of the expression of each in relation to the other. Overall, we demonstrate that existing PI and inbreeding theories represent special cases of a more general theory, implying that intrinsic links between inbreeding and PI affect evolution of behaviour and intra-familial conflict.


1989 ◽  
Vol 31 (1) ◽  
pp. 17-29 ◽  
Author(s):  
N. D. Gilbert ◽  
P. J. Higgins

The tensor product of two arbitrary groups acting on each other was introduced by R. Brown and J.-L. Loday in [5, 6]. It arose from consideration of the pushout of crossed squares in connection with applications of a van Kampen theorem for crossed squares. Special cases of the product had previously been studied by A. S.-T. Lue [10] and R. K. Dennis [7]. The tensor product of crossed complexes was introduced by R. Brown and the second author [3] in connection with the fundamental crossed complex π(X) of a filtered space X, which also satisfies a van Kampen theorem. This tensor product provides an algebraic description of the crossed complex π(X ⊗ Y) and gives a symmetric monoidal closed structure to the category of crossed complexes (over groupoids). Both constructions involve non-abelian bilinearity conditions which are versions of standard identities between group commutators. Since any group can be viewed as a crossed complex of rank 1, a close relationship might be expected between the two products. One purpose of this paper is to display the direct connections that exist between them and to clarify their differences.


2005 ◽  
Vol 04 (05) ◽  
pp. 539-549
Author(s):  
ALINA ALB ◽  
MIHAIL URSUL

Fix any compact ring R with identity. We associate to R the following categories of topological R-modules: (i) R𝔇 (𝔇R) the category of all discrete topological left (right) R-modules; (ii) Rℭ (ℭR) the category of all compact left (right) R-modules. We have introduced the following notions (analogous with classical notions of module theory): (i) the tensor product [Formula: see text] of A ∈ ℭR and B ∈Rℭ ([Formula: see text] has a structure of a compact Abelian group); (ii) a topologically semisimple module; (iii) a compact topologically flat module. We give a characterization of compact semisimple rings by using of flat modules.


2016 ◽  
Vol 15 (09) ◽  
pp. 1650174
Author(s):  
Ashish Gupta

An [Formula: see text]-dimensional quantum torus is defined as the [Formula: see text]-algebra generated by variables [Formula: see text] together with their inverses satisfying the relations [Formula: see text], where [Formula: see text]. The Krull and global dimensions of this algebra are known to coincide and the common value is equal to the supremum of the rank of certain subgroups of [Formula: see text] that can be associated with this algebra. In this paper we study how these dimensions behave with respect to taking tensor products of quantum tori over the base field. We derive a best possible upper bound for the dimension of such a tensor product and from this special cases in which the dimension is additive with respect to tensoring.


2009 ◽  
Vol 24 (06) ◽  
pp. 1175-1183 ◽  
Author(s):  
A. NICOLAIDIS

The unification of quantum mechanics and general relativity remains the primary goal of theoretical physics, with string theory appearing as the only plausible unifying scheme. In the present work, in a search of the conceptual foundations of string theory, we analyze the relational logic developed by C. S. Peirce in the late 19th century. The Peircean logic has the mathematical structure of a category with the relation Rij among two individual terms Si and Sj, serving as an arrow (or morphism). We introduce a realization of the corresponding categorical algebra of compositions, which naturally gives rise to the fundamental quantum laws, thus indicating category theory as the foundation of quantum mechanics. The same relational algebra generates a number of group structures, among them W∞. The group W∞ is embodied and realized by the matrix models, themselves closely linked with string theory. It is suggested that relational logic and in general category theory may provide a new paradigm, within which to develop modern physical theories.


1985 ◽  
Vol 42 (3) ◽  
pp. 414-429 ◽  
Author(s):  
Jon Schnute

This paper presents a general theory for analysis of catch and effort data from a fishery. Almost all previous methods are shown to be special cases, including those of Schaefer, Pella and Tomlinson, Schnute, and Deriso, as well as the stock reduction analysis technique of Kimura and Tagart and Kimura, Balsiger, and Ito. Like that of Deriso, the theory here is based on natural equations for an age structured population. However, instead of a fixed single model, this paper gives a general model that can be tailored to any particular fishery. The problem of determining the appropriate special case is conceptually identical to the model identification problem described by Box and Jenkins in the context of time series analysis, Identification necessarily begins with a suitable class of models. This paper defines such a class, unique to fisheries, complete with mathematical proofs and biological explanations of all important equations.


Sign in / Sign up

Export Citation Format

Share Document