Showing 1–27 of 27 results for author: Johnson, N

A Survey of Alternative Solutions to the Congruum Problem

Authors: Nathanael Johnson

Abstract: A congruum was first defined by Leonardo Pisano in 1225 and it is defined as the common difference in an arithmetic progression of three perfect squares. Later that year in his book Liber Quadratorum, Pisano proved that congruums can never perfect squares themselves, a finding that was later revisited by Pierre de Fermat in 1670. His proof is now known as Fermat's Right Triangle Theorem. In this p… ▽ More A congruum was first defined by Leonardo Pisano in 1225 and it is defined as the common difference in an arithmetic progression of three perfect squares. Later that year in his book Liber Quadratorum, Pisano proved that congruums can never perfect squares themselves, a finding that was later revisited by Pierre de Fermat in 1670. His proof is now known as Fermat's Right Triangle Theorem. In this paper, four alternative proofs to Pisano's original proof are demonstrated and offered with each proof requiring a different scope of mathematical knowledge. The proofs are by direct Diophantine analysis, parameterization of differences, Heronian triangle construction, and infinite descent. In showing these proofs, it is demonstrated that there are alternatives to the method of decomposing perfect squares as sums of odd numbers as Pisano did in his proof in 1225. △ Less

Submitted 18 April, 2025; originally announced May 2025.

Comments: 9 pages

MSC Class: 11D09

Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors

Authors: Nick Gurski, Niles Johnson

Abstract: This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of strict algebras. Applications include diagrammatic coherence for plain, symmetric, and braided monoidal functors. The final sections include a variety of examples. This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of strict algebras. Applications include diagrammatic coherence for plain, symmetric, and braided monoidal functors. The final sections include a variety of examples. △ Less

Submitted 11 June, 2025; v1 submitted 18 December, 2023; originally announced December 2023.

Comments: 68 pages

MSC Class: 18C15 (Primary); 18D20; 18M05; 18M15; 18N15; 19D23 (Secondary)

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

The symmetric monoidal 2-category of permutative categories

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno

Abstract: We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory. We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory. △ Less

Submitted 15 November, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 84 pages

MSC Class: Primary: 18N10; Secondary: 18M05; 18D15; 19D23

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

Streaming Generalized Canonical Polyadic Tensor Decompositions

Authors: Eric Phipps, Nick Johnson, Tamara G. Kolda

Abstract: In this paper, we develop a method which we call OnlineGCP for computing the Generalized Canonical Polyadic (GCP) tensor decomposition of streaming data. GCP differs from traditional canonical polyadic (CP) tensor decompositions as it allows for arbitrary objective functions which the CP model attempts to minimize. This approach can provide better fits and more interpretable models when the observ… ▽ More In this paper, we develop a method which we call OnlineGCP for computing the Generalized Canonical Polyadic (GCP) tensor decomposition of streaming data. GCP differs from traditional canonical polyadic (CP) tensor decompositions as it allows for arbitrary objective functions which the CP model attempts to minimize. This approach can provide better fits and more interpretable models when the observed tensor data is strongly non-Gaussian. In the streaming case, tensor data is gradually observed over time and the algorithm must incrementally update a GCP factorization with limited access to prior data. In this work, we extend the GCP formalism to the streaming context by deriving a GCP optimization problem to be solved as new tensor data is observed, formulate a tunable history term to balance reconstruction of recently observed data with data observed in the past, develop a scalable solution strategy based on segregated solves using stochastic gradient descent methods, describe a software implementation that provides performance and portability to contemporary CPU and GPU architectures and integrates with Matlab for enhanced useability, and demonstrate the utility and performance of the approach and software on several synthetic and real tensor data sets. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Sparse Plus Low Rank Matrix Decomposition: A Discrete Optimization Approach

Authors: Dimitris Bertsimas, Ryan Cory-Wright, Nicholas A. G. Johnson

