\section{Introduction}\label{SIntroduction}
Suppose that \Sphere/ is the sphere spectrum and \Math{\mathbb{I}}/ its Brown-Comenetz
dual. The Spanier-Whitehead dual $\Dual\Math{\mathbb{S}} X$ of a spectrum $X$
is defined to be the mapping spectrum $\operatorname{Map}(X,\Sphere)$, while the
Brown-Comenetz dual $\Dual\Math{\mathbb{I}} X$ is the spectrum $\operatorname{Map}(X,\Math{\mathbb{I}})$.  
These are very different from one another: for instance, Spanier-Whitehead duality
behaves well on homology (if $X$ is finite then
$H_i(\Dual\Math{\mathbb{S}} X)\cong H^{-i}X$), while Brown-Comenetz duality
behaves well on homotopy ($\pi_i(\Dual\Math{\mathbb{I}}
X)\cong\operatorname{Hom}(\pi_{-i}X,\Math{\mathbb{Q}}/\Math{\mathbb{Z}})$).

Nevertheless, Gross and Hopkins \cite{rHopkinsGross} have proved that
in some localized stable homotopy situations, the appropriate version
of Spanier-Whitehead
duality  nearly coincides with
Brown-Comenetz duality. Our goal is to give 
a conceptual interpretation for this phenomenon. To do this we describe the notion
of a \emph{Brown-Comenetz dualizing module} $\Math{\IGeneric}$
(\ref{DBrownComenetz}) for a ring spectrum map $R\to k$. 
There are two common mechanisms for the construction of a
dualizing module:
\begin{enumerate}
\item \label{GorCase} if $R\to k$ is Gorenstein
  (\ref{DefineGorenstein}),  there is a way to obtain a dualizing
  module $\Math{\mathcal{G}}$ from $R$~itself. The duality functor
 $\Dual\Math{\mathcal{G}}$ over~$R$ agrees with Spanier-Whitehead duality over~$R$
 (\ref{DualitiesCoincide});
\item if $R$ satisfies a  different (milder) condition, there is a``trivial''
  dualizing module $\Math{\IGeneric}_0$ constructed by coinduction
  (\ref{InduceItUp}) from \Math{\mathbb{I}}/ and the unit map $\Sphere\to R$. The
  duality functor $\Dual{\Math{\IGeneric}_0}$ over~$R$ then agrees with garden-variety
    Brown-Comenetz duality over~\Sphere.
\end{enumerate}

When both of the above constructions go through, the question of whether
$\Math{\mathcal{G}}\sim\Math{\IGeneric}_0$, or equivalently of whether
$\Dual\Math{\mathcal{G}}\sim\Dual{\Math{\IGeneric}_0}$, is a
type of orientability issue (\ref{PDDuality}).
In the basic case of the sphere spectrum, only (2) applies, and so
there is no call to measure Brown-Comenetz duality against
Spanier-Whitehead duality by comparing the kind of Brown-Comenetz
dualizing modules we consider.
Things are different in the context of Gross--Hopkins duality. In this
case \emph{both} $\Math{\mathcal{G}}$ and $\Math{\IGeneric}_0$ exist, and although they do not
quite agree, they are very similar to one another. 
We indicate in \ref{ComplicatedNaturality}
 why $\Math{\mathcal{G}}$ can be distinguished from $\Math{\IGeneric}_0$ by the algebraic calculation made
in~\cite{rGHVectorBundles}, and interpret this as closely analogous
to distinguishing two spherical fibrations by calculating their
Stiefel-Whitney classes.  We classify all of the
Brown--Comenetz dualizing modules in this case (\ref{GHClassifyBC}),
and explain why they correspond bijectively to invertible modules.



In describing our point of view, we start with the general notion
of Brown-Comenetz duality and use this to describe the homotopical form
of Gorenstein duality \cite{rDGI}. To put these ideas in a more familiar
homotopy theoretic context, we point out that 
Poincar\'e duality is a special case of Gorenstein duality.  Finally
we indicate how Gross-Hopkins duality fits into this framework.
This paper could not have been written without \cite{rHS} and
\cite{rS}; a lot of what we do is to give a different
slant to the material in \cite{rS}. Although our treatment has an
intrinsic interest, it can also be viewed as an extended example of the
theory of \cite{rDGI}, an example which highlights the importance of
orientability issues. 


\begin{numbered}{Some notation}\label{FiniteLength}
  We refer to a ring spectrum $R$ as an \emph{\salgebra/}, and a
  module spectrum over $R$ as an \emph{$R$-module} \cite{rEKMM} \cite{rHSS}. A map between
  spectra is an \emph{weak equivalence} (\emph{equivalence} for short)
  if it induces an isomorphism on homotopy groups. If $M$, $N$ are
  left $R$-modules, then $\Hom_R(M,N)$ denotes the spectrum of
  (derived) $R$-module maps between them; if $M$ is a left $R$-module
  and $N$ a right $R$-module, then $N\otimes_R M$ is the (derived)
  smash product of $M$ and $N$ over $R$.

  There's no harm in treating an ordinary ring $R$ as \ansalgebra.  In that case a \emph{module}
  over $R$ in our sense corresponds to what is usually called a chain
  complex over $R$, $\Hom_R(M,N)$ to the derived mapping complex, and
  $N\otimes_R M$ to the derived tensor product.  If $R$ is an ordinary 
  ring and $M$, $N$ are \discrete/  left $R$-modules,
  treated as chain complexes concentrated in degree~$0$, then
  according to our conventions $\Hom_R(M,N)$ is a spectrum with
  $\pi_i\Hom_R(M,N)\cong\operatorname{Ext}^{-i}_R(M,N)$. Similarly, if $N$ is 
  \adiscrete/ right $R$-module, then $N\otimes_R M$ is a spectrum with
  $\pi_i(N\otimes_R M)\cong \operatorname{Tor}_{i}^R(N,M)$. In these  cases
  we write $\operatorname{Ext}^0_R(M,N)$ for the usual group of homomorphisms $M\to
  N$, and $N\oslash_RM=\operatorname{Tor}_0^R(N,M)$ for the usual tensor product.

  If $R$ is \adiscrete/ ring with a distinguished maximal
  ideal~$\Math{\mathfrak{m}}$, we will refer to \adiscrete/ finitely generated
  \Math{\mathfrak{m}}-primary torsion $R$-module as a \emph{finite length $R$-module}.

  If $R$ is \ansalgebra/ and $k$, $M$ are $R$-modules, then
  $\operatorname{Cell}_k(M)$ denotes the \emph{$k$-cellular approximation} of $M$:
  $\operatorname{Cell}_k(M)$ is built from $k$ (\ref{DDefineCellular}), and there is a map $\operatorname{Cell}_k(M)\to M$
  which is a \emph{$\operatorname{Cell}_k$-equivalence}, i.e., induces an equivalence
  on $\operatorname{Hom}_R(k,\text{--})$.  
  
\end{numbered}

\begin{NumberedSubSection}{Brown-Comenetz duality}\label{DefineEC}
  Suppose that $R\to k$ is a map of \salgebras. Let $\Math{\mathcal{E}}$ be the derived
  endomorphism \salgebra/ $\operatorname{End}_R(k)$.  An $R$-module $M$ is said to be
  \emph{\ec/ from $k$} if the natural evaluation map
  \begin{equation}\label{EEffectively}
          \Hom_R(k,M)\otimes_{\EC} k\to M
  \end{equation}
  is an equivalence (cf. \ref{ConstructingCellk}). 

  \begin{rem}
    If $M$ is \ec/ from $k$ then $M$ is built from $k$  as an
    $R$-module.
    For some $R$ and $k$, the converse holds (\ref{Proxy}). 
  \end{rem}

   \begin{defn}
   \label{DBrownComenetz}
    A \emph{Brown-Comenetz dualizing module} for $R\to k$ is an
    $R$-module $\Math{\IGeneric}$ which is effectively constructible from $k$ and
    has the property that, for some $d\ge0$, $\Hom_R(k,\Math{\IGeneric})$ is
    equivalent as a left $k$-module to $\Sigma^dk$.
  \end{defn}
  
  Giving such a dualizing module \Math{\IGeneric}/ involves finding a way of extending to
  $R$-modules the notion of ordinary (i.e., Spanier-Whitehead) duality
  for $k$-modules. As \ref{EEffectively} suggests, in favorable cases
  \cite[6.9]{rDGI} these dualizing modules correspond to appropriate
  right $\Math{\mathcal{E}}$-module structures on (a suspension of)~$k$.

  \begin{numbered}{Examples (uniqueness)} \label{BCAlgebraic} \cite[\S5]{rDGI}
    The module $\Math{\mathbb{Z}}/p^\infty$ is a Brown-Comenetz dualizing module for
    $\Math{\mathbb{Z}}\to \Math{\mathbb{Z}}/p$. The $p$-primary summand of the spectrum $\Math{\mathbb{I}}$ is a
    Brown-Comenetz dualizing module for $\Sphere\to\Math{\mathbb{Z}}/p$.  
    In both of these cases, up to suspension and equivalence there
    is only one Brown-Comenetz dualizing module for $R\to k$.
  \end{numbered}

  \begin{numbered}{Examples (non--uniqueness)}\label{ExNonUnique}
    Let $X$ be a $1$-connected based finite CW-complex.  Let
    $k$ denote $\Sphere$, and let $R=C^*(X;k)$ denote the
    Spanier-Whitehead dual (over \Sphere/) of the unreduced suspension
    spectrum of $X$.  Then $R$ is \ansalgebra/ under a
    multiplication induced by the diagonal map, and there is an
    augmentation $R\to k$ given by restriction to be basepoint of $X$.
    As in \ref{PDDuality}, Brown--Comenetz dualizing modules for $R\to
    k$ correspond bijectively up to equivalence to stable spherical
    fibrations over~$X$.
  \end{numbered}

  \begin{numbered}{Examples (\Coinduction/)}\label{InduceItUp}
    Suppose that $T\to R$ is a map of \salgebras, and that $J$ is a
    Brown-Comenetz dualizing module for $T\to k$.  Let
    $\Math{\IGeneric}=\operatorname{Cell}^R_k\operatorname{Hom}_T(R,J)$.  If $\Math{\IGeneric}$ is effectively
    constructible from $k$, then $\Math{\IGeneric}$ is a Brown-Comenetz dualizing
    module for $R\to k$, called the Brown-Comenetz dualizing module
    \emph{\coinduced/} from $J$.
  \end{numbered}


\end{NumberedSubSection}
    
\begin{NumberedSubSection}{Gorenstein duality}
  Let $f:R\to k$ be as above.

  \begin{defn}\label{DefineGorenstein} \cite[8.1]{rDGI}
    The map $f:R\to k$ is \emph{Gorenstein} if $\operatorname{Cell}_k(R)$ is a
    Brown-Comenetz dualizing module for $f$. 
  \end{defn}

  \begin{rem}\label{DualitiesCoincide}
    Suppose $R\to k$ is Gorenstein, with associated Brown-Comenetz dualizing module $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$. 
    The map $\Math{\mathcal{G}}\to R$ induces an equivalence $\Hom_R(M,\Math{\mathcal{G}})\to\Hom_R(M,R)$  for $M=k$ and thus for any $R$-module $M$  built from $k$. For such $M$, this gives an equivalence
    \[
                \Dual\Math{\mathcal{G}} M\sim \Dual RM\,.
    \]
    In other words, if $R\to k$ is Gorenstein, then for $R$-modules
    which are built from $k$, Spanier-Whitehead duality agrees 
    with the  variant of Brown-Comenetz duality singled out
    by the Gorenstein condition.
  \end{rem}

  \begin{numbered}{Example (algebra)}\label{GorAlgebraExamples} 
    Suppose that $R$ is the formal power series ring
    $\Math{\Z_p}[\![ x_1,\ldots,x_{n-1}]\!]$, that $\Math{\mathfrak{m}}
    \subset R$ is its maximal ideal, and that $k\cong R/\Math{\mathfrak{m}}$
    is its residue field $\Math{\F_p}$.  The map $R\to k$ is Gorenstein, with
    associated Brown-Comenetz dualizing module $\Math{\mathcal{G}}$.  For 
    \afinitelength/ (\ref{FiniteLength}) $R$-module~$M$,
    the dual $\Dual\Math{\mathcal{G}}(M)$ is given by
    \[
      \Dual{\Math{\mathcal{G}}}(M)\sim \Sigma^{-n}\operatorname{Ext}^n_R(M,R)\,.
    \]
    Precisely as in \ref{BCAlgebraic}, the $\Math{\Z_p}$-module $\Math{\Z/p^\infty}$
    is a Brown-Comenetz dualizing module for $\Math{\Z_p}\to\Math{\F_p}$, and as in
    \ref{InduceItUp} there is \acoinduced/ Brown-Comenetz dualizing
    module $\Math{\IGeneric}=\Math{\IGeneric}_0$ for $R\to k$. For $M$ as before the dual
    \[
      \Dual{\Math{\IGeneric}}(M)\sim\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty}) 
    \]
    is the ordinary Pontriagin dual of $M$.  It turns out
    (\ref{SFullDuality}) that $\Math{\mathcal{G}}$
    is equivalent as an $R$-module to $\Sigma^{-n}\Math{\IGeneric}$, and hence
    that on the category of \finitelength/  $R$-modules, the functor
    $\operatorname{Ext}^n_R(\text{--},R)$ is naturally isomorphic to
    $\operatorname{Ext}^0_{\Math{\Z_p}}(\text{--},\Math{\Z/p^\infty})$.
  \end{numbered}


  \begin{numbered}{Example (Poincar\'e duality)}\label{PDDuality}\label{ListPoincareBC}
    (See \cite{rDGI} and \cite{rKlein}.)  This example is based on the
    following theorem.
    \begin{prop}\label{SWisGor}
      Suppose that $X$ is a based finite $1$-connected CW-complex,
      $k=\Sphere$, and $R=C^*(X;k)$, as in \ref{ExNonUnique}. Then $R\to
      k$ is Gorenstein if and only if $X$ is a Poincar\'e duality
      space.
    \end{prop}

      In the situation of \ref{SWisGor}, there are usually many
      Brown-Comenetz dualizing modules for $R\to k$: these are exactly
      the Thom spectra $X^\rho$ obtained from stable spherical
      fibrations $\rho$ over $X$. 
      If $X$ is a Poincar\'e duality space of formal
      dimension~$d$, then as in   \cite{rAtiyah}  the Brown-Comenetz dualizing module
      $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)\sim R$ provided by the Gorenstein condition
      \cite[8.6]{rDGI} is
      $X^\nu$, where $\nu$ is the stable Spivak normal bundle of $X$,
      desuspended to have stable fibre dimension $-d$. 

      Since the spectrum $k$ is a Brown-Comenetz dualizing module for $k\to
      k$, it follows as in \ref{InduceItUp} there is \acoinduced/
      Brown-Comenetz dualizing module $\Math{\IGeneric}=\Math{\IGeneric}_0$ for $R\to k$
      (\cite[9.16]{rDGI}, \ref{RecognizeGorenstein}). This
      \coinduced/ dualizing module is the Thom complex $X^0$ of the
      trivial bundle.
      The $R$-module $\Math{\mathcal{G}}$ is equivalent to $\Math{\IGeneric}$ (up to
      suspension) if and only if $\nu$ is trivial, or in other words
      if and only if $X$ is orientable for stable cohomotopy.

      Observe that by the Thom isomorphism theorem, the  two
      dualizing modules $\Math{\mathcal{G}}$ and $\Math{\IGeneric}$  cannot be distinguished
      by mod~$2$ cohomology, although they can sometimes be
      distinguished by the action of the Steenrod algebra on mod~$2$
      cohomology.
\end{numbered}

  \begin{numbered}{Aside on functoriality}\label{LFunctoriality}
    For later purposes we describe an extended functoriality property
    of the isomorphisms described in \ref{GorAlgebraExamples}.  Let
    $R\to k$ be as in \ref{GorAlgebraExamples}, but widen the module
    horizon to include the category of \finitelength/ (\ref{FiniteLength}) \emph{skew} $R$-modules: the objects
    are \discrete/ $R$-modules as before, but a map $M\to M'$ is a pair
    $(\sigma,\tau)$, where $\sigma$ is an automorphism of $R$ and
    $\tau:M\to M'$ is a map of abelian groups such that for $r\in R$ and
    $m\in M$, $\tau(rm)=\sigma(r)\tau(m)$. Both $\Dual{\Math{\mathcal{G}}}$ and
    $\Dual{\Math{\IGeneric}}$ extend to this larger category (with the same
    definitions as before), but the functors are \emph{not} naturally
    equivalent there. This is reflected in the fact that if
    $G=\operatorname{Aut}(R)$, then the twisted group ring $R[G]$ acts naturally
    both on $\Math{\mathcal{G}}$ and on $\Math{\IGeneric}$ in such a way that $\Math{\mathcal{G}}$ and $\Math{\IGeneric}$ are equivalent as
    $R$-modules, but not as $R[ G]$-modules.  The discrepancy between
    \Math{\mathcal{G}}/ and \Math{\IGeneric}/ has a simple description. Let
    $S=\Math{\Z_p}[\![ x_1,\ldots,x_{n-1},y_1\ldots,y_{n-1}]\!]$ be the evident
    completion of $R\oslash_{\Math{\Z_p}}R$ and let
    $\Math{\mathcal{L}}=\operatorname{Tor}_{n-1}^{S}(R,R)$.  (The object $\Math{\mathcal{L}}$ might be
    characterized as
    a type of Hochschild homology group
    of $R$.) Then $\Math{\mathcal{L}}$ is \adiscrete/ $R[G]$-module which is free of
    rank~$1$ as an $R$-module, and there is a natural map
    $\Sigma^n\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\to\Math{\IGeneric}$ of $R[G]$-modules which is an
    equivalence (\ref{SFullDuality}). (The action of $G$ on the tensor product is
    diagonal). This implies that on the category of \finitelength/ skew $R$-modules
    there is a natural isomorphism of functors
    \[\Math{\mathcal{L}}\oslash_R\operatorname{Ext}_n^R(\text{--},R)\sim\operatorname{Ext}_0^{\Math{\Z_p}}(\text{--},\Math{\Z/p^\infty})\,.\]
  \end{numbered}
\end{NumberedSubSection}


\begin{NumberedSubSection}{Gross-Hopkins duality}\label{GHIntro}
  Fix an integer $n\ge1$, and let $\Math{L}=L_n$ denote the localization
  functor on the stable category corresponding to the homology theory
  $K(n)\vee\cdots\vee K(0)$ , where $K(i)$ is the $i$'th Morava
  $K$-theory.  Let $\Sn=L_n(\Math{\mathbb{S}})$ and let $\kn=K(n)$.  There is
  an essentially unique \salgebra/ homomorphism $\Sn\to \kn$.  The
  first component of Gross-Hopkins duality is the following
  statement.

  \begin{thm}\label{GHShift}
    The homomorphism $\Sn\to\kn$ is Gorenstein.
  \end{thm}

  This theorem provides a Brown-Comenetz dualizing module
  $\IIRG=\operatorname{Cell}_k\Sn$ for $\Sn\to\kn$.  The ordinary Brown-Comenetz
  dualizing spectrum \Math{\mathbb{I}}/ is a Brown-Comenetz dualizing module for
  $\Math{\mathbb{S}}\to\kn$; as in \ref{InduceItUp} this gives rise to \acoinduced/
  Brown-Comenetz dualizing module
  $\IIRO=\operatorname{Cell}_k\operatorname{Hom}_{\Math{\mathbb{S}}}(\Sn,\Math{\mathbb{I}})$ for $\Sn\to\kn$
  (\ref{RecognizeGorenstein}, \ref{knIsKoszul}).  The
  second component of Gross-Hopkins duality is the assertion that
  \IIRG/ \emph{cannot} be distinguised from \IIRO/ by the most
  relevant applicable homological functor. This is analogous in this
  context to the Thom isomorphism theorem (cf. \ref{ListPoincareBC}).

  Let $\En$ be the \salgebra/ of \cite{rS}, with
  \[
       \En_*= \pi_*\En = W [\![ u_1,\ldots,u_{n-1}]\!][u,u^{-1}]\,,
  \]
  where $u_k$ is of degree~$0$, $u$ is of degree~$2$, and $W$ is the
  Witt ring of the finite field $\Math{\mathbb{F}}_{p^n}$. For spectra $X$ and $Y$,
  let $X\KSmash Y=L_{\kn}(X\otimes Y)$,   where $L_{\kn}$ is
  localization with respect to $\kn$. Following \cite{rS}, for
  any $X$ we write $\Math{\En^{\vee}}_*(X) =\pi_*(\En\KSmash X)$.


  \begin{thm}\label{GHSame}
    Both $\Math{\En^{\vee}}_*\IIRG$ and $\Math{\En^{\vee}}_*\IIRO$ are rank~$1$ free modules
    over $\En_*$.
  \end{thm}

  The final and most difficult component of Gross-Hopkins duality is a
  determination of how $\Math{\En^{\vee}}_*\IIRG$ differs from $\Math{\En^{\vee}}_*\IIRO$ as a
  module over the ring of operations in $\En_*$; this is analogous to
  distinguishing between two Thom complexes by considering the action
  of Steenrod algebra on mod~$2$ homology (cf.  \ref{ListPoincareBC}).

  We begin by comparing the homologies of $\Dual\IIRG(\Math{\mathcal{F}})$ and
  $\Dual\IIRO(\Math{\mathcal{F}})$ when $\Math{\mathcal{F}}$ is a finite complex of type~$n$, i.e.,
  a  module over $\Sn$ which is finitely built from $\Sn$ and has
  $K(i)_*\Math{\mathcal{F}}=0$ for $i<n$ and $K(n)_*\Math{\mathcal{F}}\ne0$. 
  These conditions imply that each
  element of $\Math{\En^{\vee}}_*\Math{\mathcal{F}}$ is annihilated by some power of the maximal
  ideal $\mathfrak m\subset \En_0$ \cite[8.5]{rHS}.

  \begin{prop}\label{SimpleNaturality}
    Suppose that $\Math{\mathcal{F}}$ is a finite complex of type~$n$. Then there are
    natural isomorphisms
    \[
        \begin{aligned}
        \Math{\En^{\vee}}_{-i}\Dual\IIRG \Math{\mathcal{F}}&\,\cong\, \operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_{i-n}\Math{\mathcal{F}}, \En_0)\\
        \Math{\En^{\vee}}_{-i}\Dual\IIRO \Math{\mathcal{F}} &\,\cong\, \operatorname{Ext}^0_{\Math{\Z_p}} (\Math{\En^{\vee}}_{i+n^2}\Math{\mathcal{F}}, \Math{\Z/p^\infty})\,.
        \end{aligned}
    \]
  \end{prop}

  Recall \cite{rS} that the Morava stabilizer group $\Gamma$, in one
  of its forms, is a profinite group of multiplicative automorphisms
  of $\En$.  The ring $\pi_*\operatorname{End}_{\Sn}(\En)$ is the completed
twisted group ring $\En_*[\![\Gamma]\!]$ (see \cite[pf. of
Prop.~16]{rS}), and so, up to completion and multiplication by
elements in $\En_*$, the operations in $\En_*$ are all of degree~$0$
and are determined by the action of elements of~$\Gamma$. If $X$ is a
spectrum, then $\Gamma$ acts on $\Math{\En^{\vee}}_*(X)$ as a group of
automorphisms in the category of skew $\En_*$-modules
(\ref{LFunctoriality}). It follows from naturality that the
isomorphisms in \ref{SimpleNaturality} are $\Gamma$-equivariant,
where, for instance, $\Gamma$ acts on $\operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_{i-n}\Math{\mathcal{F}},
\En_0)$ in a diagonal way involving actions on all three constituents
of the~$\operatorname{Ext}$. According to \ref{GorAlgebraExamples}, the modules
\[
        \operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_i\Math{\mathcal{F}},\En_0) \text{ and }
        \operatorname{Ext}^0_{\Math{\Z_p}}(\Math{\En^{\vee}}_i\Math{\mathcal{F}},\En_0)
\]
are isomorphic for any~$i$; the question is to what extent these
isomorphisms do or do not respect the action of $\Gamma$. 

This is exactly the issue discussed in \ref{LFunctoriality}. Given \ref{SimpleNaturality} and \ref{LFunctoriality}, the following proposition is immediate (cf. \ref{TwistOverO}).
Let 
\[
T=W[\![ u_1,\ldots,u_{n-1},u_1',\ldots,u_{n-1}']\!]
\]
be the evident completion of $\En_0\oslash_W\En_0$, and let
$\Math{\mathcal{L}}=\operatorname{Tor}_{n-1}^T(\En_0,\En_0)$. 
It turns out (\ref{SFullDuality}) that $\Math{\mathcal{L}}$ is a free
module of rank~$1$ over $\En_0$.

\begin{prop}\label{ComplicatedNaturality}
  For any finite complex of type~$n$, there are natural isomorphisms
  \[
        \Math{\mathcal{L}}\otimes_{\En_0}\Math{\En^{\vee}}_{i-n-n^2}\Dual\IIRG X \cong \Math{\En^{\vee}}_i\Dual\IIRO
        X\,
  \]
  of modules over $\En_0[\![\Gamma]\!]$.
