Showing 1–50 of 78 results for author: Yau, D

May's Conjecture on Bimonoidal Functors and Multiplicative Infinite Loop Space Theory

Authors: Donald Yau

Abstract: A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with multiplicatively strong symmetric bimonoidal functors. As the main application, for May's multiplicative infinite loop space machine from bipermutative categories to ei… ▽ More A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with multiplicatively strong symmetric bimonoidal functors. As the main application, for May's multiplicative infinite loop space machine from bipermutative categories to either E-infinity ring spaces or E-infinity ring spectra, multiplicatively strong symmetric bimonoidal functors can be replaced by strict symmetric bimonoidal functors. △ Less

Submitted 17 May, 2024; originally announced May 2024.

Comments: 27 pages

MSC Class: 18M05; 18M50; 19D23; 55P48

Multifunctorial Equivariant Algebraic K-Theory

Authors: Donald Yau

Abstract: A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer this question positively by constructing an enriched multifunctor K from the G-categorically enriched multicategory of O-pseudoalgebras to the symmetric monoidal… ▽ More A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer this question positively by constructing an enriched multifunctor K from the G-categorically enriched multicategory of O-pseudoalgebras to the symmetric monoidal category of orthogonal G-spectra, for a compact Lie group G and a 1-connected pseudo-commutative G-categorical operad O. As the main application of its enriched multifunctoriality, K preserves all equivariant algebraic structures parametrized by multicategories enriched in either G-spaces or G-categories. For example, for a finite group G and the G-Barratt-Eccles operad, K transports equivariant E-infinity algebras, in the sense of Guillou-May or Blumberg-Hill, of genuine symmetric monoidal G-categories to equivariant E-infinity algebras of orthogonal G-spectra. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 397 pages

MSC Class: 18M65; 18D20; 19D23; 19L47; 55P43; 55P91

The Grothendieck Construction of Bipermutative-Indexed Categories and Pseudo Symmetric Inverse K-Theory

Authors: Donald Yau

Abstract: The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched multicategories, with applications to inverse K-theory and pseudo symmetric E-infinity-algebras. The ordinary Grothendieck construction over a small category C is a… ▽ More The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched multicategories, with applications to inverse K-theory and pseudo symmetric E-infinity-algebras. The ordinary Grothendieck construction over a small category C is a 2-equivalence that sends a C-indexed category to an opfibration over C. We show that the Grothendieck construction over a small tight bipermutative category D is a pseudo symmetric Cat-multifunctor that is generally not a Cat-multifunctor in the symmetric sense. When the projection to D is taken into account, we prove that the Grothendieck construction over D lifts to a non-symmetric Cat-multiequivalence whose codomain is a non-symmetric Cat-multicategory with small permutative opfibrations over D as objects. As applications we show that inverse K-theory, from Gamma-categories to small permutative categories, is a pseudo symmetric Cat-multifunctor but not a Cat-multifunctor in the symmetric sense. It follows that inverse K-theory preserves algebraic structures parametrized by non-symmetric and pseudo symmetric Cat-multifunctors but not Cat-multifunctors in general. As a special case, we observe that inverse K-theory sends pseudo symmetric E-infinity-algebras in Gamma-categories to pseudo symmetric E-infinity-algebras in small permutative categories. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 302 pages. This work shares basic definitions with the author's other work: arXiv:2205.08401, arXiv:2202.13659, arXiv:2111.08653, arXiv:2109.01430, arXiv:2002.06055, and arXiv:2212.04276

MSC Class: 18F25

Journal ref: Published as "Grothendieck Construction of Bipermutative-Indexed Categories" by Chapman and Hall/CRC, 2024

Homotopy Theory of Enriched Mackey Functors

Authors: Niles Johnson, Donald Yau

Abstract: Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments along $K$-theory multifunctors provides an important tool for constructing spectral Mackey functors from Mackey functors enriched in algebraic structures such as… ▽ More Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments along $K$-theory multifunctors provides an important tool for constructing spectral Mackey functors from Mackey functors enriched in algebraic structures such as permutative categories. This work gives a detailed development of diagrams, presheaves, and Mackey functors enriched over closed multicategories. Change of enrichment, including the relevant compositionality, is treated with care. This framework is applied to the homotopy theory of enriched diagram and Mackey functor categories, including equivalences of homotopy theories induced by $K$-theory multifunctors. Particular applications of interest include diagrams and Mackey functors enriched in pointed multicategories, permutative categories, and symmetric spectra. △ Less

Submitted 4 December, 2023; v1 submitted 8 December, 2022; originally announced December 2022.

Comments: 430 pages. To appear in LMS Lecture Notes Series. Some typos fixed. This work shares basic definitions with arXiv:2205.08401, arXiv:2202.13659, arXiv:2111.08653, arXiv:2109.01430, and arXiv:2002.06055

MSC Class: 18A25; 18D05; 18D10; 18D20; 18F25; 18M05; 18M60; 18M65; 18N10; 19D23; 55P42; 55P43; 55P48; 55P91

Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories

Authors: Niles Johnson, Donald Yau

Abstract: We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$-theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we ob… ▽ More We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$-theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we observe that the right-induced homotopy theory of Bohmann-Osorno $\mathcal{E}_*$-categories is equivalent to the homotopy theory of pointed simplicial categories. △ Less

Submitted 4 October, 2022; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 20 pages. Final version. To appear in Journal of Homotopy and Related Structures

MSC Class: Primary: 18M65; Secondary: 55P42; 55P48; 18F25

Journal ref: Journal of Homotopy and Related Structures 17 (2022), 569-592

Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories

Authors: Niles Johnson, Donald Yau

Abstract: We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence of homotopy theories. We describe an application to ring categories. We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence of homotopy theories. We describe an application to ring categories. △ Less

Submitted 4 October, 2022; v1 submitted 28 February, 2022; originally announced February 2022.

Comments: 45 pages. Final version as published in Theory and Applications of Categories. The main result here extends that of arXiv:2111.08653 to categories of algebras.

MSC Class: Primary: 18M65; Secondary: 18M05; 55P42