Abstract: We study the Sparse Plus Low-Rank decomposition problem (SLR), which is the problem of decomposing a corrupted data matrix into a sparse matrix of perturbations plus a low-rank matrix containing the ground truth. SLR is a fundamental problem in Operations Research and Machine Learning which arises in various applications, including data compression, latent semantic indexing, collaborative filterin… ▽ More We study the Sparse Plus Low-Rank decomposition problem (SLR), which is the problem of decomposing a corrupted data matrix into a sparse matrix of perturbations plus a low-rank matrix containing the ground truth. SLR is a fundamental problem in Operations Research and Machine Learning which arises in various applications, including data compression, latent semantic indexing, collaborative filtering, and medical imaging. We introduce a novel formulation for SLR that directly models its underlying discreteness. For this formulation, we develop an alternating minimization heuristic that computes high-quality solutions and a novel semidefinite relaxation that provides meaningful bounds for the solutions returned by our heuristic. We also develop a custom branch-and-bound algorithm that leverages our heuristic and convex relaxations to solve small instances of SLR to certifiable (near) optimality. Given an input $n$-by-$n$ matrix, our heuristic scales to solve instances where $n=10000$ in minutes, our relaxation scales to instances where $n=200$ in hours, and our branch-and-bound algorithm scales to instances where $n=25$ in minutes. Our numerical results demonstrate that our approach outperforms existing state-of-the-art approaches in terms of rank, sparsity, and mean-square error while maintaining a comparable runtime. △ Less

Submitted 1 October, 2023; v1 submitted 26 September, 2021; originally announced September 2021.

Journal ref: Journal of Machine Learning Research, 24(267), 1-51 (2023)

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-categorical opfibrations, Quillen's Theorem B, and $S^{-1}S$

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno

Abstract: In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the homotopy fibers. This is a version of Quillen's Theorem B amenable to applications. Second, we compute the $E^2$ page of a homology spectral sequence associated to an… ▽ More In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the homotopy fibers. This is a version of Quillen's Theorem B amenable to applications. Second, we compute the $E^2$ page of a homology spectral sequence associated to an opfibration and apply this machinery to a 2-categorical construction of $S^{-1}S$. We show that if $S$ is a symmetric monoidal 2-groupoid with faithful translations then $S^{-1}S$ models the group completion of $S$. △ Less

Submitted 17 May, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 42 pages

MSC Class: Primary: 19D23; Secondary: 18D30; 18M05; 18N45; 18N10; 19D06; 55N25; 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)

The 2-dimensional stable homotopy hypothesis

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno

Abstract: We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types. We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types. △ Less

Submitted 30 April, 2019; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 34 pages

MSC Class: Primary: 55P42; Secondary: 55P15; 55P48; 19D23; 18D05; 18D50

Journal ref: Journal of Pure and Applied Algebra, Volume 223, Issue 10, 2019, Pages 4348-4383

Stable Postnikov data of Picard 2-categories

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno, Marc Stephan

Abstract: Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$. This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of $K\mathcal{D}$ in terms of… ▽ More Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$. This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of $K\mathcal{D}$ in terms of categorical structure. We use this to show that there is no strict skeletal Picard 2-category whose $K$-theory realizes the 2-truncation of the sphere spectrum. As part of the proof, we construct a categorical suspension, producing a Picard 2-category $ΣC$ from a Picard 1-category $C$, and show that it commutes with $K$-theory in that $KΣC$ is stably equivalent to $ΣK C$. △ Less

Submitted 5 April, 2017; v1 submitted 22 June, 2016; originally announced June 2016.

Comments: 31 pages. To appear in Algebraic and Geometric Topology

MSC Class: Primary: 55S45; Secondary: 18C20; 55P42; 19D23; 18D05

Journal ref: Algebraic & Geometric Topology, vol. 17 (2017), pp. 2763 -- 2806

Extending homotopy theories across adjunctions

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno

Abstract: Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can transport the weak equivalences from one category to another with the same objects and a broader class of maps. Under mild hypotheses this process produces an equival… ▽ More Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can transport the weak equivalences from one category to another with the same objects and a broader class of maps. Under mild hypotheses this process produces an equivalence of homotopy theories. We describe examples including algebras over an operad, such as symmetric monoidal categories and $n$-fold monoidal categories; and diagram categories, such as $Γ$-categories. △ Less

