mjhjmtu

The homotopy groups of the sphere spectrum are the stable homotopy groups of spheres.

However, could you help me to appreciate the mathematical meanings of the following:

1. What is the significance of the meanings of "Anderson dual" to the sphere spectrum? (For example, I understand the significant meanings of Pontryagin dual and torsion subgroup. Can "Anderson dual" be explained as simple as that of Pontryagin dual?)




2. What is the significance of the meanings of (a shift of) $ImathbbC^times$, a “character dual” to the sphere spectrum?




3. (A shift of) the Anderson dual $ImathbbZ_1$ to the sphere spectrum?

Please feel free to correct my statements and to manifest the meaning behind my question. Many thanks!

The Anderson dualizing spectrum $I_mathbfZ$ can be defined as follows. Consider the functor $Xmapsto mathrmHom(pi_-ast X,mathbfQ/Z)$ from the homotopy category of spectra to graded abelian groups. Since $mathbfQ/Z$ is an injective $mathbfZ$-module, this functor is representable by a spectrum $I_mathbfQ/Z$, called the Brown-Comenetz dualizing spectrum. After $p$-completion, this spectrum is equivalent to the spectrum you denoted $ImathbfC^times$. If you do the same construction with $mathbfQ/Z$ replaced by $mathbfQ$, you obtain the Eilenberg-Maclane spectrum $mathbfQ$. There is a canonical map $mathbfQto I_mathbfQ/Z$, and the fiber of this map is defined to be $I_mathbfZ$. This has the property that it is $(-1)$-coconnective, $pi_0 I_mathbfZ cong mathbfZ$, $pi_-1 I_mathbfZ = 0$, and $pi_-n I_mathbfZ = mathrmHom(pi_1-n S, mathbfQ/Z)$.

There are several reasons why the Anderson dualizing spectrum is significant. I'll try to explain some of them, in the order in which I understand them the best.

