Brauer spaces for commutative rings and structured ring spectra

Abstract: Using an analogy between the Brauer groups in algebra and the Whitehead groups in topology, we first use methods of algebraic K-theory to give a natural definition of Brauer spectra for commutative rings, such that their homotopy groups are given by the Brauer group, the Picard group and the group of units. Then, in the context of structured ring spectra, the same idea leads to two-fold non-connected deloopings of the spectra of units.

\section*{Introduction}

Let~$K$ be a field, and let us consider all finite-dimensional associative~$K$-algebras~$A$ up to isomorphism. For many purposes, a much coarser equivalence relation than isomorphism is appropriate: Morita equivalence. Recall that two such algebras~$A$ and~$B$ are called {\it Morita equi\-valent} if their categories of modules (or representations) are~$K$-equivalent. While this description makes it clear that we have defined an equivalence relation, Morita theory actually shows that there is a convenient explicit description of the relation that does not involve categories: two~$K$-algebras~$A$ and~$B$ are Morita equivalent if and only if there are non-trivial, finite-dimensional~$K$-vector spaces~$V$ and~$W$ such that~\hbox{$A\otimes_K\mathrm{End}_K(V)$} and~\hbox{$B\otimes_K\mathrm{End}_K(W)$} are isomorphic as~$K$-algebras. Therefore, we may say that Morita equivalence is generated by simple extensions: those from~$A$ to~$A\otimes_K\mathrm{End}_K(V)$. There is an abelian monoid structure on the set of Morita equivalence classes of algebras: The sum of the classes of two~$K$-algebras~$A$ and~$B$ is the class of the tensor product~$A\otimes_KB$, and the class of the ground field~$K$ is the neutral element. Not all elements of this abelian monoid have an inverse, but those algebras~$A$ for which the natural map~\hbox{$A\otimes_KA^\circ\to\mathrm{End}_K(A)$} from the tensor product with the opposite algebra~$A^\circ$ is an isomorphism clearly do. These are precisely the central simple~$K$-algebras. The abelian group of invertible classes of algebras is the Brauer group~$\mathrm{Br}(K)$ of~$K$. These notions have been generalized from the context of fields~$K$ to local rings by Azumaya~\cite{Azumaya}, and further to arbitrary commutative rings~$R$ by Auslander and Goldman~\cite{Auslander+Goldman}.

Our first aim is to use some of the classical methods of algebraic K-theory, recalled in the following Section~\ref{sec:background}, in order to define spaces~$\mathbf{Br}(R)$ such that their groups of components are naturally isomorphic to the Brauer groups~$\mathrm{Br}(R)$ of the commutative rings~$R$:
\[
	\pi_0\mathbf{Br}(R)\cong\mathrm{Br}(R).
\]
Of course, this property does not characterize these spaces, so that we will have to provide motivation why the choice given here is appropriate. Therefore, in Section~\ref{sec:Whitehead}, we review Waldhausen's work~\cite{Waldhausen:Top1} and~\cite{Waldhausen:LNM} on the Whitehead spaces in geometric topology in sufficient detail so that it will become clear how this inspired our definition of the Brauer spaces~$\mathbf{Br}(R)$ to be given in Section~\ref{sec:Brauer_for_commutative_rings} in the case of commutative rings~$R$. Thereby we achieve the first aim.

We can then relate the Brauer spaces to the classifying spaces of the Picard groupoids, and prove that we have produced a natural delooping of these, see Theorem~\ref{thm:Pic_identification_rings}. In particular, the higher homotopy groups are described by natural isomorphisms
\[
	\pi_1\mathbf{Br}(R)\cong\mathrm{Pic}(R)
\]
and
\[
	\pi_2\mathbf{Br}(R)\cong\mathrm{GL}_1(R).
\]

As will be discussed in Section~\ref{sec:Duskin}, we obtain an arguably more conceptual result than earlier efforts of Duskin~\cite{Duskin} and Street~\cite{Street}. This becomes particularly evident when we discuss comparison maps later. Another bonus of the present approach is the fact that it naturally produces infinite loop space structures on the Brauer spaces, so that we even have Brauer spectra~$\mathbf{br}(R)$ such that~\hbox{$\Omega^\infty\mathbf{br}(R)\simeq\mathbf{Br}(R)$} for all commutative rings~$R$.

The following Section~\ref{sec:Brauer_for_commutative_S-algebras} introduces Brauer spaces and spectra in the context of structured ring spectra. The approach presented here is based on and inspired by the same classical algebraic K-theory machinery that we will already have used in the case of commutative rings. These spaces and spectra refine the Brauer groups for commutative~$\mathbb{S}$-algebras that have been defined in collaboration with Baker and Richter, see~\cite{Baker+Richter+Szymik}. Several groups of people are now working on Brauer groups of this type. For example, Gepner and Lawson are studying the situation of Galois extensions using methods from Lurie's higher topos theory~\cite{Lurie:HTT} and higher algebra. For connective rings, these methods are used in~\cite{Antieau+Gepner} for constructions and computations similar to~(but independent of) ours in this case. For example, the Brauer group~$\mathrm{Br}(\mathbb{S})$ of there sphere spectrum itself is known to be trivial. In contrast, this is not the case for the~(non-connective) chromatic localizations of the sphere spectrum by~\cite[Theorem~10.1]{Baker+Richter+Szymik}, and Angeltveit, Hopkins, and Lurie are making further progress towards the computation of these chromatic Brauer groups.

In the final Section~\ref{sec:relative}, we indicate ways of how to apply the present theory. We first discuss the functoriality of our construction and define relative invariants which domi\-nate the relative invariants introduced in~\cite{Baker+Richter+Szymik}, see Proposition~\ref{prop:relative_relation}. Then we turn to the relation between the Brauer spectra of commutative rings and those of structured ring spectra. The Eilenberg-Mac Lane functor~$\mathrm{H}$ produces structured ring spectra from ordinary rings, and it induces a homomorphism~\hbox{$\mathrm{Br}(R)\to\mathrm{Br}(\mathrm{H} R)$} between the corresponding Brauer groups, see~\cite[Proposition 5.2]{Baker+Richter+Szymik}. We provide for a map of spectra which induces the displayed homomorphism after passing to homotopy groups, see~Proposition~\ref{prop:EMmap_spectra}.

Another potential application for Brauer spectra is already hinted at in~\cite{Clausen}: they are the appropriate target spectra for an elliptic~J-homomorphism. Recall that the usual~J-homomorphism can be described as a map $\mathbf{ko}\to\mathbf{pic}(\mathbb{S})$ from the real connective K-theory spectrum to the Picard spectrum of the sphere by means of the algebraic K-theory of symmetric monoidal categories. An elliptic~J-homomorphism should be a map from the connective spectrum of topological modular forms (or a discrete model thereof) to the Brauer spectrum of the sphere, where~$\mathbf{br}(\mathbb{S})\simeq\Sigma\mathbf{pic}(\mathbb{S})$ since~$\mathrm{Br}(\mathbb{S})=0$. It now seems highly plausible that such a map can be constructed from the algebraic K-theory of $\mathbf{ko}$, which has at least the correct chromatic complexity by results of Ausoni and Rognes~\cite{Ausoni+Rognes}. This will be pursued elsewhere.

\subsection*{Acknowledgment}

This work has been partially supported by the Deutsche Forschungsgemeinschaft~(DFG) through the Sonderforschungsbereich~(SFB)~701 ``Spektrale Strukturen und Topologische Methoden in der Mathe\-matik'' at Bielefeld University, and by the Danish National Research Foundation through the Centre for Symmetry and Deformation at the University of Copenhagen~(DNRF92). I would like to thank the referee of an earlier version for the detailed report.

\section{Background on algebraic K-theory}\label{sec:background}

After Quillen, algebraic K-theory is ultimately built on the passage from categorical input to topological output. Various different but equivalent methods to achieve this can be found in the literature. We will need to recall one such construction here, one that produces spectra from symmetric monoidal categories. This is originally due to Thomason~\cite{Thomason} and Shimada-Shimakawa~\cite{Shimada+Shimakawa}, building on earlier work of Segal~\cite{Segal} in the case where the monoidal structure is the categorical sum, and May~(\cite{May:perm1} and~\cite{May:perm2}) in the case when the category is permutative. See also~\cite{Thomason:Aarhus} and the appendix to~\cite{Thomason:CommAlg}. Here we will follow some of the more contemporary expositions such as the ones given in~\cite{Carlsson},~\cite{Elmendorf+Mandell},~\cite{Mandell} and~\cite{Dundas+Goodwillie+McCarthy}, for example. The reader familiar with Segal's~$\Gamma$-machine can safely skip this section and refer back to it for notation only.

\subsection*{$\Gamma$-spaces}

One may say that the key idea behind Segal's machine is the insight that the combinatorics of abelian multiplications is governed by the category of finite pointed sets and pointed maps between them. A~{\it~$\Gamma$-space} is simply a pointed functor~$G$ from this category to the category of pointed spaces.

For set-theoretic purposes, it is preferable to work with a skeleton of the source category: For any integer~$n\geqslant0$, let~$n_+$ denote the pointed set~$(\{0,1,\dots,n\},0)$. We note that there is a canonical pointed bijection~\hbox{$1_+=\mathrm{S}^0$} with the~$0$-sphere. The full subcategory category~$\Gamma^\circ$ has objects~$n_+$, for~$n\geqslant0$. These span a skeleton of the category of finite pointed sets that is isomorphic to the opposite of Segal's category~$\Gamma$. This explains the odd notation.

A~$\Gamma$-space~$G$ is called {\it special} if the Segal maps
\[
	G(N,n)\longrightarrow\prod_{N\setminus\{n\}} G(\mathrm{S}^0)
\]
which are induced by the maps with singleton support, are weak equivalences. If this is the case, then there is an induced abelian monoid structure on the set~$\pi_0(G(\mathrm{S}^0))$ of components of~$G(\mathrm{S}^0)$, and the~$\Gamma$-space~$G$ is called {\it very special} if, in addition, this abelian monoid is a group.

For the purpose of exposition, let us note that basic examples of very special~$\Gamma$-spaces are given by abelian groups~$A$: We can associate to the finite pointed set~$n_+$ the space~$A^n$, and it should be thought of as the space of pointed maps~$f\colon n_+\to A$, where~$A$ is pointed by the zero element. For each pointed map~\hbox{$\phi\colon m_+\to n_+$} the transfer formula
\[
	(\phi_*f)(j)=\sum_{\phi(i)=j}f(i)
\]
induces a pointed map~\hbox{$\phi_*\colon A^m\to A^n$}.

\subsection*{Spectra from~$\Gamma$-spaces}

Every~$\Gamma$-space~$G$ extends to a functor from spectra to spectra. In particular, every~$\Gamma$-space~$G$ has an associated spectrum~$G(\mathbb{S})$ by evaluation of this extension on the sphere spectrum~$\mathbb{S}$, and hence it also has an associated (infinite loop) space~$\Omega^\infty G(\mathbb{S})$. For later reference, we need to recall some of the details from~\cite[Section~4]{Bousfield+Friedlander}. First of all, the functor~$G$ is extended to a functor from (all) pointed sets to pointed spaces by left Kan extension. Then it induces a functor from pointed simplicial sets to pointed simplicial spaces, and these can then be realized as spaces again. Finally, the~$n$-th space of~$G(\mathbb{S})$ is~$G(\mathrm{S}^n)$, where~$\mathrm{S}^n$ is the simplicial~$n$-sphere: the simplicial circle~$\mathrm{S}^1=\Delta^1/\partial\Delta^1$ is a simplical set that has precisely~$n+1$ simplices of dimension~$n$, and~$\mathrm{S}^n=\mathrm{S}^1\wedge\dots\wedge\mathrm{S}^1$ is the smash product of~$n$ simplicial circles.

We state the following fundamental theorem for later reference.

\begin{theorem}\label{thm:group_completion}
	{\bf\upshape(\cite[1.4]{Segal}, \cite[4.2,~4.4]{Bousfield+Friedlander})}
	If~$G$ is a special~$\Gamma$-space, then the adjoint structure maps
$G(\mathrm{S}^n)\to\Omega G(\mathrm{S}^{n+1})$ are equivalences for~$n\geqslant1$, and if~$G$ is very special, then this also holds for~$n=0$, so that under this extra hypothesis~$G(\mathbb{S})$ is an~$\Omega$-spectrum.
\end{theorem}

Thus, if~$G$ is a special~$\Gamma$-space, then the associated infinite loop space
is canonically identified with~$\Omega G(\mathrm{S}^1)$, and if~$G$ is a very special~$\Gamma$-space, then the associated infinite loop space is canonically identified with~$G(\mathrm{S}^0)$ as well.

\subsection*{$\Gamma$-spaces from~$\Gamma$-categories}