Submitted 22 September, 2017; v1 submitted 31 July, 2015; originally announced August 2015.

Comments: 19 pages. Title updated to match publication

MSC Class: 55U35 (Primary); 18C20; 19D23; 18A25; 18D50 (Secondary)

Journal ref: Homology, Homotopy and Applications, vol. 19 (2017), no. 2, pp. 89 -- 110

K-theory for 2-categories

Authors: Nick Gurski, Niles Johnson, Angélica M. Osorno

Abstract: We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $Γ$-objects in 2-categories. In the course of the proof we establish strictfication results of independent interest for symmetric monoidal bicategories and for diagrams of 2-categories. We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $Γ$-objects in 2-categories. In the course of the proof we establish strictfication results of independent interest for symmetric monoidal bicategories and for diagrams of 2-categories. △ Less

Submitted 5 December, 2017; v1 submitted 26 March, 2015; originally announced March 2015.

Comments: 73 pages. Updated to match publication

MSC Class: Primary: 19D23; Secondary: 18D10; 18D05; 55N15; 55P42

Journal ref: Advances in Mathematics, vol. 322 (2017), pp. 378 -- 472

Improving Transient Performance of Adaptive Control Architectures using Frequency-Limited System Error Dynamics

Authors: Tansel Yucelen, Gerardo De La Torre, Eric N. Johnson

Abstract: We develop an adaptive control architecture to achieve stabilization and command following of uncertain dynamical systems with improved transient performance. Our framework consists of a new reference system and an adaptive controller. The proposed reference system captures a desired closed-loop dynamical system behavior modified by a mismatch term representing the high-frequency content between t… ▽ More We develop an adaptive control architecture to achieve stabilization and command following of uncertain dynamical systems with improved transient performance. Our framework consists of a new reference system and an adaptive controller. The proposed reference system captures a desired closed-loop dynamical system behavior modified by a mismatch term representing the high-frequency content between the uncertain dynamical system and this reference system, i.e., the system error. In particular, this mismatch term allows to limit the frequency content of the system error dynamics, which is used to drive the adaptive controller. It is shown that this key feature of our framework yields fast adaptation with- out incurring high-frequency oscillations in the transient performance. We further show the effects of design parameters on the system performance, analyze closeness of the uncertain dynamical system to the unmodified (ideal) reference system, discuss robustness of the proposed approach with respect to time-varying uncertainties and disturbances, and make connections to gradient minimization and classical control theory. △ Less

Submitted 25 September, 2013; originally announced September 2013.

Comments: 27 pages, 7 figures

Lifting homotopy T-algebra maps to strict maps

Authors: Niles Johnson, Justin Noel

Abstract: The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-alge… ▽ More The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-algebras. In this setting there is a forgetful functor from the homotopy category of $T$-algebras to the category of homotopy $T$-algebras. Under suitable hypotheses we provide an obstruction theory, in the form of a Bousfield-Kan spectral sequence, for lifting a homotopy $T$-algebra map to a strict map of $T$-algebras. Once we have a map of $T$-algebras to serve as a basepoint, the spectral sequence computes the homotopy groups of the space of $T$-algebra maps and the edge homomorphism on $π_0$ is the aforementioned forgetful functor. We discuss a variety of settings in which the required hypotheses are satisfied, including monads arising from algebraic theories and operads. We also give sufficient conditions for the $E_2$-term to be calculable in terms of Quillen cohomology groups. We provide worked examples in $G$-spaces, $G$-spectra, rational $E_\infty$ algebras, and $A_\infty$ algebras. Explicit calculations, connected to rational unstable homotopy theory, show that the forgetful functor from the homotopy category of $E_\infty$ ring spectra to the category of $H_\infty$ ring spectra is generally neither full nor faithful. We also apply a result of the second named author and Nick Kuhn to compute the homotopy type of the space $E_\infty(Σ^\infty_+ \mathrm{Coker}\, J, L_{K(2)} R)$. △ Less

Submitted 3 July, 2014; v1 submitted 8 January, 2013; originally announced January 2013.

Comments: 45 pages. Substantial revision. To appear in Advances in Mathematics