\end{prop}

\begin{rem}
  We emphasize that in \ref{ComplicatedNaturality} the action of
  $\Gamma$ on the left-hand module is diagonal, and involves a
  nontrivial action of $\Gamma$ on $\Math{\mathcal{L}}$.
\end{rem}

  This easily leads to the following proposition.

  \begin{prop}\label{TwistedDifference}
    There are natural isomorphisms of
    $\En_0[\![\Gamma]\!]$-modules 
    \[
    \Math{\mathcal{L}}\otimes_{\En_0}\Math{\En^{\vee}}_{i-n-n^2}\IIRG \cong \Math{\En^{\vee}}_i\IIRO\,.
    \] 
  \end{prop}

As in \cite{rS}, there is a determinant-like map $\det:\Gamma\to\Math{\Z_p}^\times$.  If $M$ is \adiscrete/ module over $\En_0[\![\Gamma]\!]$ or $\En_*[\![\Gamma]\!]$, write $M[\det]$ for the module obtained from~$M$ by twisting the action of $\Gamma$ by $\det$. The key computation made in \cite{rGHVectorBundles} by Gross and Hopkins (which we do not rederive) involves the action of
$\Gamma$ on $\Math{\mathcal{L}}$.

\begin{thm}\label{GHTheorem}\cite[Th.~6]{rHopkinsGross}
  As a module over the twisted group ring
  $\En_0[\![\Gamma]\!]$, $\Math{\mathcal{L}}$ is isomorphic to $\En_{2n}[\det]$.
\end{thm}

The first statement below follows from the fact that $\IIRG\to\Sn$ is
a $\kn_*$-equivalence (\ref{TwoKEquivalences}) and hence an
$\Math{\En^{\vee}}_*$-equivalence; the second is a combination of 
\ref{TwistedDifference} and \ref{GHTheorem}.

  \begin{thm}\label{GHDifferent}\cite{rS}
    There are
    isomorphisms of 
    $\En_*[\![\Gamma]\!]$-modules:
    \[
       \begin{aligned}
           \Math{\En^{\vee}}_*\IIRG&\,\,\cong\,\, \En_* \\
           \Math{\En^{\vee}}_*\IIRO\,&\,\,\cong\,\, \Sigma^{n^2-n}\En_*[\det]\,.
       \end{aligned}
    \]
  \end{thm}

Finally, we give an analogue of the classification of Brown-Comenetz
dualizing modules from \ref{ListPoincareBC}. Recall that a
$\kn$-local spectrum $M$ is said to be \emph{invertible} if there is
a $\kn$-local spectrum $N$ with $M\KSmash N\sim L_{\kn}(\Sn)$.

\begin{thm}\label{GHClassifyBC}
        Let $\Math{\EndEn}=\operatorname{End}_{\Sn}(\En)$.
        Up to equivalence, there are bijective correspondences between
       the following three kinds of objects:
       \begin{enumerate}
         \item invertible $\kn$-local spectra,
         \item Brown-Comenetz dualizing modules for $\Sn\to \kn$ \label{BCmodules},
         \item right actions of $\Math{\EndEn}$ on a suspension of $\En$ which
           extend the natural right action of $\En$ on itself. \label{RightAction}
        \end{enumerate}
\end{thm}

\begin{rem}
  Suppose that $X$ is a based CW-complex, $G$ is the loop space on $X$
  (constructed as a simplicial group), and $\Math{\EndEn}=\Math{\mathbb{S}}[G]$ is the
  ring spectrum obtained as the unreduced suspension spectrum of $G$.
  Let $k=\Math{\mathbb{S}}$ and $R=C^*(X;k)$ as in \ref{PDDuality}. Say that a
  module $M$ over $R$ is invertible if there is a module $N$ such that
  $M\otimes_RN\sim R$. Then if $X$
  is finite and $1$-connected, $\Math{\EndEn}$ is equivalent to $\operatorname{End}_R(k)$
\cite{rDGI}, and \ref{GHClassifyBC} becomes in part analogous to the
statement that up to equivalence there are bijective correspondences
between the following four kinds of objects:
\begin{enumerate}
\item invertible modules over $R$,
\item Brown-Comenetz dualizing modules for $R\to k$,
\item actions of $\Math{\EndEn}$ on a suspension of $k$ which (necessarily) extend the action of
$k$ on itself, and
\item stable spherical fibrations over $X$.
\end{enumerate}
\end{rem}
\end{NumberedSubSection}

\begin{NumberedSubSection}{Organization of the paper}
Section \ref{CCellular} has a short discussion of cellularity,
\S\ref{CCommutative} expands on some of the algebraic issues discussed
in \ref{LFunctoriality}, and \S\ref{CPreliminaries} recalls some
material from stable homotopy theory. Section \ref{SGrossHopkins}
contains the proofs of \ref{GHShift}, \ref{GHSame},
\ref{SimpleNaturality}, and \ref{TwistedDifference}. The last section
has a proof of \ref{GHClassifyBC}.
\end{NumberedSubSection}

\begin{NumberedSubSection}{Notation and terminology}\label{SNotation}
  If $R$ is a ring spectrum, we write ${}_R\Mod$ and
  $\Mod_R$ for the respective categories of left and right module
  spectra over $R$. If $X$ and $Y$ are spectra, $\operatorname{Hom}(X,Y)$ stands for
  $\operatorname{Hom}_{\Math{\mathbb{S}}}(X,Y)$ and $X\otimes Y$ for $X\otimes_{\Math{\mathbb{S}}}Y$.
  Note, though, that $\Sn\otimes_{\Math{\mathbb{S}}}\Sn\sim\Sn$; this implies that
  if $X$ and $Y$ are $\Sn$-modules then $\operatorname{Hom}_{\Sn}(X,Y)\sim\operatorname{Hom}(X,Y)$
  and $X\otimes_{\Sn}Y\sim X\otimes Y$. Whenever possible we use the
  simpler notation (without the subscript \Sn). If
  $X$ is a spectrum, $\hat X=L_{\kn}X$ stands for the \kn-localization
  of $X$; we also write $\hat D$ for $D_{\Math{\hat{\Sn}}}$, so that $\hat D
  X=\operatorname{Hom}(X,\Math{\hat{\Sn}})$. 

  For us, a \emph{finite complex of type~$n$} is an \Sn-module
  \Math{\mathcal{F}}/ which is finitely built from \Sn, such that $K(i)_*\Math{\mathcal{F}}=0$
  for $i<n$ and $K(n)_*\Math{\mathcal{F}}\ne0$. If $F(n)$ is a finite complex of
  type~$n$ in the sense of \cite[\S1.2]{rHS}, then $\Sn\otimes F(n)$
  is a finite complex of type~$n$ in our sense.
\end{NumberedSubSection}


\begin{SubSection}{Some technicalities}\label{DefineEHS}
  The localized sphere \Sn/ is a commutative \salgebra, as is the
  spectrum \En/  \cite[\S7]{rGoerssHopkins}.
  Disconcertingly, \kn/ usually has an uncountable number of
  \salgebra/ structures, none of them commutative; nevertheless we
  fix one \salgebra/ structure on \kn/ (nothing to follow will depend
  on this choice), and work with the essentially unique \salgebra/ map
  $\Sn\to\kn$. 
\end{SubSection}


\section{Cellularity and Koszul complexes}
\label{CReview}\label{CCellular}

In this section we review the idea of cellularity, and look at how it
fits in with the effective constructibility condition which appears in
the definition of Brown-Comenetz dualizing module.

\begin{NumberedSubSection}{Cellularity and cellular approximation}
Suppose that $R$ is \ansalgebra/ and that $k$ is an
$R$-module.  Recall that a subcategory of the category of $R$-modules
is said to be \emph{thick} if it is closed under (de)suspensions, equivalences,
cofibration sequences, and retracts; it is \emph{localizing} if in
addition it is closed under arbitrary coproduts.

\begin{defn}\label{DDefineCellular}
  An $R$-module is \emph{finitely built from $k$} if it belongs to the
  smallest thick subcategory of $\Math{{}_R\Mod}$ which contains $k$.  An
  $R$-module is \emph{built from $k$} or is \emph{$k$-cellular} if it
  belongs to the smallest localizing subcategory of $\Math{{}_R\Mod}$ which
  contains $k$.  
\end{defn}


\begin{defn}\label{DefineCellEquivalence}
  A map $f:M\to N$ of $R$-modules is a \emph{$\operatorname{Cell}_k$-equivalence} if
  it induces an equivalence $\operatorname{Hom}_R(k,M)\sim\operatorname{Hom}_R(k,N)$.
\end{defn}

It is not hard to see that a $\operatorname{Cell}_k$-equivalence between $k$-cellular
$R$-modules
is actually an equivalence; this follows for instance
from the fact that a $\operatorname{Cell}_k$-equivalence $M\to N$ induces an
equivalence $\operatorname{Hom}_R(C,M)\sim\Hom_R(C,N)$ for any $k$-cellular~$C$.
The main general result in this area is an
approximation theorem. A map $M'\to M$ is said to be a
\emph{$k$-cellular approximation} if $M'$ is $k$-cellular and $M'\to
M$ is a $\operatorname{Cell}_k$-equivalence.

\begin{thm}\label{GiveCellularApprox}\cite[I.5]{rHirschhorn}
  Any $R$-module $M$ has a functorial $k$-cellular approximation
  $\operatorname{Cell}_k(M)\to M$. A map $M'\to M$ is a $\operatorname{Cell}_k$-equivalence if and
  only if the induced map $\operatorname{Cell}_k(M')\to\operatorname{Cell}_k(M)$ is an equivalence.
\end{thm}

\begin{numbered}{Constructing $\operatorname{Cell}_k(M)$}\label{ConstructingCellk}
In general, it is difficult to give a simple formula for $\operatorname{Cell}_k(M)$;
the usual method for constructing it involves transfinite induction.
But let $\Math{\mathcal{E}}=\operatorname{End}_R(k)$ and note that there is a commutative diagram
\[
\begin{CD}
  \Hom_R(k,\operatorname{Cell}_k M)\otimes_{\Math{\mathcal{E}}} k @>>> \operatorname{Cell}_k M\\
       @V\sim VV                  @VVV \\
  \Hom_R(k,M)\otimes_{\Math{\mathcal{E}}} k @>>> M
\end{CD}
\]
in which the horizontal maps are evaluation.  It is easy to conclude
from this diagram that the following three conditions are equivalent:
\begin{enumerate}
  \item for all $M$, $\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}} k\to M$ is a $k$-cellular approximation,
  \item for all $M$, $\operatorname{Cell}_k M$ is \ec/ from $k$ (\ref{DefineEC}), and
  \item any $k$-cellular $R$-module is \ec/ from $k$.
\end{enumerate}
If these conditions hold, then the functor $\operatorname{Cell}_k(\text{--})$ is easy
to describe explicitly: it is equivalent to
$\Hom_R(k,\text{--})\otimes_{\Math{\mathcal{E}}}k$.
\end{numbered}

We will next identify certain pairs $(R,k)$ for which the
conditions of \ref{ConstructingCellk} are satisfied.
\end{NumberedSubSection}


\begin{NumberedSubSection}{Koszul complexes}\label{DKoszul}
A \emph{Koszul complex} for an $R$-module
$k$ is an $R$-module $C$ which satisfies the following three
conditions:
\begin{enumerate}
\item $C$ is finitely built from $R$,
\item $C$ is finitely built from $k$, and
\item $C$ builds $k$.
\end{enumerate}
If $R\to k$ is a map of \salgebras, a \emph{Koszul complex for $R\to
  k$} is a Koszul complex for $k$ as a left $R$-module.

\begin{prop}\label{Proxy}
  Suppose that $R$ is \ansalgebra/ and $k$ is a module over $R$ which
  admits a Koszul complex $C$.  Then the three conditions of
  \ref{ConstructingCellk} hold for $(R,k)$.
\end{prop}

\begin{proof}
  Let $\Math{\mathcal{E}}=\operatorname{End}_R(k)$. We will prove that if $M$ is any $R$-module, then the natural map
  $\lambda:\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}k\to  M$
    is a $k$-cellular approximation.  The domain of $\lambda$ is built
    from $k$ over $R$, because $\Hom_R(k,M)$ is built from $\Math{\mathcal{E}}$ as a
    right module over $\Math{\mathcal{E}}$, so it will be sufficient to prove that
    $\lambda$ is a $\operatorname{Cell}_k$-equivalence. We look for $R$-modules $A$
    with the property that the natural map
  \[   \Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}\Hom_R(A,k)\to \Hom_R(A,M)       \]
  is an equivalence. The module $A=k$ certainly works, and hence so
  does any module finitely built from $k$, e.g., the Koszul complex
  $C$. Since $C$ is finitely built from $R$,
  $\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}\Hom_R(C,k)$ is equivalent to
  $\Hom_R(C,\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}k)$.  The conclusion is that the map
  $\lambda$ is a $\operatorname{Cell}_C$-equivalence. Since $C$ builds $k$, it follows
  that the map is also a $\operatorname{Cell}_k$-equivalence.
\end{proof}

In the presence of a Koszul complex, it is easier to recognize
Gorenstein homomorphisms.

\begin{prop}\label{RecognizeGorenstein} \cite[8.4]{rDGI}
  Suppose that $R\to k$ is a map of \salgebras/ such that $k$, as an
  $R$-module, admits a Koszul complex. Then $R\to k$ is Gorenstein if
  and only if there is some integer $d$ such that $\operatorname{Hom}_R(k,R)$ is
  equivalent to $\Sigma^dk$ as a module over $k$.
\end{prop}

\begin{proof}
  Since $\operatorname{Cell}_k(R)$ is effectively constructible from $k$
  (\ref{Proxy}), the map $R\to k$ is Gorenstein if and only if there
  is some integer $d$ such that $\operatorname{Hom}_R(k,\operatorname{Cell}_k(R))$ is equivalent to
  $\Sigma^dk$ as a $k$-module. The proposition follows from the fact
  that the cellular approximation map $\operatorname{Cell}_k(R)\to R$ induces an
  equivalence on $\Hom_R(k,\text{--})$.
\end{proof}
\end{NumberedSubSection}


\begin{NumberedSubSection}{Examples of Koszul complexes}

  Suppose that $R$ is  an ordinary 
  commutative ring and that $k$ is a
  field which is a quotient of $R$ by a finitely generated ideal
  $\langle r_1,\ldots,r_m\rangle$.  Let $C_i$ denote the complex
  $R\RightArrow{r_i}R$ (concentrated in degrees $0$ and $-1$), and $C$
  the complex $C_1\otimes_R\cdots\otimes_RC_m$. This is what is
  usually called the Koszul complex for $R\to k$; the following
  shows that definition \ref{DKoszul} is consistent with this usage.

\begin{prop}\label{AlgebraicKoszul} \cite[3.2]{rDGI}
  In the above situation, $C$ is a Koszul complex for $R\to k$ (in the
  sense of \ref{DKoszul}).
\end{prop}

Recall that $\SKn$ is the localization of $\Sphere$ with respect to the
Morava $K$-theory $K(n)$. The unit map $\Sphere\to \En$ extends
uniquely to an \salgebra/ map $\SKn\to E$.

\begin{prop} \label{SisFinite}
 The spectrum $\Math{\hat{\Sn}}$ is a Koszul complex for $\Math{\hat{\Sn}}\to \En$. 
\end{prop}

\begin{proof}
  It follows from \cite[8.9, p.~48]{rHS}, that $\Math{\hat{\Sn}}$ is finitely built
  from  from  \En/  (but  don't  ignore   the notational   discrepancy
  described in the proof of  \ref{InvertibleMeansNiceK}). It is  clear
  that  $\Math{\hat{\Sn}}$   finitely  builds  itself,  and,   since  $\En$   is an
  $\Math{\hat{\Sn}}$-module, that $\Math{\hat{\Sn}}$ builds \En.
\end{proof}

  Let \Math{\mathcal{F}}/ be a fixed finite complex of type~$n$ (\ref{SNotation}).

\begin{prop}\label{knIsKoszul}
  The $\Sn$-module $\Math{\mathcal{F}}$ is a Koszul complex for $\Sn\to\kn$.
\end{prop}

\begin{proof}
  By construction, $\Math{\mathcal{F}}$ is finitely built from \Sn. Since
  $\kn\otimes\Math{\mathcal{F}}$ is a nontrivial sum of copies of \kn, it is clear
  that \Math{\mathcal{F}}/ builds \kn. Finally, \cite[8.12]{rHS} shows that \Math{\mathcal{F}}/ is
  finitely built from \kn.
\end{proof}

\begin{prop}
  Let $\Math{\EndEn}$ denote the endomorphism spectrum $\operatorname{End}(\En)$. Then $\En$
  is a Koszul complex for itself as a module over $\Math{\EndEn}$.
\end{prop}

\begin{proof}
  As above, \Math{\hat{\Sn}}/ is finitely built from \En.  It follows immediately
  that $\En=\operatorname{Hom}(\Math{\hat{\Sn}}, \En)$ is finitely built from
  $\Math{\EndEn}=\operatorname{Hom}(\En,\En)$ as a left module over \Math{\EndEn}.
\end{proof}

  
\end{NumberedSubSection}

\begin{NumberedSubSection}{Self-dual Koszul complexes}
Suppose that $R$ is a commutative \salgebra. A module $M$ over $R$ is
said to be \emph{self-dual with respect to
Spanier-Whitehead duality} if  there is some integer $e$ such that
$\Hom_R(M,R)$ is equivalent to $\Sigma^eM$ as an $R$-module. The
following observation is less specialized than it seems.

\begin{prop}
  Suppose that $R$ is a commutative \salgebra, and that $k$ is an
  $R$-module which admits a Koszul complex with is self-dual with
  respect to Spanier-Whitehead duality. Then a map $f:M\to M'$ of
  $R$-modules is a $\operatorname{Cell}_k$-equivalence if and only if it induces an
  equivalence $k\otimes_RM\to k\otimes_RM'$.
\end{prop}

\begin{proof}
  Let $C$ be the self-dual Koszul complex. Since $C$ and $k$ build one
  another, $f$ induces an equivalence on $\operatorname{Hom}_R(k,\text{--})$
  (i.e., is a $\operatorname{Cell}_k$-equivalence)  if and only if it induces an
  equivalence on $\operatorname{Hom}_R(C,\text{--})$.
  Moreover, $f$ induces an equivalence on
  $k\otimes_R\text{--}$ if and only if it induces an equivalence on
  $C\otimes_R\text{--}$. Since $C$ is finitely built from $R$, the
  functor $\Hom_R(C,\text{--})$ is equivalent to
  $\Hom_R(C,R)\otimes_R\text{--}$. The proposition follows from the
  fact that $\Hom_R(C,R)$ is equivalent to $\Sigma^eC$.
\end{proof}

\begin{ex}
  The Koszul complex from \ref{AlgebraicKoszul} is self-dual; compare
  \cite[6.5]{rDwGr}. 
\end{ex}

\begin{ex}\label{TwoKEquivalences}
  The Koszul complex \Math{\mathcal{F}}/ from \ref{knIsKoszul} can be chosen to be
  self-dual; just replace \Math{\mathcal{F}}/ if necessary by
  $\Math{\mathcal{F}}\otimes_{\Sn}\Dual\Sn\Math{\mathcal{F}}$.  It follows that a map of
  $\Sn$-modules is a $\operatorname{Cell}_{\kn}$-equivalence if and only if it induces an
  isomorphism on $\kn_*$. In particular, for any \Sn-module $X$ the
  map $X\to L_{\kn}X$ is a $\operatorname{Cell}_{\kn}$-equivalence and the map
  $\operatorname{Cell}_{\kn}X\to X$ is a $\kn_*$-equivalence.
\end{ex}
  
\end{NumberedSubSection}

\section{Commutative Rings}\label{CCommutative}

In this section we will look at several examples of Gorenstein
homo\-mor\-phisms $R\to k$ between ordinary noetherian commutative
rings. In each case $R$ is a regular ring, and $R\to k$ is projection
to a residue  field. In this situation $R\to k$ is Gorenstein
\cite{Matsumura}, i.e., 
$\operatorname{Ext}^i_R(k,R)$ vanishes except in one degree, and in that
degree is isomorphic to $k$ (\ref{RecognizeGorenstein},
\ref{AlgebraicKoszul}). Indeed, to see this localize $R$ if necessary at the maximal ideal
$\Math{\mathfrak{m}}=\ker(R\to k)$ and observe that the Koszul complex on a minimal
generating set for $\Math{\mathfrak{m}}$ is a resolution of~$k$. It is then clear
from calculation that $\operatorname{Ext}^*_R(k,R)$ is isomorphic to (a shift of)~$k$. There are three examples; the third is a
combination of the first two. We give special attention to the
extended functoriality issues discussed in \ref{LFunctoriality}. In
this section we sketch arguments which explain where the results come from;
these issues are treated in \cite{rHuang} from a very different point
of view.


\begin{NumberedSubSection}{$p$-adic number rings}\label{padicGor}
  Let $R$ be the ring $\Math{\Z_p}$ of $p$-adic integers, and $k$ the finite
  field $R/pR\cong\Math{\mathbb{Z}}/p$. The ring $R$ is regular, hence $R\to k$ is
  Gorenstein  and there is a Brown-Comenetz dualizing module $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$
  provided by the Gorenstein condition.
If $M$ is a finitely generated $p$-primary torsion abelian group, the
associated notion of duality is given by
\[
\Dual\Math{\mathcal{G}}(M)\sim\Sigma^{-1}\operatorname{Ext}^{1}_R(M,R)\,.
\]
The $\operatorname{Ext}$-group on the right is naturally isomorphic to the
Pontriagin dual of $M$, and in fact the short exact sequence
\[
  0\to \Math{\Z_p}\to\Math{\mathbb{Q}_p}\to \Math{\mathbb{Z}}/p^\infty\to 0
\]
can be used to produce an equivalence
$\Math{\mathcal{G}}\sim\Sigma^{-1}\Math{\mathbb{Z}}/p^\infty$.  All extended naturality issues
(\ref{LFunctoriality}) are trivial, if only because $R$ has no nontrivial
automorphisms. In this case Gorenstein duality and Pontriagin duality
coincide (up to suspension) on the category of \finitelength/ (\ref{FiniteLength}) skew $R$-modules.

A more interesting possibility is to let $R$ be the ring of integers
in a finite unramified extension field of \Math{\mathbb{Q}_p}, and $k$ the residue
field of $R$. Again $R$ is regular, $R\to k$
is Gorenstein, and there is a  Brown-Comenetz dualizing module
$\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$ provided by the Gorenstein condition. However, as in
\ref{InduceItUp} there is also \acoinduced/ Brown-Comenetz dualizing module,
given by $\Math{\IGeneric}=\operatorname{Cell}_k \operatorname{Hom}_{\Math{\Z_p}}(R,\Math{\Z/p^\infty})$.
For \adiscrete/ finitely-generated $p$-primary torsion $R$-module $M$,
the two associated notions of duality are given by
\[
     \begin{aligned}
     \Dual{\Math{\mathcal{G}}}(M)&\sim \Sigma^{-1} \operatorname{Ext}^1_R(M,
     R)\\
     \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-1}}
     \operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,,
     \end{aligned}
\]
where as before the lower $\operatorname{Ext}$-group is the Pontriagin dual of $M$.
Perhaps surprisingly, the two $\operatorname{Ext}$-functors on the right are
naturally isomorphic on the category of \finitelength/ skew $R$-modules.  This can be proved by showing
that there are equivalences
\[
\begin{aligned}
  \Math{\mathcal{G}}&\sim \Sigma^{-1}\Math{\Z/p^\infty}\oslash_{\Math{\Z_p}}R\\
  \Math{\IGeneric}&\sim \hphantom{\Sigma^{-1}}\operatorname{Ext}^0_{\Math{\Z_p}}(R,\Math{\mathbb{Z}}/p^\infty)
\end{aligned}
\]
and observing that there is 
a canonical isomorphism
\[
       R \to \operatorname{Ext}^0_{\Math{\Z_p}}(R,\Math{\Z_p})
\]
given by the map which sends $r\in R$ to the trace over $\Math{\Z_p}$ of the
map $x\mapsto rx$.  These considerations produce an
$R[\operatorname{Aut}(R)]$-equivalence $\Sigma\Math{\mathcal{G}}\sim\Math{\IGeneric}$.  Hence in this case,
also, Gorenstein duality agrees up to suspension with Pontriagin
duality as strongly as we might hope.
\end{NumberedSubSection}