In all the preceding definitions, spaces may be replaced by categories: A {\it~$\Gamma$-category} is a pointed functor~$\mathcal{G}$ from the category of finite pointed sets to the category of pointed~(small) categories. A~$\Gamma$-category~$\mathcal{G}$ is called {\it special} if the Segal functors are equivalences. If this is the case, then this induces an abelian monoid structure on the set of isomorphism classes of objects of~$\mathcal{G}(\mathrm{S}^0)$, and the~$\Gamma$-category~$\mathcal{G}$ is called {\it very special} if, in addition, this abelian monoid is a group.

A~$\Gamma$-category~$\mathcal{G}(-)$ defines a~$\Gamma$-space~$|\mathcal{G}(-)|$ by composition with the geometric realization functor from~(small) categories to spaces.

\subsection*{$\Gamma$-categories from symmetric monoidal categories}

Recall that the data required for a {\it monoidal category} are a category~$\mathcal{V}$ together with a functor~\hbox{$\Box=\Box_\mathcal{V}\colon\mathcal{V}\times\mathcal{V}\to\mathcal{V}$}, the {\it product}, and an object~\hbox{$e=e_\mathcal{V}$}, the {\it unit}, such that the product is associative and unital up to natural isomorphisms which are also part of the data. If, in addition, the product is commutative up to natural isomorphisms, then a choice of these turns~$\mathcal{V}$ into a {\it symmetric monoidal category}.

Every symmetric monoidal category~$\mathcal{V}$ gives rise to a~$\Gamma$-category~$\mathcal{V}(-)$ as follows. Since the functor~$\mathcal{V}(-)$ has to be pointed, we can assume that we have a pointed set~$(N,n)$ such that~$N\setminus\{n\}$ is not empty. Then, the objects of~$\mathcal{V}(N,n)$ are the pairs~$(V,p)$, where~$V$ associates an object~$V(I)$ of~$\mathcal{V}$ to every subset~$I$ of~$N\setminus\{n\}$, and~$p$ associates a map
\[
	p(I,J)\colon V(I\cup J)\longrightarrow V(I)\Box_\mathcal{V} V(J)
\]
in~$\mathcal{V}$ to every pair~$(I,J)$ of disjoint subsets~$I$ and~$J$ of~$N\setminus\{n\}$, in such way that four conditions are satisfied: the~$(V,p)$ have to be pointed, unital, associative, and symmetric. We refer to the cited literature for details.

\begin{examples}\label{ex:gamma012}
	If~$N=0_+$, then the category~$\mathcal{V}(0_+)$ is necessarily trivial.
	If~$N=1_+$, then the category~$\mathcal{V}(1_+)=\mathcal{V}(\mathrm{S}^0)$ is equivalent to original category~$\mathcal{V}$ via the functor that evaluates at the non-base-point. If~$N=2_+$, then the category~$\mathcal{V}(2_+)$ is equivalent to the category of triples $(V_{12},V_1,V_2)$ of objects together with morphisms $V_{12}\to V_1\Box_\mathcal{V} V_2$.
\end{examples}

Let us now describe the functoriality of the categories~$\mathcal{V}(N,n)$ in~$(N,n)$. If we are given a pointed map~$\alpha\colon(M,m)\to (N,n)$ of finite pointed sets, then a functor
\[
	\alpha_*=\mathcal{V}(\alpha)\colon\mathcal{V}(M,m)\longrightarrow\mathcal{V}(N,n)
\]
is defined on the objects of~$\mathcal{V}(M,m)$ by~$\alpha_*(V,p)=(\alpha_*V,\alpha_*p)$, where the components are defined by~\hbox{$(\alpha_*V)(I)=V(\alpha^{-1}I)$} and~\hbox{$(\alpha_*p)(I,J)=p(\alpha^{-1}I,\alpha^{-1}J)$}, and similarly on the morphisms of~$\mathcal{V}(M,m)$. It is then readily checked that~$\alpha_*$ is a functor, and that the equations~\hbox{$\mathrm{id}_*=\mathrm{id}$} and~$(\alpha\beta)_*=\alpha_*\beta_*$ hold, so that we indeed have a~$\Gamma$-category~$\mathcal{V}(-)\colon(N,n)\mapsto\mathcal{V}(N,n)$.

\subsection*{Algebraic K-theory}

If~$\mathcal{V}$ is a symmetric monoidal category, then its {\it algebraic K-theory spectrum}~$\mathbf{k}(\mathcal{V})$ will be the spectrum associated with the~$\Gamma$-category that it determines. Its~$n$-th space is
\[
	\mathbf{k}(\mathcal{V})_n=|\mathcal{V}(\mathrm{S}^n)|.
\]
The {\it algebraic K-theory space}~$\mathbf{K}(\mathcal{V})=\Omega^\infty\mathbf{k}(\mathcal{V})$ of~$\mathcal{V}$ is the underlying (infinite loop) space. By Theorem~\ref{thm:group_completion}, there is always a canonical equivalence
\[
	\mathbf{K}(\mathcal{V})\simeq\Omega|\mathcal{V}(\mathrm{S}^1)|.
\]
In addition, there is also a canonical equivalence
\[
	\mathbf{K}(\mathcal{V})\simeq|\mathcal{V}(\mathrm{S}^0)|\simeq|\mathcal{V}|
\]
in the cases when the abelian monoid of isomorphism classes of~$\mathcal{V}$ is a group under~$\Box_\mathcal{V}$. This condition will be met in all the examples in this paper.

\subsection*{Functoriality}

We finally need to comment on the functoriality of this algebraic K-theory construction. We would like maps~$\mathbf{k}(\mathcal{V})\to\mathbf{k}(\mathcal{W})$ of spectra to be induced by certain functors~\hbox{$\mathcal{V}\to\mathcal{W}$}.
It is clear that this works straightforwardly for strict functors between symmetric monoidal categories. But, it is useful to observe that it suffices, for example, to have an {\it op-lax symmetric monoidal functor} that is {\it strictly unital}: this is a functor~$F\colon\mathcal{V}\to\mathcal{W}$ such that~$F(e_\mathcal{V})=e_\mathcal{W}$ holds, together with a natural transformation
\[
	\Phi\colon F(V\Box_\mathcal{V} V')\longrightarrow F(V)\Box_\mathcal{W} F(V')
\]
that commutes with the chosen associativity, unitality, and commutativity isomorphisms. Given such a strictly unital op-lax symmetric monoidal functor~$\mathcal{V}\to\mathcal{W}$, there is still an induced~$\Gamma$-functor~$\mathcal{V}(-)\to\mathcal{W}(-)$ between the associated~$\Gamma$-categories: It is defined on objects by the formula~$F_*(V,p)=(F(V),\Phi\circ F(p))$ that makes it clear how~$\Phi$ is used.

\section{Whitehead groups and Whithead spaces}\label{sec:Whitehead}

In this section, we will review just enough of Waldhausen's work on Whitehead spaces so that it will become clear how it inspired the definition of Brauer spaces to be given in the following Section~\ref{sec:Brauer_for_commutative_rings}.