MSC Class: 55P99; 55S35; 55T05; 18G55; 13D03; 18C15; 18C10; 55P43; 55P62; 55Q50

Modeling Stable One-Types

Authors: Niles Johnson, Angélica M. Osorno

Abstract: Classification of homotopy n-types has focused on developing algebraic categories which are equivalent to categories of n-types. We expand this theory by providing algebraic models of homotopy-theoretic constructions for stable one-types. These include a model for the Postnikov one-truncation of the sphere spectrum, and for its action on the model of a stable one-type. We show that a bicategorical… ▽ More Classification of homotopy n-types has focused on developing algebraic categories which are equivalent to categories of n-types. We expand this theory by providing algebraic models of homotopy-theoretic constructions for stable one-types. These include a model for the Postnikov one-truncation of the sphere spectrum, and for its action on the model of a stable one-type. We show that a bicategorical cokernel introduced by Vitale models the cofiber of a map between stable one-types, and apply this to develop an algebraic model for the Postnikov data of a stable one-type. △ Less

Submitted 21 February, 2013; v1 submitted 12 January, 2012; originally announced January 2012.

Comments: 18 pages, final version

MSC Class: 18B40; 18D10; 55P42; 55S45

Journal ref: Theory and Applications of Categories, Vol. 26, 2012, No. 20, pp 520-537. http://www.tac.mta.ca/tac/volumes/26/20/26-20abs.html

Second cohomology for finite groups of Lie type

Authors: Brian D. Boe, Brian Bonsignore, Theresa Brons, Jon F. Carlson, Leonard Chastkofsky, Christopher M. Drupieski, Niles Johnson, Daniel K. Nakano, Wenjing Li, Phong Thanh Luu, Tiago Macedo, Nham Vo Ngo, Brandon L. Samples, Andrew J. Talian, Lisa Townsley, Benjamin J. Wyser

Abstract: Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology… ▽ More Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(λ)) \rightarrow H^2(G(\mathbb{F}_q),L(λ))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $λ$ is less than or equal to a fundamental dominant weight. Even when the restriction map is not an isomorphism, we are often able to describe $H^2(G(\mathbb{F}_q),L(λ))$ in terms of rational cohomology for $G$. We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(λ))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type. △ Less

Submitted 14 December, 2011; v1 submitted 2 October, 2011; originally announced October 2011.

Comments: 29 pages, GAP code included as an ancillary file. Rewritten to include the adjoint representation in types An, B2, and Cn. Corrections made to Theorem 3.1.3 and subsequent dependent results in Sections 3-4. Additional minor corrections and improvements also implemented

MSC Class: 20G10; 20C33 (Primary) 20G05; 20J06 (Secondary)

Journal ref: J. Algebra 360 (2012), 21-52

First cohomology for finite groups of Lie type: simple modules with small dominant weights

Authors: Brian D. Boe, Adrian M. Brunyate, Jon F. Carlson, Leonard Chastkofsky, Christopher M. Drupieski, Niles Johnson, Benjamin F. Jones, Wenjing Li, Daniel K. Nakano, Nham Vo Ngo, Duc Duy Nguyen, Brandon L. Samples, Andrew J. Talian, Lisa Townsley, Benjamin J. Wyser

Abstract: Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group $H^1(G(\mathbb{F}_q),L(λ))$ where $L(λ)$ is the simple $G$-module of h… ▽ More Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group $H^1(G(\mathbb{F}_q),L(λ))$ where $L(λ)$ is the simple $G$-module of highest weight $λ$. Under certain very mild conditions on $p$ and $q$, we are able to completely describe the first cohomology group when $λ$ is less than or equal to a fundamental dominant weight. In particular, in the cases we consider, we show that the first cohomology group has dimension at most one. Our calculations significantly extend, and provide new proofs for, earlier results of Cline, Parshall, Scott, and Jones, who considered the special case when $λ$ is a minimal nonzero dominant weight. △ Less

Submitted 24 July, 2011; v1 submitted 6 October, 2010; originally announced October 2010.

Comments: 24 pages, 5 figures, 6 tables. Typos corrected and some proofs streamlined over previous version