Journal ref: Theory and Applications of Categories, Vol. 38, 2022, No. 30, pp 1156-1208

Multicategories Model All Connective Spectra

Authors: Niles Johnson, Donald Yau

Abstract: There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result extends a similar result of Thomason, that permutative categories model all connective spectra. There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result extends a similar result of Thomason, that permutative categories model all connective spectra. △ Less

Submitted 19 March, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: 24 pages. To appear in Homology, Homotopy, and Applications. We discuss multifunctoriality of the free construction in arXiv:2202.13659

MSC Class: Primary: 18M65; Secondary: 55P42; 18M05

Journal ref: Homology, Homotopy and Applications 25 (2023), 147-172

Multifunctorial Inverse $K$-Theory

Authors: Niles Johnson, Donald Yau

Abstract: We show that Mandell's inverse $K$-theory functor is a categorically-enriched non-symmetric multifunctor. In particular, it preserves algebraic structures parametrized by non-symmetric operads. As applications, we describe how ring categories arise as the images of inverse $K$-theory. We show that Mandell's inverse $K$-theory functor is a categorically-enriched non-symmetric multifunctor. In particular, it preserves algebraic structures parametrized by non-symmetric operads. As applications, we describe how ring categories arise as the images of inverse $K$-theory. △ Less

Submitted 15 July, 2022; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 36 pages. Final version. To appear in Annals of K-Theory

MSC Class: Primary: 19D23; Secondary: 18M65; 18M05; 18D20; 55P43

Journal ref: Ann. K-Th. 7 (2022) 507-548

Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory

Authors: Niles Johnson, Donald Yau

Abstract: Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. This work provides a unified treatment of bimonoidal and higher ring-like categories, t… ▽ More Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. This work provides a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user friendly resource for beginners and experts alike. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Comments: This is an abridged version of the book for arxiv.org that contains the full list of open questions together with front and back matters. The complete pdf version is available on the authors' web pages: https://nilesjohnson.net/En-monoidal or https://u.osu.edu/yau.22/main

MSC Class: Primary: 18M99; Secondary: 18D20; 18F25; 18M05; 18M15; 18M50; 18M60; 18M65; 18N10; 19D23; 55P42; 55P43; 55P48

2-Dimensional Categories

Authors: Niles Johnson, Donald Yau

Abstract: This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Cohe… ▽ More This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts. △ Less

Submitted 17 June, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: Some typos fixed. The arxiv version will not be updated further. The authors hereby withdraw this book from the arxiv. A revised version will be published by Oxford University Press

MSC Class: Primary: 18-01; Secondary: 18A99; 18C15; 18D05; 18D10; 18D30; 18D50

Quillen's Theorem A and the Whitehead theorem for bicategories

Authors: Niles Johnson, Donald Yau

Abstract: We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and fully faithful on 2-cells. We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and fully faithful on 2-cells. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 26 pages

MSC Class: Primary: 18D05; Secondary: 18A25; 55P10

Journal ref: Chapter 7 of "2-Dimensional Categories" (Oxford University Press, 2021)

A bicategorical pasting theorem

Authors: Niles Johnson, Donald Yau

Abstract: We provide an elementary proof of a bicategorical pasting theorem that does not rely on Power's 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence. We provide an elementary proof of a bicategorical pasting theorem that does not rely on Power's 2-categorical pasting theorem, the bicategorical coherence theorem, or the local characterization of a biequivalence. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: 18 pages

MSC Class: Primary: 18D05; Secondary: 18A10

Journal ref: Chapter 3 of "2-Dimensional Categories" (Oxford University Press, 2021)

Modular operads and the nerve theorem

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: We describe a category of undirected graphs which comes equipped with a faithful functor into the category of (colored) modular operads. The associated singular functor from modular operads to presheaves is fully faithful, and its essential image can be classified by a Segal condition. This theorem can be used to recover a related statement, due to André Joyal and Joachim Kock, concerning a larger… ▽ More We describe a category of undirected graphs which comes equipped with a faithful functor into the category of (colored) modular operads. The associated singular functor from modular operads to presheaves is fully faithful, and its essential image can be classified by a Segal condition. This theorem can be used to recover a related statement, due to André Joyal and Joachim Kock, concerning a larger category of undirected graphs whose functor to modular operads is not just faithful but also full. △ Less

Submitted 26 April, 2020; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: Minor changes

Journal ref: Advances in Mathematics 370 (2020), 107206

A graphical category for higher modular operads

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial presheaves for a certain category of undirected graphs. This new category of undirected graphs, denoted $\mathbf{U}$, plays a similar role for modular operads that the… ▽ More We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial presheaves for a certain category of undirected graphs. This new category of undirected graphs, denoted $\mathbf{U}$, plays a similar role for modular operads that the dendroidal category $Ω$ plays for operads. We carefully study properties of $\mathbf{U}$, including the existence of certain factorization systems. Related structures, such as cyclic operads and stable modular operads, can be similarly treated using categories derived from $\mathbf{U}$. △ Less

Submitted 31 December, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Comments: Minor expository changes throughout, including a new section on "Further directions", Remark 4.3, Example 5.4, Figures 2 and 4

Journal ref: Advances in Mathematics 365 (2020), 107044

Infinity Operads and Monoidal Categories with Group Equivariance

Authors: Donald Yau

Abstract: This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group ope… ▽ More This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad. In Part 4 we define general monoidal categories equipped with an action operad equivariant structure, and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras. Many illustrations and examples are included. Assuming only basic category theory, this monograph is intended for graduate students and researchers. In addition to being a coherent reference for the topics covered, this book is also suitable for a graduate student seminar and a reading course. △ Less

Submitted 9 March, 2019; originally announced March 2019.

Comments: 434 pages

MSC Class: 18A30; 18A40; 18D10; 18D50; 18G55; 20F36; 55P48; 81R50; 81T05

Journal ref: World Scientific, 2022

Comonadic Coalgebras and Bousfield Localization

Authors: David White, Donald Yau