\begin{NumberedSubSection}{Power series over a field}
  Suppose that $R$ is the power series ring $k[\![ x_1,\ldots,x_{n-1}]\!]$, and that $R\to k$ is the natural map sending  $x_i$ to zero. The ring $R$ is regular, $R\to k$ is Gorenstein, 
  and the Gorenstein condition provides a Brown-Comenetz
  dualizing module $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$.  As in \ref{InduceItUp}, there is \acoinduced/ Brown-Comenetz dualizing
  module $\Math{\IGeneric}=\operatorname{Cell}_k\operatorname{Ext}^0_k(R, k)$. 
  Let $\Math{\mathfrak{m}}$ denote the kernel of $R\to k$. For \afinitelength/ (\ref{FiniteLength}) $R$-module $M$, the two
  associated notions of duality are given by
  \begin{equation}\label{PSFieldDualities}
      \begin{aligned}
      \Dual\Math{\mathcal{G}}(M)&\sim \Sigma^{-(n-1)}\operatorname{Ext}^{n-1}_R(M,R)\\
      \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-(n-1)}}\operatorname{Ext}^0_k(M,k)
      \end{aligned}
  \end{equation}

  Let $\Math{S}'$ denote $R\oslash_kR\cong
  k[\![ x_1\,\ldots,x_{n-1}]\!]\oslash_kk[\![ y_1,\ldots,y_{n-1}]\!]$,
  let $\Math{S}=k[\![
  x_1,\ldots,x_{n-1},y_1,\ldots,y_{n-1}]\!]$ be the evident
  completion of $\Math{S}'$, and let \Math{\mathcal{L}}/ be given by the formula
  \[\Math{\mathcal{L}}=\pi_{n-1}(R\otimes_{\Math{S}}R)\cong\operatorname{Tor}_{n-1}^{\Math{S}}(R,R)\,.\] (Here $R$ is
  treated as an $\Math{S}$-module by the completed multiplication map
  $\Math{S}\to R$ which has $x_i\mapsto x_i$ and $y_i\mapsto x_i$.)  Note that $\operatorname{Aut}(R)$ acts
  naturally on \Math{\mathcal{L}}. The following proposition compares the two
  dualities of \ref{PSFieldDualities}.

  \begin{prop}\label{TwistOverk}
    The object \Math{\mathcal{L}}/ is a free (\discrete) $R$-module on one
    generator. For any \finitelength/ $R$-module $M$, there is an
  isomorphism
  \[
     \Math{\mathcal{L}}\oslash_R\operatorname{Ext}^{n-1}_R(M,R)\cong \operatorname{Ext}^0_k(M,k)\,.
  \]
   which is natural with respect to skew homomorphisms
   $M\to M'$.
  \end{prop}

  \begin{rem}
    Underlying \ref{TwistOverk} is an $R[\operatorname{Aut}(R)]$-equivalence
    \[\Sigma^{n-1}\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\sim\Math{\IGeneric}\,.\]
    or an equivalence $\Sigma^{n-1}\Math{\mathcal{L}}\sim\operatorname{Hom}_R(\Math{\mathcal{G}},\Math{\IGeneric})$. On the indicated category of skew $R$-modules, Gorenstein duality
    agrees naturally (up to suspension) with Kronecker duality over
    $k$ only after twisting by $\Math{\mathcal{L}}$.
  \end{rem}

  Let $\Math{R_\epsilon}$ denote $R$ considered as \adiscrete/ $\Math{S}$-module via the
  map $\Math{S}\to R$ with $x_i\mapsto 0$ and $y_i\mapsto x_i$. 

  \begin{lem}\label{TwoTensors}
    The natural map $R\otimes_{\Math{S}'}\Math{R_\epsilon}\to R\otimes_{\Math{S}}\Math{R_\epsilon}$ is an
    equivalence. 
  \end{lem}

  \begin{proof}
    This follows from an explicit calculation depending on the fact
    that for both $\Math{S}$ and $\Math{S}'$, the module $\Math{R_\epsilon}$ is the quotient
    of the ring by the ideal generated by the regular sequence
    $(x_1,\ldots,x_{n-1})$. 
  \end{proof}

  In the following lemma, $\Math{S}$ acts on
  $\operatorname{Hom}_k(M,R)\sim\operatorname{Ext}^0_k(M,R)$ in a completed bimodule fashion,
  e.g., $(x_i\cdot f)(m)=f(x_im)$ and $(y_i\cdot f)(m)=y_if(m)$.

  \begin{lem}\label{GetTheSameAnswer}
    If $M$ is \afinitelength/
    $R$-module, then the natural maps
    \[
    \begin{aligned}
      \operatorname{Hom}_{\Math{S}}(R,\operatorname{Hom}_k(M,R))&\to\operatorname{Hom}_{\Math{S}'}(R,\operatorname{Hom}_k(M,R))\\
       R\otimes_{\Math{S}'}\operatorname{Hom}_k(M,R)&\to R\otimes_{\Math{S}}\operatorname{Hom}_k(M,R)
    \end{aligned}
    \]
    are equivalences.
  \end{lem}

  \begin{proof}
  \pushQED{\qed} %
    The module $M$ has a composition series in which the successive
    quotients are isomorphic to $k$; by an inductive argument, it
    suffices to treat the case $M=k$. In this case the second
    statement is \ref{TwoTensors}, while the first follows from
    \ref{TwoTensors} and the equivalences
     \begin{align*}
     \operatorname{Hom}_{\Math{S}}(R,\Math{R_\epsilon}) &\sim \operatorname{Hom}_R(\Math{R_\epsilon}\otimes_{\Math{S}}R, \Math{R_\epsilon})\\
     \operatorname{Hom}_{\Math{S}'}(R,\Math{R_\epsilon}) &\sim\operatorname{Hom}_R(\Math{R_\epsilon}\otimes_{\Math{S}'}R,\Math{R_\epsilon})\,. \qedhere
     \end{align*} 
   \end{proof}

     We will use the fact that for any $R$-modules
    $A$ and $B$, there are natural weak equivalences
    \begin{equation}\label{TensorsAndHoms}
       \begin{aligned}
          \operatorname{Hom}_R(A,B)&\sim\operatorname{Hom}_{\Math{S}'}(R, \operatorname{Hom}_k(A,B))\\
          A\otimes_RB&\sim R\otimes_{\Math{S}'}(A\otimes_kB)
       \end{aligned}
    \end{equation}

  \begin{titled}{Proof of \ref{TwistOverk} (sketch)} The fact that
    \Math{\mathcal{L}}/ is a free module of rank~1 over $R$ follows from 
    calculation with the usual Koszul resolution of $R$ over
    $\Math{S}$. Let $\Math{\mathcal{L}^\#}$ denote $\operatorname{Ext}^{n-1}_S(R,S)$. Another
    calculation with the Koszul resolution shows that $\Math{\mathcal{L}^\#}$ is also
    a free module of rank~1 over~$R$, and that
     the composition pairing
    \[\Math{\mathcal{L}}\oslash_R\Math{\mathcal{L}^\#}=
    \operatorname{Tor}_{n-1}^S(R,R)\oslash_R\operatorname{Ext}^{n-1}_S(R,S)\to \operatorname{Tor}_0^S(R,S)\cong R\]
    is an isomorphism; see \cite[Lemma~1.5]{AILN}. To finish the proof, it is enough to show that
    for any~$M$ as described there is a natural isomorphism
    \[     \Math{\mathcal{L}^\#}\oslash_R\operatorname{Ext}^0_k(M,k)\to \operatorname{Ext}^{n-1}_R(M,R)\,.\]
    Again, consideration of the Koszul resolution shows that $R$ is
    finitely built from~$S$ as an $S$-module, and that 
   $\operatorname{Ext}^i_S(R,S)$ vanishes if $i\ne n-1$. It follows that 
    $\operatorname{Hom}_S(R,S)$ is equivalent to~$\Sigma^{1-n}\Math{\mathcal{L}^\#}$, and that for
    any $S$-module $X$ there is a natural isomorphism
    \begin{equation}\label{FundamentalPairing}
      \Sigma^{1-n}\Math{\mathcal{L}^\#}\otimes_SX\sim
      \operatorname{Hom}_S(R,S)\otimes_SX\sim\operatorname{Hom}_S(R,X)\,.
    \end{equation}

    Now let $M$ be \afinitelength/ $R$-module, and let $X$ be the \discrete/
    $S$-module $\operatorname{Hom}_k(M,R)$. The module  $M$ is finite-dimensional over $k$,
    and so $X$ is equivalent to $\operatorname{Hom}_k(M,k)\otimes_kR$, and (cf.
    \ref{GetTheSameAnswer}, \ref{TensorsAndHoms})
    \ref{FundamentalPairing} gives an equivalence
    \[\begin{aligned}
    \Sigma^{1-n}\Math{\mathcal{L}^\#}\otimes_R\operatorname{Hom}_k(M,k)&\sim\operatorname{Hom}_S(R,S)\otimes_R(R\otimes_S(\operatorname{Hom}_k(M,k)\otimes_kR))\\
             &\sim\operatorname{Hom}_S(R,S)\otimes_S\operatorname{Hom}_k(M,R)\\
             &\sim\operatorname{Hom}_S(R,\operatorname{Hom}_k(M,R))\\
             &\sim\operatorname{Hom}_R(M,R)\,.
    \end{aligned}
    \]
    Applying $\pi_{1-n}$ gives the desired isomorphism. Its
    construction is natural enough to respect skew
    homormorphisms $M\to M'$. \qed
   \end{titled}
\end{NumberedSubSection}

\begin{NumberedSubSection}{Power series over a $p$-adic ring}\label{SFullDuality}
  Let $W$ be the ring of integers in a finite unramified extension
  field of $\Math{\mathbb{Q}_p}$, $k$ the residue field of $W$, $R$ the formal
  power series ring $W[\![ x_1,\ldots,x_{n-1}]\!]$, and
  $R\to k$ the quotient map sending each $x_i$ to zero. As before, $R\to k$
  is Gorenstein  and the Gorenstein
  condition provides a Brown-Comenetz dualizing module
  $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$. As in \ref{InduceItUp}, there is \acoinduced/
  Brown-Comenetz dualizing module 
  $\Math{\IGeneric}=\operatorname{Cell}_k\operatorname{Hom}_{\Math{\Z_p}}(R,\Math{\Z/p^\infty})$. Let \Math{\mathfrak{m}}/ denote the kernel of
  $R\to k$. For \afinitelength/ (\ref{FiniteLength})
  $R$-module $M$, the two associated notions of duality are given by
  \[
      \begin{aligned}
      \Dual\Math{\mathcal{G}}(M)&\sim \Sigma^{-n}\operatorname{Ext}^{n}_R(M,R)\\
      \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-0}}\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})
      \end{aligned}
  \]
  Let $S=W[\![ x_1,\ldots,x_{n-1},y_1,\ldots,y_{n-1}]\!]$
  be the evident completion of \hbox{$R\oslash_WR$}, and let
  $\Math{\mathcal{L}}=\pi_{n-1}(R\otimes_SR)$.

  \begin{prop}\label{TwistOverO}
    The object \Math{\mathcal{L}}/ is a free \discrete/ $R$-module on one
    generator. For any \finitelength/ $R$-module $M$, there is an
  isomorphism
  \[
     \Math{\mathcal{L}}\oslash_R\operatorname{Ext}^{n}_R(M,R)\cong \operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,.
  \]
   which is natural with respect to skew homomorphisms
   $M\to M'$.
  \end{prop}
  
  \begin{rem}
    Behind this proposition is an equivalence
    $\Sigma^n\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\sim\Math{\IGeneric}$. On the indicated category
    of skew $R$-modules, Gorenstein duality agrees naturally (up to
    suspension) with Pontriagin duality only after twisting by
    $\Math{\mathcal{L}}$. 
  \end{rem}

  \begin{titled}{Proof of \ref{TwistOverO} (sketch)}
    Let $\Math{\mathcal{L}^\#}$ denote $\operatorname{Ext}^{n-1}_S(R,S)$. As in the proof
    of \ref{TwistOverk}, it is enough to show that for all $M$ of the
    indicated type 
    there is a natural isomorphism
    \[   \Math{\mathcal{L}^\#}\oslash_R\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\cong
    \operatorname{Ext}^{n}_R(M,R)\,.\]
     Let $\Math{\mathfrak{n}}\subset\Math{\mathfrak{m}}$ denote the kernel of the map $R\to W$ sending each $x_i$
    to zero. The arguments in the proof of \ref{TwistOverk} give an
    equivalence 
    \[
       \Math{\mathcal{L}^\#}\otimes_R\operatorname{Hom}_{W}(M,W)\sim\Sigma^{n-1}\Hom_R(M,R)
    \]
    for any \discrete/ finitely-generated $R$-module $M$ which is
    annihilated by a power of~\Math{\mathfrak{n}}. (The observation
    in the proof of \ref{GetTheSameAnswer} that $M$ has a composition
    series in which the successive quotients are isomorphic to~$k$ has
    to be replaced by the observation that $M$ has a composition
    series in which the successive quotients are isomorphic as
    $R$-modules to cyclic modules over the PID~$W$.)
     If  in addition $M$ is
    \Math{\mathfrak{m}}-primary, i.e., if $M$ is a $p$-primary torsion abelian group,
    then  the considerations of  \ref{padicGor} give an equivalence
    \[
        \Sigma\operatorname{Hom}_W(M,W)\sim\operatorname{Hom}_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,.
    \]
    Combining the equivalences, applying $\pi_*$, and verifying
    naturality gives the result. \qed 
  \end{titled}
 \end{NumberedSubSection}

\section{Chromatic ingredients}\label{CPreliminaries}

The purpose of this section is to recall some material from \cite{rHS}
and \cite{rS}.  As in \ref{GHIntro}, let \Math{\IGeneric}/ denote
$\operatorname{Cell}^{\Sn}_{\kn}\operatorname{Hom}(\Sn,\Math{\mathbb{I}})$, where \Math{\mathbb{I}}/ is the ordinary
Brown-Comenetz dual of the sphere.

\begin{rem}\label{IIRGivesPontriagin}
  Note that if $X$ is an \Sn-module which is built from \kn, then
  $\operatorname{Hom}(X,\Math{\IGeneric})\sim\operatorname{Hom}(X,\operatorname{Hom}(\Sn,\Math{\mathbb{I}}))$ is equivalent to
  $\operatorname{Hom}(\Sn\otimes X,\Math{\mathbb{I}})\sim\operatorname{Hom}(X,\Math{\mathbb{I}})$. In particular, for
  such an $X$ the homotopy groups of $\Dual\Math{\IGeneric} X$ are the Pontriagin
  duals of the homotopy groups of $X$.
\end{rem}

\begin{prop}\label{KnIsBC}
  The \Sn-module \Math{\IGeneric}/ is a Brown-Comenetz dualizing module for
  $\Sn\to\kn$. 
\end{prop}

\begin{proof}
  Given \ref{IIRGivesPontriagin}, a homotopy group calculation
  shows that $\operatorname{Hom}(\kn,\Math{\mathbb{I}})$ is equivalent to $\kn$ as a left
  $\kn$-module.  Since $\Sn\to \kn$ has a Koszul complex
  (\ref{knIsKoszul}), the result follows from
  \ref{RecognizeGorenstein}.
\end{proof}


Recall that a
\kn-local spectrum $X$ is said to be \emph{invertible} if there exists
a \kn-local spectrum $Y$ such that $X\hat\Tensor Y\sim\SKn$. In the
following statement ``shifted isomorphic'' means ``isomorphic up to
suspension''. 

\begin{prop} \label{InvertibleMeansNiceK}
  Suppose that $X$ is a \kn-local spectrum. Then the following 
  conditions are equivalent:
  \begin{enumerate}
  \item $X$ is invertible.
  \item $\kn_* X$ is shifted isomorphic to $\kn_*$ as a $\kn_*$-module.
  \item $\kn^*X$ is shifted isomorphic to $\kn^*$ as a $\kn^*$-module.
  \item $\Math{\En^{\vee}}_* X$ is shifted isomorphic to $\En_*$ as an $\En_*$-module.
    \label{Eversion}
  \item $\En^*X$ is shifted isomorphic to $\En^*$ as an
    $\En^*$-module. \label{Ecversion}
  \end{enumerate}
\end{prop}

\begin{proof}
  This is essentially \cite[14.2]{rHS}. There is a technical point
  to take into account. Hovey and Strickland use the letter ``$E$'' to
  denote a spectrum which we will call $\EHS$; its homotopy groups are
  given by
  \[
      \EHS_* = \Math{\Z_p}[\![
    v_1,v_2,\ldots,v_{n-1}]\!][v_n,v_n^{-1}]\,.
  \] 
  where $|v_k|=2(p^k-1)$.
  Our ring $\En_*$ is a finitely generated free module over $\EHS_*$
  under the map sending $v_k$ to $u^{p^{k-1}}u_k$, where $u_0=p$,
  $u_n=1$. Let $\EHS^\vee_*(X)$ denote $\pi_*L_{\kn}(\EHS\otimes X)$. 
  Given the way in which the cohomology theories $\EHS_*$ and $\En_*$
  are defined (i.e., by Landweber exactness \cite[p.~4]{rHS}
  \cite{rS}), for any
  spectrum $X$ there are isomorphisms
  \begin{equation}\label{BigVsSmall}
    \begin{aligned}
      \En_*(X)&\cong\En_*\oslash_{\EHS_*}\EHS_*(X)\\
      \Math{\En^{\vee}}_*(X)&\cong\En_*\oslash_{\EHS_*}\EHS_*^\vee(X)\,.
    \end{aligned}
  \end{equation}
  Hovey and Strickland show that conditions (1) and (2) and (3) of the
  proposition hold if and only if $\EHS^\vee_*(X)$ is isomorphic to
  $\EHS_*$ (up to suspension).  The proof is completed by observing that,
  in view of \ref{BigVsSmall}, $\Math{\En^{\vee}}_*(X)$ is isomorphic 
  to $\En_*$ (up to suspension) if and only if $\EHS^\vee_*(X)$
  is equivalent to $\EHS_*$ (up to suspension). Similar considerations
  apply to $\En^*$.
\end{proof}


\begin{prop} \label{IisInvertible}
  The \kn-local spectrum \Math{\hat{\IIR}}/ is invertible. 
\end{prop}

\begin{proof}
  This is \cite[10.2(e)]{rHS}; see also
  Theorem~\ref{BCequalsInvertible}. 
\end{proof}


\begin{prop}\label{SelfEquivalence}
  If $I$ is an invertible \kn-local spectrum, then the functor
  $X\mapsto X\hat\Tensor I$ gives a self-equivalence of the homotopy
  category of \kn-local spectra. In particular, for any \kn-local
  spectra $X$, $Y$ the natural map
  \[
    \operatorname{Hom}(X,Y)\to\operatorname{Hom}(X\hat\Tensor I, Y\hat\Tensor I)
  \]
  is an equivalence.
\end{prop}

\begin{proof}
  The inverse functor is given by $X\mapsto X\KSmash J$, where
  $I\KSmash J\sim\Math{\hat{\Sn}}$.
\end{proof}

\begin{rem}\label{DualOfInvertible}
  If $I$ is invertible, the ``multiplicative inverse''
  $J$ of $I$ is given by $J=\operatorname{Hom}(I,\Math{\hat{\Sn}})$. This can be derived from the
  chain of equivalences
  \[
    J\sim\operatorname{Hom}(\Math{\hat{\Sn}},J)\sim \operatorname{Hom}(I\KSmash\Math{\hat{\Sn}},I\KSmash J)\sim
    \operatorname{Hom}(I,\Math{\hat{\Sn}})\,.
  \]
\end{rem}


\begin{prop}\label{InvertibleMeansDualizable}\cite[10.6]{rHS}
  If $I$ is an invertible \kn-local spectrum, then for any spectrum
  $X$, the natural map $\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor
  I\to\operatorname{Hom}(X, I)$ is an equivalence.
\end{prop}

\begin{proof}
  Pick a \kn-local $J$ such that $I\hat\Tensor J\sim\Math{\hat{\Sn}}$. 
  Now use \ref{SelfEquivalence} to compute
  \[
    \begin{aligned}
    \operatorname{Hom}(X,I)&\sim\operatorname{Hom}(X\hat\Tensor J,I\hat\Tensor J)\\
    &\sim\operatorname{Hom}(J,\operatorname{Hom}(X,\Math{\hat{\Sn}}))\\
    &\sim\operatorname{Hom}(J\hat\Tensor I,\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor I)\,
   \end{aligned}
  \]
  and note that the final spectrum is $\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor I$.
\end{proof}




\begin{thm}\label{EtoSKisGor}\label{DualOfE}
  \cite[Prop.~16]{rS} 
  There is a weak equivalence
  \begin{equation}
            \hat D\En\sim \Sigma^{-n^2}\En
  \end{equation}
  of left \En-modules, which respects the actions of $\Gamma$ on both
  sides.
\end{thm}

\begin{proof}
   Much of the content of this proof is in the technical details, but
  we will sketch the argument. Let $\Math{\EndEn}=\operatorname{End}(\En)$. Note that
the natural map
 \begin{equation}\label{ESpectralSeq}
     \operatorname{Hom}(\En,X)\to \operatorname{Hom}_{\Math{\EndEn}}(\operatorname{Hom}(X,\En), \operatorname{Hom}(\En,\En))
  \end{equation}
  is a weak equivalence for $X=\En$.  Since $\Math{\hat{\Sn}}$ is finitely built
  from \En/ (\ref{SisFinite}) and both sides of \ref{ESpectralSeq}
  respect cofibration sequences in $X$, it follows that
  \ref{ESpectralSeq} is an equivalence for $X=\Math{\hat{\Sn}}$. This results in a
  strongly convergent
  Adams spectral sequence
  \[
  E^2_{*,*}=\operatorname{Ext}^*_{\En_*[\![\Gamma]\!]}
  (\En_*,\En_*[\![\Gamma]\!])\Rightarrow\pi_*\operatorname{Hom}(\En,\Math{\hat{\Sn}})\,.
  \] 
  By a change of rings, the $E^2$-page is isomorphic to the continuous
  cohomology $H_c^*(\Gamma,\En_*[\![\Gamma]\!]))$.  Since
  $\Gamma$ is a Poincar\'e duality group of dimension $n^2$, this
  continuous cohomology vanishes except in homological
  degree~$n^2$, where it is isomorphic to $\En_*$
  \cite[Prop.~5]{rS}.
\end{proof}

\begin{rem}\label{EDoubleDual}
  It follows from \ref{DualOfE} that the natural map
  $\rho:\En\to \hat D^2\En$ is an equivalence.
  To see this, let $f:\Sigma^{-n^2}\En\to\Math{\hat{\Sn}}$ be a map
  which corresponds under \ref{DualOfE} to the unit in $\En_0$. The
  adjoint of the equivalence $\Sigma^{-n^2}\En\to\operatorname{Hom}(\En,\Math{\hat{\Sn}})$ is then
  the composite
  \begin{equation}\label{FirstAdjoint}
       (\Sigma^{-n^2}\En)\otimes \En
      \RightArrow{m}\Sigma^{-n^2}\En\RightArrow{f}\Math{\hat{\Sn}}\,,
  \end{equation}
  where $m$ is obtained from the multiplication on $\En$. 
 Consider
  the following two maps
  \[\rho,\lambda:\En\to\hat D^2\En\sim\operatorname{Hom}(\Sigma^{-n^2}\En,\Math{\hat{\Sn}})\,,\]
  which we will specify by giving their adjoints
  $\En\otimes\Sigma^{-n^2}\En\to\Math{\hat{\Sn}}$.  The adjoint of $\rho$ is the
  composite of \ref{FirstAdjoint} with the transposition map
  $\En\otimes(\Sigma^{-n^2}\En)\to (\Sigma^{-n^2}\En)\otimes \En$;
  the adjoint of $\lambda$ is obtained by shifting the suspension
  coordinate in \ref{FirstAdjoint} from one tensor factor to the
  other. The map $\lambda$ is an equivalence because the adjoint of
  \ref{FirstAdjoint} is an equivalence.  The fact that $\rho$ is an
  equivalence now follows from the fact that $\En$ is a commutative
  \salgebra/.
\end{rem}

\section{Gross-Hopkins duality}\label{SGrossHopkins}

In this section we prove the main statements involved in Gross-Hopkins
duality, except, of course, for the Gross-Hopkins calculation itself
(\ref{GHTheorem}). We rely heavily on \cite{rHS} and \cite{rS}.

  \begin{titled}{Proof of \ref{GHShift}}
    By \ref{TwoKEquivalences}, $\operatorname{Hom}(\kn,\Sn)$ is equivalent to
    $\operatorname{Hom}(\kn,\Math{\hat{\Sn}})$.  Use \ref{IisInvertible} and
    \ref{SelfEquivalence} to obtain an equivalence
    $\operatorname{Hom}(\kn,\Math{\hat{\Sn}})\sim\operatorname{Hom}(\kn\hat\Tensor\Math{\hat{\IIR}},\Math{\hat{\IIR}})$,  observe
    (\ref{InvertibleMeansNiceK}) that $\kn\hat\Tensor\Math{\hat{\IIR}}$ is
    equivalent to \kn, and invoke \ref{KnIsBC} to evaluate
    $\operatorname{Hom}(\kn,\Math{\hat{\IIR}})\sim\operatorname{Hom}(\kn,\Math{\IGeneric})$.
  \end{titled}

  \begin{titled}{Proof of \ref{GHSame}}
    For the statment involving \Math{\mathcal{G}}, note that the map $\Math{\mathcal{G}}\to\Sn$
    is a $\operatorname{Cell}_{\kn}$-equivalence, and hence
    (\ref{TwoKEquivalences}) an equivalence on $\kn_*$ or $\Math{\En^{\vee}}_*$. It
    follows that $\Math{\En^{\vee}}_*\Math{\mathcal{G}}$ is isomorphic to $\Math{\En^{\vee}}_*\Sn\cong\En_*$,
    even as modules over $\Gamma$.  The statement involving $\Math{\IGeneric}$ is
    a consequence of \ref{IisInvertible} and
    \ref{InvertibleMeansNiceK}, since the localization map
    $\Math{\IGeneric}\to\Math{\hat{\IIR}}$ induces an isomorphism on $\kn_*$ or $\Math{\En^{\vee}}_*$.
    \qed
  \end{titled}
  
  \begin{titled}{Proof of \ref{SimpleNaturality}}
    For the first isomorphism, observe that because $\Math{\mathcal{F}}$ is
    finitely built from \kn/ \cite[8.12]{rHS} and $\Math{\mathcal{G}}\to\Sn$ is a
    $\operatorname{Cell}_{\kn}$-equivalence, $\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})$ is equivalent to
    $\Dual\Sn(\Math{\mathcal{F}})$. Since $\Math{\mathcal{F}}$ is finitely built from \Sn, the
    usual properties of Spanier-Whitehead duality give an equivalence
  \[
        \En\otimes\Dual\Sn(\Math{\mathcal{F}})\sim\operatorname{Hom}(\Math{\mathcal{F}},\En)\,.
  \]
  It follows from \ref{GHShift} that $\Dual\Sn(\Math{\mathcal{F}})$ is also
  finitely built from \kn, which implies that
  $\En\otimes\Dual\Sn(\Math{\mathcal{F}})$ is \kn/-local and hence equivalent to
  $\En\KSmash\Dual\Sn(\Math{\mathcal{F}})$. Combining these obervations gives an
  equivalence
  \[
  \En\KSmash\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\sim\operatorname{Hom}(\Math{\mathcal{F}},\En)\,,
  \]
  so that $\Math{\En^{\vee}}_i\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})$ is isomorphic to $\En^{-i}(\Math{\mathcal{F}})$.
  There is a strongly convergent universal coefficient spectral
  sequence
  \[
     \operatorname{Ext}^*_{\En_*}(\En_*\Math{\mathcal{F}},\En_*)\Rightarrow \En^*(\Math{\mathcal{F}})\,.
  \]
  Since $\En_*$ is isomorphic as a graded $\En_*$-module
  to $\operatorname{Ext}^0_{\En_0}(\En_*,\En_0)$, a standard change of rings
  argument (Shapiro's lemma) produces a spectral sequence
  \[
  \operatorname{Ext}^i_{\En_0}(\En_j\Math{\mathcal{F}},
  \En_0)\Rightarrow\En_{-j-i}\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\,.
  \]
  But $\En_0\to\Math{\F_{p^n}}$ is Gorenstein and each group $\En_j\Math{\mathcal{F}}$ has a
  finite composition series in which the successive quotients are
  isomorphic, as $\En_0$-modules, to $\Math{\F_{p^n}}$. This implies that the
  above $\operatorname{Ext}$-groups vanish except for $i=n$, which leads to the
  desired result.

  For the second isomorphism, observe that that there are equivalences
   \begin{equation}\label{DualityChain}
   \begin{aligned}
      \operatorname{Hom}(\En\hat\Tensor \Math{\mathcal{F}}, \Math{\hat{\IIR}})&\sim
      \operatorname{Hom}(\Math{\mathcal{F}},\operatorname{Hom}(\En,\Math{\hat{\IIR}}))\\
       &\sim \operatorname{Hom}(\Math{\mathcal{F}},\Sigma^{-n^2}\En\hat\Tensor\Math{\hat{\IIR}})\\
       &\sim\Sigma^{-n^2}\En\hat\Tensor\operatorname{Hom}(\Math{\mathcal{F}},\Math{\hat{\IIR}})     
   \end{aligned}
   \end{equation}
   where the second equivalence comes from combining \ref{EtoSKisGor}
   with \ref{InvertibleMeansDualizable}, and the third from the fact
   that $\Math{\mathcal{F}}$ is finite. Since $\Math{\mathcal{F}}$ is finitely built out of
   \kn, $\En\hat\Tensor\Math{\mathcal{F}}\sim\En\otimes\Math{\mathcal{F}}$ is built out of \kn, and
   the homotopy groups of the initial spectrum in the chain
   \ref{DualityChain} are the Pontriagin duals of $\Math{\En^{\vee}}_*\Math{\mathcal{F}}$
   (\ref{IIRGivesPontriagin}). The proof is completed by noting that
   the homotopy groups of the terminal spectrum in \ref{DualityChain}
   are given by $\Math{\En^{\vee}}_*\Dual\Math{\IGeneric} \Math{\mathcal{F}}$. \qed
  \end{titled}

  \begin{titled}{Proof of \ref{TwistedDifference}}
    It follows from \ref{IisInvertible},
    \ref{InvertibleMeansDualizable} and the argument in the proof of
    \ref{SimpleNaturality} that for any finite complex $\Math{\mathcal{F}}$ of
    type~$n$ there is are equivalences
    $\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes\Math{\mathcal{G}}$ and
    $\Dual\Math{\IGeneric}(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes\Math{\IGeneric}$. This gives
    Kunneth isomorphisms of modules over $\En[\![\Gamma]\!]$:
  \[
       \begin{aligned}
       \Math{\En^{\vee}}_*\Dual\Math{\IGeneric}(\Math{\mathcal{F}})&\cong\Math{\En^{\vee}}_*\Dual\Sn(\Math{\mathcal{F}})\oslash_{\En_*}\Math{\En^{\vee}}_*\Math{\mathcal{G}}\\
       \Math{\En^{\vee}}_*\Dual\Math{\IGeneric}(\Math{\mathcal{F}})&\cong\Math{\En^{\vee}}_*\Dual\Sn(\Math{\mathcal{F}})\oslash_{\En_*}\Math{\En^{\vee}}_*\Math{\IGeneric}
       \end{aligned}
  \]
    Let \EHS/ be the spectrum described in the proof of
  \ref{InvertibleMeansNiceK}. Call an ideal $J
  \subset\EHS_*$
  \emph{admissible} if it has the form
  $(p^{a_0},v_1^{a_1},\ldots,v_{n-1}^{a_{n-1}})$. As described in
  \cite[\S4]{rHS}, there exists a family $\{J_\alpha\}$ of
  admissible ideals, such that $\cap_kJ_\alpha=0$, and such that for
  each $\alpha$ there exists a finite complex $\Math{\mathcal{F}}_\alpha$ of type~$n$
  with $\EHS_*\Math{\mathcal{F}}_\alpha\cong\EHS_*/J_\alpha$. Under the inclusion
  $\EHS_*\to\En_*$ we can treat $J_\alpha$ as an ideal of $\En_*$ and
  obtain (\ref{BigVsSmall}) $\Math{\En^{\vee}}_*Y_\alpha\cong\En_*/J_\alpha$.
  Let $X_\alpha=\Dual{\Sn}\Math{\mathcal{F}}_\alpha$, so that
  $\Math{\mathcal{F}}_\alpha\sim\Dual{\Sn}X_\alpha$.
  Then there are isomorphisms
  \[
       \begin{aligned}
       \Math{\En^{\vee}}\Dual\Math{\mathcal{G}} X_\alpha&\cong \Math{\En^{\vee}}_*(\Math{\mathcal{G}})/J_\alpha\\
       \Math{\En^{\vee}}\Dual\Math{\IGeneric} X_\alpha&\cong\Math{\En^{\vee}}_*(\Math{\IGeneric})/J_\alpha\,.
       \end{aligned}
  \]
  The proof is completed by combining these isomorphisms with
  \ref{SimpleNaturality} and passing to the limit in $J_\alpha$
  \cite[4.22]{rHS}.
  \end{titled}


\section{Invertible modules}

In this we prove \ref{GHClassifyBC}. We begin with an extension of \ref{InvertibleMeansNiceK}.

\begin{thm}\label{BCequalsInvertible}
  A \kn-local spectrum $I$ is invertible if and only if, up to suspension,
 $\operatorname{Hom}(\kn, I)$ is equivalent to $\kn$.
  \end{thm}

\begin{rem}
  It is easy to see that $\operatorname{Hom}(\kn,I)$ is equivalent to $\Sigma^d\kn$
  as a spectrum if and only if it is equivalent to $\Sigma^d\kn$ as a
  \kn-module.  
\end{rem}

\begin{lem}\label{LocalMappingSpaces}
  If $Y$ is \kn-local and $X$ is any spectrum, then $\operatorname{Hom}(X,Y)$ is
  \kn-local.
\end{lem}

\begin{proof}
  One needs to show that if $A$ is \kn-acyclic,
  $\operatorname{Hom}(A,\operatorname{Hom}(X,Y))$ is contractible. But this spectrum is
  equivalent to $\operatorname{Hom}(X,\operatorname{Hom}(A,Y))$, and $\operatorname{Hom}(A,Y)$ is contractible
  because $Y$ is \kn-local.
\end{proof}

\begin{lem}\label{BCDoubleDual}
  Suppose that $I$ is a \kn-local spectrum such
  that $\operatorname{Hom}(\kn,I)$ is equivalent to a suspension of \kn.
  Then the natural map $\kappa_X: X\to\Dual I^2(X)$ is an equivalence for
  $X=\kn$ and $X=\Math{\hat{\Sn}}$.
\end{lem}

\begin{proof}
  We can shift $I$ by a suspension and assume $\operatorname{Hom}(\kn,I)\sim \kn$.
  Let $f:\kn\to I$ be essential. Under the identification
  $\kn\sim\operatorname{Hom}(\kn,I)$ obtained by choosing $f$ as a generator for
  $\pi_*\operatorname{Hom}(\kn,I)$ as a module over $\kn_*$, the map $\kappa_{\kn}$
  is adjoint to the composite of $f$ with the multiplication map
  $\kn\otimes\kn\to \kn$. Since $\operatorname{Hom}(\kn,I)$ is clearly equivalent to
  $\kn$ both as a left module and as a right module over \kn, it is
  easy to conclude that $\kappa_{\kn}$ is an equivalence
  (cf. \ref{EDoubleDual}).

  By a thick subcategory argument, $\kappa_X$ is an equivalence for
  all spectra finitely built from \kn, e.g., for a finite spectrum
  $\Math{\mathcal{F}}$ of type~$n$.  Since $\Dual
  I(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes I$ and $\Math{\mathcal{F}}\sim\Dual\Sn
  ^2(\Math{\mathcal{F}})$, the spectrum $\Dual I^2(\Math{\mathcal{F}})$ can be identified with
  $\Math{\mathcal{F}}\otimes\operatorname{Hom}(I,I)$. It follows that
  \[
  \kn_*(\Math{\mathcal{F}})\cong\kn_*(\Math{\mathcal{F}})\oslash_{\kn_*}\kn_*\operatorname{Hom}(I,I)
  \] 
  and hence that $\kn_*\operatorname{Hom}(I,I)\cong\kn_*$. The spectrum $\operatorname{Hom}(I,I)$ is
  \kn-local (\ref{LocalMappingSpaces}), is not contractible, and is an
  \salgebra/ under composition; it follows that the unit map
  $\Math{\mathbb{S}}\to\operatorname{Hom}(I,I)$ is nontrivial on $\kn_*$. Visibly, then, the
  unit map is an isomorphism on $\kn_*$ and induces an equivalence
  $\Math{\hat{\Sn}}\to\operatorname{Hom}(I,I)$.  It is not hard to identify this equivalence with
  the natural map $\Math{\hat{\Sn}}\to\Dual I^2(\Math{\hat{\Sn}})$ and conclude that
  $\kappa_{\Math{\hat{\Sn}}}$ is an equivalence.
\end{proof}

\begin{titled}{Proof of \ref{BCequalsInvertible}}
  Suppose that $I$ is invertible.  Use \ref{InvertibleMeansDualizable}
  to deduce
  \[
     \operatorname{Hom}(\kn, I)\sim\operatorname{Hom}(\kn,\Math{\hat{\Sn}})\KSmash I
  \]
  and observe that both $\operatorname{Hom}(\kn, \Math{\hat{\Sn}})$ (\ref{GHShift}) and
  $\kn\KSmash I$ (\ref{InvertibleMeansNiceK}) are equivalent to \kn/
  up to suspension. The conclusion is that $\operatorname{Hom}(\kn,I)$ is equivalent
  to \kn/ up to suspension.

  Suppose on the other hand that $\operatorname{Hom}(\kn,I)$ is equivalent to \kn,
  up to suspension. It follows from \ref{BCDoubleDual} that the
  natural map
  \[
    \operatorname{Hom}(\kn,\Math{\hat{\Sn}})\sim\operatorname{Hom}(\kn,\Dual I^2\Math{\hat{\Sn}})\to\operatorname{Hom}(\Dual I \Math{\hat{\Sn}},\Dual I\kn)\sim\operatorname{Hom}(I,\Dual I\kn)
  \]
  is an equivalence. The conclusion is that $\kn^*I$ is isomorphic to
  $\kn_*$, up to suspension, and hence by \ref{InvertibleMeansNiceK}
  that $I$ is invertible.
\end{titled}

For the rest of this section, \Math{\EndEn}/ will denote the endomorphism
\salgebra/ $\operatorname{End}(\En)$ of \En. The left action of \En/ on itself
gives a ring map $\En\to\Math{\EndEn}$.

\begin{prop}\label{StrangeIsFinite}
  Suppose that $\En'$ is any right \Math{\EndEn}/-module which is equivalent
  as an \En-module to \En. Then $\En'$ is finitely built from
  $\Math{\EndEn}$ as a right module over $\Math{\EndEn}$.
\end{prop}

\begin{proof}
  Consider two right actions $\En(1)$ and $\En(2)$ of \Math{\EndEn}/ on
  \En/ which extend the right action of $\En$ on itself.  Since
  \Math{\EndEn}/ is in fact the endomorphism \salgebra/ of $\En=\En(1)$, the
  right action of \Math{\EndEn}/ on $\En(2)$ is determined by \ansalgebra/
  homomorphism $\alpha:\Math{\EndEn}\to\Math{\EndEn}$. For any right \Math{\EndEn}-module $M$,
  let $M^\alpha$ denote the right \Math{\EndEn}-module obtained by twisting
  the action of \Math{\EndEn}/ on $M$ by $\alpha$, so that
  $\En(2)=\En(1)^\alpha$. As in \cite[\S7]{rPicard},
  the homomorphism $\pi_*(\alpha):
  \En_*[\![\Gamma]\!] \to
  \En_*[\![\Gamma]\!]$ is determined by a cocycle
  representing an element of $H^1(\Gamma;\En_0^\times)$, and in
  particular, $\pi_*(\alpha)$ is an isomorphism. It follows that if
  $M$ is a free right $\Math{\EndEn}$-module, so is $M^\alpha$; if $M$ is
  finitely built from \Math{\EndEn}/ as a module over \Math{\EndEn}, so is $M^\alpha$.
  It suffices then to find a single example of a suitable $\En(1)$
  which \emph{is} finitely built from $\Math{\EndEn}$. For this, take
  $\En(1)=\Sigma^{n^2}\hat D\En$; the distinction between the left
  action of \En/ on $\hat D\En$ (\ref{DualOfE}) and the corresponding
  right action is immaterial, since \En/ is a commutative \salgebra.
  Since \Math{\hat{\Sn}}/ is finitely built from \En/ (\ref{SisFinite}),
  $\operatorname{Hom}(\En,\Math{\hat{\Sn}})=\hat D\En$ is finitely built from
  $\operatorname{Hom}(\En,\En)=\Math{\EndEn}$ as a right module over \Math{\EndEn}.
\end{proof}

\begin{thm}\label{InvertibleBijection}
  The functor $I\mapsto\operatorname{Hom}(\En,I)$ gives a bijection between
  equivalence classes of invertible \kn-local spectra and equivalence
  classes of right \Math{\EndEn}-modules which are equivalent to \En/, up to
  suspension, as right \En-modules.
\end{thm}

\begin{rem}
    The inverse bijection sends a right module $\En'$ of the
    indicated type to $\En'\otimes_{\Math{\EndEn}}E$.
\end{rem}

\begin{proof}
  First observe that if $I$ is an invertible \kn-local spectrum,
  then $\operatorname{Hom}(\En,I)$ is equivalent to \En/ as a right \En-module:
  this follows from \ref{InvertibleMeansNiceK}, together with the fact
  (\ref{InvertibleMeansDualizable}, \ref{EtoSKisGor}) that there are
  equivalences 
  \[
     \operatorname{Hom}(\En, I) \sim\operatorname{Hom}(\En,\Math{\hat{\Sn}})\hat\Tensor
     I\sim\Sigma^{-n^2}\En\hat\Tensor I\,.
  \]
  Next, we claim that for \emph{any} \Math{\hat{\Sn}}-module $X$, in particular for
  $X=I$, the natural map
  \[
     \operatorname{Hom}(\En,X)\otimes_{\Math{\EndEn}}\En\to X
  \]
  is an equivalence.  To see this, fix $X$, and consider the class of
  all spectra $Y$ such that the natural map
  \begin{equation}\label{AComparison}
     \operatorname{Hom}(\En,X)\otimes_{\Math{\EndEn}}\operatorname{Hom}(Y,\En)\to\operatorname{Hom}(Y,X)
  \end{equation}
  is an equivalence. This class certainly includes $Y=\En$. Since both
  sides of \ref{AComparison} respect cofibration sequences, and $\En$
  finitely builds \Math{\hat{\Sn}}/ \cite[8.9, p.~48]{rHS}, the class includes
  $Y=\Math{\hat{\Sn}}$, which gives the desired result (cf. \cite[2.10]{rDGI}).


  Now suppose that $M$ is a right \Math{\EndEn}-module which is equivalent to
  \En/ as a right \En-module. Let $Y=M\otimes_{\Math{\EndEn}}\En$. We will
  show that $Y$ is invertible, and that the natural map
  \[
        M\sim M\otimes_{\Math{\EndEn}}\operatorname{Hom}(\En,\En)\to\operatorname{Hom}(\En,M\otimes_{\Math{\EndEn}}E)=\operatorname{Hom}(\En,Y)
  \]
  is an equivalence. For the second statement,
  consider the class of right \Math{\EndEn}-modules $X$ with the property that
  the natural map
  \begin{equation}\label{AnotherComparison}
     X\sim
     X\otimes_{\Math{\EndEn}}\operatorname{Hom}(\En,\En)\to\operatorname{Hom}(\En,X\otimes_{\Math{\EndEn}}E)
  \end{equation}
  is an equivalence. The class certainly includes the free module $X=\Math{\EndEn}$,
  and hence, by a thick subcategory argument, all modules finitely
  built from \Math{\EndEn}.  By \ref{StrangeIsFinite}, $M$ is finitely built
  from $\Math{\EndEn}$, and so the class includes $M$.  Again because
  $M$ is finitely built from $\Math{\EndEn}$, $Y$ is finitely built from
  $\Math{\EndEn}\otimes_{\Math{\EndEn}}E\sim E$, and so (\ref{EDoubleDual}) the natural
  maps $\En\to\hat D^2\En$ and $Y\to\hat D^2Y$ are equivalences.  This gives
  an equivalence
  \[
    M\sim \operatorname{Hom}(\En,Y)\sim \operatorname{Hom}(\hat D Y, \hat D\En)\sim\operatorname{Hom}(\hat D
    Y,\Sigma^{-n^2}\En)
   \,,
  \]
  where the last equivalence is from \ref{DualOfE}.
  By \ref{InvertibleMeansNiceK}(\ref{Ecversion}), $\hat D Y$ is
  invertible, and so $Y=\hat D(\hat D Y)$ is also invertible
  (\ref{DualOfInvertible}).
\end{proof}

\begin{titled}{Proof of \ref{GHClassifyBC}}
  By \ref{RecognizeGorenstein} and \ref{knIsKoszul}, a spectrum $X$
  which is built from \kn/ is a Brown-Comenetz dualizing module for
  $\Sn\to\kn$ if and only if $\operatorname{Hom}(\kn, X)$ is equivalent up to
  suspension to~\kn. It then follows from \ref{TwoKEquivalences} and
  \ref{BCequalsInvertible} that the assignment $X\to\hat X$ gives a
  bijection between equivalence classes of such Brown-Comenetz
  dualizing modules and invertible \kn-local spectra; the inverse
  bijection sends $Y$ to $\operatorname{Cell}_k Y$. The proof is completed by invoking
  \ref{InvertibleBijection} \qed
\end{titled}

\begin{rem}
  One could consider the \emph{moduli space} $\Math{\mathbf{Pic}}$ of invertible
  \kn-local spectra; this is the nerve of the category whose objects
  are the invertible \kn-local spectra and whose morphisms are the equivalences
  between them \cite{rModuli}. Up to homotopy \Math{\mathbf{Pic}}/ can be
  identified as a disjoint union $\coprod_\alpha B\operatorname{Aut}(I_\alpha)$,
  where $I_\alpha$ runs through the equivalence classes of invertible
  modules, and $\operatorname{Aut}(I_\alpha)$ is the group-like simplicial monoid of
  self-equivalences of $I_\alpha$.  The space $\Math{\mathbf{Pic}}$ is an
  associative monoid, even an infinite loop space, under a product
  induced by $\KSmash$; its group of components is the Picard group
  considered in \cite{rPicard}. Let $\En^\times$ denote the group of
  units of the ring spectrum \En, so that
  $\pi_0\En^\times\cong\En_0^\times$ and
  $\pi_i\En^\times\cong\pi_i\En$ for $i>0$. It seems that one can
  construct a second quadrant homotopy spectral sequence
  \[
  E^2_{-i,j}=H_c^i(\Gamma,\pi_jB\En^\times)\Rightarrow
  \pi_{j-i}\Math{\mathbf{Pic}}
  \]   
  which above total degree~1 agrees up to a shift with the Adams spectral sequence for
  $\pi_*\Math{\hat{\Sn}}$ (compare the proof of \ref{DualOfE}). This agreement is
  not surprising, since each component of \Math{\mathbf{Pic}}/ is
  $B\Sn^\times$. The edge homomorphism $\pi_0\Math{\mathbf{Pic}}\to
  H_c^1(\Gamma,\En_0^\times)$ is the map used to detect Picard group
  elements in \cite{rPicard}. The obstructions mentioned in
  \cite[p.~69]{rHS} seem to be related to the first $k$-invariant of
  $B\Math{\mathbf{Pic}}$ (for associative pairings) or to the first $k$-invariant
  of the spectrum obtained by delooping \Math{\mathbf{Pic}}/ (for associative and
  commutative pairings).

\end{rem}


\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}

\section{Introduction}\label{SIntroduction}
Suppose that \Sphere/ is the sphere spectrum and \Math{\mathbb{I}}/ its Brown-Comenetz
dual. The Spanier-Whitehead dual $\Dual\Math{\mathbb{S}} X$ of a spectrum $X$
is defined to be the mapping spectrum $\operatorname{Map}(X,\Sphere)$, while the
Brown-Comenetz dual $\Dual\Math{\mathbb{I}} X$ is the spectrum $\operatorname{Map}(X,\Math{\mathbb{I}})$.  
These are very different from one another: for instance, Spanier-Whitehead duality
behaves well on homology (if $X$ is finite then
$H_i(\Dual\Math{\mathbb{S}} X)\cong H^{-i}X$), while Brown-Comenetz duality
behaves well on homotopy ($\pi_i(\Dual\Math{\mathbb{I}}
X)\cong\operatorname{Hom}(\pi_{-i}X,\Math{\mathbb{Q}}/\Math{\mathbb{Z}})$).

Nevertheless, Gross and Hopkins \cite{rHopkinsGross} have proved that
in some localized stable homotopy situations, the appropriate version
of Spanier-Whitehead
duality  nearly coincides with
Brown-Comenetz duality. Our goal is to give 
a conceptual interpretation for this phenomenon in the language of
Gorenstein duality \cite{rDGI}. This language covers Poincar\'e
duality as a special case, and in fact there is an interesting parallel between
the \emph{nearly} in the Gross-Hopkins result and the familiar fact
that for a manifold or a Poincar\'e complex, duality formulas are
always twisted by a possibly nontrivial stable normal bundle.

Our starting point is a
general notion
of  \emph{Brown-Comenetz dualizing module} $\Math{\IGeneric}$
(\ref{DBrownComenetz}) for a ring spectrum map $R\to k$. Such an
$\Math{\IGeneric}$ is an $R$-module spectrum which lifts to $R$-modules the
ordinary notion of duality for $k$-modules, just as, for instance,
$\Math{\mathbb{Z}}/p^\infty$ lifts to $\Math{\mathbb{Z}}$-modules the ordinary notion of vector
space duality over $\Math{\mathbb{Z}}/p$. In the simple case of the ring homomorphism
$\Math{\mathbb{Z}}\to\Math{\mathbb{Z}}/p$,
 $\Math{\mathbb{Z}}/p^\infty$  is essentially the
only option for a Brown-Comenetz dualizing module, but in some cases
there are a great many choices for $\Math{\IGeneric}$.  For example, there is a
geometric context (\ref{ExNonUnique}) derived from a $1$-connected
finite complex $X$ in which the  choices for $\Math{\IGeneric}$
correspond to stable spherical fibrations over~$X$. For expository
purposes, we will refer to
this context as \Math{X^\star}.

There are two standard ways to construct  a
dualizing module for a ring spectrum map $R\to k$.
\begin{enumerate}
\item[(1)] \label{GorCase} If $R\to k$ is Gorenstein
  (\ref{DefineGorenstein}),  there is a way to obtain a dualizing
  module $\Math{\mathcal{G}}$ from $R$~itself. The duality functor
 $\Dual\Math{\mathcal{G}}$ over~$R$ agrees with Spanier-Whitehead duality over~$R$
 (\ref{DualitiesCoincide}). 
\end{enumerate}
For example, the context \Math{X^\star}/ is Gorenstein if
 and only if $X$ satisfies Poincar\'e duality; in this case $\Math{\mathcal{G}}$ corresponds to the Spivak normal bundle
of~$X$.
\begin{enumerate}
\item[(2)] If $R$ satisfies a  different (milder) condition, there is a``trivial''
  dualizing module $\Math{\IGeneric}_0$ constructed by coinduction
(\ref{InduceItUp}) from a dualizing module over the ground
  ring (usually $\Sphere$).
\end{enumerate}
In the context \Math{X^\star}, $\Math{\IGeneric}_0$ is
dualizing module given by the trivial stable spherical
fibration over~$X$.

When both of the constructions (1) and (2) go through, the question of whether
$\Math{\mathcal{G}}\sim\Math{\IGeneric}_0$, or equivalently of whether
$\Dual\Math{\mathcal{G}}\sim\Dual{\Math{\IGeneric}_0}$, is a
type of orientability issue  or a question of
triviality of the normal bundle (see the discussion following
\ref{SWisGor}).

Here are some examples. In the context of the ordinary ring map $\Math{\mathbb{Z}}\to\Math{\mathbb{Z}}/p$ both (1) and (2)
apply,  and the dualizing modules $\Math{\mathcal{G}}$ and $\Math{\IGeneric}_0$ agree
(cf. \ref{padicGor}). This reflects the fact that for a finite abelian
$p$-group $A$, $\operatorname{Ext}^1_{\Math{\mathbb{Z}}}(A,\Math{\mathbb{Z}})$ is naturally isomorphic to the
Pontriagin dual of~$A$.
For the analogous spectrum map $\Sphere\to\Math{\mathbb{Z}}/p$  only (2) applies (see \ref{BCAlgebraic}), and so
there is no need (or opportunity) to compare $\Math{\IGeneric}_0$ with $\Math{\mathcal{G}}$.
In the context \Math{X^\star},  if $X$ satisfies
Poincar\'e duality both (1) and (2) apply. The difference between $\Math{\IGeneric}_0$ and $\Math{\mathcal{G}}$ is
then the
difference between the trivial spherical fibration over $X$ and the
Spivak normal bundle, and this difference might for instance be tested by comparing
characteristic classes.
Something very similar happens in the Gross-Hopkins context.
Here the ring map $R\to k$ is  $\Sn\to K(n)$, where $\Sn$ is the
$L_n$-local sphere and $K(n)$ is Morava $K$-theory (implicit here is the
choice of a prime number~$p$). Both $\Math{\mathcal{G}}$ and $\Math{\IGeneric}_0$ exist,  they do not
quite agree, and they can be distinguished
(\ref{ComplicatedNaturality}) by an algebraic
calculation~\cite{rGHVectorBundles} that closely mimics the
technique of  distinguishing two spherical fibrations by calculating their
Stiefel-Whitney classes (equivalently, by calculating the action of
the Steenrod algebra on the respective Thom classes). The duality functor
    $\Dual{\Math{\IGeneric}_0}$ is exactly garden-variety Brown-Comenetz duality.
We classify {all} possible
Brown--Comenetz dualizing modules in this chromatic case 
 (these are the analogs of the spherical
fibrations in the context \Math{X^\star}) 
and we find that they correspond bijectively to invertible $K(n)$-local
spectra~(\ref{GHClassifyBC}).

\begin{rem}
  Many computations in this article are strikingly similar to results
  from commutative algebra; for instance, compare
  \ref{InvertibleMeansNiceK} and \ref{BCequalsInvertible} below to
    \cite[5.1]{antV4}. A significant part of what we do amounts to
comparing functorially constructed dualizing objects; work like this has also
    been undertaken in commutative algebra, particularly by Lipman and
    his coauthors, because it is tied to the problem of constructing
    the $f^!$ functor.
\end{rem}



In describing our point of view below, we start with the general notion
of Brown-Comenetz duality and use this to describe the homotopical form
of Gorenstein duality \cite{rDGI}. We repeatedly invoke  the context \Math{X^\star}/ to
put the ideas in a more familiar frame of reference. Finally
we indicate how Gross-Hopkins duality fits into the picture.
This paper could not have been written without \cite{rHS} and
\cite{rS}; a lot of what we do is to give a different
slant to the material in \cite{rS}. Although our treatment has an
intrinsic interest, it can also be viewed as an extended example of the
theory of \cite{rDGI}, an example which highlights the importance of
orientability issues. 


\begin{numbered}{Some notation}\label{FiniteLength}
  We refer to a ring spectrum $R$ as an \emph{\salgebra/}, and a
  module spectrum over $R$ as an \emph{$R$-module} \cite{rEKMM}
  \cite{rHSS}; we write ${}_R\Mod$ and
  $\Mod_R$ for the respective categories of left and right modules. A map between
  spectra is a \emph{weak equivalence} (\emph{equivalence} for short)
  if it induces an isomorphism on homotopy groups. If $M$, $N$ are
  left $R$-modules, then $\Hom_R(M,N)$ denotes the spectrum of
  (derived) $R$-module maps between them; if $M$ is a left $R$-module
  and $N$ a right $R$-module, then $N\otimes_R M$ is the (derived)
  smash product of $M$ and $N$ over $R$. Every spectrum is an
  $\Sphere$-module; if $X$ and $Y$ are spectra, $\operatorname{Hom}(X,Y)$ stands for
  $\operatorname{Hom}_{\Math{\mathbb{S}}}(X,Y)$ and $X\otimes Y$ for $X\otimes_{\Math{\mathbb{S}}}Y$.

  There's no harm in treating an ordinary ring $R$
   as \ansalgebra, essentially by restriction along the map $\Sphere\to\Math{\mathbb{Z}}$.  In that case a \emph{module}
  over $R$ in our sense corresponds to what is usually called a chain
  complex over $R$, $\Hom_R(M,N)$ to the derived mapping complex, and
  $N\otimes_R M$ to the derived tensor product.  If $R$ is an ordinary
  ring and $M$, $N$ are \discrete/ %
 
  left $R$-modules,
  treated as chain complexes concentrated in degree~$0$, then
  according to our conventions $\Hom_R(M,N)$ is a spectrum with
  $\pi_i\Hom_R(M,N)\cong\operatorname{Ext}^{-i}_R(M,N)$. Similarly, if $N$ is 
  \adiscrete/ right $R$-module, then $N\otimes_R M$ is a spectrum with
  $\pi_i(N\otimes_R M)\cong \operatorname{Tor}_{i}^R(N,M)$. In these
  cases
  we write $\operatorname{Ext}^0_R(M,N)$ for the usual group of homomorphisms $M\to
  N$, and $N\oslash_RM=\operatorname{Tor}_0^R(N,M)$ for the usual tensor product.

  If $R$ is \adiscrete/ ring with a unique maximal
  ideal~$\Math{\mathfrak{m}}$, we will refer to \adiscrete/ finitely generated
  \Math{\mathfrak{m}}-primary torsion $R$-module as a \emph{finite length $R$-module}.

  If $R$ is \ansalgebra/ and $k$, $M$ are $R$-modules, then
  $\operatorname{Cell}_k(M)$ denotes the \emph{$k$-cellular approximation} of $M$:
  $\operatorname{Cell}_k(M)$ is built from $k$ (\ref{DDefineCellular}), and there is a map $\operatorname{Cell}_k(M)\to M$
  which is a \emph{$\operatorname{Cell}_k$-equivalence}, i.e., induces an equivalence
  on $\operatorname{Hom}_R(k,\text{--})$.  
  
\end{numbered}

\begin{NumberedSubSection}{Brown-Comenetz duality}\label{DefineEC}
  Suppose that $R\to k$ is a map of \salgebras. Let $\Math{\mathcal{E}}$ be the derived
  endomorphism \salgebra/ $\operatorname{End}_R(k)$.  An $R$-module $M$ is said to be
  \emph{\ec/ from $k$} if the natural evaluation map
  \begin{equation}\label{EEffectively}
          \Hom_R(k,M)\otimes_{\EC} k\to M
  \end{equation}
  is an equivalence (cf. \ref{ConstructingCellk}). 

  \begin{rem}
    If $M$ is \ec/ from $k$ then $M$ is built from $k$  as an
    $R$-module.
    For some $R$ and $k$, the converse holds (\ref{Proxy}). 
  \end{rem}



   \begin{defn}
   \label{DBrownComenetz}
    A \emph{Brown-Comenetz dualizing module} for $R\to k$ is an
    $R$-module $\Math{\IGeneric}$ which is effectively constructible from $k$ and
    has the property that, for some $d\ge0$, $\Hom_R(k,\Math{\IGeneric})$ is
    equivalent as a left $k$-module to $\Sigma^dk$.
  \end{defn}
  
  Giving such a dualizing module \Math{\IGeneric}/ involves finding a way of extending to
  $R$-modules the notion of ordinary (i.e., Spanier-Whitehead) duality
  for $k$-modules. As \ref{EEffectively} suggests, in favorable cases
  \cite[6.9]{rDGI} these dualizing modules correspond to appropriate
  right $\Math{\mathcal{E}}$-module structures on (a suspension of)~$k$.

  \begin{numbered}{Examples (uniqueness)} \label{BCAlgebraic} \cite[\S5]{rDGI}
    The module $\Math{\mathbb{Z}}/p^\infty$ is a Brown-Comenetz dualizing module for
    $\Math{\mathbb{Z}}\to \Math{\mathbb{Z}}/p$. The $p$-primary summand of the spectrum $\Math{\mathbb{I}}$ is a
    Brown-Comenetz dualizing module for $\Sphere\to\Math{\mathbb{Z}}/p$.  
    In both of these cases, up to suspension and equivalence there
    is only one Brown-Comenetz dualizing module for $R\to k$.
  \end{numbered}

  \begin{numbered}{Examples (\Math{X^\star}/, non--uniqueness)}\label{ExNonUnique}
    Suppose that $X$ is a $1$-connected based finite CW-complex.  Let
    $k$ denote $\Sphere$, and let $R=C^*(X;k)$ denote the
    Spanier-Whitehead dual (over \Sphere/) of the unreduced suspension
    spectrum of $X$. Then $R$ is \ansalgebra/ under a
    multiplication induced by the diagonal map, and there is an
    augmentation $R\to k$ given by restriction to the basepoint of
    $X$.
    As in \ref{PDDuality}, Brown--Comenetz dualizing modules for $R\to
    k$ correspond bijectively up to equivalence to stable spherical
    fibrations over~$X$.
  \end{numbered}

  \begin{numbered}{Examples (\Coinduction/)}\label{InduceItUp}
    Suppose that $T\to R$ is a map of \salgebras, and that $J$ is a
    Brown-Comenetz dualizing module for $T\to k$.  Let
    $\Math{\IGeneric}=\operatorname{Cell}^R_k\operatorname{Hom}_T(R,J)$.  If $\Math{\IGeneric}$ is effectively
    constructible from $k$, then $\Math{\IGeneric}$ is a Brown-Comenetz dualizing
    module for $R\to k$, called the Brown-Comenetz dualizing module
    \emph{\coinduced/} from $J$.
  \end{numbered}


\end{NumberedSubSection}


    



\begin{NumberedSubSection}{Gorenstein duality}
  Let $f:R\to k$ be as above.

  \begin{defn}\label{DefineGorenstein} \cite[8.1]{rDGI}
    The map $f:R\to k$ is \emph{Gorenstein} if $\operatorname{Cell}_k(R)$ is a
    Brown-Comenetz dualizing module for $f$. 
  \end{defn}

 

  \begin{rem}\label{DualitiesCoincide}
    Suppose that $R\to k$ is Gorenstein, with associated
    Brown-Comenetz dualizing module $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$.  The map
    $\Math{\mathcal{G}}\to R$ induces an equivalence $\Hom_R(M,\Math{\mathcal{G}})\to\Hom_R(M,R)$
    for $M=k$ and thus for any $R$-module $M$ which is built from $k$.
    For such $M$, this gives an equivalence
    \[
                \Dual\Math{\mathcal{G}} M\sim \Dual RM\,.
    \]
    In other words, if $R\to k$ is Gorenstein, then for $R$-modules
    which are built from $k$, Spanier-Whitehead duality agrees 
    with the  variant of Brown-Comenetz duality singled out
    by the Gorenstein condition.
  \end{rem}

  \begin{numbered}{Example (algebra)}\label{GorAlgebraExamples} 
    Suppose that $R$ is the formal power series ring
    $\Math{\Z_p}[\![ x_1,\ldots,x_{n-1}]\!]$, that $\Math{\mathfrak{m}}
    \subset R$ is its maximal ideal, and that $k\cong R/\Math{\mathfrak{m}}$
    is its residue field $\Math{\F_p}$.  The map $R\to k$ is Gorenstein, with
    associated Brown-Comenetz dualizing module $\Math{\mathcal{G}}$.  For 
    \afinitelength/ (\ref{FiniteLength}) $R$-module~$M$,
    the dual $\Dual\Math{\mathcal{G}}(M)$ is given by
    \[
      \Dual{\Math{\mathcal{G}}}(M)\sim \Sigma^{-n}\operatorname{Ext}^n_R(M,R)\,.
    \]
    As in \ref{BCAlgebraic}, the $\Math{\Z_p}$-module $\Math{\Z/p^\infty}$
    is a Brown-Comenetz dualizing module for $\Math{\Z_p}\to\Math{\F_p}$, and as in
    \ref{InduceItUp} there is \acoinduced/ Brown-Comenetz dualizing
    module $\Math{\IGeneric}=\Math{\IGeneric}_0$ for $R\to k$. For $M$ as before the dual
    \[
      \Dual{\Math{\IGeneric}}(M)\sim\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty}) 
    \]
    is the ordinary Pontriagin dual of $M$.  It turns out
    (\ref{SFullDuality}) that $\Math{\mathcal{G}}$
    is equivalent as an $R$-module to $\Sigma^{-n}\Math{\IGeneric}$, and hence
    that on the category of \finitelength/  $R$-modules, the functor
    $\operatorname{Ext}^n_R(\text{--},R)$ is naturally isomorphic to
    $\operatorname{Ext}^0_{\Math{\Z_p}}(\text{--},\Math{\Z/p^\infty})$.
  \end{numbered}


  \begin{numbered}{Example (\Math{X^\star}, Poincar\'e duality)}\label{PDDuality}\label{ListPoincareBC}
    (See \cite{rDGI} and \cite{rKlein}.)  This example is based on the
    following theorem.









    \begin{prop}\label{SWisGor}
      Suppose that $X$ is a based finite $1$-connected CW-complex,
      $k=\Sphere$, and $R=C^*(X;k)$, as in \ref{ExNonUnique}. Then $R\to
      k$ is Gorenstein if and only if $X$ is a Poincar\'e duality
      space.
    \end{prop}

      In the situation of \ref{SWisGor}, there are usually many
      Brown-Comenetz dualizing modules for $R\to k$: these are exactly
      the Thom spectra $X^\rho$ obtained from stable spherical
      fibrations $\rho$ over $X$. 
      If $X$ is a Poincar\'e duality space of formal
      dimension~$d$, then as in   \cite{rAtiyah}  the Brown-Comenetz dualizing module
      $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)\sim R$ provided by the Gorenstein condition
      \cite[8.6]{rDGI} is
      $X^\nu$, where $\nu$ is the stable Spivak normal bundle of $X$,
      desuspended to have stable fibre dimension $-d$. 

      Since the spectrum $k$ is a Brown-Comenetz dualizing module for $k\to
      k$, it follows as in \ref{InduceItUp} there is \acoinduced/
      Brown-Comenetz dualizing module $\Math{\IGeneric}=\Math{\IGeneric}_0$ for $R\to k$
      (\cite[9.16]{rDGI}, \ref{RecognizeGorenstein}). This
      \coinduced/ dualizing module is the Thom complex $X^0$ of the
      trivial bundle.
      The $R$-module $\Math{\mathcal{G}}$ is equivalent to $\Math{\IGeneric}$ (up to
      suspension) if and only if $\nu$ is trivial, or in other words
      if and only if $X$ is orientable for stable cohomotopy.




      Observe that by the Thom isomorphism theorem, the  two
      dualizing modules $\Math{\mathcal{G}}$ and $\Math{\IGeneric}$  cannot be distinguished
      by mod~$2$ cohomology, although they can sometimes be
      distinguished by the action of the Steenrod algebra on mod~$2$
      cohomology.









 
\end{numbered}

  \begin{numbered}{Aside on functoriality}\label{LFunctoriality}
    For later purposes we describe an extended functoriality property
    of the isomorphisms described in \ref{GorAlgebraExamples}.  Let
    $R\to k$ be as in \ref{GorAlgebraExamples}, but widen the module
    horizon to include the category of \finitelength/ (\ref{FiniteLength}) \emph{skew} $R$-modules: the objects
    are \discrete/ $R$-modules as before, but a map $M\to M'$ is a pair
    $(\sigma,\tau)$, where $\sigma$ is an automorphism of $R$ and
    $\tau:M\to M'$ is a map of abelian groups such that for $r\in R$ and
    $m\in M$, $\tau(rm)=\sigma(r)\tau(m)$. Both $\Dual{\Math{\mathcal{G}}}$ and
    $\Dual{\Math{\IGeneric}}$ extend to this larger category (with the same
    definitions as before), but the functors are \emph{not} naturally
    equivalent there. This is reflected in the fact that if
    $G=\operatorname{Aut}(R)$, then the twisted group ring $R[G]$ acts naturally
    both on $\Math{\mathcal{G}}$ and on $\Math{\IGeneric}$
    in such a way that $\Math{\mathcal{G}}$ and $\Math{\IGeneric}$ are equivalent as
    $R$-modules, but not as $R[ G]$-modules.  The discrepancy between
    \Math{\mathcal{G}}/ and \Math{\IGeneric}/ has a simple description. Let
    $S=\Math{\Z_p}[\![ x_1,\ldots,x_{n-1},y_1\ldots,y_{n-1}]\!]$ be the evident
    completion of $R\oslash_{\Math{\Z_p}}R$ and let
    $\Math{\mathcal{L}}=\operatorname{Tor}_{n-1}^{S}(R,R)$. The module structure here is such
    that both $x_i$ and $y_i$ act on~$R$ by multiplication by~$x_i$.  (The object $\Math{\mathcal{L}}$ might be
    characterized as
    a type of Hochschild homology group
    of $R$.) Then $\Math{\mathcal{L}}$ is \adiscrete/ $R[G]$-module which is free of
    rank~$1$ as an $R$-module, and there is a natural map
    $\Sigma^n\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\to\Math{\IGeneric}$ of $R[G]$-modules which is an
    equivalence (\ref{SFullDuality}). (The action of $G$ on the tensor product is
    diagonal). This implies that on the category of \finitelength/ skew $R$-modules
    there is a natural isomorphism of functors
    \[\Math{\mathcal{L}}\oslash_R\operatorname{Ext}_n^R(\text{--},R)\sim\operatorname{Ext}_0^{\Math{\Z_p}}(\text{--},\Math{\Z/p^\infty})\,.\]
  \end{numbered}
\end{NumberedSubSection}


\begin{NumberedSubSection}{Gross-Hopkins duality}\label{GHIntro}
  Fix an integer $n\ge1$, and let $\Math{L}=L_n$ denote the localization
  functor on the stable category corresponding to the homology theory
  $K(n)\vee\cdots\vee K(0)$ , where $K(i)$ is the $i$'th Morava
  $K$-theory.  Let $\Sn=L_n(\Math{\mathbb{S}})$ and let $\kn=K(n)$.  There is
  an essentially unique \salgebra/ homomorphism $\Sn\to \kn$.  The
  first component of Gross-Hopkins duality is the following
  statement.

  \begin{thm}\label{GHShift}
    The homomorphism $\Sn\to\kn$ is Gorenstein.
  \end{thm}



  This theorem provides a Brown-Comenetz dualizing module
  $\IIRG=\operatorname{Cell}_k\Sn$ for $\Sn\to\kn$.  The ordinary Brown-Comenetz
  dualizing spectrum \Math{\mathbb{I}}/ is a Brown-Comenetz dualizing module for
  $\Math{\mathbb{S}}\to\kn$; as in \ref{InduceItUp} this gives rise to \acoinduced/
  Brown-Comenetz dualizing module
  $\IIRO=\operatorname{Cell}_k\operatorname{Hom}_{\Math{\mathbb{S}}}(\Sn,\Math{\mathbb{I}})$ for $\Sn\to\kn$
  (\ref{RecognizeGorenstein}, \ref{knIsKoszul}).  The
  second component of Gross-Hopkins duality is the assertion that
  \IIRG/ \emph{cannot} be distinguised from \IIRO/ by the most
  relevant applicable homological functor. This is analogous in this
  context to the Thom isomorphism theorem (cf. \ref{ListPoincareBC}).
  Let $\En$ be the \salgebra/ of \cite{rS}, with
  \begin{equation}\label{MeaningOfE}
       \En_*= \pi_*\En = W [\![ u_1,\ldots,u_{n-1}]\!][u,u^{-1}]\,,
  \end{equation}
  where $u_k$ is of degree~$0$, $u$ is of degree~$2$, and $W$ is the
  Witt ring of the finite field $\Math{\mathbb{F}}_{p^n}$. For spectra $X$ and $Y$,
  let $X\KSmash Y=L_{\kn}(X\otimes Y)$,   where $L_{\kn}$ is
  localization with respect to $\kn$. Following \cite{rS}, for
  any $X$ we write $\Math{\En^{\vee}}_*(X) =\pi_*(\En\KSmash X)$.


  \begin{thm}\label{GHSame}
    Both $\Math{\En^{\vee}}_*\IIRG$ and $\Math{\En^{\vee}}_*\IIRO$ are rank~$1$ free modules
    over $\En_*$.
  \end{thm}


  The final and most difficult component of Gross-Hopkins duality is a
  determination of how $\Math{\En^{\vee}}_*\IIRG$ differs from $\Math{\En^{\vee}}_*\IIRO$ as a
  module over the ring of operations in $\En_*$; this is analogous to
  distinguishing between two Thom complexes by considering the action
  of Steenrod algebra on mod~$2$ homology (cf.  \ref{ListPoincareBC}).






  We begin by comparing the homologies of $\Dual\IIRG(\Math{\mathcal{F}})$ and
  $\Dual\IIRO(\Math{\mathcal{F}})$ when $\Math{\mathcal{F}}$ is a finite complex of type~$n$, i.e.,
  a  module over $\Sn$ which is finitely built from $\Sn$ and has
  $K(i)_*\Math{\mathcal{F}}=0$ for $i<n$ and $K(n)_*\Math{\mathcal{F}}\ne0$. 
  These conditions imply that each
  element of $\Math{\En^{\vee}}_*\Math{\mathcal{F}}$ is annihilated by some power of the maximal
  ideal $\mathfrak m\subset \En_0$ \cite[8.5]{rHS}.

  \begin{prop}\label{SimpleNaturality}
    Suppose that $\Math{\mathcal{F}}$ is a finite complex of type~$n$. Then there are
    natural isomorphisms
    \[
        \begin{aligned}
        \Math{\En^{\vee}}_{-i}\Dual\IIRG \Math{\mathcal{F}}&\,\cong\, \operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_{i-n}\Math{\mathcal{F}}, \En_0)\\
        \Math{\En^{\vee}}_{-i}\Dual\IIRO \Math{\mathcal{F}} &\,\cong\, \operatorname{Ext}^0_{\Math{\Z_p}} (\Math{\En^{\vee}}_{i+n^2}\Math{\mathcal{F}}, \Math{\Z/p^\infty})\,.
        \end{aligned}
    \]
  \end{prop}



  Recall \cite{rS} that the Morava stabilizer group $\Gamma$, in one
  of its forms, is a profinite group of multiplicative automorphisms
  of $\En$.  The ring $\pi_*\operatorname{End}_{\Sn}(\En)$ is the completed
twisted group ring $\En_*[\![\Gamma]\!]$ (see \cite[pf. of
Prop.~16]{rS}), and so, up to completion and multiplication by
elements in $\En_*$, the operations in $\En_*$ are all of degree~$0$
and are determined by the action of elements of~$\Gamma$. If $X$ is a
spectrum, then $\Gamma$ acts on $\Math{\En^{\vee}}_*(X)$ as a group of
automorphisms in the category of skew $\En_*$-modules
(\ref{LFunctoriality}). It follows from naturality that the
isomorphisms in \ref{SimpleNaturality} are $\Gamma$-equivariant,
where, for instance, $\Gamma$ acts on $\operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_{i-n}\Math{\mathcal{F}},
\En_0)$ in a diagonal way involving actions on all three constituents
of the~$\operatorname{Ext}$. According to \ref{GorAlgebraExamples}, the modules
\[
        \operatorname{Ext}^n_{\En_0}(\Math{\En^{\vee}}_i\Math{\mathcal{F}},\En_0) \text{ and }
        \operatorname{Ext}^0_{\Math{\Z_p}}(\Math{\En^{\vee}}_i\Math{\mathcal{F}},\En_0)
\]
are isomorphic for any~$i$; the question is to what extent these
isomorphisms do or do not respect the action of $\Gamma$. 

This is
exactly the issue discussed in \ref{LFunctoriality}.
Given \ref{SimpleNaturality} and \ref{LFunctoriality}, the following
proposition is immediate 
(cf. \ref{TwistOverO}).
Let \[T=W[\![ u_1,\ldots,u_{n-1},u_1',\ldots,u_{n-1}']\!]\]
be the evident completion of $\En_0\oslash_W\En_0$, and let
$\Math{\mathcal{L}}=\operatorname{Tor}_{n-1}^T(\En_0,\En_0)$. 
It turns out (\ref{SFullDuality}) that $\Math{\mathcal{L}}$ is a free
module of rank~$1$ over $\En_0$.


\begin{prop}\label{ComplicatedNaturality}
  For any finite complex of type~$n$, there are natural isomorphisms
  \[
        \Math{\mathcal{L}}\otimes_{\En_0}\Math{\En^{\vee}}_{i-n-n^2}\Dual\IIRG X \cong \Math{\En^{\vee}}_i\Dual\IIRO
        X\,
  \]
  of modules over $\En_0[\![\Gamma]\!]$.
\end{prop}

\begin{rem}
  We emphasize that in \ref{ComplicatedNaturality} the action of
  $\Gamma$ on the left-hand module is diagonal, and involves a
  nontrivial action of $\Gamma$ on $\Math{\mathcal{L}}$.
\end{rem}

  This easily leads to the following proposition.

  \begin{prop}\label{TwistedDifference}
    There are natural isomorphisms of
    $\En_0[\![\Gamma]\!]$-modules 
    \[
    \Math{\mathcal{L}}\otimes_{\En_0}\Math{\En^{\vee}}_{i-n-n^2}\IIRG \cong \Math{\En^{\vee}}_i\IIRO\,.
    \] 
  \end{prop}

  As in \cite{rS}, there is a determinant-like
map $\det:\Gamma\to\Math{\Z_p}^\times$.  If $M$ is \adiscrete/ module over
$\En_0[\![\Gamma]\!]$ or
$\En_*[\![\Gamma]\!]$,
write $M[\det]$ for
the module obtained from~$M$ by twisting the action of $\Gamma$ by
$\det$.
The key computation made in \cite{rGHVectorBundles} by Gross and Hopkins (which we do not 
rederive) involves the action of
$\Gamma$ on $\Math{\mathcal{L}}$.


\begin{thm}\label{GHTheorem}\cite[Th.~6]{rHopkinsGross}
  As a module over the twisted group ring
  $\En_0[\![\Gamma]\!]$, $\Math{\mathcal{L}}$ is isomorphic to $\En_{2n}[\det]$.
\end{thm}

The first statement below follows from the fact that $\IIRG\to\Sn$ is
a $\kn_*$-equivalence (\ref{TwoKEquivalences}) and hence an
$\Math{\En^{\vee}}_*$-equivalence; the second is a combination of 
\ref{TwistedDifference} and \ref{GHTheorem}.

  \begin{thm}\label{GHDifferent}\cite{rS}
    There are
    isomorphisms of 
    $\En_*[\![\Gamma]\!]$-modules:
    \[
       \begin{aligned}
           \Math{\En^{\vee}}_*\IIRG&\,\,\cong\,\, \En_* \\
           \Math{\En^{\vee}}_*\IIRO\,&\,\,\cong\,\, \Sigma^{n^2-n}\En_*[\det]\,.
       \end{aligned}
    \]
  \end{thm}


Finally, we give an analogue of the classification of Brown-Comenetz
dualizing modules from \ref{ListPoincareBC}. Recall that a
$\kn$-local spectrum $M$ is said to be \emph{invertible} if there is
a $\kn$-local spectrum $N$ such that $M\KSmash N\sim L_{\kn}(\Sn)$.

\begin{thm}\label{GHClassifyBC}
        Let $\Math{\EndEn}=\operatorname{End}_{\Sn}(\En)$.
        Up to equivalence, there are bijective correspondences between
       the following three kinds of objects:
       \begin{enumerate}
         \item invertible $\kn$-local spectra,
         \item Brown-Comenetz dualizing modules for $\Sn\to \kn$ \label{BCmodules},
         \item right actions of $\Math{\EndEn}$ on a suspension of $\En$ which
           extend the natural right action of $\En$ on itself. \label{RightAction}
        \end{enumerate}
\end{thm}

\begin{rem}\label{GeometricCase}(\Math{X^\star}) 
  Suppose that $X$ is a based CW-complex, $G$ is the loop space on $X$
  (constructed as a simplicial group), and $\Math{\EndEn}=\Math{\mathbb{S}}[G]$ is the
  ring spectrum obtained as the unreduced suspension spectrum of $G$.
  Let $k=\Math{\mathbb{S}}$ and $R=C^*(X;k)$ as in \ref{PDDuality}. Say that a
  module $M$ over $R$ is invertible if there is a module $N$ such that
  $M\otimes_RN\sim R$. Then if $X$
  is finite and $1$-connected, $\Math{\EndEn}$ is equivalent to $\operatorname{End}_R(k)$
\cite{rDGI}, and \ref{GHClassifyBC} becomes in part analogous to the
statement that up to equivalence there are bijective correspondences
between the following four kinds of objects:
\begin{enumerate}
\item invertible modules over $R$,
\item Brown-Comenetz dualizing modules for $R\to k$,
\item actions of $\Math{\EndEn}$ on a suspension of $k$ which (necessarily) extend the action of
$k$ on itself, and
\item stable spherical fibrations over $X$.
\end{enumerate}
\end{rem}






\begin{NumberedSubSection}{Organization of the paper}
Section \ref{CCellular} has a short discussion of cellularity,
\S\ref{CCommutative} expands on some of the algebraic issues discussed
in \ref{LFunctoriality}, and \S\ref{CPreliminaries} recalls some
material from stable homotopy theory. Section \ref{SGrossHopkins}
contains the proofs of \ref{GHShift}, \ref{GHSame},
\ref{SimpleNaturality}, and \ref{TwistedDifference}. The last section
has a proof of \ref{GHClassifyBC}.
\end{NumberedSubSection}



\begin{NumberedSubSection}{More notation}\label{SNotation}
  The fact that $\Sn\otimes_{\Math{\mathbb{S}}}\Sn\sim\Sn$ implies that
  if $X$ and $Y$ are $\Sn$-modules then $\operatorname{Hom}_{\Sn}(X,Y)\sim\operatorname{Hom}(X,Y)$
  and $X\otimes_{\Sn}Y\sim X\otimes Y$. Whenever possible we use the
  simpler notation (without the subscript \Sn). If
  $X$ is a spectrum, $\hat X=L_{\kn}X$ stands for the \kn-localization
  of $X$; we also write $\hat D$ for $D_{\Math{\hat{\Sn}}}$, so that $\hat D
  X=\operatorname{Hom}(X,\Math{\hat{\Sn}})$. 

  Our notion of \emph{finite complex of type~$n$} is slightly
  different from that of \cite{rHS}.
  If $F(n)$ is a finite complex of
  type~$n$ in the sense of \cite[\S1.2]{rHS}, then $\Sn\otimes F(n)$
  is a finite complex of type~$n$ in our sense.
\end{NumberedSubSection}


\begin{SubSection}{Some technicalities}\label{DefineEHS}
  The localized sphere \Sn/ is a commutative \salgebra, as is the
  spectrum \En/  \cite[\S7]{rGoerssHopkins}.
  The spectrum \kn/ has an essentially unique
  \salgebra/ structure \cite{vigleik} and we will
  work with the essentially unique \salgebra/ map
  $\Sn\to\kn$. 

  






\end{SubSection}

  




      
  
  
\end{NumberedSubSection}







\section{Cellularity and Koszul complexes}
\label{CReview}\label{CCellular}

In this section we review the idea of cellularity, and look at how it
fits in with the effective constructibility condition which appears in
the definition of Brown-Comenetz dualizing module.

\begin{NumberedSubSection}{Cellularity and cellular approximation}
Suppose that $R$ is \ansalgebra/ and that $k$ is an
$R$-module.  Recall that a subcategory of the category of $R$-modules
is said to be \emph{thick} if it is closed under (de)suspensions, equivalences,
cofibration sequences, and retracts; it is \emph{localizing} if in
addition it is closed under arbitrary coproduts.

\begin{defn}\label{DDefineCellular}
  An $R$-module is \emph{finitely built from $k$} if it belongs to the
  smallest thick subcategory of $\Math{{}_R\Mod}$ which contains $k$.  An
  $R$-module is \emph{built from $k$} or is \emph{$k$-cellular} if it
  belongs to the smallest localizing subcategory of $\Math{{}_R\Mod}$ which
  contains $k$.  
\end{defn}


\begin{defn}\label{DefineCellEquivalence}
  A map $f:M\to N$ of $R$-modules is a \emph{$\operatorname{Cell}_k$-equivalence} if
  it induces an equivalence $\operatorname{Hom}_R(k,M)\sim\operatorname{Hom}_R(k,N)$.
\end{defn}

It is not hard to see that a $\operatorname{Cell}_k$-equivalence between $k$-cellular
$R$-modules
is actually an equivalence; this follows for instance
from the fact that a $\operatorname{Cell}_k$-equivalence $M\to N$ induces an
equivalence $\operatorname{Hom}_R(C,M)\sim\Hom_R(C,N)$ for any $k$-cellular~$C$.
The main general result in this area is an
approximation theorem. A map $M'\to M$ is said to be a
\emph{$k$-cellular approximation} if $M'$ is $k$-cellular and $M'\to
M$ is a $\operatorname{Cell}_k$-equivalence.

\begin{thm}\label{GiveCellularApprox}\cite[I.5]{rHirschhorn}
  Any $R$-module $M$ has a functorial $k$-cellular approximation
  $\operatorname{Cell}_k(M)\to M$. A map $M'\to M$ is a $\operatorname{Cell}_k$-equivalence if and
  only if the induced map $\operatorname{Cell}_k(M')\to\operatorname{Cell}_k(M)$ is an equivalence.
\end{thm}

\begin{numbered}{Constructing $\operatorname{Cell}_k(M)$}\label{ConstructingCellk}
In general, it is difficult to give a simple formula for $\operatorname{Cell}_k(M)$;
the usual method for constructing it involves transfinite induction.
But let $\Math{\mathcal{E}}=\operatorname{End}_R(k)$ and note that there is a commutative diagram
\[
\begin{CD}
  \Hom_R(k,\operatorname{Cell}_k M)\otimes_{\Math{\mathcal{E}}} k @>>> \operatorname{Cell}_k M\\
       @V\sim VV                  @VVV \\
  \Hom_R(k,M)\otimes_{\Math{\mathcal{E}}} k @>>> M
\end{CD}
\]
in which the horizontal maps are evaluation.  It is easy to conclude
from this diagram that the following three conditions are equivalent:
\begin{enumerate}
  \item for all $M$, $\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}} k\to M$ is a $k$-cellular approximation,
  \item for all $M$, $\operatorname{Cell}_k M$ is \ec/ from $k$ (\ref{DefineEC}), and
  \item any $k$-cellular $R$-module is \ec/ from $k$.
\end{enumerate}
If these conditions hold, then the functor $\operatorname{Cell}_k(\text{--})$ is easy
to describe explicitly: it is equivalent to
$\Hom_R(k,\text{--})\otimes_{\Math{\mathcal{E}}}k$.
\end{numbered}

We will next identify certain pairs $(R,k)$ for which the
conditions of \ref{ConstructingCellk} are satisfied.
\end{NumberedSubSection}


\begin{NumberedSubSection}{Koszul complexes}\label{DKoszul}
A \emph{Koszul complex} for an $R$-module
$k$ is an $R$-module $C$ which satisfies the following three
conditions:
\begin{enumerate}
\item $C$ is finitely built from $R$,
\item $C$ is finitely built from $k$, and
\item $C$ builds $k$.
\end{enumerate}
If $R\to k$ is a map of \salgebras, a \emph{Koszul complex for $R\to
  k$} is a Koszul complex for $k$ as a left $R$-module. This notion of
Koszul complex is much looser than the one that usually appears in
commutative algebra (e.g. \ref{KoszulComplexExamples}), but it is useful for our purposes. In the
language of \cite{rDGI} and \cite{rDGI2}, the existence of $C$ is equivalent to the
assertion that $k$ is proxy-small over~$R$.

\begin{prop}\label{Proxy} \cite[4.10]{rDGI}
  Suppose that $R$ is \ansalgebra/ and $k$ is an $R$-module which
  admits a Koszul complex $C$.  Then the three conditions of
  \ref{ConstructingCellk} hold for $(R,k)$.
\end{prop}

\begin{proof}
  Let $\Math{\mathcal{E}}=\operatorname{End}_R(k)$.
  We will prove that if $M$ is any $R$-module, then the natural map
  $\lambda:\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}k\to
    M$
    is a $k$-cellular approximation.  The domain of $\lambda$ is built
    from $k$ over $R$, because $\Hom_R(k,M)$ is built from $\Math{\mathcal{E}}$ as a
    right module over $\Math{\mathcal{E}}$, so it will be sufficient to prove that
    $\lambda$ is a $\operatorname{Cell}_k$-equivalence. We look for $R$-modules $A$
    with the property that the natural map
  \[   \Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}\Hom_R(A,k)\to \Hom_R(A,M)       \]
  is an equivalence. The module $A=k$ certainly works, and hence so
  does any module finitely built from $k$, e.g., the Koszul complex
  $C$. Since $C$ is finitely built from $R$,
  $\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}\Hom_R(C,k)$ is equivalent to
  $\Hom_R(C,\Hom_R(k,M)\otimes_{\Math{\mathcal{E}}}k)$.  The conclusion is that the map
  $\lambda$ is a $\operatorname{Cell}_C$-equivalence. Since $C$ builds $k$, it follows
  that the map is also a $\operatorname{Cell}_k$-equivalence.
\end{proof}

In the presence of a Koszul complex, it is easier to recognize
Gorenstein homomorphisms.

\begin{prop}\label{RecognizeGorenstein} \cite[8.4]{rDGI}
  Suppose that $R\to k$ is a map of \salgebras/ such that $k$, as an
  $R$-module, admits a Koszul complex. Then $R\to k$ is Gorenstein if
  and only if there is some integer $d$ such that $\operatorname{Hom}_R(k,R)$ is
  equivalent to $\Sigma^dk$ as a module over $k$.
\end{prop}

\begin{proof}
  Since $\operatorname{Cell}_k(R)$ is effectively constructible from $k$
  (\ref{Proxy}), the map $R\to k$ is Gorenstein if and only if there
  is some integer $d$ such that $\operatorname{Hom}_R(k,\operatorname{Cell}_k(R))$ is equivalent to
  $\Sigma^dk$ as a $k$-module. The proposition follows from the fact
  that the cellular approximation map $\operatorname{Cell}_k(R)\to R$ induces an
  equivalence on $\Hom_R(k,\text{--})$.
\end{proof}





\end{NumberedSubSection}


\begin{NumberedSubSection}{Examples of Koszul complexes}\label{KoszulComplexExamples}

  Suppose that $R$ is %
  an ordinary
  commutative ring and that $k$ is a
  field which is a quotient of $R$ by a finitely generated ideal
  $\langle r_1,\ldots,r_m\rangle$.  Let $C_i$ denote the complex
  $R\RightArrow{r_i}R$ (concentrated in degrees $0$ and $-1$), and $C$
  the complex $C_1\otimes_R\cdots\otimes_RC_m$. This is what is
  usually called the Koszul complex for $R\to k$; the following
  shows that definition \ref{DKoszul} is consistent with this usage.

\begin{prop}\label{AlgebraicKoszul} \cite[3.2]{rDGI}
  In the above situation, $C$ is a Koszul complex for $R\to k$ (in the
  sense of \ref{DKoszul}).
\end{prop}

Recall that $\SKn$ is the localization of $\Sphere$ with respect to the
Morava $K$-theory $K(n)$, and that $\En$ is as in~\ref{MeaningOfE}. The unit map $\Sphere\to \En$ extends
uniquely to an \salgebra/ map $\SKn\to E$.

\begin{prop} \label{SisFinite}
 The spectrum $\Math{\hat{\Sn}}$ is a Koszul complex for $\Math{\hat{\Sn}}\to \En$. 
\end{prop}

\begin{proof}
  It follows from \cite[8.9, p.~48]{rHS}, that $\Math{\hat{\Sn}}$ is finitely built
  from  \En/  (but  don't  ignore   the notational   discrepancy
  described in the proof of  \ref{InvertibleMeansNiceK}~below). It is  clear
  that  $\Math{\hat{\Sn}}$   finitely  builds  itself,  and,   since  $\En$   is an
  $\Math{\hat{\Sn}}$-module, that $\Math{\hat{\Sn}}$ builds \En.
\end{proof}

  Let \Math{\mathcal{F}}/ be a fixed finite complex of type~$n$ (\ref{SNotation}).

\begin{prop}\label{knIsKoszul}
  The $\Sn$-module $\Math{\mathcal{F}}$ is a Koszul complex for $\Sn\to\kn$.
\end{prop}

\begin{proof}
  By construction, $\Math{\mathcal{F}}$ is finitely built from \Sn. Since
  $\kn\otimes\Math{\mathcal{F}}$ is a nontrivial sum of copies of \kn, it is clear
  that \Math{\mathcal{F}}/ builds \kn. Finally, \cite[8.12]{rHS} shows that \Math{\mathcal{F}}/ is
  finitely built from \kn.
\end{proof}

\begin{prop}
  Let $\Math{\EndEn}$ denote the endomorphism spectrum $\operatorname{End}(\En)$. Then $\En$
  is a Koszul complex for itself as a module over $\Math{\EndEn}$.
\end{prop}

\begin{proof}
  As above, \Math{\hat{\Sn}}/ is finitely built from \En.  It follows immediately
  that $\En=\operatorname{Hom}(\Math{\hat{\Sn}}, \En)$ is finitely built from
  $\Math{\EndEn}=\operatorname{Hom}(\En,\En)$ as a left module over \Math{\EndEn}.
\end{proof}

  
\end{NumberedSubSection}

\begin{NumberedSubSection}{Self-dual Koszul complexes}
Suppose that $R$ is a commutative \salgebra. A module $M$ over $R$ is
said to be \emph{self-dual with respect to
Spanier-Whitehead duality} if  there is some integer $e$ such that
$\Hom_R(M,R)$ is equivalent to $\Sigma^eM$ as an $R$-module. The
following observation is less specialized than it seems.

\begin{prop}
  Suppose that $R$ is a commutative \salgebra, and that $k$ is an
  $R$-module which admits a Koszul complex with is self-dual with
  respect to Spanier-Whitehead duality. Then a map $f:M\to M'$ of
  $R$-modules is a $\operatorname{Cell}_k$-equivalence if and only if it induces an
  equivalence $k\otimes_RM\to k\otimes_RM'$.
\end{prop}

\begin{proof}
  Let $C$ be the self-dual Koszul complex. Since $C$ and $k$ build one
  another, $f$ induces an equivalence on $\operatorname{Hom}_R(k,\text{--})$
  (i.e., is a $\operatorname{Cell}_k$-equivalence)  if and only if it induces an
  equivalence on $\operatorname{Hom}_R(C,\text{--})$.
  Moreover, $f$ induces an equivalence on
  $k\otimes_R\text{--}$ if and only if it induces an equivalence on
  $C\otimes_R\text{--}$. Since $C$ is finitely built from $R$, the
  functor $\Hom_R(C,\text{--})$ is equivalent to
  $\Hom_R(C,R)\otimes_R\text{--}$. The proposition follows from the
  fact that $\Hom_R(C,R)$ is equivalent to $\Sigma^eC$.
\end{proof}

\begin{ex}
  The Koszul complex from \ref{AlgebraicKoszul} is self-dual; compare
  \cite[6.5]{rDwGr}. 
\end{ex}

\begin{ex}\label{TwoKEquivalences}
  The Koszul complex \Math{\mathcal{F}}/ from \ref{knIsKoszul} can be chosen to be
  self-dual; just replace \Math{\mathcal{F}}/ if necessary by
  $\Math{\mathcal{F}}\otimes_{\Sn}\Dual\Sn\Math{\mathcal{F}}$.  It follows that a map of
  $\Sn$-modules is a $\operatorname{Cell}_{\kn}$-equivalence if and only if it induces an
  isomorphism on $\kn_*$. In particular, for any \Sn-module $X$ the
  map $X\to L_{\kn}X$ is a $\operatorname{Cell}_{\kn}$-equivalence and the map
  $\operatorname{Cell}_{\kn}X\to X$ is a $\kn_*$-equivalence.
\end{ex}

\begin{rem}
  Suppose that $R$ is commutative and that $C$ is a Koszul complex for the $R$-module $k$. The
  above example suggests trying out $C\otimes_R\operatorname{Hom}_R(C,R)$ as a
  self-dual Koszul complex. This always satisfies (1) and (2) of
  \ref{DKoszul}, but in general does not necessarily satisfy~(3). 
\end{rem}
  
\end{NumberedSubSection}
















  






























\section{Commutative Rings}\label{CCommutative}

In this section we will look at several examples of Gorenstein
homo\-mor\-phisms $R\to k$ between ordinary noetherian commutative
rings. In each case $R$ is a regular ring \cite[Section~19]{Matsumura}, and $R\to k$ is projection
to a residue  field. In this situation $R\to k$ is Gorenstein
\cite[Theorem~8.1]{Matsumura}, i.e., 
$\operatorname{Ext}^i_R(k,R)$ vanishes except in one degree, and in that
degree is isomorphic to $k$ (\ref{RecognizeGorenstein},
\ref{AlgebraicKoszul}). Indeed, to see this localize $R$ if necessary at the maximal ideal
$\Math{\mathfrak{m}}=\ker(R\to k)$ and observe that the usual algebraic Koszul complex on a minimal
generating set for $\Math{\mathfrak{m}}$ is a resolution of~$k$. It is then clear
from calculation that $\operatorname{Ext}^*_R(k,R)$ is isomorphic to (a shift of)~$k$. There are three examples; the third is a
combination of the first two. We give special attention to the
extended functoriality issues discussed in \ref{LFunctoriality}. In
this section we sketch arguments which explain where the results come from;
these issues are treated in \cite{rHuang} from a very different point
of view.




\begin{NumberedSubSection}{$p$-adic number rings}\label{padicGor}
  Let $R$ be the ring $\Math{\Z_p}$ of $p$-adic integers, and $k$ the finite
  field $R/pR\cong\Math{\mathbb{Z}}/p$. The ring $R$ is regular, hence $R\to k$ is
  Gorenstein
  and there is a Brown-Comenetz dualizing module $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$
  provided by the Gorenstein condition.
If $M$ is a finitely generated $p$-primary torsion abelian group, the
associated notion of duality is given by
\[
\Dual\Math{\mathcal{G}}(M)\sim\Sigma^{-1}\operatorname{Ext}^{1}_R(M,R)\,.
\]
The $\operatorname{Ext}$-group on the right is naturally isomorphic to the
Pontriagin dual of $M$, and in fact the short exact sequence
\[
  0\to \Math{\Z_p}\to\Math{\mathbb{Q}_p}\to \Math{\mathbb{Z}}/p^\infty\to 0
\]
can be used to produce an equivalence
$\Math{\mathcal{G}}\sim\Sigma^{-1}\Math{\mathbb{Z}}/p^\infty$.  All extended naturality issues
(\ref{LFunctoriality}) are trivial, if only because $R$ has no nontrivial
automorphisms. In this case Gorenstein duality and Pontriagin duality
coincide (up to suspension) on the category of \finitelength/ (\ref{FiniteLength}) skew $R$-modules.


A more interesting possibility is to let $R$ be the ring of integers
in a finite unramified extension field of \Math{\mathbb{Q}_p}, and $k$ the residue
field of $R$. Again $R$ is regular, $R\to k$
is Gorenstein, and
there is a  Brown-Comenetz dualizing module
$\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$ provided by the Gorenstein condition. However, as in
\ref{InduceItUp} there is also \acoinduced/ Brown-Comenetz dualizing module,
given by $\Math{\IGeneric}=\operatorname{Cell}_k \operatorname{Hom}_{\Math{\Z_p}}(R,\Math{\Z/p^\infty})$.
For \adiscrete/ finitely-generated $p$-primary torsion $R$-module $M$,
the two associated notions of duality are given by
\[
     \begin{aligned}
     \Dual{\Math{\mathcal{G}}}(M)&\sim \Sigma^{-1} \operatorname{Ext}^1_R(M,
     R)\\
     \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-1}}
     \operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,,
     \end{aligned}