• 
  

  It is the dualizing sheaf of the affine derived scheme $mathrmSpec(S)$. In order for this to make sense, I have to tell you what "dualizing sheaf" means. Let $A$ be a connective $mathbfE_infty$-ring (this definition fails drastically in the nonconnective setting). Then, an $A$-module $omega_A$ is said to be a dualizing sheaf if:

  
  
  
  1. 
     $omega_A$ is coconnective,
  
  
  2. 
     $pi_n omega_A$ is a finitely generated $pi_0 A$-module for every $n$,
  
  
  3. the map $Ato mathrmMap_A(omega_A, omega_A)$ is an equivalence (this is the dualizing property), and
  
  
  4. 
     $omega_A$ has finite injective dimension as an $A$-module, i.e., there is some integer $n$ such that for every discrete $A$-module $M$, the groups $pi_kmathrmMap_A(M,omega_A)$ vanish for $k>n$.
  
  

  You can check that $I_mathbfZ$ satisfies all of these properties when $A = S$. Moreover, one can prove (see Proposition 6.6.2.1 of Lurie's SAG) that dualizing sheaves are unique up to elements of $mathrmPic(A)$; when $A = S$, this group is just $mathbfZ$, generated by $S^1$. It follows that any other dualizing sheaf for $S$ is equivalent to a suspension of $I_mathbfZ$.

  
  
  

  There is an analogue of Serre duality in this spectral setting. Let me first explain the even periodic case, and then discuss what happens in the $K(n)$-local setting. In the even periodic setting, one might consider objects like $KU$, $KO$, and $mathrmTMF$ and its variants. All of these can be obtained as the global sections of sheaves of $mathbfE_infty$-rings on Deligne-Mumford stacks ($mathrmSpec(mathbfZ)$, $mathrmSpec/!!/C_2$, and the moduli stack $mathcalM_mathrmell$ of elliptic curves, respectively). Each of these Deligne-Mumford stacks are --- in the classical world --- smooth. In particular, they are Gorenstein.

  
  
  

  One can actually show that the associated derived stacks are Gorenstein in the spectral world, too. (The cases mentioned above are due to Heard-Stojanoska, and Stojanoska, respectively.) One finds the extremely interesting statement, e.g., that $I_mathbfZ mathrmTMF := mathrmMap(mathrmTMF, I_mathbfZ)$ is in the Picard group of $mathrmTMF$ (which is known to be cyclic, by work of Mathew-Stojanoska). This can be generalized: one can prove that most reasonable derived locally even periodic Deligne-Mumford stacks $mathfrakX$ satisfy the property that $mathrmMap(Gamma(mathfrakX, mathcalO_mathfrakX), I_mathbfZ)$ is in the Picard group of $Gamma(mathfrakX, mathcalO_mathfrakX)$.

  
  
  

  One practical consequence of this is the following. For a spectrum $A$, define $I_mathbfZ A = mathrmMap(A,I_mathbfZ)$. Then there is a short exact sequence
  $$0to mathrmExt^1_mathbfZ(pi_-d-1 X, mathbfZ) to pi_d I_mathbfZ X to mathrmHom_mathbfZ(pi_-d X, mathbfZ) to 0.$$
  Now, suppose that $E$ is a spectrum such that $I_mathbfZ E simeq Sigma^k E$ for some $k$ (so that $I_mathbfZ E in mathrmPic(E)$). Suppose we want to understand the $E$-theory of a spectrum $X$. Apply the short exact sequence above to the spectrum $Ewedge X$; this gives a short exact sequence
  $$0to mathrmExt^1_mathbfZ(E_-d-1 X, mathbfZ) to (I_mathbfZ E)^d X to mathrmHom_mathbfZ(E_-d X, mathbfZ) to 0.$$
  But the middle term is, by the "Anderson self-duality" of $E$, equivalent to $E^d+k X$. This gives an interesting and useful "universal coefficients" exact sequence.

  
  


• 
  

  Another reason one might care about the spectrum $I_mathbfZ$ is because of its appearance in the Picard group of the $K(n)$-local category, which goes by the name Gross-Hopkins duality. Let $n>0$. After $K(n)$-localizing, the difference between $I_mathbfQ/Z$ and $I_mathbfZ$ vanishes: $L_K(n) I_mathbfQ/Z simeq Sigma L_K(n) I_mathbfZ$. Suppose $X$ is an $E_n$-local spectrum. We define another spectrum $I_n X = Sigma L_K(n) I_mathbfZ X simeq L_K(n) mathrmMap(L_n X, I_mathbfQ/Z)$, and let $I_n = I_n L_K(n) S$. Then, Gross and Hopkins proved two remarkable statements: first, the spectrum $I_n$ is invertible in the $K(n)$-local category (this is not very surprising), and second, there is an isomorphism $(E_n)^vee_ast I_n simeq Sigma^n^2-n (E_n)_ast[det]$ of $(E_n)_ast[![Gamma_n]!]$-modules, where $det:Gamma_n to mathbfZ_p^times$ is the determinant map, and $Gamma_n$ is the Morava stabilizer group at height $n$. (I've implicitly been fixing the Honda formal group over $mathbfF_p^n$.)

  
  
  

  The proof of this result is really cool; it passes through an important object in rigid analytic geometry (the Gross-Hopkins period map). In any case, if $pgg n$, then one can actually identify $I_n$ itself with a $K(n)$-local object $S[det]$, called the determinantal sphere. This object is incredibly interesting, and plays an important role in the chromatic story at height $n$.

  
  



• The Anderson dualizing spectrum also plays an important (but unpublished) role in orientation theory. The following simple question is an open problem: let $kappa$ be a perfect field of characteristic $p>0$, and let $H$ be a formal group of finite height over $kappa$. Denote by $E(kappa, H)$ the associated Morava $E$-theory. Then, is there an $mathbfE_infty$-orientation $MU to E(kappa,H)$? One can reduce this to understanding the spectrum of units $gl_1 E(kappa,H)$. In unpublished work, Hopkins and Lurie have constructed a map $Sigma^n+1 I_mathbfZ to gl_1 E(kappa, H)$ (they also did more), the very existence of which is enough to obstruct the existence of certain $mathbfE_infty$-orientations of $E(kappa, H)$.




• I have heard that there is some relationship with TQFTs, but I don't know how that goes. There are people here more qualified than me who can say more about this.

One way to think of these spectra is in terms of the cohomology theories they define. In other words, if
$E$ is a spectrum, what is $[E, Imathbb Z]$? This is less of a description of what they are and more of a
description of what they do; there are probably other, more conceptual answers to your question.

1. $Imathbb Z$ and $Sigma^n Imathbb Z$

The universal coefficient theorem describes how to compute cohomology groups from homology groups: there is a short
exact sequence

$$ 0longrightarrow mathrmExt^1(H_n-1(X), mathbb Z)longrightarrow H^n(X)longrightarrow mathrmHom(H_n(X), mathbb
Z)longrightarrow 0,$$
and it splits noncanonically.

If you try to do this for generalized
cohomology, nothing so nice
is true, and the whole story is more complicated.

Nonetheless, part of the story can be salvaged: if you try this with stable homotopy groups (the homology theory
represented by the sphere spectrum), you obtain the cohomology theory represented by the Anderson dual of the
sphere. That is, for any spectrum $X$ there is a short exact sequence
$$ 0longrightarrow mathrmExt^1(pi_n-1(X), mathbb Z)longrightarrow [X, Sigma^n Imathbb Z]longrightarrow
mathrmHom(pi_n(X), mathbb Z)longrightarrow 0,$$
and it splits noncanonically. (See Freed-Hopkins, §5.3.)

There's a more general version of this in skd's answer.

2. $Imathbb C^times$ and $Sigma^n Imathbb C^times$

These spectra provide an analogue of Pontrjagin duality. If $A$ is an abelian group, the set of maps $Atomathbb
C^times$ is an abelian group under pointwise multiplication, and this is called the Pontrjagin dual of $A$. An
analogue for spectra might be the assignment $Xmapsto mathrmHom(pi_nX, mathbb C^times)$, the group of
characters of the $n$^th homotopy group of $X$. This is precisely what $[Sigma^n X, Imathbb C^times]$
is; more broadly, one could describe $Imathbb C^times$ as the spectrum whose cohomology theory is calculated by
$$(Imathbb C^times)^n(X) = mathrmHom(pi_-n(X), mathbb C^times).$$

As an addendum, I'm guessing this question arose because of the appearance of these spectra in physics,
specifically in the classification of invertible topological field theories. Following Freed-Hopkins, the
classification of invertible TQFTs $mathsfBord_nto mathsf C$, where $mathsf C$ is some target symmetric
monoidal $(infty, n)$-category, is equivalent to the abelian group of homotopy classes of maps between the
classifying spectrum of the groupoid completion of $mathsfBord_n$ and the classifying spectrum of the groupoid
of units of $mathsf C$. The classifying spectrum of $mathsfBord_n$ is determined by
Schommer-Pries, and for certain reasonable choices of $mathsf C$, we get
$Sigma^nImathbb C^times$ and $Sigma^n+1 Imathbb Z$ (for small $n$, and conjecturally for all $n$).

For small $n$, we know some good chocies for $mathsf C$: for example, if we let $n = 1$, we can take $mathsf C$
to be the category of super-vector spaces, and for $n = 2$ we can take the Morita 2-category of superalgebras. In
both cases, the classifying spectrum is the connective cover of $Sigma^n Imathbb C^times$. This suggests that in
higher dimensions $n$, we might find symmetric monoidal $n$-categories $mathsf C$ whose classifying spectra
continue this pattern, seeing more and more of $Imathbb C^times$, and the calculations of SPT phases coming out
of physics provide heuristic evidence for this conjecture.

This used the discrete topology on $mathbb C$. If you instead give $mathbb C$ the usual topology when defining the
categories of super-vector spaces or superalgebras, you get different classifying spectra: the connective covers of $Sigma^n+1 Imathbb Z$ for $n =
1$, resp. $2$. Conjecturally, this pattern also continues further. Using the usual topology on $mathbb C$ corresponds to classifying
deformation classes of invertible TQFTs rather than isomorphism, and again physics calculations provide some evidence for the conjecture.