Abstract: For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for the left-induced model structure on the category of coalgebras over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization pres… ▽ More For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for the left-induced model structure on the category of coalgebras over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization preserves coalgebras over a comonad. These results are illustrated with many applications in chain complexes, (localized) spectra, the stable module category, and simplicial settings. △ Less

Submitted 26 May, 2025; v1 submitted 29 May, 2018; originally announced May 2018.

Comments: Version 3 contains updates in response to a referee report

Homotopical Quantum Field Theory

Authors: Donald Yau

Abstract: Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy… ▽ More Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy inverses, A-infinity-algebras, E-infinity-algebras, and E-infinity-modules arise naturally in this context. In particular, each homotopy algebraic quantum field theory has the structure of a homotopy coherent diagram of A-infinity-algebras and satisfies a homotopy coherent version of the causality axiom. When the time-slice axiom is defined for algebraic quantum field theory, a homotopy coherent version of the time-slice axiom is satisfied by each homotopy algebraic quantum field theory. Over each topological space, every homotopy prefactorization algebra has the structure of a homotopy coherent diagram of E-infinity-modules over an E-infinity-algebra. To compare the two approaches, we construct a comparison morphism from the colored operad for (homotopy) prefactorization algebras to the colored operad for (homotopy) algebraic quantum field theories and study the induced adjunctions on algebras. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 302 pages

MSC Class: 18A25; 18A40; 18D10; 18D50; 18G55; 81T05

Journal ref: World Scientific, 2020

On factorizations of graphical maps

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: We study the categories governing infinity (wheeled) properads. The graphical category, which was already known to be generalized Reedy, is in fact an Eilenberg-Zilber category. A minor alteration to the definition of the wheeled graphical category allows us to show that it is a generalized Reedy category. Finally, we present model structures for Segal properads and Segal wheeled properads. We study the categories governing infinity (wheeled) properads. The graphical category, which was already known to be generalized Reedy, is in fact an Eilenberg-Zilber category. A minor alteration to the definition of the wheeled graphical category allows us to show that it is a generalized Reedy category. Finally, we present model structures for Segal properads and Segal wheeled properads. △ Less

Submitted 14 April, 2018; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: Final author version, to appear in HHA

Journal ref: Homology, Homotopy and Applications 20 (2018), 217-238

Smith Ideals of Operadic Algebras in Monoidal Model Categories

Authors: David White, Donald Yau

Abstract: Building upon Hovey's work on Smith ideals for monoids, we develop a homotopy theory of Smith ideals for general operads in a symmetric monoidal category. For a sufficiently nice stable monoidal model category and an operad satisfying a cofibrancy condition, we show that there is a Quillen equivalence between a model structure on Smith ideals and a model structure on algebra maps induced by the co… ▽ More Building upon Hovey's work on Smith ideals for monoids, we develop a homotopy theory of Smith ideals for general operads in a symmetric monoidal category. For a sufficiently nice stable monoidal model category and an operad satisfying a cofibrancy condition, we show that there is a Quillen equivalence between a model structure on Smith ideals and a model structure on algebra maps induced by the cokernel and the kernel. For symmetric spectra, this applies to the commutative operad and all Sigma-cofibrant operads. For chain complexes over a field of characteristic zero and the stable module category, this Quillen equivalence holds for all operads. This paper ends with a comparison between the semi-model category approach and the $\infty$-category approach to encoding the homotopy theory of algebras over Sigma-cofibrant operads that are not necessarily admissible. △ Less

Submitted 3 March, 2023; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: Final version. To appear in Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 24 (2024) 341-392

Arrow Categories of Monoidal Model Categories

Authors: David White, Donald Yau

Abstract: We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, and has the important consequence that it allows for the consideration of a monoidal product in cubical homotopy theory. As illustrations we include numerous examples of non… ▽ More We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, and has the important consequence that it allows for the consideration of a monoidal product in cubical homotopy theory. As illustrations we include numerous examples of non-cofibrantly generated monoidal model categories, including chain complexes, small categories, topological spaces, and pro-categories. △ Less

Submitted 30 December, 2018; v1 submitted 15 March, 2017; originally announced March 2017.

Comments: 13 pages. Comments welcome. Version 2 adds more examples, and an application to cubical homotopy theory. Version 3 is the final, journal version, accepted to Mathematica Scandinavica

Journal ref: Mathematica Scandinavica 125 (2019), 185-198

Higher cyclic operads

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: We introduce a convenient definition for weak cyclic operads, which is based on unrooted trees and Segal conditions. More specifically, we introduce a category $Ξ$ of trees, which carries a tight relationship to the Moerdijk-Weiss category of rooted trees $Ω$. We prove a nerve theorem exhibiting colored cyclic operads as presheaves on $Ξ$ which satisfy a Segal condition. Finally, we produce a Quil… ▽ More We introduce a convenient definition for weak cyclic operads, which is based on unrooted trees and Segal conditions. More specifically, we introduce a category $Ξ$ of trees, which carries a tight relationship to the Moerdijk-Weiss category of rooted trees $Ω$. We prove a nerve theorem exhibiting colored cyclic operads as presheaves on $Ξ$ which satisfy a Segal condition. Finally, we produce a Quillen model category whose fibrant objects satisfy a weak Segal condition, and we consider these objects as an up-to-homotopy generalization of the concept of cyclic operad. △ Less

Submitted 11 August, 2018; v1 submitted 8 November, 2016; originally announced November 2016.

Comments: This version has been accepted to AGT. Substantial updates throughout, including an alternative description (suggested by the referee) of the morphisms of $Ξ$, a new appendix, and various other improvements

Journal ref: Algebr. Geom. Topol. 19 (2019) 863-940

Right Bousfield Localization and Eilenberg-Moore Categories

Authors: David White, Donald Yau

