arXiv subjects

Niles Johnson

Publications and source records attributed to Niles Johnson.

24 records · Page 2Linked to original sources

arXiv2013

Azumaya Objects in Triangulated Bicategories

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.

math.AT↗

arXiv2013

Modeling Stable One-Types

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.

math.AT↗

arXiv2011

Second cohomology for finite groups of Lie type

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.

math.RT↗

arXiv2011

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

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.

math.GR↗

arXiv2010

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

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.

math.AT↗

arXiv2008

Morita Theory For Derived Categories: A Bicategorical Perspective

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.

math.AT↗