MSC Class: 20G10 (Primary); 20G05 (Secondary)

Journal ref: Trans. Amer. Math Soc. 365 (2013), 1025-1050

Azumaya Objects in Triangulated Bicategories

Authors: Niles Johnson

Abstract: We introduce the notion of Azumaya object in general homotopy-theoretic settings. We give a self-contained account of Azumaya objects and Brauer groups in bicategorical contexts, generalizing the Brauer group of a commutative ring. We go on to describe triangulated bicategories and prove a characterization theorem for Azumaya objects therein. This theory applies to give a homotopical Brauer group… ▽ More We introduce the notion of Azumaya object in general homotopy-theoretic settings. We give a self-contained account of Azumaya objects and Brauer groups in bicategorical contexts, generalizing the Brauer group of a commutative ring. We go on to describe triangulated bicategories and prove a characterization theorem for Azumaya objects therein. This theory applies to give a homotopical Brauer group for derived categories of rings and ring spectra. We show that the homotopical Brauer group of an Eilenberg-Mac Lane spectrum is isomorphic to the homotopical Brauer group of its underlying commutative ring. We also discuss tilting theory as an application of invertibility in triangulated bicategories. △ Less

Submitted 26 April, 2013; v1 submitted 26 May, 2010; originally announced May 2010.

Comments: 23 pages; final version; to appear in Journal of Homotopy and Related Structures

MSC Class: 55U99; 18D35; 16K50; 14F22

For Complex Orientations Preserving Power Operations, p-typicality is Atypical

Authors: Niles Johnson, Justin Noel

Abstract: We show, for primes p less than or equal to 13, that a number of well-known MU_(p)-rings do not admit the structure of commutative MU_(p)-algebras. These spectra have complex orientations that factor through the Brown-Peterson spectrum and correspond to p-typical formal group laws. We provide computations showing that such a factorization is incompatible with the power operations on complex cobord… ▽ More We show, for primes p less than or equal to 13, that a number of well-known MU_(p)-rings do not admit the structure of commutative MU_(p)-algebras. These spectra have complex orientations that factor through the Brown-Peterson spectrum and correspond to p-typical formal group laws. We provide computations showing that such a factorization is incompatible with the power operations on complex cobordism. This implies, for example, that if E is a Landweber exact MU_(p)-ring whose associated formal group law is p-typical of positive height, then the canonical map MU_(p) --> E is not a map of H_\infty ring spectra. It immediately follows that the standard p-typical orientations on BP, E(n), and E_n do not rigidify to maps of E_\infty ring spectra. We conjecture that similar results hold for all primes. △ Less

Submitted 20 July, 2010; v1 submitted 16 October, 2009; originally announced October 2009.

Comments: Minor revisions, results extended up to the prime 13. Accepted for publication. 22 pages

MSC Class: 55N20 (Primary); 55S25; 55R77 (Secondary)

Journal ref: Topology and its Applications, Volume 157, Issue 14, 1 September 2010, Pages 2271-2288

Morita Theory For Derived Categories: A Bicategorical Perspective

Authors: Niles Johnson

Abstract: We present a bicategorical perspective on derived Morita theory for rings, DG algebras, and spectra. This perspective draws a connection between Morita theory and the bicategorical Yoneda Lemma, yielding a conceptual unification of Morita theory in derived and bicategorical contexts. This is motivated by study of Rickard's theorem for derived equivalences of rings and of Morita theory for ring s… ▽ More We present a bicategorical perspective on derived Morita theory for rings, DG algebras, and spectra. This perspective draws a connection between Morita theory and the bicategorical Yoneda Lemma, yielding a conceptual unification of Morita theory in derived and bicategorical contexts. This is motivated by study of Rickard's theorem for derived equivalences of rings and of Morita theory for ring spectra, which we present in Sections 2 and 4. Along the way, we gain an understanding of the barriers to Morita theory for DG algebras and give a conceptual explanation for the counterexample of Dugger and Shipley. △ Less

Submitted 3 June, 2008; v1 submitted 23 May, 2008; originally announced May 2008.

Comments: 20 pages; minor update to introduction; contact information added