Abstract: We compare several recent approaches to studying right Bousfield localization and algebras over monads. We prove these approaches are equivalent, and we apply this equivalence to obtain several new results regarding right Bousfield localizations (some classical, some new) for spectra, spaces, equivariant spaces, chain complexes, simplicial abelian groups, and the stable module category. En route,… ▽ More We compare several recent approaches to studying right Bousfield localization and algebras over monads. We prove these approaches are equivalent, and we apply this equivalence to obtain several new results regarding right Bousfield localizations (some classical, some new) for spectra, spaces, equivariant spaces, chain complexes, simplicial abelian groups, and the stable module category. En route, we provide conditions so that right Bousfield localization lifts to categories of algebras, so that right Bousfield localization preserves algebras over monads, and so that right Bousfield localization forms a compactly generated model category. △ Less

Submitted 12 September, 2016; originally announced September 2016.

Journal ref: Higher Structures 7(1): 22-39, 2023

Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections

Authors: Donald Yau

Abstract: Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, prope… ▽ More Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, properads, and props enriched in simplicial sets and other monoidal model categories. We also show that our Dwyer-Kan model category structure is well behaved with respect to simultaneous changes of the underlying monoidal model category and the augmented operadic collection. △ Less

Submitted 8 December, 2016; v1 submitted 5 August, 2016; originally announced August 2016.

Comments: 49 pages

MSC Class: 18D50; 55P48

Homotopical Adjoint Lifting Theorem

Authors: David White, Donald Yau

Abstract: This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our approach allows us to simultaneously answer questions of rectification and of changing the base model category to a Quillen equivalent one. We work in the sett… ▽ More This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our approach allows us to simultaneously answer questions of rectification and of changing the base model category to a Quillen equivalent one. We work in the setting of colored operads, and we do not require them to be $Σ$-cofibrant. Special cases of our main theorem recover many known results regarding rectification and change of model category, as well as numerous new results. In particular, we recover a recent result of Richter-Shipley about a zig-zag of Quillen equivalences between commutative $H\mathbb{Q}$-algebra spectra and commutative differential graded $\mathbb{Q}$-algebras, but our version involves only three Quillen equivalences instead of six. We also work out the theory of how to lift Quillen equivalences to categories of colored operad algebras after a left Bousfield localization. △ Less

Submitted 30 December, 2018; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: This is the final, journal version

Journal ref: Applied Categorical Structures 27 (2019), 385-426

Right Bousfield Localization and Operadic Algebras

Authors: David White, Donald Yau

Abstract: It is well known that under some general conditions right Bousfield localization exists. We provide general conditions under which right Bousfield localization yields a monoidal model category. Then we address the questions of when this monoidal model structure on a right Bousfield localization induces a model structure on the category of algebras over a colored operad and when a right Bousfield l… ▽ More It is well known that under some general conditions right Bousfield localization exists. We provide general conditions under which right Bousfield localization yields a monoidal model category. Then we address the questions of when this monoidal model structure on a right Bousfield localization induces a model structure on the category of algebras over a colored operad and when a right Bousfield localization preserves colored operadic algebras. We give numerous applications, to topological spaces, equivariant spaces, chain complexes, stable module categories, and to the category of small categories. We recover a wide range of classical results as special cases of our theory, and prove several new preservation results. △ Less

Submitted 1 February, 2018; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: version 2 adds new results proving that algebras over operads in G spaces and G spectra admit transferred model structures. There are also new algebraic examples. Edits made in response to a referee

Journal ref: Tbilisi Mathematical Journal, Special issue (HomotopyTheorySpectra - 2020), 71-118

Operads of Wiring Diagrams

Authors: Donald Yau

Abstract: This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation theorem for each operad of wiring diagrams, describing each one in terms of just a few operadic generators and a small number of generating relations. For example, the operad of wiring diagrams has 8… ▽ More This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation theorem for each operad of wiring diagrams, describing each one in terms of just a few operadic generators and a small number of generating relations. For example, the operad of wiring diagrams has 8 generators and 28 generating relations, while the operad of undirected wiring diagrams has 6 generators and 17 generating relations. Our second main objective is to prove a corresponding finite presentation theorem for algebras over each operad of wiring diagrams. As applications we provide finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the (typed) relational algebra. We also provide a partial verification of Spivak's conjecture regarding the quotient-freeness of the relational algebra. Our third main objective is to construct explicit operad maps among the several operads of wiring diagrams. In particular, there is a surjective operad map from the operad of all wiring diagrams, including delay nodes, to the operad of undirected wiring diagrams. This monograph is intended for graduate students, mathematicians, scientists, and engineers interested in operads and wiring diagrams. Assuming no prior knowledge of categories, operads, and wiring diagrams, this monograph is self-contained and can be used as a supplement in a graduate course and for independent study. There are over 100 graphical illustrations and a chapter with a list of problems. △ Less

Submitted 7 February, 2017; v1 submitted 4 December, 2015; originally announced December 2015.

Comments: 302 pages. Substantially revised. New material includes: (i) a reading guide in the introduction of each of the three parts; (ii) a chapter summary at the end of each chapter from Ch.2 to Ch.13; (iii) new Ch.15 on Further Reading; (iv) 30 new examples, 36 new pictures, and 27 new paragraphs of motivation

MSC Class: 08A70; 18B20; 18D50; 68Q05; 37C60

Journal ref: Springer Lecture Notes in Mathematics Vol. 2192, 2018

Shrinkability, relative left properness, and derived base change

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: For a connected pasting scheme $\mathcal G$, under reasonable assumptions on the underlying category, the category of $\mathfrak C$-colored $\mathcal G$-props admits a cofibrantly generated model category structure. In this paper, we show that, if $\mathcal G$ is closed under shrinking internal edges, then this model structure on $\mathcal G$-props satisfies a (weaker version) of left properness.… ▽ More For a connected pasting scheme $\mathcal G$, under reasonable assumptions on the underlying category, the category of $\mathfrak C$-colored $\mathcal G$-props admits a cofibrantly generated model category structure. In this paper, we show that, if $\mathcal G$ is closed under shrinking internal edges, then this model structure on $\mathcal G$-props satisfies a (weaker version) of left properness. Connected pasting schemes satisfying this property include those for all connected wheeled graphs (for wheeled properads), wheeled trees (for wheeled operads), simply connected graphs (for dioperads), unital trees (for symmetric operads), and unitial linear graphs (for small categories). The pasting scheme for connected wheel-free graphs (for properads) does _not_ satisfy this condition. We furthermore prove, assuming $\mathcal G$ is shrinkable and our base categories are nice enough, that a weak symmetric monoidal Quillen equivalence between two base categories induces a Quillen equivalence between their categories of $\mathcal G$-props. The final section gives illuminating examples that justify the conditions on base model categories. △ Less