\]
where as before the lower $\operatorname{Ext}$-group is the Pontriagin dual of $M$.
Perhaps surprisingly, the two $\operatorname{Ext}$-functors on the right are
naturally isomorphic on the category of \finitelength/ skew $R$-modules.  This can be proved by showing
that there are equivalences
\[
\begin{aligned}
  \Math{\mathcal{G}}&\sim \Sigma^{-1}\Math{\Z/p^\infty}\oslash_{\Math{\Z_p}}R\\
  \Math{\IGeneric}&\sim \hphantom{\Sigma^{-1}}\operatorname{Ext}^0_{\Math{\Z_p}}(R,\Math{\mathbb{Z}}/p^\infty)
\end{aligned}
\]
and observing that there is 
a canonical isomorphism
\[
       R \to \operatorname{Ext}^0_{\Math{\Z_p}}(R,\Math{\Z_p})
\]
given by the map which sends $r\in R$ to the trace over $\Math{\Z_p}$ of the
map $x\mapsto rx$.  These considerations produce an
$R[\operatorname{Aut}(R)]$-equivalence $\Sigma\Math{\mathcal{G}}\sim\Math{\IGeneric}$.  Hence in this case,
also, Gorenstein duality agrees up to suspension with Pontriagin
duality as strongly as we might hope.


  
\end{NumberedSubSection}