A geometric definition of the Whitehead group of a space has been suggested by many people, see \cite{Stocker}, \cite{Eckmann+Maumary}, \cite{Siebenmann}, \cite{Farrell+Wagoner}, and \cite{Cohen}. We will review the basic ideas now. Ideally, the space~$X$ will be a nice topological space which has a universal covering, but it could also be a simplicial set if the reader prefers so. One considers finite cell extensions~(cofibrations)~$X\to Y$ up to homeomorphism under~$X$. An equivalence relation coarser than homeomorphism is generated by the so-called elementary extensions~\hbox{$Y\to Y'$}, or their inverses, the elementary collapses. By~\cite{Cohen:article}, this is the same as the equivalence relation generated by the simple maps. (Recall that a map of simplicial sets is {\it simple} if its geometric realization has contractible point inverses, see~\cite{Waldhausen+Jahren+Rognes}.) The sum of two extensions~$Y$ and~$Y'$ is obtained by glueing~$Y\cup_X Y'$ along~$X$, and~$X$ itself is the neutral element, up to homeomorphism. Not all elements have an inverse here, but those~$Y$ for which the structure map~$X\to Y$ is invertible (a homotopy equivalence) do. The abelian group of invertible extensions is called the {\it Whitehead group}~$\mathrm{Wh}(X)$ of~$X$.

The preceding description of the Whitehead group, which exactly parallels the description of the Brauer group given in the introduction, makes it clear that these are very similar constructions.

The Whitehead group~$\mathrm{Wh}(X)$ of a space~$X$, as described above, is actually a homotopy group of the Whitehead space. Let us recall from~\cite[Section 3.1]{Waldhausen:LNM} how this space can be constructed. We denote by~$\mathcal{C}_X$ the category of the cofibrations under~$X$; the objects are the cofibrations~$X\to Y$ as above, and the morphisms from~$Y$ to~$Y'$ are the maps under~$X$. The superscript~$f$ will denote the subcategory of finite objects, where~$Y$ is generated by the image of~$X$ and finitely many cells. The superscript~$h$ will denote the subcategory of the invertible objects, where the structure map is an equivalence. The prefix~$s$ will denote the subcategory of simple maps. Then there is a natural bijection
\begin{equation}\label{eq:Wh_is_a_group}
	\mathrm{Wh}(X)\cong\pi_0|s\mathcal{C}^{fh}_X|,
\end{equation}
see~\cite[3.2]{Waldhausen+Jahren+Rognes}.

The bijection~\eqref{eq:Wh_is_a_group} is an isomorphism of groups if one takes into account the fact that the category~$\mathcal{C}_X$ is symmetric monoidal: it has (finite) sums. This leads to a delooping of the space~$|s\mathcal{C}^{fh}_X|$. Because the abelian monoid~$\pi_0|s\mathcal{C}^{fh}_X|$ is already a group by~\eqref{eq:Wh_is_a_group}, Waldhausen deduces that there is a natural homotopy equivalence
 \begin{equation*}
	 |s\mathcal{C}^{fh}_X|\simeq|s\mathcal{C}^{fh}_X(\mathrm{S}^0)|\simeq\Omega|s\mathcal{C}^{fh}_X(\mathrm{S}^1)|,
\end{equation*}
see~\cite[Proposition 3.1.1]{Waldhausen:LNM}, and he calls~$|s\mathcal{C}^{fh}_X(\mathrm{S}^1)|$ the {\it Whitehead space} of~$X$. Thus, the Whitehead space of~$X$ is a path connected space, whose fundamental group is isomorphic to the Whitehead group~$\mathrm{Wh}(X)$ of~$X$.

\begin{remark}
One may find the convention of naming a space after its fundamental group rather odd, but the terminology is standard in geometric topology.
\end{remark}

Because the category~$s\mathcal{C}^{fh}_X$ is symmetric monoidal, the algebraic K-theory machine that we have reviewed in Section~\ref{sec:background} can be used to produce a spectrum, the {\it Whitehead spectrum} of~$X$, such that the Whitehead space is its underlying infinite loop space.

Since it has proven to be very useful in geometric topology to have Whitehead spaces and spectra rather than just Whitehead groups, will we now use the analogy presented in this Section in order to define Brauer spaces and spectra as homotopy refinements of Brauer groups.

\section{Brauer spectra for commutative rings}\label{sec:Brauer_for_commutative_rings}

In this section, we will complete the analogy between Brauer groups and Whitehead groups by defining Brauer spaces and spectra in nearly the same way as we have described the Whitehead spaces and spectra in the previous section. Throughout this section, the letter~$R$ will denote an ordinary commutative ring, and~\cite[Chapter II]{Bass} will be our standard reference for the facts used from Morita theory. See also~\cite{Bass+Roy}.

\subsection*{The categories~$\mathcal{A}_R$}

Let~$R$ be a commutative ring. Given such an~$R$, we will now define a category~$\mathcal{A}_R$. The objects are the associative~$R$-algebras~$A$. It might be useful to think of the associative~$R$-algebra~$A$ as a placeholder for the~$R$-linear category~$\mathcal{M}_A$ of right~$A$-modules. The morphisms~$A\to B$ in~$\mathcal{A}_R$ will be the~$R$-linear functors~\hbox{$\mathcal{M}_A\to\mathcal{M}_B$}. Composition in~$\mathcal{A}_R$ is composition of functors and identities are the identity functors, so that it is evident that~$\mathcal{A}_R$ is a category. In fact, the category~$\mathcal{A}_R$ is naturally enriched in spaces: The~$n$-simplices in the space of morphisms~\hbox{$A\to B$} are the functors~$\mathcal{M}_A\times[n]\to\mathcal{M}_B$. Here~$[n]$ denotes the usual poset category with object set~$\{0,\dots,n\}$ and standard order.

\begin{remark}\label{rem:higher_categories}
	It seems tempting to work in a setting where the morphism are given by bimodules instead of functors, as in~\cite[XII.7]{MacLane}. But, composition and identities are then given only up to choices, and this approach does not define a category in the usual sense. Compare Remark~\ref{rem:Street}.
\end{remark}

\subsection*{Decorated variants}

There are full subcategories~$\mathcal{A}^f_R$ and~$\mathcal{A}^h_R$ of~$\mathcal{A}_R$, defined as follows. Recall the following characterization of faithful modules from~\cite[IX.4.6]{Bass}.

\begin{proposition}\label{prop:bass}
	For finitely generated projective~$R$-modules~$P$, the following are equivalent.\\
	{\upshape(1)} The~$R$-module~$P$ is a generator of the category of~$R$-modules.\\
	{\upshape(2)} The rank function~$\mathrm{Spec}(R)\to\mathbb{Z}$ of~$P$ is everywhere positive.\\
	{\upshape(3)} There is a finitely generated projective~$R$-module~$Q$ such that~\hbox{$P\otimes_RQ\cong R^{\oplus n}$} for some positive integer~$n$.
\end{proposition}

The full subcategory~$\mathcal{A}^f_R$ consists of those~$R$-algebras~$A$ which, when considered as an~$R$-module, are finitely generated projective, and faithful in the sense of Proposition~\ref{prop:bass}.

An~$R$-algebra~$A$ is in the full subcategory~$\mathcal{A}^h_R$ if and only if the natural map
\begin{equation*}
	A\otimes_RA^\circ\longrightarrow\mathrm{End}_R(A)
\end{equation*}
is an isomorphism. We are mostly interested in the intersection
\begin{equation*}
	\mathcal{A}^{fh}_R=\mathcal{A}^f_R\cap\mathcal{A}^h_R.
\end{equation*}

\begin{remark}\label{rem:Azumaya}
	An~$R$-algebra~$A$ lies in the full subcategory~$\mathcal{A}^{fh}_R$ if and only if it is an Azumaya~$R$-algebra in the sense of~\cite{Auslander+Goldman}.
\end{remark}

While~$f$ and~$h$ refer to restrictions on the objects, and therefore define full subcategories, the prefix~$s$ will indicate that we are considering less morphisms: Morphisms~\hbox{$A\to B$} in~$s\mathcal{A}^{fh}_R$ are those functors~$\mathcal{M}_A\to\mathcal{M}_B$ which are~$R$-linear equivalences of categories: Morita equivalences.  For the higher simplices in~$s\mathcal{A}^{fh}_R$, we require that they codify natural isomorphisms rather than all natural transformations. This implies that the mapping spaces are nerves of groupoids. In particular, they satisfy the Kan condition.

\begin{remark}
By Morita theory, the~$R$-linear equivalences~$\mathcal{M}_A\to\mathcal{M}_B$ of categories are, up to natural isomorphism, all of the form~\hbox{$X\longmapsto X\otimes_AM$} for some invertible~$R$-symmetric~$(A,B)$-bimodule~$M$. And conversely, all such bimodules define equivalences.
\end{remark}

\subsection*{A symmetric monoidal structure}

A symmetric monoidal structure on~$\mathcal{A}_R$ and its decorated subcategories is induced by the tensor product
\begin{equation*}
	(A,B)\mapsto A\otimes_RB
\end{equation*}
of~$R$-algebras. The neutral object is~$R$. We note that the tensor product is not the categorical sum in~$\mathcal{A}_R$, because the morphisms in that category are not just the algebra maps.

\begin{proposition}\label{prop:pi0_is_a_group_1}
	With the induced multiplication, the abelian monoid~$\pi_0|s\mathcal{A}^{fh}_R|$ of isomorphism classes of objects is an abelian group.
\end{proposition}

\begin{proof}
	The elements of the monoid~$\pi_0|s\mathcal{A}^{fh}_R|$ are represented by the objects of the category~$s\mathcal{A}^{fh}_R$, and we have already noted that these are just the Azumaya algebras in the sense of~\cite{Auslander+Goldman}, see~Remark~\ref{rem:Azumaya}. Because each Azumaya algebra~$A$ satisfies~$A\otimes_RA^\circ\cong\mathrm{End}_R(A)$, we have~$[A]+[A^\circ]=[\mathrm{End}_R(A)]$ in~$\pi_0|s\mathcal{A}^{fh}_R|$, so that~$[A^\circ]$ is an inverse to~$[A]$ in~$\pi_0|s\mathcal{A}^{fh}_R|$ if there is a path from~$\mathrm{End}_R(A)$ to~$R$ in the category~$|s\mathcal{A}^{fh}_R|$. But, by Proposition~\ref{prop:bass}, we know that~$A$ is a finitely generated projective generator in the category of~$R$-modules, so that the~$R$-algebras~$\mathrm{End}_R(A)$ and~$R$ are Morita equivalent. This means that there exists an~$R$-linear equivalence, and this gives rise to a~$1$-simplex which connects the two vertices. This shows that  the monoid~$\pi_0|s\mathcal{A}^{fh}_R|$ is in fact a group.
\end{proof}

\begin{proposition}\label{prop:pi0_is_Brauer_1}
	The group~$\pi_0|s\mathcal{A}^{fh}_R|$ is naturally isomorphic to the Brauer group~$\mathrm{Br}(R)$ of the commutative ring~$R$ in the sense of~{\upshape\cite{Auslander+Goldman}}.
\end{proposition}

\begin{proof}
	The elements in both groups have the same representatives, namely the Azumaya algebras, and the multiplications and units are also agree on those. Thus, it suffices to show that the equivalence relations agree for both of them. The equivalence relation in the Brauer group is generated by the simple extensions, and the equivalence relation in~$\pi_0|s\mathcal{A}^{fh}_R|$ is generated by Morita equivalence.

	We have already seen in the preceding proof that simple extensions are Morita equivalent. Conversely, if an algebra~$A$ is Morita equivalent to~$R$, then~$A$ is isomorphic to~$\mathrm{End}_R(P)$ for some finitely generated projective generator~$P$ of the category of~$R$-modules, so that~$A$ is a simple extension of~$R$, up to isomorphism.
\end{proof}

\subsection*{Brauer spaces and spectra}

The following definition is suggested by Proposition~\ref{prop:pi0_is_Brauer_1}.

\begin{definition}
Let~$R$ be a commutative ring. The space
\begin{equation*}
	\mathbf{Br}(R)=|s\mathcal{A}^{fh}_R|
\end{equation*}
is called the {\it Brauer space} of~$R$.
\end{definition}

By Proposition~\ref{prop:pi0_is_Brauer_1}, there is an isomorphism
\begin{equation}\label{eq:pi_0_Br}
	\pi_0\mathbf{Br}(R)\cong\mathrm{Br}(R)
\end{equation}
that is natural in~$R$.

As described in Section~\ref{sec:background}, the symmetric monoidal structure on~$s\mathcal{A}^{fh}_R$ also gives rise to an algebraic K-theory spectrum.

\begin{definition}
	Let~$R$ be a commutative ring. The spectrum
	\begin{equation*}
		\mathbf{br}(R)=\mathbf{k}(s\mathcal{A}^{fh}_R)
	\end{equation*}
	is called the {\it Brauer spectrum} of~$R$.
\end{definition}

We will now spell out the relation between the Brauer space~$\mathbf{Br}(R)$ and the Brauer spectrum~$\mathbf{br}(R)$ in detail.

\begin{proposition}\label{prop:delooping_rings}
	 There are natural homotopy equivalences
	 \begin{equation*}
		\Omega^\infty\mathbf{br}(R)
		\simeq\Omega|s\mathcal{A}^{fh}_R(\mathrm{S}^1)|
		\simeq|s\mathcal{A}^{fh}_R(\mathrm{S}^0)|
		\simeq|s\mathcal{A}^{fh}_R|=\mathbf{Br}(R).
	\end{equation*}
\end{proposition}

\begin{proof}
As explained in Section~\ref{sec:background}, the first and third of these generally hold for symmetric monoidal categories, and the second uses the additional information provided by Proposition~\ref{prop:pi0_is_a_group_1}, namely that the spaces on the right hand side are already group complete.
\end{proof}

In particular, we also have natural isomorphisms
\[
	\pi_0\mathbf{br}(R)\cong\mathrm{Br}(R),
\]
of abelian groups, so that we can recover the Brauer group as the~$0$-th homotopy group of a spectrum. We will now determine the higher homotopy groups thereof.

\subsection*{Higher homotopy groups}

Let us now turn our attention to the higher homotopy groups of the Brauer space (or spectrum) of a commutative ring~$R$.

Recall that an~$R$-module~$M$ is called {\it invertible} if there is another~$R$-module~$L$ and an isomorphism~$L\otimes_RM\cong R$ of~$R$-modules. (We remark that, later on, the ring~$R$ might be graded, and then we will also have occasion to consider graded~$R$-modules, but we will also explicitly say so when this will be the case.) The {\it Picard groupoid} of a commutative ring~$R$ is the groupoid of invertible~$R$-modules and their isomorphisms. The realization~$\mathbf{Pic}(R)$ of the Picard groupoid can have only two non-trivial homotopy groups:
the group of components
\begin{equation}\label{eq:pi_0_Pic}
	\pi_0\mathbf{Pic}(R)\cong\mathrm{Pic}(R)
\end{equation}
is the Picard group~$\mathrm{Pic}(R)$ of~$R$. The fundamental groups of the Picard space~$\mathbf{Pic}(R)$ are all isomorphic to the group of automorphisms of the~$R$-module~$R$, which is the group~$\mathrm{GL}_1(R)$ of units in~$R$.
\begin{equation}\label{eq:pi_1_Pic}
	\pi_1(\mathbf{Pic}(R),R)\cong\mathrm{GL}_1(R)
\end{equation}
See~\cite[Cor on~p.~3]{Weibel:Azumaya}, for example.

The multiplication on the set of components comes from the fact that the Picard groupoid is symmetric monoidal with respect to the tensor product~$\otimes_R$. Since the isomorphism classes of objects form a group by~\ref{eq:pi_0_Pic}, this also implies that there is Picard spectrum~$\mathbf{pic}(R)$ such that~$\mathbf{Pic}(R)\simeq\Omega^\infty\mathbf{pic}(R)$, and there is a connected delooping
\[
	\mathrm{B}\mathbf{Pic}(R)\simeq\Omega^\infty\Sigma\mathbf{pic}(R)
\]
such that its homotopy groups are isomorphic to those of~$\mathbf{Pic}(R)$, but shifted up by one.

\begin{theorem}\label{thm:Pic_identification_rings}
	The components of~$\mathbf{Br}(R)$ are all equivalent to~$\mathrm{B}\mathbf{Pic}(R)$.
\end{theorem}

\begin{proof}
All components of an infinite loop space such as~$\mathbf{Br}(R)\simeq\Omega^\infty\mathbf{br}(R)$ have the same homotopy type.

Therefore, it suffices to deal with the component of the unit~$R$. But that component is the realization of the groupoid of~$R$-linear self-equivalences of the category~$\mathcal{M}_R$ and their natural isomorphisms. It remains to be verified that the space of~$R$-linear self-equivalences of the category~$\mathcal{M}_R$ and their natural isomorphisms is naturally equivalent to the Picard space~$\mathbf{Pic}(R)$.

On the level of components, this follows from Morita theory, see~\cite{Bass}. On the level of spaces, the equivalence is given by evaluation at the symmetric monoidal unit~$R$. In more detail, if~$F$ is an~$R$-linear equivalence from~$\mathcal{M}_R$ to itself, then~$F(R)$ is an invertible~$R$-symmetric~$(R,R)$-bimodule, and these are just the invertible~$R$-modules. If~$F\to G$ is a natural isomorphism between two~$R$-linear self-equivalences, this gives in particular an isomorphism~$F(R)\to G(R)$ betweem the corresponding two invertible~$R$-modules. This map induces the classical isomorphism on components, and the natural automorphisms of the identity are given by the units of~(the center of)~$R$, which are precisely the automorphisms of~$R$ as an~$R$-module.
\end{proof}

The preceding result implies the calculation of all higher homotopy groups of the Brauer space as a corollary. We note that a similar description and computation of the higher Whitehead groups of spaces is out of reach at the moment.

\begin{corollary}\label{cor:pis_of_Br(R)}
 If~$R$ is a commutative ring, then the Brauer space~$\mathbf{Br}(R)$ has at most three non-trivial homotopy groups:
\begin{gather*}
\pi_0\mathbf{Br}(R)\cong\mathrm{Br}(R),\\
\pi_1\mathbf{Br}(R)\cong\mathrm{Pic}(R),\\
\pi_2\mathbf{Br}(R)\cong\mathrm{GL}_1(R),
\end{gather*}
and the results for the Brauer spectrum~$\mathbf{br}(R)$ are the same.
\end{corollary}

\begin{proof}
	The first of these is the isomorphism~\eqref{eq:pi_0_Br}, and the second follows from the preceding theorem together with the isomorphisms~\eqref{eq:pi_0_Pic}. For the third, we only need to recall~\ref{eq:pi_1_Pic}: the fundamental groups of the Picard space~$\mathbf{Pic}(R)$ are all isomorphic to~$\mathrm{GL}_1(R)$. The final statement follows from the equivalence~$\mathbf{Br}(R)\simeq\Omega^\infty\mathbf{br}(R)$.
\end{proof}

We remark that Brauer spectra (and spaces) are rather special in the sense that not every~$2$-truncated connective spectrum is equivalent to the Brauer spectrum of a ring. This follows, for example, from the well-known fact that there is no commutative ring which has exactly five units, whereas there are clearly spaces and spectra such that their second homotopy group has order five.

\section{A scholion on the Azumaya complex}\label{sec:Duskin}

In this section, we will review some related work of Duskin and Street. Let again~$R$ be an ordinary commutative ring. In this case, Duskin, in~\cite{Duskin}, has built~a reduced Kan complex~$\mathbf{Az}(R)$, the {\it Azumaya complex}, with~$\pi_1\mathbf{Az}(R)$ isomorphic to the Brauer group of~$R$, with the group~$\pi_2\mathbf{Az}(R)$ isomorphic to the Picard group of~$R$, and with the group~$\pi_3\mathbf{Az}(R)$ isomorphic to the multiplicative group of units in~$R$.~(As~$\mathbf{Az}(R)$ is reduced, we may omit the base-point from the notation.) In fact, he hand-crafts the~$4$-truncation so that the homotopy groups work out as stated, and then he takes its~$4$-co-skeleton.

Here is a sketch of his construction. There is only one~$0$-simplex in~$\mathbf{Az}(R)$. It does not need a name, but it can be thought of as the commutative ring~$R$. We note that also our $s\mathcal{A}^{fh}_R(0_+)$ is the trivial category. The~$1$-simplices in the Azumaya complex~$\mathbf{Az}(R)$ are the Azumaya~$R$-algebras~$A$. (In particular, the degenerate~$1$-simplex is given by the~$R$-algebra~$R$ itself.) We note that these are precisely the objects in our category~\hbox{$s\mathcal{A}^{fh}_R(1_+)\simeq s\mathcal{A}^{fh}_R$}; but, the latter comes with higher homotopy information form the mapping spaces. Now a map $\partial\Delta^2\to\mathbf{Az}(R)$ corresponds to three Azumaya algebras $A_1$, $A_2$, and $A_{12}$, and the $2$-simplices in $\mathbf{Az}(R)$ with this given restriction are defined to be the~$R$-symmetric~$(A_{12},A_1\otimes_RA_2)$-bimodules $F$ which are invertible.~A suggestive notation is~\hbox{$F\colon A_{12}\Rightarrow A_1\otimes_RA_2$}. By Example~\ref{ex:gamma012}, these are essentially the objects of the category $s\mathcal{A}^{fh}_R(2_+)$, except for the fact that we are working with the actual equivalences defined by the bimodules. Now a map $\partial\Delta^3\to\mathbf{Az}(R)$ corresponds to four bimodules
\begin{align*}
	A_{123}&\Longrightarrow A_{12}\otimes_RA_3\\
	A_{123}&\Longrightarrow A_1\otimes_RA_{23}\\
	A_{12}&\Longrightarrow A_1\otimes_RA_2\\
	A_{23}&\Longrightarrow A_2\otimes_RA_3,
\end{align*}
and the $4$-simplices in $\mathbf{Az}(R)$ with this boundary are the isomorphisms $u$ between the two corresponding bimodules
\[
	A_{123}\Longrightarrow A_1\otimes_RA_2\otimes_RA_3
\]
that can be obtained by tensoring them in the two meaningful ways. Finally, the $4$-simplices of $\mathbf{Az}(R)$ are uniquely determined by their boundary, and their existence depends on a compatibility condition that we will not recall here.

\begin{remark}\label{rem:Street}
As already mentioned in~\cite{Duskin}, Street has described some catego\-ri\-cal structures underlying Duskin's construction. However, these were published only much later, in~\cite{Street}. Street considers the bicategory whose objects are~$R$-algebras, whose morphism~$M\colon A\to B$ are~$R$-symmetric~$(A,B)$-bimodules, and whose~$2$-cells~\hbox{$f\colon M\Rightarrow N$} are bimodule morphisms; vertical composition is composition of functions and horizontal composition of modules~$M\colon A\to B$ and~\hbox{$N\colon B\to C$} is given by tensor product~$M\otimes_B N\colon A\to C$ over~$B$. The tensor product~$A\otimes_R B$ of algebras is again an algebra, and this makes this category a monoidal bicategory. He then passes to its suspension, the one-object tricategory whose morphism bicategory is the category described before and whose composition is the tensor product of algebras. While this cannot, in general, be rigidified to a 3-category, there is a~$3$-equivalent~Gray category. The Gray subcategory of invertibles consists of the arrows~$A$ which are biequivalences, the~$2$-cells~$M$ which are equivalences, and the~$3$-cells~$f$ which are isomorphisms, so that the morphisms~$A$ are the Azumaya algebras, and the~$2$-cells are the Morita equivalences. The nerve of this Gray subcategory is Duskin's complex~$\mathbf{Az}(R)$.
\end{remark}

In this paper, we have chosen to present an approach that does not involve higher categories, at least none that do not have a well-defined composition. While one may argue that the loop space $\Omega\mathbf{Az}(R)$ would be equivalent to the Brauer space $\mathbf{Br}(R)$, the present direct construction seems to be more natural. It certainly seems rather artificial to realize the Brauer group as $\pi_1$ instead of $\pi_0$. In any case, our delooping~$|s\mathcal{A}^{fh}_R(\mathrm{S}^1)|$ provides for a space with such a $\pi_1$ as well, if so desired, see Proposition~\ref{prop:delooping_rings}. In fact, the general algebraic K-theory machinery used here yields arbitrary deloopings $|s\mathcal{A}^{fh}_R(\mathrm{S}^n)|$ without extra effort. This feature seems to be unavailable in the approach of Duskin and Street.

\section{Brauer spectra for structured ring spectra}\label{sec:Brauer_for_commutative_S-algebras}

We will now transfer the preceding theory from the context of commutative rings to the context of  structured ring spectra. There are many equivalent models for this, such as symmetric spectra~\cite{HSS} or~$\mathbb{S}$-modules~\cite{EKMM}, and we will choose the latter for the sake of concordance with~\cite{Baker+Richter+Szymik}. In Section~\ref{sec:Brauer_for_commutative_rings}, we have defined a Brauer space~$\mathbf{Br}(R)$ and a Brauer spectrum~$\mathbf{br}(R)$ for each commutative ring~$R$, starting from a category~$\mathcal{A}_R$ and its subcategory~$s\mathcal{A}^{fh}_R$. If now~$R$ denotes a commutative~$\mathbb{S}$-algebra, we may proceed similarly. Let us see how to define the corresponding categories.

\subsection*{The categories~$\mathcal{A}_R$}

Let~$\mathcal{A}_R$ denote the category of cofibrant~$R$-algebras and~$R$-functors between their categories of modules. This is slightly more subtle than the situation for ordinary rings, as the categories of modules are not just categories, but come with homotopy theories. In order to take this into
account, the model categories of modules will first be replaced by the simplicial categories obtained from them by Dwyer-Kan localization. We note that the categories of modules are enriched in the symmetric monoidal model category of~$R$-modules in this situation. This allows us to use the model structure from~\cite[Appendix A.3]{Lurie:HTT} on these. Then~$\mathcal{A}_R$ is again a simplicial category: The class of objects~$A$ is still discrete, and the space of morphisms~$A\to B$ is the derived mapping space of~$R$-functors~$\mathcal{M}_A\to\mathcal{M}_B$.

\subsection*{Decorated variants}

There is the full subcategory~$\mathcal{A}^f_R$, where~$A$ is assumed to satisfy the finiteness condition used in~\cite{Baker+Richter+Szymik}: it has to be faithful and dualizable as an~$R$-module.

Also, there is the full subcategory~$\mathcal{A}^h_R$, where we assume that the natural map
\begin{equation*}
	A\wedge_RA^\circ\longrightarrow\mathrm{End}_R(A)
\end{equation*}
is an equivalence. We are mostly interested in the intersection
\begin{equation*}
	\mathcal{A}^{fh}_R=\mathcal{A}^f_R\cap\mathcal{A}^h_R,
\end{equation*}
which consists precisely the Azumaya~$R$-algebras in the sense of~\cite{Baker+Richter+Szymik}. While~$f$ and~$h$ again refer to restrictions on the objects, the prefix~$s$ will indicate that we are considering only those~$R$-functors which are equivalences of simplicial categories, and their natural equivalences. The standard references for Morita theory in this context are~\cite{Schwede+Shipley} as well as the expositions~\cite{Schwede} and~\cite{Shipley}. Up to natural equivalence, the~$R$-equivalences are of the form~\hbox{$X\longmapsto X\wedge_AM$} for some invertible~$R$-symmetric~$(A,B)$-bimodule~$M$. Similarly, the higher simplices codify natural equivalences rather than all natural transformations. This ends the description of the simplicial category~$s\mathcal{A}^{fh}_R$. The following result describes one of its mapping spaces.

\begin{proposition}\label{prop:auto_R}
	The space of auto-equivalences of the category of~$R$-modules is naturally equivalent to the space of invertible~$R$-modules.
\end{proposition}

\begin{proof}
	This is formally the same as the corresponding result in the proof of Theorem~\ref{thm:Pic_identification_rings}. A map in one direction is given by the evaluation that sends an equivalence to its value on~$R$. On the other hand, given an invertible~$R$-module, the smash product with it defines an equivalence. Compare with~\cite[4.1.2]{Schwede+Shipley}.
\end{proof}

\subsection*{A symmetric monoidal structure}

A symmetric monoidal structure on~$\mathcal{A}_R$ and its subcategories is induced by the smash product
\begin{equation*}
	(A,B)\mapsto A\wedge_RB
\end{equation*}
of~$R$-algebras with neutral element~$R$. We note that this is not the categorical sum, as the morphisms in these categories are not just the algebra maps.

\begin{proposition}\label{prop:Br_is_a_group_2}
	With the induced multiplication, the abelian monoid~$\pi_0|s\mathcal{A}^{fh}_R|$ of isomorphism classes of objects is an abelian group, and this abelian group is isomorphic to the Brauer group~$\mathrm{Br}(R)$ of the commutative~$\mathbb{S}$-algebra~$R$ in the sense of~{\upshape\cite{Baker+Richter+Szymik}}.
\end{proposition}

\begin{proof}
	This is formally the same as the proofs of Proposition~\ref{prop:pi0_is_a_group_1} and Proposition~\ref{prop:pi0_is_Brauer_1}.
\end{proof}

\subsection*{Brauer spaces and spectra}

The following definition is suggested by Proposition~\ref{prop:Br_is_a_group_2}.

\begin{definition}
Let~$R$ be a commutative~$\mathbb{S}$-algebra. The space
\begin{equation*}
	\mathbf{Br}(R)=|s\mathcal{A}^{fh}_R|
\end{equation*}
is called the {\it Brauer space} of~$R$.
\end{definition}

By Proposition~\ref{prop:Br_is_a_group_2}, there is an isomorphism
\begin{equation}
	\pi_0\mathbf{Br}(R)\cong\mathrm{Br}(R)
\end{equation}
that is natural in~$R$.

As described in Section~\ref{sec:background}, the symmetric monoidal structure on~$s\mathcal{A}^{fh}_R$ also gives rise to an algebraic K-theory spectrum.

\begin{definition}
	Let~$R$ be a commutative~$\mathbb{S}$-algebra. The spectrum
	\begin{equation*}
		\mathbf{br}(R)=\mathbf{k}(s\mathcal{A}^{fh}_R)
	\end{equation*}
	is called the {\it Brauer spectrum} of~$R$.
\end{definition}

We will now spell out the relation between the Brauer space~$\mathbf{Br}(R)$ and the Brauer spectrum~$\mathbf{br}(R)$ in detail.

\begin{proposition}
	 There are natural homotopy equivalences
	 \begin{equation*}
		\Omega^\infty\mathbf{br}(R)
		\simeq\Omega|s\mathcal{A}^{fh}_R(\mathrm{S}^1)|
		\simeq|s\mathcal{A}^{fh}_R(\mathrm{S}^0)|
		\simeq|s\mathcal{A}^{fh}_R|=\mathbf{Br}(R).
	\end{equation*}
\end{proposition}

\begin{proof}
As explained in Section~\ref{sec:background}, the first and third of these generally hold for symmetric monoidal categories, and the second uses the additional information provided by Proposition~\ref{prop:Br_is_a_group_2}, namely that the spaces on the right hand side are already group complete.
\end{proof}

In particular, we also have natural isomorphisms
\[
	\pi_0\mathbf{br}(R)\cong\mathrm{Br}(R),
\]
of abelian groups, so that we can recover the Brauer group as the~$0$-th homotopy group of a spectrum. We will now determine the higher homotopy groups thereof.

\subsection*{A review of Picard spaces and spectra}

As for the Brauer space of a commutative ring, also in the context of structured ring spectra, there is a relation to the Picard groupoid of~$R$, and this will be discussed now.

Let~$R$ be a cofibrant commutative~$\mathbb{S}$-algebra. In analogy with the situation for discrete rings, it is only natural to make the following definition, compare~\cite[Remark~1.3]{Ando+Blumberg+Gepner}.

\begin{definition}
	The {\it Picard space}~$\mathbf{Pic}(R)$ of~$R$ is the classifying space of the Picard groupoid: the simplicial groupoid of invertible~$R$-modules and their equivalences.
\end{definition}

We note that the components of the Picard space are the equivalence classes of invertible~$R$-modules, and with respect to the smash product~$\wedge_R$, these components form a group, by the very definition of an invertible module. This is Hopkins' Picard group~$\mathrm{Pic}(R)$ of~$R$:
\begin{displaymath}
	\pi_0(\mathbf{Pic}(R))\cong\mathrm{Pic}(R).
\end{displaymath}
See for example~\cite{Strickland},~\cite{Hopkins+Mahowald+Sadofsky}, and~\cite{Baker+Richter} for more information about this group. In contrast to the case of discrete commutative rings, the Picard space of a commutative~$\mathbb{S}$-algebra is no longer $1$-truncated. There is an equivalence
\[
	\mathbf{Pic}(R)\simeq\mathrm{Pic}(R)\times\mathrm{B}\mathrm{GL}_1(R),
\]
where $\mathrm{B}\mathrm{GL}_1(R)$ is the classifying space for the units of $R$.

The Picard category is symmetric monoidal with respect to the smash product~$\wedge_R$. Therefore, as in the case of discrete rings, there is also a Picard spectrum~$\mathbf{pic}(R)$ such that~$\mathbf{Pic}(R)\simeq\Omega^\infty\mathbf{pic}(R)$, and there is a connected delooping
\[
	\mathrm{B}\mathbf{Pic}(R)\simeq\Omega^\infty\Sigma\mathbf{pic}(R)
\]
such that its homotopy groups are isomorphic to those of~$\mathbf{Pic}(R)$, but shifted up by one. We will see now that the Brauer spaces provide for another delooping that is typically non-connected.

\subsection*{Higher homotopy groups}

After this recollection, let us now see how the Picard spaces and spectra relate to the Brauer spaces and spectra defined above.

\begin{theorem}\label{thm:Pic_identification_S-algebras}
	If~$R$ is a commutative~$\mathbb{S}$-algebra, then the component of the neutral vertex~$R$ in the Brauer space~$\mathbf{Br}(R)$ is naturally equivalent (as an infinite loop space) to the classifying space of the Picard groupoid~$\mathbf{Pic}(R)$.
\end{theorem}

\begin{proof}
	The component of the neutral element~$R$ in~$\mathbf{Br}(R)=|s\mathcal{A}^{fh}_R|$ is equivalent to the classifying space of the automorphism group of $R$ in $s\mathcal{A}^{fh}_R$. By definition of that category, this is the group-like simplicial monoid of Morita self-equivalences of the category $\mathcal{M}_R$ of $R$-modules. The result now follows from Proposition~\ref{prop:auto_R}: this is equivalent to the simplicial groupoid of invertible $R$-modules, the Picard groupoid of $R$.
\end{proof}

\begin{corollary}\label{cor:Pic_identification}
	There are natural isomorphisms
	\begin{equation*}
		\pi_n\mathbf{Br}(R)\cong\pi_{n-2}\mathbf{Pic}(R)
	\end{equation*}
for~$n\geqslant2$,
\begin{equation*}
	\pi_n\mathbf{Br}(R)\cong\pi_{n-3}\mathrm{GL}_1(R)
\end{equation*}
for~$n\geqslant3$, and
\begin{equation*}
	\pi_n\mathbf{Br}(R)\cong\pi_{n-3}(R).
\end{equation*}
for~$n\geqslant4$.
\end{corollary}

\begin{proof}
	The first statement is an immediate consequence of the preceding theorem. The second follows from the first and the fact that the Picard space is a delooping of the space of units, and the last statement follows from the second and~$\pi_n\mathrm{GL}_1(R)\cong\pi_n(R)$ for~\hbox{$n\geqslant1$}.
\end{proof}

We note in particular that the Brauer space is~$2$-truncated in the case of an Eilenberg-Mac Lane spectrum. This will be used in~Section~\ref{sec:EM}.

\section{Functoriality}

In this section, we will see how functorality of the K-theory construction immediately leads to spacial and spectral versions of relative Brauer invariants as well as to a characteristic map that codifies the obstructions to pass from topological information about Eilenberg-Mac Lane spectra to algebra.

\subsection*{Relative invariants}\label{sec:relative}

In this section, we define relative Brauer spectra, as these are likely to be easier to compute than their absolute counterparts. We will focus on the case of extensions of commutative~$\mathbb{S}$-algebras, but the case of ordinary commutative rings is formally identical.

To start with, let us first convince ourselves that the construction of the Brauer space (or spectrum) is sufficiently natural.

\begin{proposition}\label{prop:naturality}
	If~$R\to S$ is a map of commutative~$\mathbb{S}$-algebras, then there is a map
	\begin{equation*}
		\mathbf{br}(R)\longrightarrow\mathbf{br}(S)
	\end{equation*}
	of Brauer spectra, and similarly for Brauer spaces.
\end{proposition}

\begin{proof}
	The map is induced by~$A\mapsto S\wedge_RA$. By~\cite[Proposition 1.5]{Baker+Richter+Szymik}, it maps Azumaya algebras to Azumaya algebras. It therefore induces functors between the symmetric monoidal categories used to define the Brauer spectra.
\end{proof}

If~$R\to S$ is a map of commutative~$\mathbb{S}$-algebras, then~$\mathbf{br}(S/R)$ and~$\mathbf{Br}(S/R)$ will denote the homotopy fibers of the natural maps in Proposition~\ref{prop:naturality}. We note that there is an equi\-valence~\hbox{$\mathbf{Br}(S/R)\simeq\Omega^\infty\mathbf{br}(S/R)$} of infinite loop spaces.

\begin{remark}\label{rem:Thomason}
Thomason's general theory of homotopy colimits of symmetric monoidal categories (\cite{Thomason:Aarhus} and \cite{Thomason:CommAlg}) might provide a first step to obtain a more manageable description of these relative terms.
\end{remark}

The defining homotopy fibre sequences lead to exact sequences of homotopy groups. Together with the identifications from Proposition~\ref{thm:Pic_identification_S-algebras} and Corollary~\ref{cor:Pic_identification}, these read
\begin{gather*}
	\dots\to\pi_2\mathbf{br}(S/R)\to\pi_0\mathrm{GL}_1(R)\to\pi_0\mathrm{GL}_1(S)\to
	\pi_1\mathbf{br}(S/R)\to	\mathrm{Pic}(R)\to\\
	\to\mathrm{Pic}(S)\to
	\pi_0\mathbf{br}(S/R)\to\mathrm{Br}(R)\to\mathrm{Br}(S)\to\pi_{-1}\mathbf{br}(S/R)\to0.
\end{gather*}

In~\cite[Definition 2.6]{Baker+Richter+Szymik}, the relative Brauer group~$\mathrm{Br}(S/R)$ is defined as the kernel of the natural homomorphism
$\mathrm{Br}(R)\to\mathrm{Br}(S)$.

\begin{proposition}\label{prop:relative_relation}
	The relative Brauer group~$\mathrm{Br}(S/R)$ is naturally isomorphic to the cokernel of the natural boundary map~$\mathrm{Pic}(S)\to\pi_0\mathbf{br}(S/R)$.
\end{proposition}

\begin{proof}
	This is an immediate consequence of the definition of~$\mathrm{Br}(S/R)$ as the kernel of the natural homomorphism~$\mathrm{Br}(R)\to\mathrm{Br}(S)$ and the long exact sequence above.
\end{proof}

\begin{remark}
	We note that the theory of Brauer spaces presented here also has Bousfield local variants, building on~\cite[Definition 1.6]{Baker+Richter+Szymik}, and that it might be similarly interesting to study the behavior of the Brauer spaces under variation of the localizing homology theory.
\end{remark}

\subsection*{Eilenberg-Mac Lane spectra}\label{sec:EM}

Let us finally see how the definitions of the present paper work out in the case of Eilenberg-Mac Lane spectra. Let~$R$ be an ordinary commutative ring, and let~$\mathrm{H} R$ denote its Eilenberg-Mac Lane spectrum. This means that we have two Brauer groups to compare:~$\mathrm{Br}(R)$ as defined in~\cite{Auslander+Goldman}, and~$\mathrm{Br}(\mathrm{H} R)$ as defined in~\cite{Baker+Richter+Szymik}, where there is also produced a natural homomorphism
\begin{equation}\label{eq:EMmap}
	\mathrm{Br}(R)\longrightarrow\mathrm{Br}(\mathrm{H} R)
\end{equation}
of groups, see~\cite[Proposition 5.2]{Baker+Richter+Szymik}. Using results from~\cite{Toen}, one can deduce that this homomorphism is an isomorphism if~$R$ is a separably closed field, because both sides are trivial, see~\cite[Proposition 5.5 and Remark 5.6]{Baker+Richter+Szymik}. In general, one may show that it is injective with a cokernel which is isomorphic to the product of~$\mathrm{H}^1_\mathrm{et}(R;\mathbb{Z})$ and the torsion-free quotient of~$\mathrm{H}^2_\mathrm{et}(R;\mathrm{GL}_1)$. See~\cite{Johnson} and~\cite[Remark 5.3]{Baker+Richter+Szymik}. In particular, the map is an isomorphism for all fields~$K$.

Using the spaces and spectra defined in~Section~\ref{sec:Brauer_for_commutative_rings} for~$R$ and in Section~\ref{sec:Brauer_for_commutative_S-algebras} for~$\mathrm{H} R$, the homomorphism~\eqref{eq:EMmap} of abelian groups can now be refined to a map of spectra.

\begin{proposition}\label{prop:EMmap_spectra}
There is a natural map
\begin{equation}\label{eq:EMmap_spectra}
	\mathbf{br}(R)\longrightarrow\mathbf{br}(\mathrm{H} R)
\end{equation}
of spectra that induces the homomorphism~\eqref{eq:EMmap} on components.
\end{proposition}

\begin{proof}
	This map is induced by the Eilenberg-Mac Lane functor~$\mathrm{H}\colon R\mapsto\mathrm{H} R$. It induces functors between the symmetric monoidal categories used to define the Brauer spectra.
\end{proof}

\begin{theorem}\label{prop:1-truncated}
	The homotopy fibre of the map~\eqref{eq:EMmap_spectra} is a~$0$-truncated spectrum. Its only non-trivial homotopy groups are~$\pi_0$ which is infinite cyclic, and~$\pi_{-1}$ which is isomorphic to the cokernel of the map~\eqref{eq:EMmap}, the product of~$\mathrm{H}^1_\mathrm{et}(R;\mathbb{Z})$ and the torsion-free quotient of~$\mathrm{H}^2_\mathrm{et}(R;\mathrm{GL}_1)$.
\end{theorem}

\begin{proof}
	If~$R$ is a commutative ring, then the natural equivalence
	\begin{displaymath}
		\mathrm{gl}_1(\mathrm{H} R)\simeq\mathrm{H}\mathrm{GL}_1(R)
	\end{displaymath}
	describes the spectrum of units of the Eilenberg-Mac Lane spectrum. It follows that~$\mathbf{br}(\mathrm{H} R)$ is~$2$-truncated. As~$\mathbf{br}(R)$ is always~$2$-truncated by Corollary~\ref{cor:pis_of_Br(R)}, so is the homotopy fibre. On~$\pi_2$, the map~\eqref{eq:EMmap_spectra} induces an isomorphism between two groups both isomorphic to the group of units of~$R$. On~$\pi_1$, the map~\eqref{eq:EMmap_spectra} is the map
\begin{equation}\label{eq:Pic_map}
	\mathrm{Pic}(R)\longrightarrow\mathrm{Pic}(\mathrm{H} R)
\end{equation}
induced by the Eilenberg-Mac Lane functor~$\mathrm{H}$. A more general map has been studied in~\cite{Baker+Richter}, where the left hand side is replaced by the Picard group of graded~$R$-modules, and then the map is shown to be an isomorphism. For the present situation, this means that~\eqref{eq:Pic_map} is a monomorphism with cokernel isomorphic to the group~$\mathbb{Z}$ of integral grades. On~$\pi_0$, the map~\eqref{eq:EMmap_spectra} induces the map~\eqref{eq:EMmap} by Proposition~\ref{prop:EMmap_spectra}. As has been remarked at the beginning of this section, this map is injective with the indicated cokernel. The result follows.
\end{proof}

K-Theory and Homology (math.KT); Algebraic Topology (math.AT)


Adding a point to configurations in closed balls

Abstract: We answer the question of when a new point can be added in a continuous way to configurations of $n$ distinct points in a closed ball of arbitrary dimension. We show that this is possible given an ordered configuration of $n$ points if and only if $n \neq 1$. On the other hand, when the points are not ordered and the dimension of the ball is at least 2, a point can be added continuously if and only if $n = 2$. These results generalize the Brouwer fixed-point theorem, which gives the negative answer when $n=1$. We also show that when $n=2$, there is a unique solution to both the ordered and unordered versions of the problem up to homotopy.

\section{Introduction}

	Let $\DD^m$ be the closed ball of dimension $m$, with $m \geq 1$. This paper answers the following basic question:
	\begin{quotation}

		\emph{Is there a continuous rule that adds a new distinct point to every configuration of $n$ distinct points in $\DD^m$?}
	\end{quotation}
	The challenge here is that the new point must be distinct from all of the existing ones, and it is not clear whether such a choice can be made continuously.

	\begin{exmp}[\textbf{Case $n=1$: Brouwer fixed-point theorem}]\label{ex:case1}
		Given one point in $\DD^m$, a continuous choice of a second distinct point can be thought of as a continuous function from the closed ball to itself with no fixed points. By the Brouwer fixed-point theorem \cite{Brouwer} no such continuous function exists, and therefore introducing a second distinct point continuously is impossible.
	\end{exmp}
	When extending the Brouwer fixed-point theorem to $n>1$, the question splits into two versions: either the $n$ points are given with an ordering $(p_1, \ldots, p_n)$, or the points instead form an unordered set. The first author addressed both versions of this question with respect to point configurations lying in the infinite plane, in the $2$-sphere, and in closed surfaces $S_g$ with $g \geq 2$ in \cite{Chen} and in her joint work with Salter \cite{CS}.

	It is perhaps surprising that having more points to avoid does not necessarily make the task of adding a point harder.

	\begin{exmp}[\textbf{Case $n=2$: midpoint}]\label{ex:case2}
		Given two distinct points in $\DD^m$, their midpoint provides a continuous way to introduce a third point, distinct from the existing two. In fact, in \S\ref{sec:n=2} we show that this midpoint construction is the unique way to add a point when $n=2$ up to homotopy.
	\end{exmp}

	Let us state more formally the problem of continuously adding a point to a configuration of $n$ points in $\DD^m$, which from here on will be abbreviated to $\DD$. Let $\PConf_{n}(\DD)$ denote the \emph{pure configuration space} of $n$ distinct ordered points in $\DD$, topologized as a subspace of $(\DD)^n$. A continuous map $\PConf_{n}(\DD)\to \DD$ is said to `add a point' if the image of every configuration $(p_1,\ldots,p_n)$ is a point $p_0$ distinct from all $p_i$ with $i\geq 1$. Equivalently, consider the map $g_{m,n}:\PConf_{n+1}(\DD)\to \PConf_{n}(\DD)$ that forgets the $0$th point $(p_0,p_1,\ldots,p_n)\mapsto (p_1,\ldots,p_n)$. The problem of continuously introducing a new point is precisely the question of finding a continuous section for $g_{m,n}$.

	Next, the symmetric group $\Sigma_n$ acts on ordered configurations by permuting the indices, and the quotient $\Conf_n(\DD):=\PConf_{n}(\DD)/\Sigma_n$ is the \emph{configuration space} of $n$ distinct unordered points. The map $g_{m,n}$ forgetting the point $p_0$ is $\Sigma_n$-equivariant and descends to a map $\bar{g}_{m,n}: \PConf_{n+1}(\DD)/\Sigma_n \to \Conf_{n}(\DD)$. With this, our problem of adding a point distinct from a given unordered set of $n$ points is the problem of finding a section for $\bar{g}_{m,n}$.

	The easy positive result for $n=2$ in Example \ref{ex:case2} suggests that the problem for larger $n$ might also have a solution. However, this is where the two versions of the problem part ways: the ordered version extends the $n=2$ case by admitting similar solutions, while the unordered version reverts back to the behavior at $n=1$.

	\begin{maintheorem}[\textbf{Ordered}]\label{theorem:yessection}
		In dimension $m \geq 1$ and with $n \geq 1$ points, the forgetful map $g_{m,n}$ has a section if and only if $n \neq 1$. That is, one \underline{can} continuously add a new point to an ordered configuration exactly when it consists of $2$ or more ordered points.
	\end{maintheorem}

	\begin{maintheorem}[\textbf{Unordered}]\label{theorem:nosection}
		In dimension $m \geq 2$ and with $n \geq 1$ points, the forgetful map $\bar{g}_{m,n}$ has a section if and only if $n=2$. That is, one \underline{cannot} continuously add a new point to an unordered configuration unless it consists of precisely $2$ unordered points.
	\end{maintheorem}

	As for the exceptional case of $n=2$,
	\begin{maintheorem}[\textbf{Uniqueness for} $n=2$]\label{thm:uniqueness}
		In every dimension $m\geq 1$, the midpoint construction of Example \ref{ex:case2} homotopically unique. That is, every section of $g_{m,2}$ or $\bar{g}_{m,2}$ is homotopic to the midpoint construction via a homotopy through sections.
	\end{maintheorem}

	Note that the case of points on a line segment ($m=1$) is excluded from Theorem \ref{theorem:nosection}. In this case, the unordered version coincides with the ordered one, as the points in an unordered configuration are nevertheless forced into a linear order. We may therefore add a point continuously to a configuration of $n$ points in $\DD^1$ as long as $n \neq 1$.

	Recasting Theorem \ref{theorem:nosection} as a direct generalization of Brouwer's fixed-point theorem one can say that, except for when $n=2$, every continuous map $f:\Conf_n(\DD) \rightarrow \DD$ has a `fixed point'. This is meant in the sense that there must exist some configuration $S=\{p_1,\ldots,p_n\}$ whose image under $f$ lies inside $S$.

	We remark that the negative results in Theorem \ref{theorem:nosection} contrasts with the analogous problem of introducing a new point to an unordered configuration of points in $\RR^m$ (or equivalently, on the \emph{open} ball). This latter problem always has a solution: add a point `at infinity', i.e., place it very far away from all the others  \cite{Chen}. Such a construction is of course not possible on the closed ball. However, since the configuration spaces of the open and closed balls are homotopy equivalent (see \S\ref{sec:unordered}), there is no purely homotopy theoretic obstruction to finding a section in the case of a closed ball. This means that a different approach is needed. Even more, many standard tools of algebraic topology fail in our context since the forgetful map $g_{m,n}$ is not a fibration: it has fibers of distinct homotopy types, depending on how many points lie on the boundary of the ball.

	\para{Outline} We treat the easy ordered version of the problem in \S\ref{sec:ordered} by briefly proving Theorem \ref{theorem:yessection}. The main argument of our proof of Theorem \ref{theorem:nosection} proceeds by contradiction. Any section of $\bar{g}_{m,n}$ induces an $\Sigma_n$-equivariant section of $g_{m,n}: \PConf_{n+1}(\DD) \to \PConf_{n}(\DD)$. Theorem \ref{theorem:nosection} is then proved by pulling back a cohomology class in two different ways and arriving at a contradiction. We conclude by proving Theorem \ref{thm:uniqueness} in \S\ref{sec:n=2}.

	\para{Acknowledgements} We thank Benson Farb and Dan Margalit for providing useful comments and for their continued encouragement and support. We also thank the anonymous referee for a number of suggestions that improved the paper. JL is supported by the NSF grant DGE-1650044.

	\section{Case of ordered configurations}
	\label{sec:ordered}

	In this section we prove Theorem \ref{theorem:yessection} by generalizing the midpoint construction of Example \ref{ex:case2}.

	\begin{proof}[Proof of Theorem \ref{theorem:yessection}]
		The case $n=1$ is covered by Example \ref{ex:case1}. Otherwise, fix $n\geq 2$. For any pair $(i,j)$ with {$1\leq i, j \leq n$ and $i\neq j$}, the line segment $[p_i,p_j]$ is contained within $\DD$. Let $v_{ij}:= p_j-p_i$ be the vector pointing from $p_i$ to $p_j$. Further, let $d_i:= \min{\{\lVert p_k-p_i \rVert  : k\neq i\}}$ be the minimal distance between $p_i$ and any other point in the configuration. One can then introduce a new point ``close" to $p_i$, lying at a distance ${d_i}/2$ from $p_i$ along the interval $[p_i,p_j]$: explicitly, $p_0 := p_i + \frac{d_i}{2\lVert v_{ij} \rVert}v_{ij}$. The added point $p_0$ is clearly distinct from all other points, and it depends on the configuration continuously since $d_i$ and $v_{ij}$ do so.
	\end{proof}

	We remark that the first author gave a prior classification of sections between configuration spaces (see the discussion preceding \cite[Theorem 1.1]{Chen}). Under this classification, the above construction of adding a point is of the type `add close to $p_i$'. Let us also call attention to the fact that the above construction relies on singling out two of the points, which cannot be done continuously in the unordered version of the problem when $n > 2$.

	\section{Case of unordered configurations}
	\label{sec:unordered}

	In this section we prove Theorem \ref{theorem:nosection}, which says that in dimension $m \geq 2$ there is no section of $\bar{g}_{m,n}$ except when $n=2$. We begin with a few preliminary observations.

	First, generators and relations for the integral cohomology ring of $\PConf_n(\RR^m)$ were produced by Arnol'd in dimension $m=2$ and by Cohen for general $m$ \cite{Arnold, cohen1988artin}. This cohomology ring is generated by classes
	\[
	G_{ab}\in \Ho^{m-1}(\PConf_n(\RR^m);\mathbb{Z})
	\]
	for distinct $1\leq a< b \leq n$, where the generator $G_{ab}$ measures the winding of point $a$ around point $b$.	The induced $\Sigma_n$-action is given by $\sigma^*(G_{ab})=G_{\sigma(a)\sigma(b)}$, where $G_{ba}=(-1)^m G_{ab}$.
	This description applies equally well to the closed ball as the following argument shows. Since $\RR^m$ is homeomorphic to the open unit ball $\BB$, their configuration spaces are also equivariantly homeomorphic. Then scaling by $0<t< 1$ gives a sequence of inclusions
	\[
	t\BB \subset t\DD \subset \BB \subset \DD
	\]
	with compositions isotopic to the identity. It follows that $\BB$ and $\DD$ have equivariantly homotopy equivalent configuration spaces, and in particular they have the same cohomology.

	Our second observation is that any section $\bar{s}$ of $\bar{g}_{m,n}$ for the unordered configuration spaces lifts to a $\Sigma_n$-equivariant section $s$ of $g_{m,n}$ for the ordered spaces. This follows from the lifting criterion for connected coverings.

	Third, we leverage the fact that an equivariant section $s$ of $g_{m,n}$ induces a solution to a related section problem where the configurations have the added restriction that the point $p_1$ is constrained to the boundary sphere. This solution gives us a map, whose pullback on cohomology we compute in two ways, leading to a contradiction. More precisely, let $\BB\subset \DD$ denote the interior of the closed ball and consider the subspace of $\PConf_{n}(\DD)$ in which only the $1$st point lies on the boundary sphere $S^{m-1}$:
	\[
	B^1_{n} := \{ (p_1,\ldots,p_n)\in \PConf_{n}(\DD) \mid p_1\in \partial \DD,\, (p_2,\ldots,p_n)\in \PConf_{n}(\BB) \} \cong S^{m-1}\times \PConf_{n-1}(\BB)
	\]
	Define $B^1_{n+1}\subseteq \PConf_{n+1}(\DD)$ similarly. Lastly, let $E^1_{n+1}$ denote the preimage $g_{m,n}^{-1}(B^1_n)$ and consider the inclusion $B^1_{n+1}\hookrightarrow E^1_{n+1}$. The difference between these two spaces is that in the larger space the additional point $p_0$ may lie on the boundary $\partial \DD$, while in the smaller space this is not allowed. Despite this apparent difference, we have the following.

	\begin{lem} \label{lem:B=E}
		The inclusion $B^1_{n+1}\hookrightarrow E^1_{n+1}$ is a homotopy equivalence.
	\end{lem}
	\begin{proof}
		Choosing an inward-pointing vector field that vanishes on the point $p_1\in \partial \DD$, one can push any other point into the interior of $\DD$. Explicitly, the vector field $-(p-p_1)$ on $\DD$ gives rise to a smooth vector field on $\PConf_{n+1}(\DD)$. Its flow produces an isotopy $\Phi^1_t$ such that for all $t>0$,
		\[
		\Phi^1_t(B^i_{n+1})\subset \Phi^1_t(E^i_{n+1}) \subset B^1_{n+1} \subset E^1_{n+1}
		\]
		thus establishing the homotopy equivalence.
	\end{proof}

	Consider the compatible projections onto the $1$st coordinate
	\[
	\xymatrix{
		B^1_{n+1} \ar[dr] \ar[d] _{g_{m,n}} & \\
		B^1_{n} \ar[r] & S^{m-1}.
	}
	\]
	Pulling back an orientation class $[S^{m-1}]\in \Ho^{m-1}(S^{m-1})$, we get a class $0\neq X_1\in \Ho^{m-1}(B^1_n)$ whose pullback will also be abusively denoted by $X_1\in \Ho^{m-1}(B^1_{n+1})$. These classes measure how many times the point $p_1$ wraps around the boundary sphere.

	\begin{lem} \label{lem:pullback}
		Under the inclusion $\iota: B^1_{n+1} \hookrightarrow \PConf_{n+1}(\DD)$ we have
		\[
		\iota^*(G_{1a}) = X_1 \text{ for all } 1<a
		\]
		and the class $G_{ab}$ for $1< a,b$ pulls back to $G_{ab}\in \Ho^{m-1}(\PConf_{n}(\BB))$. The same is true for $B^1_n\subseteq \PConf_{n}(\DD)$.
	\end{lem}

	Via the homotopy equivalence $B^1_{n+1}\simeq E^1_{n+1}$, we consider Lemma \ref{lem:pullback} as a statement about $E^1_{n+1}$ as well. In particular we shall keep the notation $X_1$ for the corresponding class in $\Ho^{m-1}(E^1_{n+1})$.

	\begin{proof}[Proof of Lemma \ref{lem:pullback}]
		These facts are geometrically obvious: the class $G_{ab}$ is pulled back from $S^{m-1}$ under the `Gauss map', sending a configuration to the direction vector from $p_a$ to $p_b$. When $1< a,b$, this Gauss map factors through the projection $B^1_{n+1} \to \PConf_{n}(\BB)$, as claimed.

		Otherwise, if $1< a$ then since $p_1$ lies on the boundary and $p_a$ is internal, the Gauss map is homotopic to a map in which $p_a$ is fixed at the origin. But when $p_a=0$ the Gauss map coincides with the projection which records only $p_1$.
	\end{proof}

	With these facts in hand, we can now complete our proof.
	\begin{proof}[Proof of Theorem \ref{theorem:nosection}]
		Let $m \geq 2$. If $n=1$, we have no section by Example \ref{ex:case1}. If $n=2$, we have a section by Example \ref{ex:case2}.  Otherwise, let $n \geq 3$. Assume that $\bar{s}$ is a section of $\bar{g}_{m,n}$ and let $s$ be its $\Sigma_n$-equivariant lift to a section of $g_{m,n}$. The assumption that $s$ is a section forces $s(B^1_n) \subseteq E^1_{n+1}$, thus it restricts to a section $s':B^1_n \to E^1_{n+1}$ of $g_{m,n}$. From this one observes that $(s')^* X_1=X_1$. Let us show that this leads to a contradiction.

		Since the classes $G_{ab}$ span $\Ho^{m-1}(\PConf_{n}(\DD);\mathbb{Z})$, there is an expansion
		\[
		s^*(G_{01}) = \sum_{1<a\leq n} \lambda_{a}G_{1a} + \sum_{1< a< b \leq n}\delta_{ab} G_{ab}
		\]
		for some integer coefficients. Equivariance implies that a permutation $\sigma\in \Sigma_n$ fixing $1$ will preserve this expansion, and therefore $\lambda_a = \lambda_b$ for all $1<a<b\leq n$. Denote this constant value by $\lambda$. Similarly, it also follows that all $\delta_{ab}$ must be equal, say to the constant $\delta$. We thus get
		\begin{equation}\label{eq:expansion}
		s^*(G_{01}) = \lambda \sum_{1<a\leq n} G_{1a} + \delta \sum_{1<a<b\leq n} G_{ab}.
		\end{equation}

		Next, we have a commutative diagram
		\[
		\xymatrix{
			E^{1}_{n+1} \ar[r]^{\iota\qquad} & \PConf_{n+1}(\DD) \\
			B^1_{n} \ar[u] ^{s'} \ar[r]^{\iota\qquad} & \PConf_{n}(\DD) \ar[u] ^s
		}
		\]
		through which the pullback of the class $G_{01}\in \Ho^{m-1}(\PConf_{n+1}(\DD))$ along the two different paths must agree. Pulling it back through the top-left corner,
		\[
		G_{01} \overset{\iota^*}\longmapsto X_1 \overset{(s')^*}\longmapsto X_1.
		\]
		But pulling back through the bottom right corner, one first applies $s^*$ for which we have the expansion \eqref{eq:expansion}. Since the restriction of $G_{ab}$ with $1<a,b$ to $B^1_n$ gives the class $G_{ab}$ again and each $G_{1a}$ restricts to $X_1$, we obtain the following:
		\[
		\iota^*s^*(G_{01})=\lambda(n-1)X_1+\delta \sum_{1<a<b\leq n} G_{ab}.
		 \]
		The above equation has to be equal to the pulling back from the top-left corner, which is $X_1$. But since the K\"{u}nneth formula for the product $B^1_n \cong S^{m-1}\times \PConf_{n-1}(\BB)$ implies that $X_i$ is linearly independent from the other classes $G_{ab}$, such an equality is possible only if $\delta=0$ and $\lambda(n-1)=1$. But $\lambda$ is an integer and $n > 2$ which gives a contradiction.
	\end{proof}

	\section{Uniqueness of the midpoint construction for $n=2$}
	\label{sec:n=2}

	We now show that the midpoint section from Example \ref{ex:case2} is unique up to a homotopy through sections.

	\begin{proof}[Proof of Theorem \ref{thm:uniqueness}]
		Let us denote the midpoint section by $M:\PConf_2(\DD)\to \PConf_{3}(\DD)$ and suppose that $s$ is another section of $g_{m,2}$, possibly $\Sigma_2$-equivariant. We construct a homotopy between $s$ and $M$ through sections, such that if $s$ was equivariant then so will be the homotopy.

		If for every configuration $s(p_1,p_2)=(p_0,p_1,p_2)$, the added point $p_0$ lies either between $p_1$ and $p_2$ or off of the line connecting them, then the straight-line homotopy $H_t:= (1-t)s+tM$ demonstrates the claim. With this, the uniqueness problem is reduced to finding a homotopy to a section possessing this property.

		The idea goes as follows. Given a configuration $(p_1,p_2)$ we let the points repel each other, moving outwards along the line connecting them until they hit the boundary. By applying the section $s$ to this motion, one gets a path of configurations of $3$ points, where at the end of the process we have $p_1$ and $p_2$ on the boundary and $p_0$ somewhere in $\DD$. Thus if $p_0$ is on the line containing $p_1$ and $p_2$, it must lie between them. On such a configuration one can perform the straight-line homotopy to the midpoint. However, to remain within sections of $g_{m,2}$, we must apply the aforementioned process while globally scaling $\DD$ down so that overall the points $p_1$ and $p_2$ do not move.

		Now more explicitly, for any configuration $c = (p_1,p_2)$, let $L^c$ be the straight line passing through it. Then $L^c$ intersects $\partial\DD$ at two distinct points $q_1$ and $q_2$, labeled so that $q_i$ is closer to $p_i$. Let $x^c$ be the unique point on the line $L^c$ from which the ratios of $\| q_i-x_c \|$ to $\| p_i-x_c \|$ are equal for $i=1,2$, and denote this common ratio by $r^c$. Then the isotopy
		\[
		h_t^c:v\mapsto ((1-t)+r^c t)(v-x^c) +x^c
		\]
		is a scaling of $\RR^m$ out from $x^c$ at a linear rate, and $h_0^c = \operatorname{Id}$ while $h_1^c: p_i\mapsto q_i$ for $i=1,2$. Note that since $h^c_t$ is scaling out from a point inside $\DD$, the image of $\DD$ contains $\DD$ at every time $t$.

		Now, since $h^c_t$ and $(h^c_t)^{-1}$ are injective, they induce $\Sigma_n$-equivariant isotopies of the configuration spaces $(H^c_t)^{\pm 1}:\PConf_{n}(\RR^m)\to \PConf_{n}(\RR^m)$ by applying them to a configuration diagonally.  Lastly, it is clear that $H^c_t(p_1,p_2)$ is contained in $\DD$ at all times $0\leq t \leq 1$, and that everything in sight depends on $c$ continuously (even algebraically).

		A homotopy through sections is then given by
		\[
		s_t(c) := (H^c_t)^{-1}\circ s \circ H^c_t(c)
		\]
		This map acts by expanding the ball, using $s$ to add a point at every time $t$ and then contracting the ball back -- thus producing a path of configurations in which $(p_1,p_2)$ never moves. The section $s_1$ has the property that allows us to connect it to $M$ by a straight-line homotopy.

		Lastly, if $s$ was $\Sigma_2$-equivariant, then $s_t$ is a composition of equivariant maps and is thus itself equivariant.\end{proof}


Geometric Bounds for Favard Length

Abstract: Given a set in the plane, the average length of its projections over all directions is called Favard length. This quantity measures the size of a set, and is closely related to metric and geometric properties of the set such as rectifiability, Hausdorff dimension, and analytic capacity. In this paper, we develop new geometric techniques for estimating Favard length. We will give a short geometrically motivated proof relating Hausdorff dimension to the decay rate of the Favard length of neighborhoods of a set. We will also show that the sequence of Favard lengths of the generations of a self-similar set is convex; this has direct applications to giving lower bounds on Favard length for various fractal sets.

\section{Introduction}
Given a set $E$ in the plane, its Favard length is the average
$$\operatorname{Fav}(E) = \int_0^{2\pi} |\pi_{\theta} E|\, d\theta$$
where $\pi_{\theta}$ is orthogonal projection onto a line $L_{\theta}$ through the origin at angle $\theta$ to the positive $x$-axis, and $|.|$ is the length measure within the line $L_{\theta}$. This quantity is comparable to the Buffon needle probability of the set $E$; this is the probability that a needle dropped near the set $E$ passes through it.

The Favard length of a set carries a great deal of metric and geometric information about the set. It is deeply related to rectifiability; Bescovitch proved in \cite{Bes39} that a set with positive and finite length is purely unrectifiable if and only if it has Favard length zero. In such a case, we know that the Favard lengths of the $r$-neighborhoods of $E$ (that is, the set $E(r)$ of points of distance no more than $r$ from $E$) must tend to zero as $r$ does. The exact rate of decay is another measure of the size of a set, and is related to Minkowski dimension. It is also conjectured that Favard length is controlled by analytic capacity in many circumstances.

In this paper, we will give geometrically motivated proofs for various properties of Favard length. First, we will reprove a result of Mattila from \cite{Mat90} that connects the decay rate of the Favard lengths of the neighborhoods of a set with the Hausdorff dimension of the underlying set:
\begin{theorem*}
Fix $s \in (0, 1)$ and suppose that $E \subseteq \mathbb{R}^2$ is measurable, and $A \subseteq S^1$ is measurable with positive (arc-length) measure. Suppose there exists a sequence of scales $r_n \to 0$ such that
$$\int_A \left|\pi_{\theta} \left(E(r_n)\right) \right| \, d\theta \le Cr_n^{s}$$
for some $C < \infty$. Then $\operatorname{dim}_{\mathcal{H}} E \le 1 - s$.
\end{theorem*}
The original proof of this theorem relies on potentials and estimates of the energy of a measure; we will prove this result here with a direct geometric argument.

In the next section, we will show how self-similarity leads to new and useful properties of the sequence of Favard lengths. In particular, we will show that:
\begin{theorem*}
Suppose that $\{A_n\}_{n \in \mathbb{N}}$ is a sequence of sets such that $A_{n + 1} \subseteq A_{n}$ for all $n$, that each generation can be written as a union
$$A_{n + 1} = \bigcup_{i = 1}^N r_{i} A_n + \beta_{i}$$
for some fixed set of contraction ratios $r_i > 0$, and that $\sum_{i} r_{i} = 1$. Then for each $\theta$, the sequence $\{|\pi_{\theta} A_n|\}_{n \in \mathbb{N}}$ is convex.
\end{theorem*}
Note that since the sum of contraction ratios is $1$, the sequence of sets converges to an attractor which is a self-similar set of Hausdorff dimension at most $1$ (and if the similitudes satisfy the open set condition, it has Hausdorff dimension equal to $1$). See, e.g., Chapter 4 of \cite{Mat95} for more details.

Convexity gives a powerful constraint on the decay rate of Favard lengths: the decay within the first few generations controls the decay until much later stages. In particular, it is very easy to recover the result that:
\begin{corl*}
If $\mathcal{K}_n$ is the $n$-th generation of the four-corner Cantor set, then $\operatorname{Fav}(\mathcal{K}_n) \gtrsim 1/n$.
\end{corl*}

Before we begin the proofs, we first define some notation. Given a set $A$, we will denote its Lebesgue measure by $|A|$; depending on the context, this could mean the Lebesgue measure within a line, or area measure in the plane, or arc-length measure in the circle. If it is clear from context which one of these is meant, we will not specify.

\section{Dimension and Favard Length}
In this section, we will prove that sufficiently quick decay of Favard length of neighborhoods of a set controls the Hausdorff dimension of the set. For a set $E$ in some Euclidean space and $r > 0$, we denote the $r$-neighborhood of $E$ by
$$E(r) = \{x : \operatorname{dist}(x, E) < r\}.$$
The decay rate of the Lebesgue measure of $E(r)$ as $r \to 0$ is connected with the Minkowski dimension of the underlying set, as well as other notions of size. Our main result is a new proof of the following theorem:
\begin{theorem}
Fix $s \in (0, 1)$ and suppose that $E \subseteq \mathbb{R}^2$ is measurable, and $A \subseteq S^1$ is measurable with positive (arc-length) measure. Suppose there exists a sequence of scales $r_n \to 0$ such that
$$\int_A \left|\pi_{\theta} \left(E(r_n)\right) \right| \, d\theta \le Cr_n^{s}$$
for some $C < \infty$. Then $\operatorname{dim}_{\mathcal{H}} E \le 1 - s$.
\end{theorem}

The contrapositive of this theorem appeared in \cite{Mat90} at the level of measure; here, it is only at the level of dimension. Mattila's argument relies on studying the energy of a measure; here, we use a direct geometric argument. The previous proof relies on being able to find a measure supported on the set that satisfies certain decay conditions, which is guaranteed for compact sets by Frostman's lemma. Our technique has the advantage of avoiding questions of the existence of such a measure, so we do not need any additional topological assumptions about the set.

\begin{proof}
We proceed in three steps. First, we need to find a particular direction where the projection $\pi_{\theta} E$ has full dimension while simultaneously having almost sufficiently quick decay of $|\pi_{\theta} E(r_n)|$. Secondly, we will use a H\"older inequality to control the sum of lengths over a natural cover on the projection side; this gives control on the Hausdorff measure of the projection. Finally, we tighten the bounds by adjusting exactly how quickly $|\pi_{\theta} E(r_n)|$ decays. Note that we do not need to differentiate between the sets $\pi_{\theta} (E(r))$ and $(\pi_{\theta} E)(r)$ (that is, the neighborhood of a projection within a line); they are equal.

First, note that $E$ has Hausdorff dimension at most $1$; otherwise, a result of Marstrand in \cite{Mar54}, Chapter II, would imply that $\operatorname{Fav}(E) > 0$, contradicting that $\operatorname{Fav}(E) \le \operatorname{Fav}(E(r_n)) \le r_n^{1 - s} \to 0$. (Of course, this follows from Mattila's work in \cite{Mat90} or Chapter 9 of \cite{Mat95}; however, we are trying to avoid the use of potentials). For each $n$, we can consider a set of angles
$$A_n = \left\{\theta \in A : \operatorname{dim}_{\mathcal{H}}(\pi_{\theta} E) = \operatorname{dim}_{\mathcal{H}} E \text{ and } |\pi_{\theta} E(r_n)| \le r_n^{s - \epsilon}\right\}.$$
The first condition holds for almost all $\theta$; this also follows from Chapter II of \cite{Mar54}. Secondly, since $\int_A |\pi_{\theta} E(r_n)| \le C r_n^s$, we can estimate the size of the exceptional set $A_n^c$ by
$$|A \cap A_n^c| \le C r_n^{\epsilon}.$$
Passing to a subsequence of scales (which we also denote as $r_n$) if necessary, we can assume that $\sum_n |A \setminus A_n| < |A|$; thus, there exists an angle $\varphi \in \bigcap_n A_n$. In particular, $\pi_{\varphi} E$ has Hausdorff dimension equal to that of $E$ itself.

Next, we will control the Hausdorff measure of $\pi_{\varphi} E$ at dimensions a little above $s$. Note that $\pi_{\varphi} E(r_n)$ consists of a union of disjoint intervals $I_{n, k}$, each having length at least $2 r_n$. This forms a natural cover of $\pi_{\varphi}(E)$. We can estimate the number of intervals in the cover via
$$r_n^{s - \epsilon} \ge |\pi_{\varphi} E(r_n)| = \sum_k |I_{n, k}|$$
Using that $|I_{n, k}| \gtrsim r_n$, we can rearrange this to find that there are at most $r_n^{s - \epsilon - 1}$ such intervals. We are now in a position to estimate sums of the form $\sum_k |I_{n, k}|^p$ for $p \in (0, 1)$. A direct application of H\"older's inequality shows that if $p \in (0, 1)$, $q$ satisfies $1/p - 1/q = 1$, and $\mu$ is any measure,
$$\int fg \, d\mu \ge \left(\int f^p \, d\mu\right)^{1/p} \left(\int g^{-q} \, d\mu \right)^{-1/q}$$
holds for measurable functions. Taking this with counting measure, we find that
\begin{align*}
r_n^{s - \epsilon} &\ge \sum_k |I_{n, k}| \\
&\ge \left(\sum_k |I_{n, k}|^p\right)^{1/p} \left(\sum_k 1^{-q}\right)^{-1/q} \\
&\gtrsim \left(\sum_k |I_{n, k}|^p\right)^{1/p} \left(r_n^{s - \epsilon - 1}\right)^{-1/q}
\end{align*}
Rearranging this leads to
$$\left(\sum_k |I_{n, k}|^p\right)^{1/p} \lesssim r_n^{s - \epsilon + \frac 1 q(s - \epsilon - 1)}.$$
The exponent can be simplified as
$$\left(1 + \frac 1 q\right)(s - \epsilon) - \frac 1 q = \frac{1}{p} \left(s - \epsilon - (1 - p)\right).$$
As long as $s - \epsilon - (1 - p) \ge 0$, we can give a uniform upper bound on $\sum_k |I_{n, k}|^p$; this works provided that $p \ge 1 - s + \epsilon$. Furthermore, one can see that each $I_{n, k}$ has radius no larger than $r_n^{s - \epsilon}$, which tends to zero as $n$ grows. Combining these observations leads to
$$\mathcal{H}^{1 - s + \epsilon}\left(\pi_{\varphi} E\right) < \infty.$$
so that $\operatorname{dim}_{\mathcal{H}} \pi_{\varphi}(E) \le 1 - s + \epsilon.$

Finally, take a smaller $\epsilon$ and rerun the argument with a (potentially) new choice of $\varphi$. Taking a sequence $\epsilon_m \to 0$, we then get a sequence $\varphi_m$ of angles and
$$\operatorname{dim}_{\mathcal{H}} E = \operatorname{dim}_{\mathcal{H}} \pi_{\varphi}(E) \le 1 - s + \epsilon_m \to 1 - s.$$
This is the desired bound on dimension.
\end{proof}

\section{Self-similar Sets}
In this section, we will show how self-similarity can be used to give lower bounds on the Favard length, as well as control the behavior of the sequence of projection lengths. Our result is

\begin{theorem}
Suppose that $\{A_n\}_{n \in \mathbb{N}}$ is a sequence of sets such that $A_{n + 1} \subseteq A_{n}$ for all $n$, that each generation can be written as a union
$$A_{n + 1} = \bigcup_{i = 1}^N r_{i} A_n + \beta_{i}$$
for some fixed set of contraction ratios $r_i > 0$, and that $\sum_{i} r_{i} = 1$. Then for each $\theta$, the sequence $\{|\pi_{\theta} A_n|\}_{n \in \mathbb{N}}$ is convex.
\end{theorem}

\begin{proof} Let us define $E_{n, \theta} = \pi_{\theta} A_n$; note that on the projection side, $E_{n, \theta}$ is also self-similar and is generated by similitudes of the form $T_i : x \mapsto r_i x + \pi_{\theta} \beta_i$, where $x$ is measured within the line $L_{\theta}$. We then have
\begin{align*}
\alpha_n(\theta) - \alpha_{n + 1}(\theta) &= |E_{n, \theta}| - |E_{n + 1, \theta}| \\
&= |E_{n, \theta} \setminus E_{n + 1, \theta}| \\
&= \left|\bigcup_{i = 1}^N T_i(E_{n - 1, \theta}) \setminus \bigcup_{j = 1}^N T_j(E_{n, \theta})\right| \\
&\le \left|\bigcup_{i = 1}^N \big(T_i(E_{n - 1, \theta}) \setminus T_i(E_{n, \theta})\big) \right| \\
&= \left|\bigcup_{i = 1}^N T_i(E_{n - 1, \theta} \setminus E_{n, \theta})\right| \\
&\le \sum_{i = 1}^N r_i |E_{n - 1, \theta} \setminus E_{n, \theta}| \\
&= \alpha_{n - 1}(\theta) - \alpha_n(\theta).
\end{align*}
where we have used that $\{E_n\}_{n \in \mathbb{N}}$ is a decreasing sequence of sets, that each $T_i$ is a contraction by $r_i$ along with a translation, and that $\sum_i r_i = 1$. Rearranging this, we find that $$\alpha_n(\theta) \le \frac{\alpha_{n - 1}(\theta) + \alpha_{n + 1}(\theta)}{2}$$
which is the desired result.
\end{proof}

As a corollary, we can easily deduce lower bounds on the Favard length of the four-corner Cantor set. Recall that the generations of this set are constructed by taking $\mathcal{K}_0 = [0, 1]^2$; then $\mathcal{K}_n$ is constructed by taking each square in $\mathcal{K}_{n - 1}$, dividing it into four sections horizontally and vertically, and taking the four subsquares at the corners.  The result is a family of $4^n$ squares of sidelength $4^{-n}$ each. Alternatively, the set is generated by the similitudes $f_i(z) = \frac 1 4 z + \beta_i$, with $\{\beta_i : 1 \le i \le 4\} = \{(0, 0), (0, 3/4), (3/4, 0), (3/4, 3/4)\}$. We have the following result:

\begin{corl}
The Favard lengths of the generations of the four-corner Cantor set satisfy $\operatorname{Fav}(\mathcal{K}_n) \gtrsim \frac 1 n$.
\end{corl}

\begin{proof}
Fix $n \in \mathbb{N}$. Note that if we take $\theta^* = \arctan 1 / 2$, the projection $\pi_{\theta^*}$ maps the four components of $\mathcal{K}_1$ to four intervals that only overlap on the boundaries (and therefore, $\pi_{\theta} \mathcal{K}_n$ is the same interval for all $n$, as an application of self-similarity). Therefore, $\alpha_0(\theta^*) - \alpha_1(\theta^*) = 0$. Furthermore, $\theta \mapsto \alpha_0(\theta) - \alpha_1(\theta)$ is piecewise $C^1$ and the derivative is bounded by $10$ (which follows from a direct computation of the function $\alpha_0 - \alpha_1$). Hence, there is an interval $I_n$ of length $\frac{1}{20n}$ centered at $\theta^*$ such that
$$0 \le \alpha_0(\theta) - \alpha_1(\theta) \le \frac{1}{2n}$$
for all $\theta$ in the interval. Applying convexity iteratively leads to $\alpha_n(\theta) \ge \frac 1 2$ for all $\theta \in I_n$, and so
$$\operatorname{Fav}(\mathcal{K}_n) \ge \int_{I_n} \alpha_n(\theta) \, d\theta \ge \frac 1 {40n}$$
as desired.
\end{proof}

Note that the key idea here is that there is a special angle at which the projection acts (more or less) bijectively on components. It follows that this technique is applicable to a broad class of self-similar sets with such an angle - the Sierpinski gasket is another important example. One hopes that tightening the losses of this technique would be sufficient to improve the estimate past $1/n$; it was proved in \cite{BatVol08} that the Favard length of $\mathcal{K}_n$ is actually at least $c \ln n / n$.

It is worth mentioning that the function $n \mapsto |E(4^{-n})|$ is not generally convex without the self-similarity assumption. For example, the set $$\{0, 1/4, 1/2, 3/4, ..., 100\}$$ (or a small neighborhood of it) serves as a counterexample. A modification of this example (using ever finer lattices around carefully selected points in the set), one can find examples where $n \mapsto |E(4^{-n})|$ is neither eventually convex nor eventually concave. Rather, the sequence exhibits ``see-saw'' behavior as it decays to zero.

Geometric Bounds for Favard Length