Submitted 31 December, 2016; v1 submitted 5 October, 2015; originally announced October 2015.

Comments: Final version, to appear in NYJM

Journal ref: New York Journal of Mathematics 23 (2017) 83-117

Bousfield Localization and Algebras over Colored Operads

Authors: David White, Donald Yau

Abstract: We provide a very general approach to placing model structures and semi-model structures on algebras over symmetric colored operads. Our results require minimal hypotheses on the underlying model category $\mathcal{M}$, and these hypotheses vary depending on what is known about the colored operads in question. We obtain results for the classes of colored operad which are cofibrant as a symmetric c… ▽ More We provide a very general approach to placing model structures and semi-model structures on algebras over symmetric colored operads. Our results require minimal hypotheses on the underlying model category $\mathcal{M}$, and these hypotheses vary depending on what is known about the colored operads in question. We obtain results for the classes of colored operad which are cofibrant as a symmetric collection, entrywise cofibrant, or arbitrary. As the hypothesis on the operad is weakened, the hypotheses on $\mathcal{M}$ must be strengthened. Via a careful development of the categorical algebra of colored operads we provide a unified framework which allows us to build (semi-)model structures for all three of these classes of colored operads. We then apply these results to provide conditions on $\mathcal{M}$, on the colored operad $\mathcal{O}$, and on a class $\mathcal{C}$ of morphisms in $\mathcal{M}$ so that the left Bousfield localization of $\mathcal{M}$ with respect to $\mathcal{C}$ preserves $\mathcal{O}$-algebras. △ Less

Submitted 5 October, 2015; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: 56 pages, comments welcome, v2 contains a new section on applications along with minor changes in exposition in section 5. Version 2 matches the submitted version

Journal ref: Applied Categorical Structures 26 (2018) 153-203

A simplicial model for infinity properads

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads. We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads. △ Less

Submitted 14 April, 2018; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: Final version

MSC Class: 55P48; 18D20; 55U35; 18D50; 19D23

Journal ref: Higher Structures 1 (2017) 1-21

Relative left properness of colored operads

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: The category of $\mathfrak{C}$-colored symmetric operads admits a cofibrantly generated model category structure. In this paper, we show that this model structure satisfies a relative left properness condition, i.e., that the class of weak equivalences between $Σ$-cofibrant operads is closed under cobase change along cofibrations. We also provide an example of Dwyer which shows that the model stru… ▽ More The category of $\mathfrak{C}$-colored symmetric operads admits a cofibrantly generated model category structure. In this paper, we show that this model structure satisfies a relative left properness condition, i.e., that the class of weak equivalences between $Σ$-cofibrant operads is closed under cobase change along cofibrations. We also provide an example of Dwyer which shows that the model structure on $\mathfrak{C}$-colored symmetric operads is not left proper. △ Less

Submitted 3 October, 2016; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: To appear in Algebraic & Geometric Topology

Journal ref: Algebr. Geom. Topol. 16 (2016) 2691-2714

Infinity Properads and Infinity Wheeled Properads

Authors: Philip Hackney, Marcy Robertson, Donald Yau

Abstract: A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category $Γ$ of properads. Using graphical analogs of coface maps and the properadic nerve functor, an $\infty$-properad is defined as an object in the graphical set cate… ▽ More A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category $Γ$ of properads. Using graphical analogs of coface maps and the properadic nerve functor, an $\infty$-properad is defined as an object in the graphical set category $Set^{Γ^{op}}$ that satisfies some inner horn extension property. Symmetric monoidal closed structures are constructed in the categories of properads and of graphical sets. Strict $\infty$-properads, in which inner horns have unique fillers, are given two alternative characterizations, one in terms of graphical analogs of the Segal maps, and the other as images of the properadic nerve. The fundamental properad of an $\infty$-properad is characterized in terms of homotopy classes of $1$-dimensional elements. Using all connected graphs instead of connected wheel-free graphs, a parallel theory of $\infty$-wheeled properads is also developed. △ Less

Submitted 11 February, 2015; v1 submitted 24 October, 2014; originally announced October 2014.

Comments: Revised version of a monograph about graphical sets and infinity (wheeled) properads, including a new chapter on possible applications. Comments are always welcome, but are especially appreciated if they arrive before February 20

The Mikheev identity in right Hom-alternative algebras

Authors: Donald Yau

Abstract: It is shown that in every multiplicative right Hom-alternative algebra, a Hom-type generalization of the Mikheev identity holds. It is then inferred that a multiplicative right Hom-alternative algebra with an injective twisting map and without Hom-nilpotent elements or left zero-divisors must be a Hom-alternative algebra. It is shown that in every multiplicative right Hom-alternative algebra, a Hom-type generalization of the Mikheev identity holds. It is then inferred that a multiplicative right Hom-alternative algebra with an injective twisting map and without Hom-nilpotent elements or left zero-divisors must be a Hom-alternative algebra. △ Less

Submitted 1 May, 2012; originally announced May 2012.

Comments: 15 pages

MSC Class: 17D15; 17D05

Rota-Baxter Hom-Lie-admissible algebras

Authors: Abdenacer Makhlouf, Donald Yau

Abstract: We study Hom-type analogs of Rota-Baxter and dendriform algebras, called Rota-Baxter $G$-Hom-associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota-Baxter Hom-associative algebras and of Hom-(tri)dendrifor… ▽ More We study Hom-type analogs of Rota-Baxter and dendriform algebras, called Rota-Baxter $G$-Hom-associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota-Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed. △ Less

Submitted 11 August, 2011; originally announced August 2011.

Comments: 25 pages

MSC Class: 16W20; 17D25

Hom-algebras via PROPs

Authors: Donald Yau