\begin{NumberedSubSection}{Power series over a field}
  Suppose $k$~is a finite field (see below), that $R$ is the power series ring $k[\![
  x_1,\ldots,x_{n-1}]\!]$, and that $R\to k$ is the natural map sending
  $x_i$ to zero. The ring $R$ is regular, $R\to k$ is Gorenstein, 
  and the Gorenstein condition provides a Brown-Comenetz
  dualizing module
  $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$.
  As in \ref{InduceItUp}, there is \acoinduced/ Brown-Comenetz dualizing
  module $\Math{\IGeneric}=\operatorname{Cell}_k\operatorname{Ext}^0_k(R, k)$. 
  Let $\Math{\mathfrak{m}}$ denote the kernel of $R\to k$. For \afinitelength/ (\ref{FiniteLength}) $R$-module $M$, the two
  associated notions of duality are given by
  \begin{equation}\label{PSFieldDualities}
      \begin{aligned}
      \Dual\Math{\mathcal{G}}(M)&\sim \Sigma^{-(n-1)}\operatorname{Ext}^{n-1}_R(M,R)\\
      \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-(n-1)}}\operatorname{Ext}^0_k(M,k)
      \end{aligned}
  \end{equation}

  Let $\Math{S}'$ denote $R\oslash_kR\cong
  k[\![ x_1\,\ldots,x_{n-1}]\!]\oslash_kk[\![ y_1,\ldots,y_{n-1}]\!]$,
  let $\Math{S}=k[\![
  x_1,\ldots,x_{n-1},y_1,\ldots,y_{n-1}]\!]$ be the evident
  completion of $\Math{S}'$, and let \Math{\mathcal{L}}/ be given by the formula
  \[\Math{\mathcal{L}}=\pi_{n-1}(R\otimes_{\Math{S}}R)\cong\operatorname{Tor}_{n-1}^{\Math{S}}(R,R)\,.\] (Here $R$ is
  treated as an $\Math{S}$-module by the completed multiplication map
  $\Math{S}\to R$ which has $x_i\mapsto x_i$ and $y_i\mapsto x_i$.)  Note that $\operatorname{Aut}(R)$ acts
  naturally on \Math{\mathcal{L}}/ in a diagonal~way; we are using here the fact
  that because $k$~is finite, any automorphism of $R$ carries
  $k\subset R$ to itself. The following proposition compares the two
  dualities of \ref{PSFieldDualities}.

  \begin{prop}\label{TwistOverk}
    The object \Math{\mathcal{L}}/ is a free (\discrete) $R$-module on one
    generator. For any \finitelength/ $R$-module $M$, there is an
  isomorphism
  \[
     \Math{\mathcal{L}}\oslash_R\operatorname{Ext}^{n-1}_R(M,R)\cong \operatorname{Ext}^0_k(M,k)\,.
  \]
   which is natural with respect to skew homomorphisms
   $M\to M'$.
  \end{prop}

  \begin{rem}
    Underlying \ref{TwistOverk} is an $R[\operatorname{Aut}(R)]$-equivalence
    \[\Sigma^{n-1}\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\sim\Math{\IGeneric}\,.\]
    or an equivalence $\Sigma^{n-1}\Math{\mathcal{L}}\sim\operatorname{Hom}_R(\Math{\mathcal{G}},\Math{\IGeneric})$. On the indicated category of skew $R$-modules, Gorenstein duality
    agrees naturally (up to suspension) with Kronecker duality over
    $k$ only after twisting by $\Math{\mathcal{L}}$.
  \end{rem}

  Let $\Math{R_\epsilon}$ denote $R$ considered as \adiscrete/ $\Math{S}$-module via the
  map $\Math{S}\to R$ with $x_i\mapsto 0$ and $y_i\mapsto x_i$. 

  \begin{lem}\label{TwoTensors}
    The natural map $R\otimes_{\Math{S}'}\Math{R_\epsilon}\to R\otimes_{\Math{S}}\Math{R_\epsilon}$ is an
    equivalence. 
  \end{lem}

  \begin{proof}
    This follows from an explicit calculation depending on the fact
    that for both $\Math{S}$ and $\Math{S}'$, the module $\Math{R_\epsilon}$ is the quotient
    of the ring by the ideal generated by the regular sequence
    $(x_1,\ldots,x_{n-1})$. 
  \end{proof}

  In the following lemma, $\Math{S}$ acts on
  $\operatorname{Hom}_k(M,R)\sim\operatorname{Ext}^0_k(M,R)$ in a completed bimodule fashion,
  e.g., $(x_i\cdot f)(m)=f(x_im)$ and $(y_i\cdot f)(m)=y_if(m)$.

  \begin{lem}\label{GetTheSameAnswer}
    If $M$ is \afinitelength/
    $R$-module, then the natural maps
    \[
    \begin{aligned}
      \operatorname{Hom}_{\Math{S}}(R,\operatorname{Hom}_k(M,R))&\to\operatorname{Hom}_{\Math{S}'}(R,\operatorname{Hom}_k(M,R))\\
       R\otimes_{\Math{S}'}\operatorname{Hom}_k(M,R)&\to R\otimes_{\Math{S}}\operatorname{Hom}_k(M,R)
    \end{aligned}
    \]
    are equivalences.
  \end{lem}

  \begin{proof}
    The module $M$ has a composition series in which the successive
    quotients are isomorphic to $k$; by an inductive argument, it
    suffices to treat the case $M=k$. In this case the second
    statement is \ref{TwoTensors}, while the first follows from
    \ref{TwoTensors} and the equivalences
   \[
     \begin{aligned}
     \operatorname{Hom}_{\Math{S}}(R,\Math{R_\epsilon}) &\sim \operatorname{Hom}_R(\Math{R_\epsilon}\otimes_{\Math{S}}R, \Math{R_\epsilon})\\
     \operatorname{Hom}_{\Math{S}'}(R,\Math{R_\epsilon}) &\sim\operatorname{Hom}_R(\Math{R_\epsilon}\otimes_{\Math{S}'}R,\Math{R_\epsilon})\,.
     \end{aligned}
   \] 
  \end{proof}

     We will use the fact that for any $R$-modules
    $A$ and $B$, there are natural weak equivalences
    \begin{equation}\label{TensorsAndHoms}
       \begin{aligned}
          \operatorname{Hom}_R(A,B)&\sim\operatorname{Hom}_{\Math{S}'}(R, \operatorname{Hom}_k(A,B))\\
          A\otimes_RB&\sim R\otimes_{\Math{S}'}(A\otimes_kB)
       \end{aligned}
    \end{equation}

  \begin{titled}{Proof of \ref{TwistOverk} (sketch)} The fact that
    \Math{\mathcal{L}}/ is a free module of rank~1 over $R$ follows from 
    calculation with the usual Koszul resolution of $R$ over
    $\Math{S}$. Let $\Math{\mathcal{L}^\#}$ denote $\operatorname{Ext}^{n-1}_S(R,S)$. Another
    calculation with the Koszul resolution shows that $\Math{\mathcal{L}^\#}$ is also
    a free module of rank~1 over~$R$, and that
     the composition pairing
    \[\Math{\mathcal{L}}\oslash_R\Math{\mathcal{L}^\#}=
    \operatorname{Tor}_{n-1}^S(R,R)\oslash_R\operatorname{Ext}^{n-1}_S(R,S)\to \operatorname{Tor}_0^S(R,S)\cong R\]
    is an isomorphism (this is also implicit in \cite[Lemma~1.5]{AILN}). To finish the proof, it is enough to show that
    for any~$M$ as described there is a natural isomorphism
    \[     \Math{\mathcal{L}^\#}\oslash_R\operatorname{Ext}^0_k(M,k)\to \operatorname{Ext}^{n-1}_R(M,R)\,.\]
    Again, consideration of the Koszul resolution shows that $R$ is
    finitely built from~$S$ as an $S$-module, and that 
   $\operatorname{Ext}^i_S(R,S)$ vanishes if $i\ne n-1$. It follows that 
    $\operatorname{Hom}_S(R,S)$ is equivalent to~$\Sigma^{1-n}\Math{\mathcal{L}^\#}$, and that for
    any $S$-module $X$ there is a natural isomorphism
    \begin{equation}\label{FundamentalPairing}
      \Sigma^{1-n}\Math{\mathcal{L}^\#}\otimes_SX\sim
      \operatorname{Hom}_S(R,S)\otimes_SX\sim\operatorname{Hom}_S(R,X)\,.
    \end{equation}
    Now let $M$ be \afinitelength/ $R$-module, and let $X$ be the \discrete/
    $S$-module $\operatorname{Hom}_k(M,R)$. The module  $M$ is finite-dimensional over $k$,
    and so $X$ is equivalent to $\operatorname{Hom}_k(M,k)\otimes_kR$, and (cf.
    \ref{GetTheSameAnswer}, \ref{TensorsAndHoms})
    \ref{FundamentalPairing} gives an equivalence
    \[\begin{aligned}
    \Sigma^{1-n}\Math{\mathcal{L}^\#}\otimes_R\operatorname{Hom}_k(M,k)&\sim\operatorname{Hom}_S(R,S)\otimes_R(R\otimes_S(\operatorname{Hom}_k(M,k)\otimes_kR))\\
             &\sim\operatorname{Hom}_S(R,S)\otimes_S\operatorname{Hom}_k(M,R)\\
             &\sim\operatorname{Hom}_S(R,\operatorname{Hom}_k(M,R))\\
             &\sim\operatorname{Hom}_R(M,R)\,.
    \end{aligned}\]
    Applying $\pi_{1-n}$ gives the desired isomorphism. The
    construction of the isomorphism is natural enough to respect skew
    homormorphisms $M\to M'$. \qed
   \end{titled}
\end{NumberedSubSection}

\begin{NumberedSubSection}{Power series over a $p$-adic ring}\label{SFullDuality}
  Let $W$ be the ring of integers in a finite unramified extension
  field of $\Math{\mathbb{Q}_p}$, $k$ the residue field of $W$, $R$ the formal
  power series ring $W[\![ x_1,\ldots,x_{n-1}]\!]$, and
  $R\to k$ the quotient map sending each $x_i$ to zero. As before, $R\to k$
  is Gorenstein  and the Gorenstein
  condition provides a Brown-Comenetz dualizing module
  $\Math{\mathcal{G}}=\operatorname{Cell}_k(R)$. As in \ref{InduceItUp}, there is \acoinduced/
  Brown-Comenetz dualizing module 
  $\Math{\IGeneric}=\operatorname{Cell}_k\operatorname{Hom}_{\Math{\Z_p}}(R,\Math{\Z/p^\infty})$. Let \Math{\mathfrak{m}}/ denote the kernel of
  $R\to k$. For \afinitelength/ (\ref{FiniteLength})
  $R$-module $M$, the two associated notions of duality are given by
  \[
      \begin{aligned}
      \Dual\Math{\mathcal{G}}(M)&\sim \Sigma^{-n}\operatorname{Ext}^{n}_R(M,R)\\
      \Dual\Math{\IGeneric}(M)&\sim\hphantom{\Sigma^{-0}}\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})
      \end{aligned}
  \]
  Let $S=W[\![ x_1,\ldots,x_{n-1},y_1,\ldots,y_{n-1}]\!]$
  be the evident completion of \hbox{$R\oslash_WR$}, and let
  $\Math{\mathcal{L}}=\pi_{n-1}(R\otimes_SR)$.

  \begin{prop}\label{TwistOverO}
    The object \Math{\mathcal{L}}/ is a free \discrete/ $R$-module on one
    generator. For any \finitelength/ $R$-module $M$, there is an
  isomorphism
  \[
     \Math{\mathcal{L}}\oslash_R\operatorname{Ext}^{n}_R(M,R)\cong \operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,.
  \]
   which is natural with respect to skew homomorphisms
   $M\to M'$.
  \end{prop}
  
  \begin{rem}
    Behind this proposition is an equivalence
    $\Sigma^n\Math{\mathcal{L}}\otimes_R\Math{\mathcal{G}}\sim\Math{\IGeneric}$. On the indicated category
    of skew $R$-modules, Gorenstein duality agrees naturally (up to
    suspension) with Pontriagin duality only after twisting by
    $\Math{\mathcal{L}}$. 
  \end{rem}

  \begin{titled}{Proof of \ref{TwistOverO} (sketch)}
    Let $\Math{\mathcal{L}^\#}$ denote $\operatorname{Ext}^{n-1}_S(R,S)$. As in the proof
    of \ref{TwistOverk}, it is enough to show that for all $M$ of the
    indicated type 
    there is a natural isomorphism
    \[   \Math{\mathcal{L}^\#}\oslash_R\operatorname{Ext}^0_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\cong
    \operatorname{Ext}^{n}_R(M,R)\,.\]
     Let $\Math{\mathfrak{n}}\subset\Math{\mathfrak{m}}$ denote the kernel of the map $R\to W$ sending each $x_i$
    to zero. The arguments in the proof of \ref{TwistOverk} give an
    equivalence 
    \[
       \Math{\mathcal{L}^\#}\otimes_R\operatorname{Hom}_{W}(M,W)\sim\Sigma^{n-1}\Hom_R(M,R)
    \]
    for any \discrete/ finitely-generated $R$-module $M$ which is
    annihilated by a power of~\Math{\mathfrak{n}}. (The observation
    in the proof of \ref{GetTheSameAnswer} that $M$ has a composition
    series in which the successive quotients are isomorphic to~$k$ has
    to be replaced by the observation that $M$ has a composition
    series in which the successive quotients are isomorphic as
    $R$-modules to cyclic modules over the PID~$W$.)
     If  in addition $M$ is
    \Math{\mathfrak{m}}-primary, i.e., if $M$ is a $p$-primary torsion abelian group,
    then  the considerations of  \ref{padicGor} give an equivalence
    \[
        \Sigma\operatorname{Hom}_W(M,W)\sim\operatorname{Hom}_{\Math{\Z_p}}(M,\Math{\Z/p^\infty})\,.
    \]
    Combining the equivalences, applying $\pi_*$, and verifying
    naturality gives the result. \qed 
  \end{titled}
  
\end{NumberedSubSection}










































\section{Chromatic ingredients}\label{CPreliminaries}

The purpose of this section is to recall some material from \cite{rHS}
and \cite{rS}.  As in \ref{GHIntro}, let \Math{\IGeneric}/ denote
$\operatorname{Cell}^{\Sn}_{\kn}\operatorname{Hom}(\Sn,\Math{\mathbb{I}})$, where \Math{\mathbb{I}}/ is the ordinary
Brown-Comenetz dual of the sphere.

\begin{rem}\label{IIRGivesPontriagin}
  Note that if $X$ is an \Sn-module which is built from \kn, then
  $\operatorname{Hom}(X,\Math{\IGeneric})\sim\operatorname{Hom}(X,\operatorname{Hom}(\Sn,\Math{\mathbb{I}}))$ is equivalent to
  $\operatorname{Hom}(\Sn\otimes X,\Math{\mathbb{I}})\sim\operatorname{Hom}(X,\Math{\mathbb{I}})$. In particular, for
  such an $X$ the homotopy groups of $\Dual\Math{\IGeneric} X$ are the Pontriagin
  duals of the homotopy groups of $X$.
\end{rem}

\begin{prop}\label{KnIsBC}
  The \Sn-module \Math{\IGeneric}/ is a Brown-Comenetz dualizing module for
  $\Sn\to\kn$. 
\end{prop}

\begin{proof}
  Following \ref{IIRGivesPontriagin}, a homotopy group calculation
  shows that $\operatorname{Hom}(\kn,\Math{\mathbb{I}})$ is equivalent to $\kn$ as a left
  $\kn$-module.  Since $\Sn\to \kn$ has a Koszul complex
  (\ref{knIsKoszul}), the result follows from
  \ref{RecognizeGorenstein}.
\end{proof}

Recall that a
\kn-local spectrum $X$ is said to be \emph{invertible} if there exists
a \kn-local spectrum $Y$ such that $X\hat\Tensor Y\sim\SKn$. In the
following statement ``shifted isomorphic'' means ``isomorphic up to
suspension''. 

\begin{prop} \label{InvertibleMeansNiceK}
  Suppose that $X$ is a \kn-local spectrum. Then the following 
  conditions are equivalent:
  \begin{enumerate}
  \item $X$ is invertible.
  \item $\kn_* X$ is shifted isomorphic to $\kn_*$ as a $\kn_*$-module.
  \item $\kn^*X$ is shifted isomorphic to $\kn^*$ as a $\kn^*$-module.
  \item $\Math{\En^{\vee}}_* X$ is shifted isomorphic to $\En_*$ as an $\En_*$-module.
    \label{Eversion}
  \item $\En^*X$ is shifted isomorphic to $\En^*$ as an
    $\En^*$-module. \label{Ecversion}
  \end{enumerate}
\end{prop}

\begin{proof}
  This is essentially \cite[14.2]{rHS}. There is a technical point
  to take into account. Hovey and Strickland use the letter ``$E$'' to
  denote a spectrum which we will call $\EHS$; its homotopy groups are
  given by
  \[
      \EHS_* = \Math{\Z_p}[\![
    v_1,v_2,\ldots,v_{n-1}]\!][v_n,v_n^{-1}]\,.
  \] 
  where $|v_k|=2(p^k-1)$.
  Our ring $\En_*$ is a finitely generated free module over $\EHS_*$
  under the map sending $v_k$ to $u^{p^{k-1}}u_k$, where $u_0=p$,
  $u_n=1$. Let $\EHS^\vee_*(X)$ denote $\pi_*L_{\kn}(\EHS\otimes X)$. 
  Given the way in which the cohomology theories $\EHS_*$ and $\En_*$
  are defined (i.e., by Landweber exactness \cite[p.~4]{rHS}
  \cite{rS}), for any
  spectrum $X$ there are isomorphisms
  \begin{equation}\label{BigVsSmall}
    \begin{aligned}
      \En_*(X)&\cong\En_*\oslash_{\EHS_*}\EHS_*(X)\\
      \Math{\En^{\vee}}_*(X)&\cong\En_*\oslash_{\EHS_*}\EHS_*^\vee(X)\,.
    \end{aligned}
  \end{equation}
  Hovey and Strickland show that conditions (1) and (2) and (3) of the
  proposition hold if and only if $\EHS^\vee_*(X)$ is isomorphic to
  $\EHS_*$ (up to suspension).  The proof is completed by observing that,
  in view of \ref{BigVsSmall}, $\Math{\En^{\vee}}_*(X)$ is isomorphic 
  to $\En_*$ (up to suspension) if and only if $\EHS^\vee_*(X)$
  is equivalent to $\EHS_*$ (up to suspension). Similar considerations
  apply to $\En^*$.
\end{proof}


\begin{prop} \label{IisInvertible}
  The \kn-local spectrum \Math{\hat{\IIR}}/ is invertible. 
\end{prop}

\begin{proof}
  This is \cite[10.2(e)]{rHS}; see also
  Theorem~\ref{BCequalsInvertible}. 
\end{proof}


\begin{prop}\label{SelfEquivalence}
  If $I$ is an invertible \kn-local spectrum, then the functor
  $X\mapsto X\hat\Tensor I$ gives a self-equivalence of the homotopy
  category of \kn-local spectra. In particular, for any \kn-local
  spectra $X$, $Y$ the natural map
  \[
    \operatorname{Hom}(X,Y)\to\operatorname{Hom}(X\hat\Tensor I, Y\hat\Tensor I)
  \]
  is an equivalence.
\end{prop}

\begin{proof}
  The inverse functor is given by $X\mapsto X\KSmash J$, where
  $I\KSmash J\sim\Math{\hat{\Sn}}$.
\end{proof}

\begin{rem}\label{DualOfInvertible}
  If $I$ is invertible, the ``multiplicative inverse''
  $J$ of $I$ is given by $J=\operatorname{Hom}(I,\Math{\hat{\Sn}})$. This can be derived from the
  chain of equivalences
  \[
    J\sim\operatorname{Hom}(\Math{\hat{\Sn}},J)\sim \operatorname{Hom}(I\KSmash\Math{\hat{\Sn}},I\KSmash J)\sim
    \operatorname{Hom}(I,\Math{\hat{\Sn}})\,.
  \]
\end{rem}


\begin{prop}\label{InvertibleMeansDualizable}\cite[10.6]{rHS}
  If $I$ is an invertible \kn-local spectrum, then for any spectrum
  $X$, the natural map $\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor
  I\to\operatorname{Hom}(X, I)$ is an equivalence.
\end{prop}

\begin{proof}
  Pick a \kn-local $J$ such that $I\hat\Tensor J\sim\Math{\hat{\Sn}}$. 
  Now use \ref{SelfEquivalence} to compute
  \[
    \begin{aligned}
    \operatorname{Hom}(X,I)&\sim\operatorname{Hom}(X\hat\Tensor J,I\hat\Tensor J)\\
    &\sim\operatorname{Hom}(J,\operatorname{Hom}(X,\Math{\hat{\Sn}}))\\
    &\sim\operatorname{Hom}(J\hat\Tensor I,\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor I)\,
   \end{aligned}
  \]
  and note that the final spectrum is $\operatorname{Hom}(X,\Math{\hat{\Sn}})\hat\Tensor I$.
\end{proof}




\begin{thm}\label{EtoSKisGor}\label{DualOfE}
  \cite[Prop.~16]{rS} 
  There is a weak equivalence
  \begin{equation}
            \hat D\En\sim \Sigma^{-n^2}\En
  \end{equation}
  of left \En-modules, which respects the actions of $\Gamma$ on both
  sides.
\end{thm}

\begin{proof}
   Much of the content of this proof is in the technical details, but
  we will sketch the argument. Let $\Math{\EndEn}=\operatorname{End}(\En)$. Note that
the natural map
 \begin{equation}\label{ESpectralSeq}
     \operatorname{Hom}(\En,X)\to \operatorname{Hom}_{\Math{\EndEn}}(\operatorname{Hom}(X,\En), \operatorname{Hom}(\En,\En))
  \end{equation}
  is a weak equivalence for $X=\En$.  Since $\Math{\hat{\Sn}}$ is finitely built
  from \En/ (\ref{SisFinite}) and both sides of \ref{ESpectralSeq}
  respect cofibration sequences in $X$, it follows that
  \ref{ESpectralSeq} is an equivalence for $X=\Math{\hat{\Sn}}$. This results in a
  strongly convergent
  Adams spectral sequence
  \[
  E^2_{*,*}=\operatorname{Ext}^*_{\En_*[\![\Gamma]\!]}
  (\En_*,\En_*[\![\Gamma]\!])\Rightarrow\pi_*\operatorname{Hom}(\En,\Math{\hat{\Sn}})\,.
  \] 
  By a change of rings, the $E^2$-page is isomorphic to the continuous
  cohomology $H_c^*(\Gamma,\En_*[\![\Gamma]\!]))$.  Since
  $\Gamma$ is a Poincar\'e duality group of dimension $n^2$, this
  continuous cohomology vanishes except in homological
  degree~$n^2$, where it is isomorphic to $\En_*$
  \cite[Prop.~5]{rS}.
\end{proof}

\begin{rem}\label{EDoubleDual}
  It follows from \ref{DualOfE} that the natural map
  $\rho:\En\to \hat D^2\En$ is an equivalence.
  To see this, let $f:\Sigma^{-n^2}\En\to\Math{\hat{\Sn}}$ be a map
  which corresponds under \ref{DualOfE} to the unit in $\En_0$. The
  adjoint of the equivalence $\Sigma^{-n^2}\En\to\operatorname{Hom}(\En,\Math{\hat{\Sn}})$ is then
  the composite
  \begin{equation}\label{FirstAdjoint}
       (\Sigma^{-n^2}\En)\otimes \En
      \RightArrow{m}\Sigma^{-n^2}\En\RightArrow{f}\Math{\hat{\Sn}}\,,
  \end{equation}
  where $m$ is obtained from the multiplication on $\En$. 
 Consider
  the following two maps
  \[\rho,\lambda:\En\to\hat D^2\En\sim\operatorname{Hom}(\Sigma^{-n^2}\En,\Math{\hat{\Sn}})\,,\]
  which we will specify by giving their adjoints
  $\En\otimes\Sigma^{-n^2}\En\to\Math{\hat{\Sn}}$.  The adjoint of $\rho$ is the
  composite of \ref{FirstAdjoint} with the transposition map
  $\En\otimes(\Sigma^{-n^2}\En)\to (\Sigma^{-n^2}\En)\otimes \En$;
  the adjoint of $\lambda$ is obtained by shifting the suspension
  coordinate in \ref{FirstAdjoint} from one tensor factor to the
  other. The map $\lambda$ is an equivalence because the adjoint of
  \ref{FirstAdjoint} is an equivalence.  The fact that $\rho$ is an
  equivalence now follows from the fact that $\En$ is a commutative
  \salgebra/.
\end{rem}


\section{Gross-Hopkins duality}\label{SGrossHopkins}

In this section we prove the main statements involved in Gross-Hopkins
duality, except, of course, for the Gross-Hopkins calculation itself
(\ref{GHTheorem}). We rely heavily on \cite{rHS} and \cite{rS}.

  \begin{titled}{Proof of \ref{GHShift}}
    By \ref{TwoKEquivalences}, $\operatorname{Hom}(\kn,\Sn)$ is equivalent to
    $\operatorname{Hom}(\kn,\Math{\hat{\Sn}})$.  Use \ref{IisInvertible} and
    \ref{SelfEquivalence} to obtain an equivalence
    $\operatorname{Hom}(\kn,\Math{\hat{\Sn}})\sim\operatorname{Hom}(\kn\hat\Tensor\Math{\hat{\IIR}},\Math{\hat{\IIR}})$,  observe
    (\ref{InvertibleMeansNiceK}) that $\kn\hat\Tensor\Math{\hat{\IIR}}$ is
    equivalent to \kn, and invoke \ref{KnIsBC} to evaluate
    $\operatorname{Hom}(\kn,\Math{\hat{\IIR}})\sim\operatorname{Hom}(\kn,\Math{\IGeneric})$.
  \end{titled}

  \begin{titled}{Proof of \ref{GHSame}}
    For the statment involving \Math{\mathcal{G}}, note that the map $\Math{\mathcal{G}}\to\Sn$
    is a $\operatorname{Cell}_{\kn}$-equivalence, and therefore
    (\ref{TwoKEquivalences}) an equivalence on $\kn_*$ or $\Math{\En^{\vee}}_*$. It
    follows that $\Math{\En^{\vee}}_*\Math{\mathcal{G}}$ is isomorphic to $\Math{\En^{\vee}}_*\Sn\cong\En_*$,
    even as modules over $\Gamma$.  The statement involving $\Math{\IGeneric}$ is
    a consequence of \ref{IisInvertible} and
    \ref{InvertibleMeansNiceK}, since the localization map
    $\Math{\IGeneric}\to\Math{\hat{\IIR}}$ induces an isomorphism on $\kn_*$ or $\Math{\En^{\vee}}_*$.
    \qed
  \end{titled}
  
  \begin{titled}{Proof of \ref{SimpleNaturality}}
    For the first isomorphism, observe that because $\Math{\mathcal{F}}$ is
    finitely built from \kn/ \cite[8.12]{rHS} and $\Math{\mathcal{G}}\to\Sn$ is a
    $\operatorname{Cell}_{\kn}$-equivalence, $\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})$ is equivalent to
    $\Dual\Sn(\Math{\mathcal{F}})$. Since $\Math{\mathcal{F}}$ is finitely built from \Sn, the
    usual properties of Spanier-Whitehead duality give an equivalence
  \[
        \En\otimes\Dual\Sn(\Math{\mathcal{F}})\sim\operatorname{Hom}(\Math{\mathcal{F}},\En)\,.
  \]
  It follows from \ref{GHShift} that $\Dual\Sn(\Math{\mathcal{F}})$ is also
  finitely built from \kn, which implies that
  $\En\otimes\Dual\Sn(\Math{\mathcal{F}})$ is \kn/-local and hence equivalent to
  $\En\KSmash\Dual\Sn(\Math{\mathcal{F}})$. Combining these obervations gives an
  equivalence $\En\KSmash\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\sim\operatorname{Hom}(\Math{\mathcal{F}},\En)$, so
  that $\Math{\En^{\vee}}_i\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})$ is isomorphic to $\En^{-i}(\Math{\mathcal{F}})$.
  There is a strongly convergent universal coefficient spectral
  sequence
  \[
     \operatorname{Ext}^*_{\En_*}(\En_*\Math{\mathcal{F}},\En_*)\Rightarrow \En^*(\Math{\mathcal{F}})\,.
  \]
  Since $\En_*$ is isomorphic as a graded $\En_*$-module
  to $\operatorname{Ext}^0_{\En_0}(\En_*,\En_0)$, a standard change of rings
  argument (Shapiro's lemma) produces a spectral sequence
  \[
  \operatorname{Ext}^i_{\En_0}(\En_j\Math{\mathcal{F}},
  \En_0)\Rightarrow\En_{-j-i}\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\,.
  \]
  But $\En_0\to\Math{\F_{p^n}}$ is Gorenstein and each group $\En_j\Math{\mathcal{F}}$ has a
  finite composition series in which the successive quotients are
  isomorphic, as $\En_0$-modules, to $\Math{\F_{p^n}}$. This implies that the
  above $\operatorname{Ext}$-groups vanish except for $i=n$, which leads to the
  desired result.

  For the second isomorphism, observe that there are equivalences
   \begin{equation}\label{DualityChain}
   \begin{aligned}
      \operatorname{Hom}(\En\hat\Tensor \Math{\mathcal{F}}, \Math{\hat{\IIR}})&\sim
      \operatorname{Hom}(\Math{\mathcal{F}},\operatorname{Hom}(\En,\Math{\hat{\IIR}}))\\
       &\sim \operatorname{Hom}(\Math{\mathcal{F}},\Sigma^{-n^2}\En\hat\Tensor\Math{\hat{\IIR}})\\
       &\sim\Sigma^{-n^2}\En\hat\Tensor\operatorname{Hom}(\Math{\mathcal{F}},\Math{\hat{\IIR}})     
   \end{aligned}
   \end{equation}
   where the second equivalence comes from combining \ref{EtoSKisGor}
   with \ref{InvertibleMeansDualizable}, and the third from the fact
   that $\Math{\mathcal{F}}$ is finite. Since $\Math{\mathcal{F}}$ is finitely built out of
   \kn, $\En\hat\Tensor\Math{\mathcal{F}}\sim\En\otimes\Math{\mathcal{F}}$ is built out of \kn, and
   the homotopy groups of the initial spectrum in the chain
   \ref{DualityChain} are the Pontriagin duals of $\Math{\En^{\vee}}_*\Math{\mathcal{F}}$
   (\ref{IIRGivesPontriagin}). The proof is completed by noting that
   the homotopy groups of the terminal spectrum in \ref{DualityChain}
   are given by $\Math{\En^{\vee}}_*\Dual\Math{\IGeneric} \Math{\mathcal{F}}$. \qed
  \end{titled}

  \begin{titled}{Proof of \ref{TwistedDifference}}
    It follows from \ref{IisInvertible},
    \ref{InvertibleMeansDualizable} and the argument in the proof of
    \ref{SimpleNaturality} that for any finite complex $\Math{\mathcal{F}}$ of
    type~$n$ there is are equivalences
    $\Dual\Math{\mathcal{G}}(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes\Math{\mathcal{G}}$ and
    $\Dual\Math{\IGeneric}(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes\Math{\IGeneric}$. This gives
    Kunneth isomorphisms
  \[
       \begin{aligned}
       \Math{\En^{\vee}}_*\Dual\Math{\IGeneric}(\Math{\mathcal{F}})&\cong\Math{\En^{\vee}}_*\Dual\Sn(\Math{\mathcal{F}})\oslash_{\En_*}\Math{\En^{\vee}}_*\Math{\mathcal{G}}\\
       \Math{\En^{\vee}}_*\Dual\Math{\IGeneric}(\Math{\mathcal{F}})&\cong\Math{\En^{\vee}}_*\Dual\Sn(\Math{\mathcal{F}})\oslash_{\En_*}\Math{\En^{\vee}}_*\Math{\IGeneric}
       \end{aligned}
  \]
  of modules over $\En[\![\Gamma]\!]$.
  Let \EHS/ be the spectrum described in the proof of
  \ref{InvertibleMeansNiceK}. Call an ideal $J
  \subset\EHS_*$
  \emph{admissible} if it has the form
  $(p^{a_0},v_1^{a_1},\ldots,v_{n-1}^{a_{n-1}})$. As described in
  \cite[\S4]{rHS}, there exists a family $\{J_\alpha\}$ of
  admissible ideals, such that $\cap_kJ_\alpha=0$, and such that for
  each $\alpha$ there exists a finite complex $\Math{\mathcal{F}}_\alpha$ of type~$n$
  with $\EHS_*\Math{\mathcal{F}}_\alpha\cong\EHS_*/J_\alpha$. Under the inclusion
  $\EHS_*\to\En_*$ we can treat $J_\alpha$ as an ideal of $\En_*$ and
  obtain (\ref{BigVsSmall}) $\Math{\En^{\vee}}_*Y_\alpha\cong\En_*/J_\alpha$.
  Let $X_\alpha=\Dual{\Sn}\Math{\mathcal{F}}_\alpha$, so that
  $\Math{\mathcal{F}}_\alpha\sim\Dual{\Sn}X_\alpha$.
  Then there are isomorphisms
  \[
       \begin{aligned}
       \Math{\En^{\vee}}\Dual\Math{\mathcal{G}} X_\alpha&\cong \Math{\En^{\vee}}_*(\Math{\mathcal{G}})/J_\alpha\\
       \Math{\En^{\vee}}\Dual\Math{\IGeneric} X_\alpha&\cong\Math{\En^{\vee}}_*(\Math{\IGeneric})/J_\alpha\,.
       \end{aligned}
  \]
  The proof is completed by combining these isomorphisms with
  \ref{SimpleNaturality} and passing to the limit in $J_\alpha$
  \cite[4.22]{rHS}.
  \end{titled}
























\section{Invertible modules}

The aim of this section is to prove \ref{GHClassifyBC}. We begin with
an extension of \ref{InvertibleMeansNiceK}.

\begin{thm}\label{BCequalsInvertible}
  A \kn-local spectrum $I$ is invertible if and only if $\operatorname{Hom}(\kn,
  I)$ is equivalent to $\kn$ (up to suspension)
\end{thm}

\begin{rem}
  It is easy to see that $\operatorname{Hom}(\kn,I)$ is equivalent to $\Sigma^d\kn$
  as a spectrum if and only if it is equivalent to $\Sigma^d\kn$ as a
  \kn-module.  
\end{rem}

\begin{lem}\label{LocalMappingSpaces}
  If $Y$ is \kn-local and $X$ is any spectrum, then $\operatorname{Hom}(X,Y)$ is
  \kn-local.
\end{lem}

\begin{proof}
  It is necessary to show that if $A$ is \kn-acyclic, then
  $\operatorname{Hom}(A,\operatorname{Hom}(X,Y))$ is contractible. But this spectrum is
  equivalent to $\operatorname{Hom}(X,\operatorname{Hom}(A,Y))$, and $\operatorname{Hom}(A,Y)$ is contractible
  because $Y$ is \kn-local.
\end{proof}

\begin{lem}\label{BCDoubleDual}
  Suppose that $I$ is a \kn-local spectrum such
  that $\operatorname{Hom}(\kn,I)$ is equivalent to a suspension of \kn.
  Then the natural map $\kappa_X: X\to\Dual I^2(X)$ is an equivalence for
  $X=\kn$ and $X=\Math{\hat{\Sn}}$.
\end{lem}

\begin{proof}
  We can shift $I$ by a suspension and assume $\operatorname{Hom}(\kn,I)\sim \kn$.
  Let $f:\kn\to I$ be essential. Under the identification
  $\kn\sim\operatorname{Hom}(\kn,I)$ obtained by choosing $f$ as a generator for
  $\pi_*\operatorname{Hom}(\kn,I)$ as a module over $\kn_*$, the map $\kappa_{\kn}$
  is adjoint to the composite of $f$ with the multiplication map
  $\kn\otimes\kn\to \kn$. Since $\operatorname{Hom}(\kn,I)$ is clearly equivalent to
  $\kn$ both as a left module and as a right module over \kn, it is
  easy to conclude that $\kappa_{\kn}$ is an equivalence
  (cf. \ref{EDoubleDual}).

  By a thick subcategory argument, $\kappa_X$ is an equivalence for
  all spectra finitely built from \kn, e.g., for a finite spectrum
  $\Math{\mathcal{F}}$ of type~$n$.  Since $\Dual
  I(\Math{\mathcal{F}})\sim\Dual\Sn(\Math{\mathcal{F}})\otimes I$ and $\Math{\mathcal{F}}\sim\Dual\Sn
  ^2(\Math{\mathcal{F}})$, the spectrum $\Dual I^2(\Math{\mathcal{F}})$ can be identified with
  $\Math{\mathcal{F}}\otimes\operatorname{Hom}(I,I)$. It follows that
  $\kn_*(\Math{\mathcal{F}})\cong\kn_*(\Math{\mathcal{F}})\oslash_{\kn_*}\kn_*\operatorname{Hom}(I,I)$ and
  hence that $\kn_*\operatorname{Hom}(I,I)\cong\kn_*$. The spectrum $\operatorname{Hom}(I,I)$ is
  \kn-local (\ref{LocalMappingSpaces}), is not contractible, and is an
  \salgebra/ under composition; it follows that the unit map
  $\Math{\mathbb{S}}\to\operatorname{Hom}(I,I)$ is nontrivial on $\kn_*$. Visibly, then, the
  unit map is an isomorphism on $\kn_*$ and induces an equivalence
  $\Math{\hat{\Sn}}\to\operatorname{Hom}(I,I)$.  It is not hard to identify this equivalence with
  the natural map $\Math{\hat{\Sn}}\to\Dual I^2(\Math{\hat{\Sn}})$ and conclude that
  $\kappa_{\Math{\hat{\Sn}}}$ is an equivalence.
\end{proof}

\begin{titled}{Proof of \ref{BCequalsInvertible}}
  Suppose that $I$ is invertible.  Use \ref{InvertibleMeansDualizable}
  to deduce
  \[
     \operatorname{Hom}(\kn, I)\sim\operatorname{Hom}(\kn,\Math{\hat{\Sn}})\KSmash I
  \]
  and observe that both $\operatorname{Hom}(\kn, \Math{\hat{\Sn}})$ (\ref{GHShift}) and
  $\kn\KSmash I$ (\ref{InvertibleMeansNiceK}) are equivalent to \kn/
  up to suspension. The conclusion is that $\operatorname{Hom}(\kn,I)$ is equivalent
  to \kn/ up to suspension.

  Suppose on the other hand that $\operatorname{Hom}(\kn,I)$ is equivalent to \kn,
  up to suspension. It follows from \ref{BCDoubleDual} that the
  natural map
  \[
    \operatorname{Hom}(\kn,\Math{\hat{\Sn}})\sim\operatorname{Hom}(\kn,\Dual I^2\Math{\hat{\Sn}})\to\operatorname{Hom}(\Dual I \Math{\hat{\Sn}},\Dual I\kn)\sim\operatorname{Hom}(I,\Dual I\kn)
  \]
  is an equivalence. The conclusion is that $\kn^*I$ is isomorphic to
  $\kn_*$, up to suspension, and hence by \ref{InvertibleMeansNiceK}
  that $I$ is invertible.
\end{titled}

For the rest of this section, \Math{\EndEn}/ will denote the endomorphism
\salgebra/ $\operatorname{End}(\En)$ of \En. The left action of \En/ on itself
gives a ring map $\En\to\Math{\EndEn}$.

\begin{prop}\label{StrangeIsFinite}
  Suppose that $\En'$ is any right \Math{\EndEn}/-module which is equivalent
  as an \En-module to \En. Then $\En'$ is finitely built from
  $\Math{\EndEn}$ as a right module over $\Math{\EndEn}$.
\end{prop}

\begin{proof}
  Consider two right actions $\En(1)$ and $\En(2)$ of \Math{\EndEn}/ on
  \En/ which extend the right action of $\En$ on itself.  Since
  \Math{\EndEn}/ is in fact the endomorphism \salgebra/ of $\En=\En(1)$, the
  right action of \Math{\EndEn}/ on $\En(2)$ is determined by \ansalgebra/
  homomorphism $\alpha:\Math{\EndEn}\to\Math{\EndEn}$. For any right \Math{\EndEn}-module $M$,
  let $M^\alpha$ denote the right \Math{\EndEn}-module obtained by twisting
  the action of \Math{\EndEn}/ on $M$ by $\alpha$, so that
  $\En(2)=\En(1)^\alpha$. As in \cite[\S7]{rPicard},
  the homomorphism $\pi_*(\alpha):
  \En_*[\![\Gamma]\!] \to
  \En_*[\![\Gamma]\!]$ is determined by a cocycle
  representing an element of $H^1(\Gamma;\En_0^\times)$, and in
  particular, $\pi_*(\alpha)$ is an isomorphism. It follows that if
  $M$ is a free right $\Math{\EndEn}$-module, so is $M^\alpha$; if $M$ is
  finitely built from \Math{\EndEn}/ as a module over \Math{\EndEn}, so is $M^\alpha$.
  It suffices then to find a single example of a suitable $\En(1)$
  which \emph{is} finitely built from $\Math{\EndEn}$. For this, take
  $\En(1)=\Sigma^{n^2}\hat D\En$; the distinction between the left
  action of \En/ on $\hat D\En$ (\ref{DualOfE}) and the corresponding
  right action is immaterial, since \En/ is a commutative \salgebra.
  Since \Math{\hat{\Sn}}/ is finitely built from \En/ (\ref{SisFinite}),
  $\operatorname{Hom}(\En,\Math{\hat{\Sn}})=\hat D\En$ is finitely built from
  $\operatorname{Hom}(\En,\En)=\Math{\EndEn}$ as a right module over \Math{\EndEn}.
\end{proof}







\begin{thm}\label{InvertibleBijection}
  The functor $I\mapsto\operatorname{Hom}(\En,I)$ gives a bijection between
  equivalence classes of invertible \kn-local spectra and equivalence
  classes of right \Math{\EndEn}-modules which are equivalent to \En/, up to
  suspension, as right \En-modules.
\end{thm}

\begin{rem}
    The inverse bijection sends a right module $\En'$ of the
    indicated type to $\En'\otimes_{\Math{\EndEn}}E$.
\end{rem}

\begin{proof}
  First observe that if $I$ is an invertible \kn-local spectrum,
  then $\operatorname{Hom}(\En,I)$ is equivalent to \En/ as a right \En-module:
  this follows from \ref{InvertibleMeansNiceK}, together with the fact
  (\ref{InvertibleMeansDualizable}, \ref{EtoSKisGor}) that there are
  equivalences 
  \[
     \operatorname{Hom}(\En, I) \sim\operatorname{Hom}(\En,\Math{\hat{\Sn}})\hat\Tensor
     I\sim\Sigma^{-n^2}\En\hat\Tensor I\,.
  \]
  Next, we claim that for \emph{any} \Math{\hat{\Sn}}-module $X$, in particular for
  $X=I$, the natural map
  \[
     \operatorname{Hom}(\En,X)\otimes_{\Math{\EndEn}}\En\to X
  \]
  is an equivalence.  To see this, fix $X$, and consider the class of
  all spectra $Y$ such that the natural map
  \begin{equation}\label{AComparison}
     \operatorname{Hom}(\En,X)\otimes_{\Math{\EndEn}}\operatorname{Hom}(Y,\En)\to\operatorname{Hom}(Y,X)
  \end{equation}
  is an equivalence. This class certainly includes $Y=\En$. Since both
  sides of \ref{AComparison} respect cofibration sequences, and $\En$
  finitely builds \Math{\hat{\Sn}}/ \cite[8.9, p.~48]{rHS}, the class includes
  $Y=\Math{\hat{\Sn}}$, which gives the desired result (cf. \cite[2.10]{rDGI}).


  Now suppose that $M$ is a right \Math{\EndEn}-module which is equivalent to
  \En/ as a right \En-module. Let $Y=M\otimes_{\Math{\EndEn}}\En$. We will
  show that $Y$ is invertible, and that the natural map
  \[
        M\sim M\otimes_{\Math{\EndEn}}\operatorname{Hom}(\En,\En)\to\operatorname{Hom}(\En,M\otimes_{\Math{\EndEn}}E)=\operatorname{Hom}(\En,Y)
  \]
  is an equivalence. For the second statement,
  consider the class of right \Math{\EndEn}-modules $X$ with the property that
  the natural map
  \begin{equation}\label{AnotherComparison}
     X\sim
     X\otimes_{\Math{\EndEn}}\operatorname{Hom}(\En,\En)\to\operatorname{Hom}(\En,X\otimes_{\Math{\EndEn}}E)
  \end{equation}
  is an equivalence. The class certainly includes the free module $X=\Math{\EndEn}$,
  and hence, by a thick subcategory argument, all modules finitely
  built from \Math{\EndEn}.  By \ref{StrangeIsFinite}, $M$ is finitely built
  from $\Math{\EndEn}$, and so the class includes $M$.  Again because
  $M$ is finitely built from $\Math{\EndEn}$, $Y$ is finitely built from
  $\Math{\EndEn}\otimes_{\Math{\EndEn}}E\sim E$, and so (\ref{EDoubleDual}) the natural
  maps $\En\to\hat D^2\En$ and $Y\to\hat D^2Y$ are equivalences.  This gives
  an equivalence
  \[
    M\sim \operatorname{Hom}(\En,Y)\sim \operatorname{Hom}(\hat D Y, \hat D\En)\sim\operatorname{Hom}(\hat D
    Y,\Sigma^{-n^2}\En)
   \,,
  \]
  where the last equivalence is from \ref{DualOfE}.
  By \ref{InvertibleMeansNiceK}(\ref{Ecversion}), $\hat D Y$ is
  invertible, and so $Y=\hat D(\hat D Y)$ is also invertible
  (\ref{DualOfInvertible}).
\end{proof}

\begin{titled}{Proof of \ref{GHClassifyBC}}
  By \ref{RecognizeGorenstein} and \ref{knIsKoszul}, a spectrum $X$
  which is built from \kn/ is a Brown-Comenetz dualizing module for
  $\Sn\to\kn$ if and only if $\operatorname{Hom}(\kn, X)$ is equivalent up to
  suspension to~\kn. It then follows from \ref{TwoKEquivalences} and
  \ref{BCequalsInvertible} that the assignment $X\to\hat X$ gives a
  bijection between equivalence classes of such Brown-Comenetz
  dualizing modules and invertible \kn-local spectra; the inverse
  bijection sends $Y$ to $\operatorname{Cell}_k Y$. The proof is completed by invoking
  \ref{InvertibleBijection} \qed
\end{titled}

\begin{rem}
  One could consider the \emph{moduli space} $\Math{\mathbf{Pic}}$ of invertible
  \kn-local spectra; this is the nerve of the category whose objects
  are the invertible \kn-local spectra and whose morphisms are the equivalences
  between them \cite{rModuli}. Up to homotopy \Math{\mathbf{Pic}}/ can be
  identified as a disjoint union $\coprod_\alpha B\operatorname{Aut}(I_\alpha)$,
  where $I_\alpha$ runs through the equivalence classes of invertible
  modules, and $\operatorname{Aut}(I_\alpha)$ is the group-like simplicial monoid of
  self-equivalences of $I_\alpha$.  The space $\Math{\mathbf{Pic}}$ is an
  associative monoid, even an infinite loop space, under a product
  induced by $\KSmash$; its group of components is the Picard group
  considered in \cite{rPicard}. Let $\En^\times$ denote the group of
  units of the ring spectrum \En, so that
  $\pi_0\En^\times\cong\En_0^\times$ and
  $\pi_i\En^\times\cong\pi_i\En$ for $i>0$. It seems that one can
  construct a second quadrant homotopy spectral sequence
  \[
  E^2_{-i,j}=H_c^i(\Gamma,\pi_jB\En^\times)\Rightarrow
  \pi_{j-i}\Math{\mathbf{Pic}}
  \]   
  which above total degree~1 agrees up to a shift with the Adams spectral sequence for
  $\pi_*\Math{\hat{\Sn}}$ (compare the proof of \ref{DualOfE}). This agreement is
  not surprising, since each component of \Math{\mathbf{Pic}}/ is
  $B\Sn^\times$. The edge homomorphism $\pi_0\Math{\mathbf{Pic}}\to
  H_c^1(\Gamma,\En_0^\times)$ is the map used to detect Picard group
  elements in \cite{rPicard}. The obstructions mentioned in
  \cite[p.~69]{rHS} seem to be related to the first $k$-invariant of
  $B\Math{\mathbf{Pic}}$ (for associative pairings) or to the first $k$-invariant
  of the spectrum obtained by delooping \Math{\mathbf{Pic}}/ (for associative and
  commutative pairings).

\end{rem}



    
























\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