Abstract: Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP is obtained. Hom-algebras over a PROP are defined and studied. Several twisting constructions for Hom-algebras over a large class of PROPs are proved, generalizing many such results in the literature. Partial classification of Hom-algebras over a PROP is obtained. △ Less

Submitted 27 March, 2011; originally announced March 2011.

MSC Class: 17A30; 18D50

A twisted generalization of Novikov-Poisson algebras

Authors: Donald Yau

Abstract: Hom-Novikov-Poisson algebras, which are twisted generalizations of Novikov-Poisson algebras, are studied. Hom-Novikov-Poisson algebras are shown to be closed under tensor products and several kinds of twistings. Necessary and sufficient conditions are given under which Hom-Novikov-Poisson algebras give rise to Hom-Poisson algebras. Hom-Novikov-Poisson algebras, which are twisted generalizations of Novikov-Poisson algebras, are studied. Hom-Novikov-Poisson algebras are shown to be closed under tensor products and several kinds of twistings. Necessary and sufficient conditions are given under which Hom-Novikov-Poisson algebras give rise to Hom-Poisson algebras. △ Less

Submitted 17 October, 2010; originally announced October 2010.

Comments: 21 pages

MSC Class: 17B63; 17D25

Non-commutative Hom-Poisson algebras

Authors: Donald Yau

Abstract: A Hom-type generalization of non-commutative Poisson algebras, called non-commutative Hom-Poisson algebras, are studied. They are closed under twisting by suitable self-maps. Hom-Poisson algebras, in which the Hom-associative product is commutative, are closed under tensor products. Through (de)polarization Hom-Poisson algebras are equivalent to admissible Hom-Poisson algebras, each of which has o… ▽ More A Hom-type generalization of non-commutative Poisson algebras, called non-commutative Hom-Poisson algebras, are studied. They are closed under twisting by suitable self-maps. Hom-Poisson algebras, in which the Hom-associative product is commutative, are closed under tensor products. Through (de)polarization Hom-Poisson algebras are equivalent to admissible Hom-Poisson algebras, each of which has only one binary operation. Multiplicative admissible Hom-Poisson algebras are Hom-power associative. △ Less

Submitted 17 October, 2010; originally announced October 2010.

Comments: 23 pages

MSC Class: 17A15; 17B63

Right Hom-alternative algebras

Authors: Donald Yau

Abstract: It is shown that every multiplicative right Hom-alternative algebra is both Hom-power associative and Hom-Jordan admissible. Multiplicative right Hom-alternative algebras admit Albert-type decompositions with respect to idempotents. Multiplication operators defined by idempotents in right Hom-alternative algebras are studied. Hom-versions of some well-known identities in right alternative algebras… ▽ More It is shown that every multiplicative right Hom-alternative algebra is both Hom-power associative and Hom-Jordan admissible. Multiplicative right Hom-alternative algebras admit Albert-type decompositions with respect to idempotents. Multiplication operators defined by idempotents in right Hom-alternative algebras are studied. Hom-versions of some well-known identities in right alternative algebras are proved. △ Less

Submitted 17 October, 2010; originally announced October 2010.

Comments: 19 pages

MSC Class: 17A05; 17A20; 17D15

Hom-power associative algebras

Authors: Donald Yau

Abstract: A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and four. It generalizes Albert's result that power associativity is equivalent to third and fourth power associativity. In particular, multiplicative right Hom-al… ▽ More A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and four. It generalizes Albert's result that power associativity is equivalent to third and fourth power associativity. In particular, multiplicative right Hom-alternative algebras and non-commutative Hom-Jordan algebras are Hom-power associative. △ Less

Submitted 23 July, 2010; originally announced July 2010.

Comments: 24 pages

MSC Class: 17A05; 17A15; 17A20; 17D15

A Hom-associative analogue of n-ary Hom-Nambu algebras

Authors: Donald Yau

Abstract: It is shown that every n-ary totally Hom-associative algebra with equal twisting maps yields an n-ary Hom-Nambu algebra via an n-ary version of the commutator bracket. The class of n-ary totally Hom-associative algebras is shown to be closed under twisting by self-weak morphisms. Every multiplicative n-ary totally Hom-associative algebra yields a sequence of multiplicative totally Hom-associativ… ▽ More It is shown that every n-ary totally Hom-associative algebra with equal twisting maps yields an n-ary Hom-Nambu algebra via an n-ary version of the commutator bracket. The class of n-ary totally Hom-associative algebras is shown to be closed under twisting by self-weak morphisms. Every multiplicative n-ary totally Hom-associative algebra yields a sequence of multiplicative totally Hom-associative algebras of exponentially higher arities. Under suitable conditions, an n-ary totally Hom-associative algebra gives an (n-k)-ary totally Hom-associative algebra. △ Less

Submitted 13 May, 2010; originally announced May 2010.

Comments: 15 pages

MSC Class: 17A40; 17A42; 17B81

On n-ary Hom-Nambu and Hom-Maltsev algebras

Authors: Donald Yau

Abstract: Hom-alternative and Hom-Jordan algebras are shown to give rise to Hom-Nambu algebras of arities 2^{k+1} + 1. The class of n-ary Hom-Maltsev algebras is studied. Multiplicative n-ary Hom-Nambu-Lie algebras are shown to be n-ary Hom-Maltsev algebras. Examples of ternary Hom-Maltsev algebras that are not ternary Hom-Nambu-Lie algebras are given. Ternary Hom-Maltsev algebras are shown to arise from… ▽ More Hom-alternative and Hom-Jordan algebras are shown to give rise to Hom-Nambu algebras of arities 2^{k+1} + 1. The class of n-ary Hom-Maltsev algebras is studied. Multiplicative n-ary Hom-Nambu-Lie algebras are shown to be n-ary Hom-Maltsev algebras. Examples of ternary Hom-Maltsev algebras that are not ternary Hom-Nambu-Lie algebras are given. Ternary Hom-Maltsev algebras are shown to arise from composition algebras. △ Less

Submitted 27 April, 2010; originally announced April 2010.

Comments: 24 pages

MSC Class: 17A40; 17A42; 17A75; 17C50; 17D05; 17D10

On n-ary Hom-Nambu and Hom-Nambu-Lie algebras

Authors: Donald Yau

Abstract: It is observed that the category of n-ary Hom-Nambu(-Lie) algebras is closed under twisting by self-weak morphisms. Constructions of ternary Hom-Nambu algebras from Hom-associative algebras, Hom-Lie algebras, ternary totally Hom-associative algebras, and Hom-Jordan triple systems are given. Every multiplicative n-ary Hom-Nambu algebra gives rise to a sequence of Hom-Nambu algebras of exponential… ▽ More It is observed that the category of n-ary Hom-Nambu(-Lie) algebras is closed under twisting by self-weak morphisms. Constructions of ternary Hom-Nambu algebras from Hom-associative algebras, Hom-Lie algebras, ternary totally Hom-associative algebras, and Hom-Jordan triple systems are given. Every multiplicative n-ary Hom-Nambu algebra gives rise to a sequence of Hom-Nambu algebras of exponentially higher arities. Under some conditions, an n-ary Hom-Nambu(-Lie) algebra gives rise to an (n-1)-ary Hom-Nambu(-Lie) algebra. △ Less

Submitted 12 April, 2010; originally announced April 2010.

Comments: 23 pages

MSC Class: 17A40; 17A42; 17C50; 17D05; 17D10

Journal ref: Journal of Geometry and Physics 62 (2012) 506-522

Hom-Maltsev, Hom-alternative, and Hom-Jordan algebras

Authors: Donald Yau

Abstract: Hom-Maltsev(-admissible) algebras are defined, and it is shown that Hom-alternative algebras are Hom-Maltsev-admissible. With a new definition of a Hom-Jordan algebra, it is shown that Hom-alternative algebras are Hom-Jordan-admissible. Hom-type generalizations of some well-known identities in alternative algebras, including the Moufang identities, are obtained. Hom-Maltsev(-admissible) algebras are defined, and it is shown that Hom-alternative algebras are Hom-Maltsev-admissible. With a new definition of a Hom-Jordan algebra, it is shown that Hom-alternative algebras are Hom-Jordan-admissible. Hom-type generalizations of some well-known identities in alternative algebras, including the Moufang identities, are obtained. △ Less

Submitted 20 February, 2010; originally announced February 2010.

Comments: 35 pages

MSC Class: 17A20; 17C50; 17D05; 17D10; 17D25

Journal ref: International Electronic Journal of Algebras 11 (2012) 177-217

Infinitesimal Hom-bialgebras and Hom-Lie bialgebras

Authors: Donald Yau

Abstract: We study the Hom-type generalization of infinitesimal bialgebras, called infinitesimal Hom-bialgebras. In particular, we consider infinitesimal Hom-bialgebras arising from quivers, the sub-classes of coboundary and quasi-triangular infinitesimal Hom-bialgebras, the associative Hom-Yang-Baxter equation, and homological perturbation of the comultiplications in infinitesimal Hom-bialgebras. The rel… ▽ More We study the Hom-type generalization of infinitesimal bialgebras, called infinitesimal Hom-bialgebras. In particular, we consider infinitesimal Hom-bialgebras arising from quivers, the sub-classes of coboundary and quasi-triangular infinitesimal Hom-bialgebras, the associative Hom-Yang-Baxter equation, and homological perturbation of the comultiplications in infinitesimal Hom-bialgebras. The relationships between infinitesimal Hom-bialgebras, Hom-Lie bialgebras, and the classical Hom-Yang-Baxter equation are also studied. △ Less

Submitted 27 January, 2010; originally announced January 2010.

Comments: 35 pages

MSC Class: 16T10; 16T25; 17A30; 17B62

Hom-quantum groups III: Representations and module Hom-algebras

Authors: Donald Yau

Abstract: We study Hom-quantum groups, their representations, and module Hom-algebras. Two Twisting Principles for Hom-type algebras are formulated, and construction results are proved following these Twisting Principles. Examples include Hom-quantum n-spaces, Hom-quantum enveloping algebras of Kac-Moody algebras, Hom-Verma modules, and Hom-type analogs of U_q(sl_2)-module-algebra structures on the quantu… ▽ More We study Hom-quantum groups, their representations, and module Hom-algebras. Two Twisting Principles for Hom-type algebras are formulated, and construction results are proved following these Twisting Principles. Examples include Hom-quantum n-spaces, Hom-quantum enveloping algebras of Kac-Moody algebras, Hom-Verma modules, and Hom-type analogs of U_q(sl_2)-module-algebra structures on the quantum planes. △ Less

Submitted 28 November, 2009; originally announced November 2009.

Comments: 35 pages

MSC Class: 16W30; 17A30; 17B37; 17B62; 81R50

Hom-Novikov algebras

Authors: Donald Yau

Abstract: We study a twisted generalization of Novikov algebras, called Hom-Novikov algebras, in which the two defining identities are twisted by a linear map. It is shown that Hom-Novikov algebras can be obtained from Novikov algebras by twisting along any algebra endomorphism. All algebra endomorphisms on complex Novikov algebras of dimensions two or three are computed, and their associated Hom-Novikov al… ▽ More We study a twisted generalization of Novikov algebras, called Hom-Novikov algebras, in which the two defining identities are twisted by a linear map. It is shown that Hom-Novikov algebras can be obtained from Novikov algebras by twisting along any algebra endomorphism. All algebra endomorphisms on complex Novikov algebras of dimensions two or three are computed, and their associated Hom-Novikov algebras are described explicitly. Another class of Hom-Novikov algebras is constructed from Hom-commutative algebras together with a derivation, generalizing a construction due to Dorfman and Gel'fand. Two other classes of Hom-Novikov algebras are constructed from Hom-Lie algebras together with a suitable linear endomorphism, generalizing a construction due to Bai and Meng. △ Less

Submitted 12 January, 2011; v1 submitted 3 September, 2009; originally announced September 2009.

Comments: To appear in Journal of Physics A

MSC Class: 17A30; 17B81; 17D25; 81R10

Journal ref: Journal of Physics A 44 (2011) 085202

Hom-quantum groups II: cobraided Hom-bialgebras and Hom-quantum geometry

Authors: Donald Yau

Abstract: A class of non-associative and non-coassociative generalizations of cobraided bialgebras, called cobraided Hom-bialgebras, is introduced. The non-(co)associativity in a cobraided Hom-bialgebra is controlled by a twisting map. Several methods for constructing cobraided Hom-bialgebras are given. In particular, Hom-type generalizations of FRT quantum groups, including quantum matrices and related q… ▽ More A class of non-associative and non-coassociative generalizations of cobraided bialgebras, called cobraided Hom-bialgebras, is introduced. The non-(co)associativity in a cobraided Hom-bialgebra is controlled by a twisting map. Several methods for constructing cobraided Hom-bialgebras are given. In particular, Hom-type generalizations of FRT quantum groups, including quantum matrices and related quantum groups, are obtained. Each cobraided Hom-bialgebra comes with solutions of the operator quantum Hom-Yang-Baxter equations, which are twisted analogues of the operator form of the quantum Yang-Baxter equation. Solutions of the Hom-Yang-Baxter equation can be obtained from comodules of suitable cobraided Hom-bialgebras. Hom-type generalizations of the usual quantum matrices coactions on the quantum planes give rise to non-associative and non-coassociative analogues of quantum geometry. △ Less

Submitted 10 July, 2009; originally announced July 2009.

Comments: 38 pages

MSC Class: 16W30; 17A30; 17B37; 17B62; 81R50

Hom-quantum groups I: quasi-triangular Hom-bialgebras

Authors: Donald Yau

Abstract: We introduce a Hom-type generalization of quantum groups, called quasi-triangular Hom-bialgebras. They are non-associative and non-coassociative analogues of Drinfel'd's quasi-triangular bialgebras, in which the non-(co)associativity is controlled by a twisting map. A family of quasi-triangular Hom-bialgebras can be constructed from any quasi-triangular bialgebra, such as Drinfel'd's quantum env… ▽ More We introduce a Hom-type generalization of quantum groups, called quasi-triangular Hom-bialgebras. They are non-associative and non-coassociative analogues of Drinfel'd's quasi-triangular bialgebras, in which the non-(co)associativity is controlled by a twisting map. A family of quasi-triangular Hom-bialgebras can be constructed from any quasi-triangular bialgebra, such as Drinfel'd's quantum enveloping algebras. Each quasi-triangular Hom-bialgebra comes with a solution of the quantum Hom-Yang-Baxter equation, which is a non-associative version of the quantum Yang-Baxter equation. Solutions of the Hom-Yang-Baxter equation can be obtained from modules of suitable quasi-triangular Hom-bialgebras. △ Less

Submitted 22 June, 2009; originally announced June 2009.

Comments: 21 pages

MSC Class: 16W30; 17A30; 17B37; 17B62; 81R50

Journal ref: Journal of Physics A 45 (2012) 065203

On homotopy invariance for algebras over colored PROPs

Authors: Mark W. Johnson, Donald Yau

Abstract: Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant. Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant. △ Less

Submitted 17 September, 2009; v1 submitted 29 May, 2009; originally announced June 2009.

Comments: final version, to appear in Journal of Homotopy and Related Structures

MSC Class: 55U35; 18D50; 81T45

Journal ref: Journal of Homotopy and Related Structures 4 (2009) 275-315

The classical Hom-Yang-Baxter equation and Hom-Lie bialgebras

Authors: Donald Yau

Abstract: Motivated by recent work on Hom-Lie algebras and the Hom-Yang-Baxter equation, we introduce a twisted generalization of the classical Yang-Baxter equation (CYBE), called the classical Hom-Yang-Baxter equation (CHYBE). We show how an arbitrary solution of the CYBE induces multiple infinite families of solutions of the CHYBE. We also introduce the closely related structure of Hom-Lie bialgebras, w… ▽ More Motivated by recent work on Hom-Lie algebras and the Hom-Yang-Baxter equation, we introduce a twisted generalization of the classical Yang-Baxter equation (CYBE), called the classical Hom-Yang-Baxter equation (CHYBE). We show how an arbitrary solution of the CYBE induces multiple infinite families of solutions of the CHYBE. We also introduce the closely related structure of Hom-Lie bialgebras, which generalize Drinfel'd's Lie bialgebras. In particular, we study the questions of duality and cobracket perturbation and the sub-classes of coboundary and quasi-triangular Hom-Lie bialgebras. △ Less

Submitted 12 May, 2009; originally announced May 2009.

Comments: 22 pages

MSC Class: 16W30; 17A30; 17B37; 17B62; 81R50

The Hom-Yang-Baxter equation and Hom-Lie algebras

Authors: Donald Yau

Abstract: Motivated by recent work on Hom-Lie algebras, a twisted version of the Yang-Baxter equation, called the Hom-Yang-Baxter equation (HYBE), was introduced by the author in an earlier paper. In this paper, several more classes of solutions of the HYBE are constructed. Some of these solutions of the HYBE are closely related to the quantum enveloping algebra of sl(2), the Jones-Conway polynomial, and Ye… ▽ More Motivated by recent work on Hom-Lie algebras, a twisted version of the Yang-Baxter equation, called the Hom-Yang-Baxter equation (HYBE), was introduced by the author in an earlier paper. In this paper, several more classes of solutions of the HYBE are constructed. Some of these solutions of the HYBE are closely related to the quantum enveloping algebra of sl(2), the Jones-Conway polynomial, and Yetter-Drinfel'd modules. We also construct a new infinite sequence of solutions of the HYBE from a given one. Along the way, we compute all the Lie algebra endomorphisms on the (1+1)-Poincare algebra and sl(2). △ Less

Submitted 17 February, 2011; v1 submitted 12 May, 2009; originally announced May 2009.

Comments: Minor revision with some references added

MSC Class: 16W30; 17A30; 17B37; 81R50

Journal ref: J. Math. Physics 52 (2011) 053502