\documentclass[ALCO,ThmDefs,Unicode,epreuves]{cedram}
\OneNumberAllTheorems

\usepackage{tikz}
\usepackage{comment}

\newcommand\reals{\mathbb{R}}
\let\oldl=\l
\renewcommand\l{\lambda^{+}} 
\newcommand\la{\lambda} 
\renewcommand\a{\alpha} 
\renewcommand\b{\beta} 
\newcommand\bc{\mathbf{c}}
\newcommand\textegras[1]{\emph{#1}}

\DeclareMathOperator{\fix}{fix}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\ch}{ch}
\DeclareMathOperator{\stab}{stab}


%%%%%%%%% a placer avant \begin{document}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}


\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%% Auteur

\author{\firstname{Sheila} \lastname{Sundaram}}

\address{Pierrepont School\\ 
One Sylvan Road North\\
Westport\\
CT 06880, USA}


\email{shsund@comcast.net}




%%%%% Sujet

\keywords{Subword order, reflection representation, $h$-positivity, Whitney homology, Kronecker product, internal product, Stirling numbers.}
 
\subjclass{05E10, 20C30}


%%%%% Gestion

\DOI{10.5802/alco.184}
\datereceived{2020-07-15}
\daterevised{2021-05-09}
\dateaccepted{2021-05-12}


%%%%% Titre et résumé
\title[Homology of subword order]{The reflection representation in the homology of subword order}

\begin{abstract}
 We investigate the homology representation of the symmetric group on rank-selected subposets of subword order.
 We show that the homology module for words of bounded length, over an alphabet of size $n,$ 
 decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Bj{\"o}rner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted. 

We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set 
$T_{1}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 1\}.$

 Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set 
 $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$ We conjecture that 
 this combination is nonnegative, establishing this fact for particular cases. 
\end{abstract}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%







\begin{document}


\maketitle


%
\section{Introduction}

Let $A^*$ denote the free monoid of words of finite length in an alphabet $A.$ 
Subword order is defined on $A^*$ by setting $ u\le v$ if $u$ is a subword of $v,$ that is, 
the word $u$ is obtained by deleting letters of the word $v.$ This makes $(A^*, \leq)$ into a graded poset 
with rank function given by the length $|w|$ of a word $w,$ the number of letters in $w$. The topology of this poset was first studied by Farmer (1979) 
and then by Bj{\"o}rner, who showed in~\cite[Theorem~3]{Bj1} that any interval of this poset admits a dual CL-shelling. The intervals are thus homotopy Cohen--Macaulay, as well as all rank-selected subposets 
obtained by considering only words whose rank belongs to
a finite set $S$~\cite[Theorem~4.1]{BjShellableTAMS}, \cite[Theorem~8.1]{BjWachs}. 
Suppose now that the alphabet $A$ is finite, of cardinality $n$. The symmetric group
$S_n $ acts on $A$, and thus on $A^*.$ To avoid trivialities we will assume $n\ge 2.$

In this paper we describe the homology representation 
 of intervals $[r, k]$ of consecutive ranks in $A^*$, as well as some other rank-selected subposets, using the Whitney homology technique and other methods developed in~\cite{Su0}. All homology in this paper is taken over the field of complex numbers. 
 We refer the reader to~\cite{St1} for general facts about rank-selection. 
We show that the unique nonvanishing 
homology of the rank-selected subposet $A^*_{[r,k]}$ 
 decomposes as a direct sum of copies of $r$ consecutive tensor powers of the reflection 
representation of $S_n$, that is, the irreducible representation $S_{(n-1,1)}$ indexed by the partition $(n-1,1).$ Theorem~\ref{Bordeaux1991mai} on consecutive ranks generalises a theorem in~\cite{Bj1} (conjectured by Bj{\"o}rner and proved by Stanley) on the homology representation of the poset of all words of length at most $k.$ We establish similar results for the Whitney and dual Whitney homology modules. Both turn out to be permutation modules in each degree, with pleasing orbit stabilisers. Theorem~\ref{rank-deletion} establishes the nonnegativity property with respect to tensor powers of $S_{(n-1,1)}$ for the case when one rank is deleted from the interval $[1,k],$ and leads to a curious homology isomorphism (Proposition~\ref{rank-deletion-duality}), suggesting a homotopy equivalence between the simplicial complexes associated to the rank sets $[1,k]\backslash {\{r\}}$ and $[1,k]\backslash {\{k-r\}},$ for fixed $r, 1\le r\le k-1.$ Finally Theorem~\ref{TwoRanks} establishes that the homology is a nonnegative sum of tensor powers of $S_{(n-1,1)}$ for rank-sets of size 2.

 More generally, we show in Theorem~\ref{RankSelectedChains} that for any nonempty subset $S$ of ranks $[1,k],$ the homology representation of $S_n$ may be written as an integer combination of positive tensor powers of the reflection representation. We propose the following conjecture, which is supported by Theorems~\ref{Bordeaux1991mai}, \ref{rank-deletion} and~\ref{TwoRanks}:

\begin{conj}\label{Conj:tensorpowers} Let $A$ be an alphabet of size $n\ge 2.$ Then the $S_n$-homology module of any finite nonempty rank-selected subposet of subword order on $A^*$ is a \emph{nonnegative} integer combination of positive tensor powers of the irreducible indexed by the partition $(n-1,1).$ 
\end{conj}

These considerations lead us to examine the tensor powers of the reflection representation (see Section~\ref{PowersOfRefl}), and the question of how many tensor powers are linearly independent characters. In answering these questions, we are led to a decomposition (Theorem~\ref{ReflRepMain}) showing that the $k$th tensor power of $S_{(n-1,1)}$ plus or minus one copy of $S_{(n-1,1)},$ has Frobenius characteristic equal to a nonnegative integer combination of the homogeneous symmetric functions $\{h_{(n-r, 1^r)}: r\ge 2\}.$ It is ``almost'' an $h$-positive permutation module. (In general the homology itself is \emph{not} a permutation module.) Inspired by this phenomenon, we prove, in Theorem~\ref{Homologyhbasis}, that in fact for all rank subsets $T,$
the homology module $\tilde{H}(T)$ 
has the property that $\tilde{H}(T) + (-1)^{|T|} S_{(n-1,1)} $ has Frobenius characteristic equal to an \emph{integer} combination of the homogeneous symmetric functions $\{h_{(n-r, 1^r)}: r\ge 2\}.$ Theorem~\ref{AlmosthpositiveInstances} establishes the truth of the following conjecture for 
the homology of several subsets of ranks. 
%
\begin{conj}\label{Conj:almost-h-pos} 
Let $A$ be an alphabet of size $n\ge 2.$ Then the $S_n$-homology module of any finite nonempty rank-selected subposet of subword order on $A^*$, plus or minus one copy of the reflection representation of $S_n,$ is a permutation module. In fact its Frobenius characteristic is $h$-positive and supported on the set $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$
\end{conj}
We give a simple criterion for when Conjecture~\ref{Conj:tensorpowers} will imply Conjecture~\ref{Conj:almost-h-pos} in Lemma~\ref{RefRephPos}.

The main results of this paper are summarised below. Let $A$ be an alphabet of size $n\ge 2,$ and $T\subseteq [1,k]$ a subset of ranks.
\begin{theo}\label{SummaryChains} The $S_n$-module induced by the action of $S_n$ on the maximal chains of the rank-selected subposet of $A^*$ of words with lengths in $T,$ is a \textegras{nonnegative} integer combination of tensor powers of the reflection representation $S_{(n-1,1)}.$ If $|T|\ge 1,$ this module has $h$-positive Frobenius characteristic supported on the set $T_{1}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 1\}.$ 
\end{theo}

\begin{theo}\label{Summary} The homology module $\tilde{H}(T)$ of words with lengths in $T$ is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)},$
with the property that $\tilde{H}(T) + (-1)^{|T|} S_{(n-1,1)} $ has Frobenius characteristic equal to an integer combination of the homogeneous symmetric functions $\{h_{(n-r, 1^r)}: r\ge 2\}.$ 

Both integer combinations are \textegras{nonnegative} 
when $T$ is one of the following rank sets: 
%
$ (1)\ [r,k], k\ge r\ge 1; \quad (2)\ [1,k]\backslash \{r\}, k\ge r\ge 1;\quad 
(3)\ \{1\le s_1<s_2\le k\}.$

\begin{comment}
Then
 \begin{description}
 \item[(A)] The rank-selected homology $\tilde{H}_{k-2}(A^*_{n,k}(T))$ is a nonnegative integer combination of positive tensor powers $S_{(n-1,1)};$ 
 \item[(B)] The module $V_T=\tilde{H}_{k-2}(A^*_{n,k}(T))+ (-1)^{|T|} S_{(n-1,1)}$ is a nonnegative integer combination of transitive permutation modules with orbit stabilisers 
of the form $S_1^d\times S_{n-d}, d\ge 2.$ Equivalently, the Frobenius characteristic of $V_T$ is supported on the set 
 $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}$ with nonnegative integer coefficients. 
 \end{description}
\end{comment}
 \end{theo}

By standard symmetric function theory, any $S_n$-module is a (virtual) sum of permutation modules whose point-stabilisers are Young subgroups. Thus a salient feature of Theorems~\ref{SummaryChains} and~\ref{Summary} is that only Young subgroups indexed by hooks appear.

\section{Subword order}

The subword order poset $A^*$ has a unique least element at rank 0, namely the empty word $\emptyset$ of length zero.
%
In this section we collect the main facts on subword order from~\cite{Bj1} that we will need. For general facts about posets, M{\"o}bius functions, etc. we refer the reader to~\cite{St3EC1}.

\begin{defi}[\cite{F}] A word $\alpha$ in $A^*$ is \emph{normal} if no two consecutive letters of $\alpha$ are equal. 
\end{defi}
For example, $aabbccaabbcc$ is not normal, while $abcabc$ is normal. Normal words are also called \emph{Smirnov} words in recent literature. Observe that the number of normal words of length $i$ is 
$n(n-1)^{i-1}.$ 

\begin{theo}[Farmer~\cite{F}]\label{Farmer}\hfill 
\begin{enumerate}
\item\label{theo2.2_1}
Let $\alpha$ be any word in $A^*$. Then the M{\"o}bius function of subword order satisfies $\mu(\hat 0, \alpha)
=\begin{cases} (-1)^{|\alpha|}, & \text{ if }\alpha \text{ is a normal word,}\\
0, & \text{ otherwise}.
\end{cases}$
\item\label{theo2.2_2} 
(See also~\cite{V}.) Let $|A|=n$ and let $A^*_{n,k}$ denote the subposet of $A^*$ consisting of the first $k$ nonzero ranks and the empty word, \ie of words of length at most $k,$ with an artificially appended top element $\hat 1.$ Then 
\begin{equation}\label{MobiusNumber}\mu(A^*_{n,k})=\mu(\hat 0, \hat 1) = (-1)^{k-1} (n-1)^k.\end{equation}
\item\label{theo2.2_3} 
\cite[Theorem~5 and preceding Remark]{F} $A^*_{n,k}$ has the homology of a wedge of $(n-1)^k$ spheres of dimension $(k-1).$
\end{enumerate}
%
\end{theo}

Bj{\"o}rner generalised Part~\eqref{theo2.2_1} above to give a simple formula for the M{\"o}bius function of an arbitrary interval $(\beta, \alpha)$, as follows. 

\begin{defi} [\cite{Bj1}]
Given a word $\alpha= a_1a_2\ldots a_n$ in $A^*$, its repetition set is $R(\alpha)=\{i: a_{i-1}=a_i\}.$ An embedding of $\beta$ in $\alpha$ is a sequence $1\le i_1<i_2<\cdots<i_k\le n$ such that $\beta =a_{i_1} a_{i_2}\ldots a_{i_k}.$ It is called a \emph{normal embedding} if in addition $R(\alpha)\subseteq \{i_1,i_2,\ldots,i_k\}.$

Denote by $\binom{\alpha}{\beta}$ the number of embeddings of $\beta$ in $\alpha,$ and by $\binom{\alpha}{\beta}_n$ the number of normal embeddings of $\beta$ in $\alpha$. 

\end{defi}

\begin{theo}[{\cite[Theorem~1]{Bj1}}] For all $\alpha, \beta\in A^*,$ 
\[
\mu(\beta,\alpha)=(-1)^{|\alpha|-|\beta|} \binom{\alpha}{\beta}_n.
\]
\end{theo}
Observing that the word $\alpha$ is normal if and only if its repetition set $R(\alpha)$ is empty, one sees that this generalises Farmer's formula for $\mu(\hat 0, \alpha).$

Recall that the zeta function~\cite{St3EC1} of a poset is defined by 
$\zeta(\beta, \alpha)=1$ if $\beta\le \alpha,$ and equals zero otherwise. 
\begin{theo}[\cite{Bj1}]\label{Bjgf} Let $A$ be an alphabet of size $n,$ and $\beta$ a word in $A^*$ of length $k.$ The following generating functions hold:
\begin{enumerate}
\item\label{theo2.5_1} \cite[Theorem~2~(i)]{Bj1} 
 For the M{\"o}bius function of subword order: 
\[
\sum_{\alpha\in A^*} \mu(\beta,\alpha)t^{|\alpha|} 
= \dfrac{t^k(1-t)}{(1+(n-1)t)^{k+1}}.
\]
\item\label{theo2.5_2} \cite[3.~Remark.]{Bj1} The number of words of length $p$ in the interval $[\beta, \infty]$ depends only on 
the length $k$ of $\beta, $ and equals 
\[
\sum_{i=0}^{p-k} \binom{p}{i} (n-1)^i.
\]
\item\label{theo2.5_3} \cite[3.~Remark.(i)]{Bj1} For the zeta function of subword order:
\[
\sum_{\alpha\in A^*} \zeta(\beta,\alpha)t^{|\alpha|} 
= \dfrac{t^k}{(1-nt)(1-(n-1)t)^{k}}.
\]
\end{enumerate}
\end{theo}

Farmer's result on the homology of $A^*_{n,k}$ was strengthened by Bj{\"o}rner, who showed the following (see~\cite{BjShellableTAMS}, \cite{BjWachs}, and also~\cite{Wa} for a survey of lexicographic shellability):
\begin{theo}[{Bj{\"o}rner~\cite[Theorem~3, Corollary~2]{Bj1}}]\label{BjCLshellable} Every interval $(\beta, \alpha)$ in the subword order poset $A^*$ is dual CL-shellable, and hence homotopy Cohen--Macaulay. In particular, for a finite alphabet $A,$ the poset $A^*_{n,k}$ of nonempty words of length at most $k,$ which may be viewed as the result of rank-selection from an appropriate interval of $A^*$, is also dual CL-shellable and hence also homotopy Cohen--Macaulay. 
\end{theo}
We point out three details about Farmer's original paper:
 \begin{enumerate}
 \item\label{theo2.6_a} %[a] 
 The order used in the present paper is what Farmer calls the \emph{embedding} order (see~\cite[p.~609]{F}). Farmer's ``subword order'' differs from ours and~\cite{Bj1}.
 \item\label{theo2.6_b} %[b] 
 All homology in Farmer's paper is ordinary homology, as opposed to reduced homology in the present paper and~\cite{St1}. 
% 
 In keeping with his definition of a graded poset, for the rank function $d$ 
 of subword order, Farmer defines $d(w)=j-1$ if $w$ is a word of length $j;$ in this paper we use the length of the word as its rank.
 \item\label{theo2.6_c} %[c] 
 In particular, his definition of the $k$-skeleton $X^k$ of a poset of words $X$ corresponds to our $A^*_{k+1},$ \ie to taking the words of length at most $(k+1)$.
 \end{enumerate}

\begin{comment}
The key observations made by Stanley are that 
\begin{enumerate}
\item the subposet of $A^*_{n,k}$ fixed by $g$ is just the poset of words in the alphabet $\fix(g)$ of letters fixed by $g,$ \ie it is just $\fix (g)^*_k,$ and 
\item the trace of $g$ on the irreducible $S_n$-module indexed by $(n-1,1)$ is $\fix (g)-1.$
\end{enumerate}
\end{comment}
\section{Rank-selection in \texorpdfstring{$A^*$}{A*}}

In this section we will assume the alphabet $A$ is finite of size $n.$ 

We follow the standard convention as in~\cite{St1}, \cite{St3EC1}: By the homology of a poset $P$ with greatest element $\hat 1$ and least element $\hat 0,$ we mean the reduced homology $\tilde{H}(P)$ of the simplicial complex whose faces are the chains of 
$P\backslash \{\hat 0, \hat 1\}.$
In order to determine the homology of rank-selected subposets of $A^*_{n,k},$ we will use the techniques developed in~\cite{Su0}. For an elementary treatment of these and more general methods, see~\cite{SuJer}. 

Whitney homology was originally defined by Baclawski~\cite{BaWhitneyHom}. Bj{\"o}rner showed~\cite{Bj0WhitneyHom} that the $i$th Whitney homology of a graded Cohen--Macaulay 
poset $P$ with least element $\hat 0$ is given by the isomorphism
\begin{equation}\label{WHBjdef}W\!H_i(P)\simeq\bigoplus_{x:\rank(x)=i} \tilde{H}_{i-2}(\hat 0, x).\end{equation}
Note that if $P$ has a top element $\hat 1,$ then the top Whitney homology coincides with the top homology of $P.$

\looseness-1
If $G$ is a group acting on the Cohen--Macaulay poset $P$, then $W\!H_i(P)$ is also a 
$G$-module.
The present author observed that the isomorphism~\eqref{WHBjdef} is in fact group-equivariant, and also established the equivariant acyclicity of Whitney homology (see~\cite{Su0}). Thus 
\eqref{WHBjdef} becomes an effective tool for computing both the $G$-module structure of Whitney homology as well as the homology of the full poset, as an equivariant analogue of the inherently recursive structure in the M{\"o}bius function. This technique was then exploited 
in~\cite{Su0} and~\cite{SuJer} to determine group actions on the homology of posets. 

It is also computationally useful to consider the \emph{dual} Whitney homology of the Cohen--Macaulay poset $P$ when $P$ has a top element $\hat 1$, that is, the Whitney homology of the dual poset $P^*$, which we denote by $W\!H^*(P).$ Note that we now have an equivariant isomorphism 
\begin{equation}\label{WHdualBjdef}
W\!H^*_i(P)\simeq\bigoplus_{x:\rank (x)=r-i} \tilde{H}_{i-2}( x, \hat 1), 0\leq i\leq r.
\end{equation}
Here $r$ is the length of the longest chain from $\hat 0$ to $\hat 1.$

See~\cite{Su0} and~\cite{SuJer} for a more general version of the following theorem (for arbitrary posets), and also~\cite{Wa} for additional background on Whitney homology. 
\begin{theo}[{\cite[Lemma~1.1, Theorem~1.2, Proposition~1.9]{Su0}}]\label{WHmainSS} Let $P$ be a graded Cohen--Macaulay poset of rank $r$ carrying an action of a group $G.$ Then the unique nonvanishing top homology of $P$ coincides with the top Whitney homology module $W\!H_r(P),$ and as a $G$-module, can be computed as an alternating sum of Whitney homology modules:
\begin{equation}\label{Acyclicity}
\tilde{H}_{r-2}(P)\simeq \bigoplus_{i=0}^{r-1} (-1)^i W\!H_{r-1-i}(P).
\end{equation}
In particular, if $P(\underline{k})$ denotes the subposet consisting of the first $k$ nonzero ranks, with a bottom and top element attached, then one has the $G$-module decomposition 
\begin{equation}\label{ConsecRanks}
\tilde{H}_{k-2}(P(\underline{k-1}))\oplus \tilde{H}_{k-1} (P(\underline{k}))
\simeq W\!H_k(P), r\geq k\geq 1.
\end{equation}
Note that $W\!H_0(P)$ is the trivial $G$-module, while $W\!H_r(P)$ gives the reduced top homology of the poset $P$.
\end{theo}

Richard Stanley proved Bj{\"o}rner's conjecture that 
\begin{theo}[{\cite[Theorem~4]{Bj1}}]\label{BjSt} The $S_n$-action on the unique nonvanishing homology $\tilde H_{k-1}(A^*_{n,k}, \mathbb C)$ is the module given by the $k$th tensor power of the irreducible representation indexed by the partition $(n-1,1).$ 
\end{theo}

 \looseness-1
 In the following theorem, we formalise Stanley's insight into subword order, as used in the proof of the above theorem. 
For more background on the Hopf trace formula and its use in poset homology, see~\cite{SuJer}. Recall that the \emph{Lefschetz module} of a poset $P$ is the alternating sum (by degree) of the homology modules of (the order complex) of $P.$

Denote by $S_\lambda$ the irreducible representation of the symmetric group $S_n$ indexed by the partition $\lambda$ of $n$, and write $S_\lambda
^{\otimes i}$ for the $i$th tensor power of the module $S_\lambda$.

\goodbreak
\begin{theo}\label{BjStproof} Let $\{P_n\}$ be any sequence of finite posets each carrying an action of the symmetric group $S_n,$ such that 
\begin{enumerate} 
\item\label{theo3.3_1} For any $g\in S_n,$ the fixed-point subposet $P_n^g$ is isomorphic to the poset $P_{\fix (g)},$ where $\fix (g)$ is the number of fixed points of $g$ as a permutation of $S_n$, 
and
\item\label{theo3.3_2} the M{\"o}bius number $\mu(P_n)$ is a polynomial in $(n-1),$ say $\sum_{i\geq 0} b_i (n-1)^i. $ 
\end{enumerate}
Then the Lefschetz module of $P_n$ decomposes as a sum of $i$th tensor powers of the irreducible indexed by the partition $(n-1,1),$ with coefficient equal to $b_i, i\ge 0.$ (Note that the $0$th tensor power corresponds to the trivial $S_n$-module $S_{(n)}.$) In particular, the $S_n$-module structure of the Lefschetz module of $P_n$ is completely determined by its M{\"o}bius number.

 Now assume $P_n$ is Cohen--Macaulay, as well as all the fixed-point subposets $P_n^g.$ If for all $k\geq 0,$ the Betti number of $W\!H_k(P_n)$ is a polynomial in $(n-1),$ then this polynomial determines the trace of $g\in S_n$ on the $k$th Whitney homology of $P_n.$ The representation of $S_n$ on $W\!H_k(P_n)$ is therefore a linear combination of tensor powers of the irreducible $S_{(n-1,1)}.$ 
\end{theo}

\begin{proof} This is clear since 
\begin{enumerate} 
\item (\cite{St1, St3EC1, SuJer}) the Lefschetz module of $P_n$ has (virtual) degree $\mu(P_n),$ the Euler characteristic of the order complex of $P_n;$ 
\item (\cite{St3EC1, SuJer}) by the Hopf trace formula, the trace of an element $g\in S_n$ on this Lefschetz module is the M{\"o}bius number $\mu(P^g_n)$ of the fixed-point poset $P_n^g,$ since it is the Euler characteristic of the order complex of $P_n^g$; 
\item by hypothesis, $\mu(P^g_n)=\mu(P_{\fix (g)})=\sum_i b_i (\fix (g)-1)^i,$ and finally 
\item the trace of $g$ on the irreducible $S_n$-module indexed by $(n-1,1)$ is $\fix (g)-1.$
\end{enumerate}

Similar conclusions hold for Whitney homology in the case when the posets are Cohen--Macaulay. The key observation here is that from Bj{\"o}rner's formulation Equation~\eqref{WHBjdef}, it follows that the Whitney homology of the fixed-point subposet $P_n^g$ coincides with the Whitney homology of $P_{\fix (g)}.$
\end{proof}

\looseness-1
Our motivating example for the poset $P_n$ satisfying the conditions of Theorem~\ref{BjStproof} is clearly subword order $A^*$ when $|A|=n.$
More generally, fix an integer $k\geq 1,$ and let $S$ be any subset of the ranks $[1,k]$. Then the rank-selected subposet $A^*_{n,k}(S)$ of $A^*$ consisting of elements with ranks belonging to $S$ also satisfies the conditions of Theorem~\ref{BjStproof}. When $S=[1,k]$ we denote this rank-selected subposet $A^*_{[1,k]}$ simply by $A^*_{n,k}.$

Using the generating function for the M{\"o}bius function of $A^*$ given in Theorem~\ref{Bjgf}, Theorem~\ref{WHsubword} below computes all but the top Whitney homology $S_n$-modules for subword order. The proof requires a key formula, which we derive from the generating function for the M{\"o}bius function of $A^*$ given in Theorem~\ref{Bjgf}. We isolate this computation in the following lemma.

\begin{lemma} \label{UpperIntSubwordOrder} Let $\beta$ be any element of $A^*_{n,k}\backslash \{\hat 1\},$ where the alphabet $A$ has cardinality~$n.$ Then 
{\[
\abovedisplayshortskip0pt
\belowdisplayshortskip3pt
\mu(\beta, \hat 1)_{A^*_{n,k}}(-1)^{k+1-|\beta|} 
= \binom{k}{|\beta|} (n-1)^{k-|\beta|}.
\]}%
In particular this M{\"o}bius number depends only on the rank (length) of the word $\beta.$
\end{lemma}
\begin{proof} For convenience let $|\beta|=i.$ We have, using the defining recurrence for the M{\"o}bius function and the generating function in~\eqref{theo2.5_1} of Theorem~\ref{Bjgf},
{\abovedisplayskip3pt
\belowdisplayskip3pt
\begin{align*} \mu(\beta, \hat 1)_{A^*_{n,k}}(-1)^{k+1-|\beta|}
&=(-1)^{k+1-i} (-1) \sum_{\stackrel{\alpha\in A^*_{n,k}}{\alpha<\hat 1}}\mu(\beta,\alpha)
\\[-6pt]
&=(-1)^{k-i}\sum_{j=i}^k \sum_{\stackrel{\alpha\in A^*_{n,k}}{ |\alpha|=j}} \mu(\beta, \alpha)\\[-5pt]
&= (-1)^{k-i}\sum_{j=i}^k [t^j] (1-t) t^i (1+t(n-1))^{-(i+1)}\\[-2pt]
&=(-1)^{k-i}\sum_{j=i}^k [t^{j-i}] (1-t) (1+t(n-1))^{-(i+1)}.
\end{align*}}%
Setting $u=j-i,$ this in turn equals
\begin{align*}
(-1)^{k-i}\sum_{u=0}^{k-i} [t^{u}] (1-t) (1+t(n-1))^{-(i+1)}
&=(-1)^{k-i}[t^{k-i}](1+t(n-1))^{-(i+1)}, %\\
\intertext{(since for any power series $f(t)$, one has $\sum_{j=0}^m[t^j](1-t)f(t)=[t^m]f(t))$,} %\\
&=(-1)^{k-i}\binom{-(i+1)}{k-i}(n-1)^{k-i}\\
&=\binom{i+1+k-i-1}{k-i} (n-1)^{k-i}.
%
\end{align*}
The last line follows since $\binom{-m}{j}=(-1)^j\binom{m+j-1}{j}$, thereby completing the proof.\end{proof}

\begin{theo}\label{WHsubword} Consider the subword order poset $A^*_{n,k},$ with $|A|=n.$ As $S_n$-modules, the Whitney homology $W\!H(A^*_{n,k})$ and the dual Whitney homology $W\!H^*(A^*_{n,k}),$ 
for $1\le i\le k,$ are as follows. Note that $W\!H_0(A^*_{n,k})=S_{(n)}=W\!H_{k+1}^*(A^*_{n,k})$ (the trivial $S_n$-module).
\begin{equation}\label{Whitney}
W\!H_{i}(A^*_{n,k})=S_{(n-1,1)}^{\otimes i} \oplus S_{(n-1,1)}^{\otimes (i-1)};
\end{equation}
\begin{align}\label{dualWhitney} 
W\!H^*_{k+1-i}(A^*_{n,k})&=\binom{k}{i} S_{(n-1,1)}^{\otimes (k-i)} \otimes (S_{(n-1,1)}\oplus S_{(n)})^{\otimes i}\\
&= \bigoplus_{j=0}^i\binom{k}{i}\binom{i}{j} S_{(n-1,1)}^{\otimes j+(k-i)}.
\end{align}
\end{theo}

\begin{proof} Equation~\eqref{Whitney} is immediate from 
Theorems~\ref{WHmainSS} and~\ref{BjSt}. 

For fixed $k$, we will show that the Betti number of the $k$th dual Whitney homology is a polynomial in $(n-1)$ with nonnegative coefficients. By Theorem~\ref{BjStproof}, to compute the action of $S_n$, it is enough to carry out the appropriate M{\"o}bius number (in effect, Betti number) computations.

For the dual Whitney homology, for $0\le i\le k$ we have 
\[
W\!H_{k+1-i}^*(A^*_{n,k})=\bigoplus_{x:|x|=i} \tilde{H}(x,\hat 1)_{A^*_{n,k}}.
\]
 Computing Betti numbers, and using Lemma~\ref{UpperIntSubwordOrder}, we have that the dimension of the dual Whitney homology module equals 
\[
\sum_{\stackrel{ x \text{ any word }}{|x|=i}} (-1)^{k+1-i}\mu(x,\hat 1)_{A^*_{n,k}}
=\sum_{\stackrel{ x \text{ any word }}{|x|=i}} \binom{k}{i} (n-1)^{k-i}=n^i\binom{k}{i} (n-1)^{k-i}.
\]

%
This expression translates into the one in the statement of the proposition, since the trace of $g$ on $S_{(n-1,1)}\oplus S_{(n)}$ is the number of fixed points of $g.$
The second expression is obtained from the binomial expansion of
$n^i$ into powers of $(n-1).$
\end{proof}

\begin{coro} The top homology of $A^*_{n,k}$ as an $S_n$-module is also given by 
 the alternating sums
\[
\sum_{i=0}^{k}(-1)^{k-i}\left(S_{(n-1,1)}\oplus S_{(n)}^{\otimes i}\otimes\binom{k}{i} S_{(n-1,1)}^{\otimes (k-i)} \right)
%\]
%\[
=\sum_{i=0}^k (-1)^{k-i} \bigoplus_{j=0}^i\binom{k}{i}\binom{i}{j} S_{(n-1,1)}^{\otimes j+(k-i)},
\]
and thus both are equal to $S_{(n-1,1)}^{\otimes k}.$
\end{coro}
\begin{proof} 
The two expressions are simply the alternating sums of dual Whitney homology modules in~\eqref{dualWhitney}. They equal the top homology module by Theorem~\ref{WHmainSS}.
\end{proof}



We can now prove the main result of this section, which generalises Theorem~\ref{BjSt} %the preceding corollary
 to the rank-set $[r,k]$ consisting of the interval of consecutive ranks $r, r+1, \ldots, k.$ To do this, we must rewrite the partial alternating sums of terms appearing in the dual Whitney homology~\eqref{dualWhitney} as a nonnegative linear combination rather than a signed sum. 
 The poset of words in an alphabet of size $n,$ with lengths bounded above by $k$ and below by $r,$ has homology as follows.

\begin{theo}\label{Bordeaux1991mai} 
Fix $k\geq 1$ and let $S$ be the interval of consecutive ranks $[r,k]$ for $1\le r\le k.$ Then the rank-selected subposet $A^*_{n,k}(S)$ has unique nonvanishing homology in degree $k-r,$ and the $S_n$-homology representation on $\tilde{H}_{k-r}(A^*_{n,k}(S))$ 
is given by the decomposition
\begin{equation}\label{epicstruggle}\bigoplus_{i=1+k-r}^k b_i\,S_{(n-1,1)}^{\otimes i}, \text{ where }b_i=\binom{k}{i}\binom{i-1}{k-r}, i=1+k-r, \ldots, k.\end{equation}
\end{theo}

\begin{proof} For brevity we will simply write $\tilde{H}([i,k])$ for the homology of the subposet $A^*_{n,k}(S)$ when $S=[i,k].$ Shellability implies that 
the rank-selected subposet $A^*_{n,k}(S)$ has unique nonvanishing homology in degree $k-i.$ 

Recall again from Theorem~\ref{BjStproof} that it suffices to work with the Betti numbers, for which~\eqref{ConsecRanks} in Theorem~\ref{WHmainSS}, in conjunction with Theorem~\ref{WHsubword}, gives the following recurrence for $1\le i\le k-1:$
\begin{equation}\label{ConsecRanksSubword} 
\dim \tilde{H}([i,k])\oplus \dim \tilde{H}([i+1,k])=\dim W\!H^*_{k+1-i}(A^*_{n,k})= n^i\binom{k}{i} (n-1)^{k-i}. 
\end{equation}
We will prove the Betti number version of~\eqref{epicstruggle} by induction on $i.$ Note that the result is true for $i=1,$ since in that case the formula in~\eqref{epicstruggle} gives simply $S_{(n-1,1)}^{\otimes k},$ with Betti number $(n-1)^k$, in agreement with Theorem~\ref{Farmer}. 

When $r=k,$ the formula~\eqref{epicstruggle} reduces to $\sum_{i=1}^k \binom{k}{i}\binom{i-1}{0}(n-1)^i,$ which equals 
$n^k-1.$ This is easily seen to be the correct M{\"o}bius number (up to sign) since we then have a single rank consisting of the $n^k$ words of length $k.$ 
Also observe that when $i=k-1,$ the recurrence~\eqref{ConsecRanksSubword} gives 
\[
\dim \tilde{H}([k-1,k])=n^{k-1} k (n-1) -n^k+1=(k-1)n^k -kn^{k-1}+1.
\]


Let $i=1.$ The recurrence~\eqref{ConsecRanksSubword} gives 
\[
\begin{aligned}
\dim \tilde{H}([2,k])&=n\binom{k}{1} (n-1)^{k-1}-\dim \tilde{H}([1,k])
\\
&=kn (n-1)^{k-1}-(n-1)^{k}=(k-1) (n-1)^k+k(n-1)^{k-1},
\end{aligned}
\]
and this coincides with~\eqref{epicstruggle} for $r=2.$ 

Assume that~\eqref{epicstruggle} holds for the rank-set $S=[r,k].$ We will show that it must hold for $S=[r+1,k].$ 
By hypothesis we have $\dim \tilde{H}([r,k])= \sum_{j=1+(k-r)}^k \binom{k}{j}\binom{j-1}{k-r} (n-1)^j,$ and hence the recurrence~\eqref{ConsecRanksSubword} gives, for $\dim \tilde{H}([r+1,k])$, the expression
\[
\binom{k}{r} (n-1)^{k-r} n^r - \sum_{j=1+(k-r)}^k \binom{k}{j}\binom{j-1}{k-r} (n-1)^j.
\]
Expanding $n^r$ in powers of $(n-1)$, we obtain
\[
\binom{k}{r} (n-1)^{k-r} \sum_{i=0}^r \binom{r}{i}(n-1)^i - \sum_{j=1+(k-r)}^k \binom{k}{j}
\binom{j-1}{k-r} (n-1)^j.
\]
The coefficient of $(n-1)^{k-r} $ is clearly $\binom{k}{r}=\binom{k}{k-r}\binom{r}{0},$ in agreement with~\eqref{epicstruggle}.
For $j=1+(k-r), \ldots, r+(k-r),$ the term $(n-1)^j$ appears with coefficient $c_j$ where 
\begin{align*}
c_j&= \binom{k}{r} \binom{r}{j-k+r} -\binom{k}{j}\binom{j-1}{k-r}\\
&=\binom{k}{j}\left( \frac{j!(k-j)!}{r!(k-r)!} \frac{r!}{(j-k+r)!(k-j)!} - \binom{j-1}{k-r}\right)\\
&=\binom{k}{j}\left(\binom{j}{k-r}-\binom{j-1}{k-r}\right)=\binom{k}{j}\binom{j-1}{k-r-1},
\end{align*}
which is precisely as predicted by~\eqref{epicstruggle} for $S=[r+1,k].$
This finishes the inductive step, and hence the proof.
\end{proof}

This proof establishes the following combinatorial identity, which will be instrumental in the proof of Theorem~\ref{AlmosthpositiveInstances} later in the paper. 
\begin{coro}\label{NewBinomialIdentity?}
\begin{align*} \sum_{i=0}^{k+1-r} (-1)^i \dim W\!H^*_{k+1-(r+i)}(A^*_{n,k}) %\\
&\Mk =\Mk \sum_{i=0}^{k-r} (\mk -\mk 1)^i \binom{k}{r\mk +\mk i}n^{r\mk +\mk i}(n\Mk -\Mk 1)^{k-(r\mk +\mk i)}\Mk +\Mk (\mk -\mk 1)^{k\mk +\mk 1\mk -\mk r}\\
&\Mk =\Mk \sum_{i=1+k-r}^k \binom{k}{i}\binom{i-1}{k-r} (n-1)^i.
\end{align*}
\end{coro}

\section{Deleting one rank from \texorpdfstring{$A^*_{n,k}$}{An,k*}: a curious isomorphism of homology}

In this section we will determine the homology representation of the rank-selected subposet $A^*_{n,k}(S)$ of $A^*_{n,k}$ when $S$ is obtained by deleting one rank from the interval $[1,k].$ In this special case the computation will reveal a curious duality in homology. 

Again we use a method developed in~\cite{Su0} which is particularly useful for Lefschetz homology computations when the deleted set is an antichain. The version below is the special case when one rank is deleted.

\begin{theo}[{\cite[Theorem~1.10]{Su0}, \cite{SuJer}}]\label{antichain} Let $P$ be a Cohen--Macaulay poset of rank $r$, $G$ a group of automorphisms of $P$ and let $Q$ be a subposet obtained by deleting a 
 rank-set $T$ consisting of one rank in $P$. Thus $Q$ is also $G$-invariant, and $Q$ is graded and has homology concentrated in the highest degree $rank(Q)-2$. Then one has the $G$-equivariant decomposition
%\begin{multline}
\[
(-1)^{r-\rank(Q)}\tilde{H}(Q)-\tilde{H}_{r-2}(P)
=\bigoplus_{x\in T/G}(-1)\cdot(\tilde{H}(\hat 0, x)_P\otimes \tilde{H}(x,\hat 1)_P)\uparrow_{\stab(x)}^G,
\]%\\
% \text
 where the sum runs over one element $x\in T$ in each orbit of $G$.
%\end{multline}

\noindent
Here $\stab(x)$ denotes the stabiliser subgroup of $G$ which fixes the element $x.$
\end{theo}

We apply this theorem to the poset $A^*_{n,k}$ and the rank-set $S=[1,k]\backslash \{r\},$ removing all words of length $r,$ for a fixed $r$ in $[1,k].$

\begin{theo}\label{rank-deletion} As an $S_n$-module, we have 
\[
\tilde{H}_{k-2}(A^*_{n,k}(S))\simeq \left[\binom{k}{r}-1\right]S_{(n-1,1)}^{\otimes k}
\oplus \binom{k}{r} S_{(n-1,1)}^{\otimes k-1}.
\]
\end{theo}
\begin{proof} 
We invoke Theorem~\ref{BjStproof} by fixing a rank-set $S$ and considering the family of posets $P_n=A^*_{n,S}=A^*_{n,k}(S)$, where $n=|A|$. Once again we need only compute M{\"o}bius numbers in Theorem~\ref{antichain}. Writing simply $\mu(P)$ for the M{\"o}bius number of the poset $P$, the Betti number identity given by the theorem is 
\begin{multline*}-(-1)^{k-2}\mu(A^*_{n,k}(S))-(-1)^{k-1} \mu(A^*_{n,k})\\=(-1)\cdot
\sum_{x:|x|=r} (-1)^{r} \mu(\hat 0,x)_{A^*_{n,k}}\cdot (-1)^{k+1-r} \mu(x, \hat 1)_{A^*_{n,k}},\end{multline*}
or equivalently, clearing signs, 
\[
\mu(A^*_{n,k}(S))- \mu(A^*_{n,k})\\=(-1)\cdot
\sum_{x:|x|=r} \mu(\hat 0,x)_{A^*_{n,k}}\cdot \mu(x, \hat 1)_{A^*_{n,k}}.
\]
The summand corresponding to a word $x$ of length $r$ in the right-hand side of this equation is nonzero only if $x$ is a normal word, by Theorem~\ref{Farmer}.
We therefore obtain, using Lemma~\ref{UpperIntSubwordOrder},
\begin{align*}
\mu(A^*_{n,k}(S))- \mu(A^*_{n,k})&=(-1)\cdot(-1)^r n(n-1)^{r-1}\mu(x_0,\hat 1)_{A^*_{n,k}}\\
&=(-1)\cdot(-1)^r n(n-1)^{r-1}(-1)^{k-r+1} (n-1)^{k-r} \binom{k}{r}\\
&=(-1)^k n (n-1)^{k-1}\binom{k}{r},
\end{align*}
for any fixed normal word $x_0$ of length $r$. 

Hence 
\begin{align*}(-1)^k\mu(A^*_{n,k}(S))&=(-1)^k\mu(A^*_{n,k})+ n (n -1)^{k-1}\binom{k}{r}
\\
&=-(n-1)^k+\binom{k}{r}n (n-1)^{k-1}\\
&=\left[\binom{k}{r}-1\right] (n-1)^k + \binom{k}{r} (n-1)^{k-1}.
\end{align*}
Since $A^*_{n,k}(S)$ has rank $k,$ this is precisely the Betti number version of the statement of the theorem, thereby completing the proof.
\end{proof}

An immediate and intriguing corollary is the following.
\begin{prop}\label{rank-deletion-duality} Let $|A|=n.$ Fix a rank $r\in [1,k-1].$ Then the homology modules of the subposets $A^*_{n,k}({[1,k]\backslash \{r\}})$ and 
$A^*_{n,k}({[1,k]\backslash \{k-r\}})$ are $S_n$-isomorphic.
%
\end{prop}

It would be interesting to explain this isomorphism topologically. More precisely:
\begin{ques} Is there a combinatorial map giving an $S_n$-homotopy equivalence between the simplicial complexes associated to the subposets $A^*_{n,k}({[1,k]\backslash \{r\}})$ and 
$A^*_{n,k}({[1,k]\backslash \{k-r\}})$? 
\end{ques}
 
\section{The action on chains, and arbitrary rank-selected homology} 

 Assume $|A|=n.$ 
 For a subset $S\subseteq [1,k],$ denote by $\alpha_n(S)$ the permutation module of $S_n$ afforded by the maximal chains of the rank-selected subposet $A^*_{n,k}(S).$ In this section we derive a recurrence for the action, and hence an explicit formula. We begin with an analogue of Theorem~\ref{BjStproof} for the chains.
 
 \begin{prop}\label{BjStproofChains}
 Let $\{P_n\}$ be any sequence of finite posets each carrying an action of the symmetric group $S_n,$ such that for any $g\in S_n,$ the fixed-point subposet $P_n^g$ is isomorphic to the poset $P_{\fix (g)},$ where $\fix (g)$ is the number of fixed points of $g$ as a permutation of $S_n$. 
 Suppose that the number of maximal chains of $P_n$ is a polynomial in $(n-1),$ say $\sum_{i\geq 0} a_i (n-1)^i. $ 
Then the permutation action of $S_n$ on the maximal chains of $P_n$ decomposes as a sum of $i$th tensor powers of the irreducible indexed by the partition $(n-1,1), i\geq 0,$ with coefficient equal to $a_i.$ In particular, the $S_n$-module structure of the maximal chains of $P_n$ is completely determined by its dimension.
 \end{prop}
 \begin{proof} Since $S_n$ acts by permuting the chains, the trace of $g\in S_n$ on the chains of $P_n$ is equal to the number of chains fixed by $g.$ As in the proof of Theorem~\ref{BjStproof}, the key point is that this in turn is the number of chains in the fixed-point poset $P_n^g,$ and the latter coincides with $P_{\fix (g)}.$ 
 \end{proof}
 
Note that, as was the case with Theorem~\ref{BjStproof}, Proposition~\ref{BjStproofChains} applies to all rank-selected subposets of $A^*_{n,k}.$ Before we apply this, we state the following reformulation of 
 an observation of Bj{\"o}rner recorded in Theorem~\ref{Bjgf}. Let $S=\{1\le s_1<s_2<\cdots<s_p\le k\}$ be a subset of $[1,k].$ By Part~\eqref{theo2.5_2}  of 
 Theorem~\ref{Bjgf}, the number of words in $[\beta, \infty]$ depends only on $|\beta|$. This immediately gives the following recurrence for the dimensions of the modules $\alpha_n(S):$ 
 \begin{equation}\label{ChainRecDim}
 \dim \alpha_n(S)=\dim \alpha_n(S\backslash \{s_p\})\sum_{i=0}^{s_p-s_{p-1}} \binom{s_p}{i} (n-1)^i,
 \end{equation}
 and $ \dim \alpha_n(\{s_1\})=n^{s_1}=\sum_{i=0}^{s_1} \binom{s_1}{i} (n-1)^i.$

 \begin{theo}\label{RankSelectedChains} For any subset $S\subseteq [1,k],$ the $S_n$-module induced by the action of $S_n$ on the maximal chains of the rank-selected subposet $A^*_{n,k}(S)$ is a \textegras{nonnegative} integer combination of tensor powers of the irreducible indexed by $(n-1,1).$ Hence the $S_n$-representation on the homology of the rank-selected subposet $A^*_{n,k}(T), T\ne \emptyset,$ is an integer combination of positive tensor powers of the irreducible indexed by $(n-1,1).$ The highest tensor power that can occur is the $m$th, where $m=\max(T).$ 
 \end{theo}
 \begin{proof}
 Let $S=\{1\le s_1<s_2<\cdots<s_p\le k\}.$ From Proposition~\ref{BjStproofChains}, it suffices to compute the dimension of the module of maximal chains in $A^*_{n,k}(S)$ as a polynomial in $(n-1).$ 
 Hence~\eqref{ChainRecDim} immediately gives the following recursive description for the modules $\alpha_n(S).$ 
 \begin{equation}\label{ChainRec}
 \alpha_n(S)=\alpha_n(S\backslash \{s_p\})\otimes \bigoplus_{i=0}^{s_p-s_{p-1}} \binom{s_p}{i}S_{(n-1,1)}^{\otimes i}, 
 \end{equation}
 and 
 \begin{equation}\label{ChainRecSingle}
 \alpha_n(\{s_1\})=\bigoplus_{i=0}^{s_1} \binom{s_1}{i} S_{(n-1,1)}^{\otimes i}.
 \end{equation}
%
\noindent
 By induction it is clear that $\alpha_n(S)$ is a nonnegative integer combination of $S_{(n-1,1)}^{\otimes j}, 0\le j\le m=\max(S).$
 It is also clear that the 0th tensor power, that is, the trivial module $S_{(n)}$, occurs exactly once in each $\alpha_n(S).$ 
 
 Note that when $S=\emptyset,$ the homology is simply the trivial module.
 The claim about the decomposition of the homology into tensor powers of $S_{(n-1,1)}$ now follows from 
 Stanley's theory of rank-selected homology representations~\cite{St1}. We have
 \begin{equation}\label{RPSbeta}
 \alpha_n(T) =\sum_{S\subseteq T} \beta_n(S) \quad\text{ and thus }\quad\beta_n(T)=\sum_{S\subseteq T} (-1)^{|T|-|S|} \alpha_n(S),\end{equation}
 where $\beta_n(S)$ is the representation of $S_n$ on the homology of the rank-selected subposet $A^*_{n,k}(S)$ of $A^*_{n,k}.$ When $T$ is nonempty, it is clear from the previous paragraph that the occurrences of the 0th tensor power, which equals $S_{(n)},$ all cancel in~\eqref{RPSbeta}; the trivial module occurs with coefficient $\sum_{S\subseteq T} (-1)^{|T|-|S|},$ which is zero. Hence only positive tensor powers will appear. 
 \end{proof}
 
 Thus Theorem~\ref{RankSelectedChains} supports Conjecture~\ref{Conj:tensorpowers}.
 Note that it is easy to concoct signed integer combinations of tensor powers that are not true $S_n$-modules. For instance, the integer combination $S_{(n-1,1)}^{\otimes 2}-2\, S_{(n-1,1)}$ decomposes into $S_{(n)}+S_{(n-2,2)}S_{(n-2,1,1)}-S_{(n-1,1)},$ while $S_{(n-1,1)}^{\otimes 2}-\, S_{(n-1,1)}=S_{(n)}+S_{(n-2,2)}+S_{(n-2,1,1)}$ is a true $S_n$-module. Also see Theorem~\ref{myBrauer} later in the paper.
 
 It is worth pointing out the special case for the full poset $A^*_{n,k}.$
 
 \begin{theo}\label{Chains} The action of $S_n$ on the maximal chains of ${A^*_{n,k}}$ decomposes into the direct sum of tensor powers 
 \[
 S_{(n)}\oplus \bigoplus_{j=1}^k c(k+1,j) S_{(n-1,1)}^{\otimes k+1-j},
\]
 where $c(k+1,j)$ is the number of permutations in $S_{k+1}$ with exactly $j$ cycles in its disjoint cycle decomposition.
 \end{theo}
 
 \begin{proof} Specialising~\eqref{ChainRecDim} to the case $S=[1,k]$ gives the recurrence 
 $\dim\alpha_n([1,k]) =\dim\alpha_n([1,k-1]) (1+k(n-1)),$ and clearly $\dim\alpha_n([1,1])=n.$
 It follows that 
 \[
\dim\alpha_n([1,k])=\prod_{i=1}^{k} (1+i(n-1)),
\]
 a formula due to Viennot~\cite[Lemma~4.1, Proposition~4.2]{V}.
 
 Using the generating function (see~\cite{St3EC1}) $\sum_{j=1}^m c(m,j)t^j = t(t+1)(t+2)\dots (t+(m-1))$, we find that 
 \[
\dim\alpha_n([1,k])=1+\sum_{j=1}^k c(k+1,j) (n-1)^{k+1-j}.
\]
 Invoking Proposition~\ref{BjStproofChains}, the result follows, noting that the constant term in the above expression corresponds to the occurrence of the trivial representation. \end{proof}
 
 By expanding the expression for $\alpha_n(S)$ in~\eqref{ChainRec}, we have the following observation. Although $S_{(n-1,1)}$ is a quotient of two permutation modules, it is not clear how to deduce this corollary directly. Later in the paper we will examine these tensor powers more carefully; see Lemma~\ref{RefRephPos}.
 
 \begin{coro} The $S_n$-module $S_{(n)}\oplus \bigoplus_{j=1}^k c(k+1,j) S_{(n-1,1)}^{k+1-j}$ is in fact a permutation module. 
 More generally, for any subset $S=\{1\le s_1<\cdots<s_p\le k\}$ of $[1,k],$ the $S_n$-module 
 \begin{equation}\label{tensorchain}
 \bigotimes_{r=1}^p\left(\bigoplus_{i=0}^{s_r-s_{r-1}}\binom{s_r}{i} S_{(n-1,1)}^{\otimes i}\right), s_0=1,
 \end{equation}
 is a permutation module.
 \end{coro}
 
 \begin{proof} The expression~\eqref{tensorchain} gives the $S_n$-action on the chains of the rank-selected subposet 
 $A^*_{n,k}(S)$ and is therefore a permutation module. \end{proof} 
 
 By applying Proposition~\ref{BjStproofChains}, we have the following two descriptions of the action on chains between two ranks. 
 \begin{prop}\label{2chains} For $S=\{1\le s_1<s_2\le k\},$ 
 $\alpha_n(\{s_1<s_2\})$ is given by 
 \begin{enumerate}
 
 \item\label{prop5.5_1} $\displaystyle\left(\bigoplus_{j=0}^{s_1} \binom{s_1}{j} 
 S_{(n-1,1)}^{\otimes j}\right)
 \bigotimes \left( \bigoplus_{i=0}^{s_2-s_1} \binom{s_2}{i} S_{(n-1,1)}^{\otimes i}\right)$
%
 \item\label{prop5.5_2}  
and also by 
\[
 (S_{(n-1,1)}\oplus S_{(n)})^{\otimes s_1}
 \bigotimes \bigoplus_{j=0}^{s_2-s_1} \left[\binom{s_1+j-1}{j}S_{(n-1,1)}^{\otimes j}\bigotimes
 (S_{(n-1,1)}\oplus S_{(n)})^{\otimes s_2-s_1-j}\right].
\]
 %
 \end{enumerate}
 \end{prop}
 \begin{proof} From Proposition~\ref{BjStproofChains}, it suffices to compute the dimension of the module of chains as a polynomial in $(n-1).$ From Equation~\eqref{ChainRecDim}, the dimension of $\alpha_n(\{s_1<s_2\})$ is given by 
 \begin{equation}\label{A}
n^{s_1}\sum_{i=0}^{s_2-s_1} \binom{s_2}{i} (n-1)^i. \tag{A} %\qquad (A)
\end{equation}
 Recall Bj{\"o}rner's generating function for the zeta function of subword order, Part~\eqref{theo2.5_3}  of Theorem~\ref{Bjgf}, which we now use to count the number of chains from a fixed element to all elements above it of a fixed rank. This gives (by extracting the coefficient of $t^{s_2}$ in the right-hand side of Part~\eqref{theo2.5_3}):
 \begin{multline}\label{B}n^{s_1}\sum_{i,j\ge0, i+j=s_2-s_1} \binom{s_1+j-1}{j} (n-1)^j n^i\\=
 n^{s_1}\sum_{j=0}^{s_2-s_1} \binom{s_1+j-1}{j} (n-1)^j n^{s_2-s_1-j}. \tag{B} %\qquad (B)
 \end{multline}
 Since as usual $(n-1)$ is the dimension of $S_{(n-1,1)}$ and $n$ is the dimension of $S_{(n)}\oplus S_{(n-1,1)},$ invoking Proposition~\ref{BjStproofChains}, we conclude that~\eqref{A} 
% $(A)$ 
 and~\eqref{B} 
 %$(B)$ 
 correspond respectively to the $S_n$-module decompositions in Part~\eqref{prop5.5_1} and Part~\eqref{prop5.5_2}. \end{proof}
 
\begin{rema} 
 By expanding in powers of $(n-1)$, the equivalence of the two expressions for the dimension of $\alpha_n(\{s_1<s_2\})$ is equivalent to the following binomial coefficient identity:
\[
\binom{a+r}{i}=\sum_{j=0}^i \binom{r-j}{i-j}\binom{a+j-1}{j} \text{ for } 0\le i\le r, 
\]
 or equivalently, putting $k=r-i,$ 
\[ 
\binom{a+r}{a+k}=\sum_{j=0}^{r-k} \binom{r-j}{k}\binom{a+j-1}{a-1}
 \text{ for } 0\le k\le r.
\]
\end{rema}
 
 
 We can now show that Conjecture~\ref{Conj:tensorpowers} is true for rank sets of size 2.
 
 \begin{theo}\label{TwoRanks} Let $S=\{1\le s_1<s_2\le k\}$ be a rank-set of size 2 in $A^*_{n,k}.$ The homology representation of $A^*_{n,k}(S)$ is given by 
 \[
\sum_{v=1}^{s_1} S_{(n-1,1)}^{\otimes v} \left(c_v -\binom{s_1}{v}\right) \bigoplus \sum_{v=1+s_1}^{s_2} S_{(n-1,1)}^{\otimes v} c_v,
\]
 where $c_v$ is the following positive integer:
 \[
c_v
 = \sum_{j=1}^{\min(v, s_2-s_1)}\binom{s_2-j}{v-j}\binom{s_1+j-1}{j} .
\]
 Moreover $c_v\ge \binom{s_1}{v}$ when $v\le s_1,$ and hence 
 the homology is a nonnegative integer combination of positive tensor powers of $S_{(n-1,1)}.$
 \end{theo}
 
 \begin{proof} In order to establish the positivity, it is (curiously) easier to work with the second formulation of Proposition~\ref{2chains}. By Theorem~\ref{BjStproof}, it is enough to show that the dimension of the homology module is a polynomial in $(n-1)$ with nonnegative integer coefficients.
 We have 
\[
\beta_n(\{s_1<s_2\})=\alpha_n(\{s_1<s_2\})-\alpha_n(\{s_1\})-\alpha_n(\{s_2\})+\alpha_n(\emptyset)
\]
 which yields, (in terms of dimensions, from $(B)$ in the proof of Proposition~\ref{2chains})
 \begin{multline*} 
  n^{s_1} \sum_{j=0}^{s_2-s_1} n^{s_2-s_1-j} (n-1)^j \binom{s_1+j-1}{j} -n^{s_2}-n^{s_1}+1\\
 =\sum_{j=1}^{s_2-s_1} n^{s_2-j} (n-1)^j 
 \binom{s_1+j-1}{j} -(n^{s_1}-1).
 \end{multline*}
 Expanding $n^{s_1}$ and $n^{s_2-j}$ in nonnegative powers of $(n-1)$ gives
 \begin{align} 
&\beta_n(\{s_1<s_2\})\notag\\
&\hspace*{10mm}= \sum_{j=1}^{s_2-s_1}\sum_{u=0}^{s_2-j} \binom{s_2-j}{u} (n-1)^{u+j}\binom{s_1+j-1}{j}
 -\sum_{j=1}^{s_1} \binom{s_1}{j} (n-1)^j\\
&\hspace*{10mm} =\sum_{v=1}^{s_2} (n-1)^v c_v -\sum_{j=1}^{s_1} \binom{s_1}{j} (n-1)^j, 
 \end{align}
 where 
\[
c_v=\sum_{\stackrel{(u,j): u+j=v}{ 1\le j\le s_2-s_1,\, 0\le u\le s_2-j}}
 \binom{s_2-j}{v-j}\binom{s_1+j-1}{j}.
\] 
 The latter sum runs over all $j$ such $1\le j\le s_2-s_1$ and $0\le v-j\le s_2-j,$ \ie over all $j=1,\ldots, \min(v, s_2-s_1),$ as stated.
 
 Now $c_v$ is a sum of nonnegative integers for each $v=1,\ldots, s_2.$ When $v\le s_1,$ the $j=1$ summand of $c_v$ can be seen to be $\binom{s_2-1}{v-1} s_1$, and so 
 \begin{align*} c_v-\binom{s_1}{v}\ge \binom{s_2-1}{v-1} s_1-\binom{s_1}{v}&=
 \dfrac{s_1!}{v!(s_2-v)!} \left(v \dfrac{(s_2-1)!}{(s_1-1)!}-\dfrac{(s_2-v)!}{(s_1-v)!}\right)\\
 &=\dfrac{s_1! (s_2-s_1)!}{v!(s_2-v)!}\left( v\binom{s_2-1}{s_2-s_1}
 -\binom{s_2-v}{s_2-s_1}\right)
 \end{align*}
 and this is clearly nonnegative, since $\binom{s_2-1}{s_2-s_1}
 \ge \binom{s_2-v}{s_2-s_1}$ for $v\ge 1.$ We have shown that the Betti number of $\beta_n(\{s_1<s_2\})$ is a nonnegative integer combination of positive powers of $(n-1),$ as claimed.
 \end{proof}
 
\begin{rema}\label{Ranks1anda} Let $s_1=1$, and consider the two ranks $\{1<s_2\}.$
 The homology of the rank-selected subposet is then 
 \[
\bigoplus_{v=2}^{s_2-1}\binom{s_2}{v-1}S_{(n-1,1)}^{\otimes v} \bigoplus 
(s_2-1) S_{(n-1,1)}^{\otimes s_2}.
\]
 \end{rema}

\section{Tensor powers of the reflection representation I}\label{PowersOfRefl}

In this section we explore the tensor powers $S_{(n-1,1)}^{\otimes k}.$ The paper 
\cite{CG} gives a combinatorial model for determining the multiplicity of an irreducible in the $k$th tensor power, and an explicit formula in the case when $n$ is sufficiently larger than $k.$ We give general formulas that apply to the case of arbitrary tensor powers.


 We use symmetric functions to describe some of the results that follow. The homogeneous symmetric function $h_n$ is the Frobenius characteristic, denoted $\ch,$ of the trivial representation of $S_n.$ Also let $*$ denote the internal product on the ring of symmetric functions, so that the Frobenius characteristic of the Kronecker product of two $S_n$-modules is the internal product of the two characteristics. See~\cite[p.~115]{M} and~\cite[Chapter~7, p.~476]{St4EC2}.
Recall that the natural representation of $S_n$ is the permutation action on a set of $n$ objects. The stabiliser of any one object is 
the Young subgroup $S_1\times S_{n-1},$ and hence the natural representation is given by the induced module $1\uparrow_{S_1\times S_{n-1}}^{S_n}$, with Frobenius characteristic $h_1h_{n-1}$. In particular we have the decomposition 
\[
1\uparrow_{S_1\times S_{n-1}}^{S_n}=S_{(n)}\oplus S_{(n-1,1)}=S_{(n,1)}\downarrow_{S_n}^{S_{n+1}}.
\]
%
The following lemma is an easy exercise in permutation actions. We sketch a proof for completeness.
%
\begin{lemma}\label{Stirling} Let $V_{j,n}$ denote the permutation module obtained from the $S_n$-action on the cosets of the Young subgroup $S_1^j\times S_{n-j}.$ Then the $k$th tensor power of the natural representation $V_{1,n}$ of $S_n$ decomposes into a sum of $S(k,j)$ copies of $V_{j,n},$ where $S(k,j)$ is the Stirling number of the second kind:
\begin{equation}\label{StirlingNat} V_{1,n}^{\otimes k}
=\sum_{j=1}^{\min(n,k)}S(k,j)\, V_{j,n}, \quad \text{ and thus} \quad
(h_1h_{n-1})^{* k}=\sum_{j=1}^{\min(n,k)} S(k,j) \, h_1^j h_{n-j}.
\end{equation}
\end{lemma}
\begin{proof} If the module $V_{1,n}$ is realised as $\mathbb{C}^n$ with basis $\{v_1\ldots,v_n\}$, say, then $V_{1,n}^{\otimes k}$ is realised by 
the $k$th tensor power of $\mathbb{C}^n,$ with $n^k$ basis elements 
%
$v_{i_1}\otimes \dots \otimes v_{i_k}, \quad 1\le i_1, \ldots, i_k\le n.$
%
The $S_n$-action now permutes these $n^k$ basis elements. To determine the orbits, note that 
there is a surjection from this basis of tensors to the set partitions of a $k$-element set into nonempty blocks. Each such partition with $j$ blocks indexes an orbit of the $S_n$-action, with stabiliser (conjugate to) $S_1^j\times S_{n-j}$. The blocks correspond to repetitions of a $v_i$ in the tensor; thus $a,b$ belong in the same block if $v_a=v_b$ in the tensor. The orbit is the transitive permutation representation with Frobenius characteristic $h_1^j h_{n-j}.$ 

The last statement is now immediate. 
\end{proof}

\begin{exam} We illustrate the above argument with an example. With $n=5$ and $k=7,$ the tensor 
$v_5\otimes v_2\otimes v_2\otimes v_4\otimes v_2\otimes v_4\otimes v_5$ maps to the partition $17-235-46$ of a set of size $k=7$ into $j=3$ blocks, corresponding to the three distinct basis elements $v_2, v_4, v_5$ of $\mathbb{C}^n$. Its orbit under $S_5$ consists of all basis tensors 
$v_{i_1}\otimes \dots \otimes v_{i_7}$ such that $v_{i_1}=v_{i_7}, v_{i_2}=v_{i_3}=v_{i_5},$ and $v_{i_4}=v_{i_6}.$
Writing $S_A$ for the permutations of the elements of $A,$ for any subset $A$ of positive integers, the stabiliser is $S_{\{5\}}\times S_{\{2\}} \times S_{\{4\}} \times S_{\{1,3\}},$ conjugate to the Young subgroup indexed by the integer partition $(2,1,1,1)$ of 5. 
\end{exam}

\begin{rema}\label{IndRes} This lemma can also be proved by iterating a standard representation theory result, namely that for finite groups $G$ and $H$ with $H$ a subgroup of $G,$ and $G$-module $W,$ $H$-module $V,$ $W\otimes (V\uparrow_H^G)=
(W\downarrow_H\otimes V)\uparrow_H^G.$ In our case $G=S_n$ and $H$ is the Young subgroup $S_1\times S_{n-1}.$ %added per Reviewer A
\end{rema}
%
\begin{theo}\label{StirlingHom} The top homology of $A^*_{n,k}$ has Frobenius characteristic 
\[
\sum_{i=0}^{\min(n,k)} h_1^i h_{n-i} \left( \sum_{r=0}^{k-i} 
(-1)^{r}\binom{k}{r}S(k-r,i)\right).
\]
\end{theo}
%
\begin{proof} Observe that the Frobenius characteristic of 
$(S_{(n-1,1)})^{\otimes k}$ is the $k$-fold internal product of $(h_1 h_{n-1}-h_n).$ Standard properties of the tensor product make $*$ a commutative and associative product in the ring of symmetric functions, so we have
\begin{align*} 
(h_1 h_{n-1}-h_n)^{* k} 
&=\sum_{j=0}^k \binom{k}{j} (-1)^{k-j}(h_1 h_{n-1})^{* j} * (h_n)^{* (k-j)}\\
&=(-1)^k h_n+\sum_{j=1}^k \binom{k}{j} (-1)^{k-j}(h_1h_{n-1})^{* j}\\
&= (\mk -\mk 1)^k h_n\Mk +\Mk \sum_{j=1}^k \binom{k}{j} (\mk -\mk 1)^{k\mk -\mk j}
\sum_{i=1}^{\min(n,j)} S(j,i) h_1^i h_{n-i} %\quad 
 \text{ \ from Lemma~\ref{Stirling}}\\
&= \sum_{j=0}^k \binom{k}{j} (-1)^{k-j}
\sum_{i=0}^{\min(n,j)} S(j,i) h_1^i h_{n-i}
\\
&=\sum_{i=0}^{\min(n,k)} h_1^i h_{n-i} \left( \sum_{j=i}^{k} 
(-1)^{k-j}\binom{k}{j}S(j,i)\right).
\end{align*}
Note that $S(0,0)=1$ and $S(j,0)=0$ for $j\ge 1.$ Putting $r=k-j$ in the last step gives the result.
\end{proof}

Theorem~\ref{ReflRepMain} gives a different description of this module, from which it will be evident that the coefficients of $h_1^ih_{n-i}$ are positive for $i\ge 2.$

We can now determine the multiplicity of the trivial representation in 
the top homology of $A^*_{n,k}$:
\begin{coro}\label{TrivRep} Let $n\ge 2.$ The following are equal:
\begin{enumerate}
\item\label{coro6.5_1} the multiplicity of the trivial representation in $S_{(n-1,1)}^{\otimes k};$
\item\label{coro6.5_2}  the multiplicity of the irreducible $S_{(n-1,1)}$ in 
$S_{(n-1,1)}^{\otimes k-1};$
\item\label{coro6.5_3}  the number 
\[
\sum_{r=0}^k (-1)^r \binom{k}{r} \sum_{i=0}^{\min(n,k)} S(k-r,i).
\]
\end{enumerate}
When $n\ge k,$ this multiplicity 
equals the number of set partitions of $\{1,\ldots,k\}$ with no singleton blocks.
\end{coro}

\begin{proof} The first two multiplicities are equal by standard properties of the tensor product, since 
\[
 \langle V\otimes W, S_{(n)}\rangle=\langle V, 
S_{(n)}\otimes W\rangle =\langle V,W\rangle .
\]
The equivalence with the third formula follows from Theorem~\ref{StirlingHom}, since $\langle h_1^i h_{n-i}, h_n\rangle=1$ for all $i$ (alternatively, $1\uparrow_{S_1^i\times S_{n-i}}^{S_n}$ is a transitive permutation module). 
Let $B_n^{\ge 2}$ denote the number of set partitions of $[n]=\{1,\ldots,n\}$ with no blocks of size 1, and let $B_n$ denote the $n$th Bell number, that is, the total number of set partitions of $[n].$ Inclusion-exclusion shows that 
\begin{equation}\label{BellNosingleton}B_n^{\ge 2}=\sum_{r=0}^n (-1)^r \binom{n}{r} B_{n-r},
\end{equation}
since the number of partitions containing a fixed set of $r$ singleton blocks is 
$B_{k-r}.$ 
When $n\ge k,$ the formula in Part~\eqref{coro6.5_3}  simplifies to 
\[
\sum_{r=0}^k (-1)^r \binom{k}{r} \sum_{i=0}^{k-r} S(k-r,i)
=\sum_{r=0}^k (-1)^r \binom{k}{r} B_{k-r}.
\]
%
That this number is $B^{\ge 2}_k,$ the number of partitions of $[k]$ with no singleton blocks, now follows from Equation~\eqref{BellNosingleton}. (This is sequence A000296 in OEIS.)
\end{proof}

Corollary~\ref{TrivRepStableCase} in the next section will give a different expression for the multiplicity of the trivial representation, for arbitrary $n,k,$ as a sum of positive integers.

\section{``Almost'' an \texorpdfstring{$h$}{h}-positive permutation module}

We begin by recalling basic facts about permutation modules. $V$ is a permutation module for $S_n$ if there exists a basis for $V$ that is permuted by the $S_n$-action. In particular the character values of a permutation module are all nonnegative. For example, the character $\chi_{(n-1,1)}$ of the reflection representation $S_{(n-1,1)}$ has values 
$\chi_{(n-1,1)}(g) = \textrm{fix}(g)-1$ for each permutation $g\in S_n,$ so it is negative for permutations without fixed points, and the same is true for odd tensor powers of $S_{(n-1,1)}.$ Thus odd tensor powers of $S_{(n-1,1)}$ are not permutation modules. In particular, the homology of $A_{n,k}$ itself need not be a permutation module.

A special case of a permutation module occurs when its Frobenius characteristic is $h$-positive, that is, the coefficients in the basis of homogeneous symmetric functions are nonnegative. It is well known that the homogeneous symmetric function $h_\lambda$ is the Frobenius characteristic of the transitive permutation representation whose orbit stabiliser is the Young subgroup of $S_n$ indexed by $\lambda.$ Hence the $h$-positivity of the Frobenius characteristic implies that it is a permutation module (whose point stabilisers are Young subgroups), but not conversely. A nice example is provided by the set partitions of $[4]$ into two blocks of size 2, viz. $12-34,$ $13-24,$ and $14-23$. The action of $S_4$ is a transitive permutation module whose point stabiliser is the wreath product $S_2[S_2],$ but its Frobenius characteristic is $h_4+h_2^2-h_1h_3, $ not $h$-positive.

The goal of this section is to prove the following theorem.

\begin{theo}\label{Homologyhbasis} Let $T\subseteq [1,k]$ be any nonempty subset of ranks in $A^*_{n,k}.$ The following statements hold for the Frobenius characteristic $F_{n,k}(T)$ of the homology representation $\tilde{H}(A^*_{n,k}(T)):$ 
 \begin{enumerate} 
 \item\label{theo7.1_1}  its expansion in the basis of homogeneous symmetric functions is an integer combination supported on the set $T_{1}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 1\}.$
 \item\label{theo7.1_2} $F_{n,k}(T) +(-1)^{|T|} s_{(n-1,1)}$ is supported on the set 
 $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$
 \end{enumerate}
 %
 \end{theo}

When $F_{n,k}(T)+(-1)^{|T|} s_{(n-1,1)}$ is in fact a nonnegative integer combination of $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\},$ 
we may view $F_{n,k}(T)$ as being almost a permutation module, hence the title of this section. First we prove a stronger result for the action on the chains. 

\begin{theo}\label{Chainhbasis} Let $S\subseteq[1,k].$ If $|S|\ge 1,$ the $S_n$-module induced by the action of $S_n$ on the space of chains $\alpha_n(S)$ has $h$-positive Frobenius characteristic supported on the set $T_{1}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 1\}.$ 
 Furthermore, $h_1 h_{n-1}$ always appears with coefficient 1 in the $h$-expansion of $\alpha_n(S)$.
 \end{theo}
 
 \begin{proof} Recall that $*$ denotes the inner tensor product. 
Note that the case of a single rank has already been established in Lemma~\ref{Stirling}: if $S=\{s_1\}$, then 
 $\ch \alpha_n(S)= (h_1 h_{n-1})^{*{s_1}}$ since the dimension of the module is $n^{s_1}$, and the coefficient of $h_1 h_{n-1}$ in the $h$-expansion is the Stirling number $S(s_1,1)=1.$
 
 We proceed by induction, using the decomposition~\eqref{ChainRec} of Theorem~\ref{RankSelectedChains}. We have, with $|S|\ge 2,$ 
 \begin{align*}
 \alpha_n(S)&=\alpha_n(S\backslash \{s_p\})\otimes \sum_{i=0}^{s_p-s_{p-1}} \binom{s_p}{i} S_{(n-1,1)}^{\otimes i}\\
 &=\alpha_n(S\backslash \{s_p\})\otimes \left(\sum_{i=1}^{s_p-s_{p-1}} \binom{s_p}{i} S_{(n-1,1)}^{\otimes i} \oplus S_{(n)}\right). 
 \end{align*}
 
 
 Translating Remark~\ref{IndRes} into Frobenius characteristics gives the well-known symmetric function formula $(h_1 h_{n-1})*f= 
 h_1 \tfrac{\partial}{\partial p_1} f$ for any symmetric function $f$ of homogeneous degree $n$~\cite[Exercise~7.81, p.~477]{St4EC2}, \cite[Example~3~(c), p.~75]{M}. It is easy to check that 
 for $a\ge 1, a+b=n,$ 
 \begin{equation} \label{IndResIterate} 
 (h_1^ah_b)*s_{(n-1,1)} =\begin{cases}(a-1) h_1^{a} h_b+h_1^{a+1}h_{b-1},& a\ge 2;\\
h_1^{a+1}h_{b-1},& a=1.
\end{cases}
 \end{equation}
 
 Note the factor $h_1^2$ when $a\ne 0.$ 
 Let $T_{ 2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$ Iterating~\eqref{IndResIterate} gives the fact that when $\mu\in T_{ 1}(n-1),$ 
$ (h_1h_\mu)*s_{(n-1,1)}^{* k}$
 is a nonnegative integer combination of terms in $T_{ 2}(n). $
 
 Assume $S=\{1\le s_1<\cdots<s_p\le k\},$ and $|S|\ge 2.$ 
 In terms of symmetric functions, the decomposition~\eqref{ChainRec} of Theorem~\ref{RankSelectedChains} becomes 
 \begin{align}
 \ch \alpha_n(S)&=\ch \alpha_n(S\backslash \{s_p\}) 
* \left(h_n+\sum_{i=1}^{s_p-s_{p-1}} \binom{s_p}{i} s_{(n-1,1)}^{* i}\right)\\
&=\ch \alpha_n(S\backslash \{s_p\}) 
+ \ch \alpha_n(S\backslash \{s_p\}) 
* \left(\sum_{i=1}^{s_p-s_{p-1}} \binom{s_p}{i} s_{(n-1,1)}^{* i}\right).\notag
\end{align}
 Suppose now that the first term above, $\ch \alpha_n(S\backslash \{s_p\}),$ is a nonnegative integer combination of terms in $T_{ 1}(n),$ in which $h_1h_{n-1}$ appears with coefficient 1. By~\eqref{IndResIterate}, the $h$-expansion of the second term contains only terms in $T_2(n);$ the crucial point here is that, since $p\ge 2,$ the $h$-expansion of $\ch \alpha_n(S\backslash \{s_p\})$ does not contain the function $h_n.$ It follows that 
 $\ch \alpha_n(S)$ must be a nonnegative integer combination of terms in $T_{ 1}(n),$ and the coefficient of $h_1h_{n-1}$ is inherited from $\ch \alpha_n(S\backslash \{s_p\}).$ It is therefore equal to 1. This completes the induction.
 \end{proof}
 
% \noindent
% \textegras{:}
 %
 \begin{proof}[Proof of Theorem~\ref{Homologyhbasis}] Using Stanley's equation for rank-selected homology, Equation~\eqref{RPSbeta} in Theorem~\ref{RankSelectedChains}, we have 
 \[
F_{n,k}(T)=\sum_{S\subseteq T} (-1)^{|T|-|S|} \ch \alpha_n(S).
\]
 
 From Theorem~\ref{Chainhbasis}, this has an expansion in the $h$-basis in which $h_n$ appears only in $\alpha_n(\emptyset)$ with coefficient 1, and $h_1 h_{n-1}$ appears in $\alpha_n(S)$ with coefficient 1 for all nonempty $S.$ Hence the coefficient of $h_n$ in the right-hand side above is $(-1)^{|T|},$ while the coefficient of $h_1 h_{n-1}$ is 
 \[
\sum_{S\subseteq T, S\ne \emptyset} (-1)^{|T|-|S|} =
(-1)^{|T|}\left[ \sum_{i=0}^{|T|} \binom{|T|}{i} (-1)-1\right] =(-1)^{|T|-1}.
\]
But $(-1)^{|T|}s_{(n-1,1)}=(-1)^{|T|} h_1 h_{n-1} -(-1)^{|T|} h_n,$ and the conclusion follows. \end{proof} 

The preceding theorem motivates Conjecture~\ref{Conj:almost-h-pos} in the Introduction. We will show that Conjecture~\ref{Conj:almost-h-pos} is true in the following cases of rank-selection:

 \begin{theo}\label{AlmosthpositiveInstances} For any nonempty rank set $T\subseteq[1,k],$ consider the module 
 $V_T=\tilde{H}_{k-2}(A^*_{n,k}(T))+ (-1)^{|T|} S_{(n-1,1)}.$ In each of the following cases, $V_T$ is a nonnegative combination of transitive permutation modules with orbit stabilisers 
of the form $S_1^d\times S_{n-d}, d\ge 2.$ Equivalently, the symmetric function $F_{n,k}(T) +(-1)^{|T|} s_{(n-1,1)}$ is supported on the set 
 $T_{2}(n)=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}$ with nonnegative integer coefficients in each of the following cases:
\begin{enumerate}
\item\label{theo7.3_1} $T=[r,k], k\ge r\ge 1.$ 
\item\label{theo7.3_2} $T=[1,k]\backslash \{r\}, k\ge r\ge 1.$ 
\item\label{theo7.3_3} $T=\{1\le s_1<s_2\le k\}.$
\end{enumerate}
 \end{theo}
 
 The proof relies on the homology computations of the preceding sections, but we also need to develop additional tools. In particular Theorem~\ref{ReflRepMain} will be crucial to the proof.
 %
 We begin by deriving a different expression for the Whitney homology modules of $A^*_{n,k}$, thereby obtaining a new expression for the top homology module as well.

\begin{prop}\label{LowerIntTopo} Let $\alpha$ be a nonempty word in $A^*_{n,k}.$ Then
\begin{enumerate} 
\item\label{prop7.4_1} If $\alpha$ is not a normal word, the (order complex of the) interval $(\hat 0, \alpha)$ is contractible and hence its homology vanishes in all degrees;
\item\label{prop7.4_2} If $\alpha$ is a normal word, the (order complex of the) interval $(\hat 0, \alpha)$ is homotopy equivalent to a single sphere in the top dimension, and the stabiliser subgroup of $\alpha$ acts trivially on the homology.
\end{enumerate}
\end{prop}

\begin{proof} The topological conclusions in both parts are immediate from the formula for the M{\"o}bius number in Theorem~\ref{Farmer} and Bj{\"o}rner's dual CL-shellability result of Theorem~\ref{BjCLshellable}. 

If $\alpha$ is normal, then it consists of some $m\le n$ distinct letters $\{x_1,\ldots, x_m\}$, and consecutive letters are distinct. The stabiliser is the subgroup which fixes each $x_i$ pointwise, and permutes the remaining $n-m$ letters arbitrarily. It is thus a product of $m$ copies of the trivial group $S_1$ and the group $S_{n-m}.$ Clearly this subgroup fixes every element in the interval $(\hat 0, \alpha)$ pointwise, and hence the action on the unique nonvanishing homology is trivial.
\end{proof}

 Let $S^*(j,d)$ denote the number of set partitions of $[j]$ into $d$ blocks, with the property that no block contains consecutive integers (a reduced Stirling number). The surjection in the following lemma will be needed in what follows.
 
 \begin{lemma}\label{surj-normal-to-ptns} There is a surjection $\psi$ from the set of words of length $j$ in an alphabet of size $n$ to the set partitions into $d$ blocks of $[j],$ 
 where $d$ is the number of distinct letters in $\alpha.$
 This surjection maps normal words onto set partitions with the property that no two consecutive integers are in the same block. 
 In particular, the number $n(n-1)^{j-1}$ of normal words of length $j\ge 2$ on an alphabet of size $n$ is also equal to
 \[
 \sum_{d= 1}^{\min(n,j)} \dfrac{n!}{(n-d)!} S^*(j,d).
\]
 \end{lemma}
 \begin{proof} 
 The idea of the proof is similar to that of Lemma~\ref{Stirling}. A word $\alpha$ of length $j$ with $d$ distinct letters maps to a set partition $\psi(\alpha)$ of $[j]$ with 
 $d$ blocks, where positions corresponding to integers in the same block have equal letters in $\alpha.$
 %
 For instance, the word 
 $\alpha= abbcbca,$ of length 7 with 3 distinct letters. Then the set partition of $[7]$ associated to $\alpha$ is $\psi(\alpha)=17-235-46.$ 
 
 Now suppose $\alpha$ is normal. Then no two consecutive positions have equal letters, which is precisely the condition that no block of 
 the set partition $\psi(\alpha)$ contains consecutive integers.
 
 The last statement is verified by observing that a normal word in the pre-image of every set partition of $[j]$ with $d$ blocks contains 
 $d$ distinct letters chosen out of $n$, which can be permuted amongst themselves in $d$ ways.
 \end{proof}
 
 Recall that the ordinary Stirling numbers of the second kind satisfy the recurrence $S(n+1,d)=S(n,d-1)+d S(n,d)$ with initial conditions $S(0,0)=1$ and $S(n,0)=0=S(0,d)$ if $n,d>0.$ It is easy to verify similarly that the reduced Stirling numbers $S^*(j,d)$ satisfy the recurrence 
 $ S^*(n+1,d)=S^*(n,d-1)+(d-1)S^*(n,d),$ by examining the possibilities for inserting $(n+1)$ into a partition of $[n]$ into $d$ blocks. A comparison of the recurrences immediately shows that in fact 
 \[
S^*(n+1,d)=S(n,d-1)\quad \text{for all } n\ge 0,d\ge 1.
\] 
 See~\cite{Munagi} for generalisations of these numbers. 
 %
 Recall that in Theorem~\ref{WHsubword}, the $j$th Whitney homology of $A^*_{n,k}$ $j\ge 2,$ was determined as a sum of two consecutive tensor powers of $S_{(n-1,1)}.$ From Lemma~\ref{surj-normal-to-ptns} and Proposition~\ref{LowerIntTopo} we now have the following surprising result.
 
 \begin{prop}\label{WhPermModule} Each Whitney homology module of subword order, and hence the sum of two consecutive tensor powers of the reflection representation, has $h$-positive Frobenius characteristic, and in particular it is a permutation module. We have $\ch W\!H_0=h_n, \ch W\!H_1=h_1 h_{n-1},$ and for $k\ge j\ge 2,$ the $j$th Whitney homology of $A^*_{n,k}$ has Frobenius characteristic
 \begin{equation}\label{StirlingWh} 
 \begin{aligned}
 (h_1h_{n-1})*s_{(n-1,1)}^{*(j-1)}&=\sum_{d= 2}^j S(j-1,d-1)\, h_1^d h_{n-d}\\
 &=\sum_{d=2}^j S^*(j,d)\,h_1^d h_{n-d}= h_1(h_1h_{n-2})^{*j-1},
 \end{aligned}
 \end{equation}
a permutation module with orbits whose stabilisers are Young subgroups indexed by partitions of the form $(n-d,1^d), d\ge 0.$ 

 \end{prop}
 
 \begin{proof} From Equation~\eqref{Whitney} and Theorem~\ref{WHsubword}, for $k\ge j\ge 2,$ we have 
\[
W\!H_j(A^*_{n,k})= S_{(n-1,1)}^{\otimes j} \oplus S_{(n-1,1)}^{\otimes j-1}= (S_{(n)}\oplus S_{(n-1,1)})\otimes S_{(n-1,1)}^{\otimes j-1}.
\]
 Now by definition we also have
 \[
WH_j(A^*_{n,k})=\sum_{x\in A^*_{n,k}, |x|=j} \tilde{H}(\hat 0,x).
\]
 Proposition~\ref{LowerIntTopo} says that the sum runs over only normal words $x,$ and each homology module is trivial for the stabiliser of $x.$ 
 Collecting the summands into orbits and using the surjection of Lemma~\ref{surj-normal-to-ptns} gives Equation~\eqref{StirlingWh}. The last expression is obtained by shifting the index in the sum:
\[
\sum_{d= 2}^j S(j-1,d-1)\, h_1^d h_{n-d}=h_1\sum_{d'=1}^{j-1} S(j-1,d') 
h_1^{d'} h_{(n-1)-d'},
\]
and this equals $h_1(h_1h_{n-2})^{*j-1}$ by Lemma~\ref{Stirling}.
 \end{proof}
 % 
 
 Recall~\cite{M} that the homogeneous symmetric functions $h_\lambda$ form a basis for the ring of symmetric functions.
 \begin{theo}\label{ReflRepMain} Fix $k\ge 1.$ 
 The $k$th tensor power of the reflection representation 
 $S_{(n-1,1)}^{\otimes k},$ \ie the homology module $\tilde{H}_{k-1}(A^*_{n,k}),$ has the following property:
 $S_{(n-1,1)}^{\otimes k}\oplus (-1)^{k} S_{(n-1,1)}$ 
 is a permutation module $U_{n,k}$ whose Frobenius characteristic is $h$-positive, and is supported on the set $\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$ 
 If $k=1,$ then $U_{n,1}=0.$
 
More precisely, the $k$-fold internal product $s_{(n-1,1)}^{ * k}$ has the following expansion in the basis of homogeneous symmetric functions $h_\lambda:$ 
 \begin{equation} \label{RefReptoh}
 \sum_{d=0}^n g_n(k,d) h_1^d h_{n-d}, 
 \end{equation}
 where $g_n(k,0)=(-1)^k, g_n(k,1)=(-1)^{k-1},$ and
 %
 \[
g_n(k,d)=\sum_{i=d}^k (-1)^{k-i} S(i-1, d-1), \text{ for }2\le d\le n.
\] 
 
 Hence 
\[
s_{(n-1,1)}^{ * k}= (-1)^{k-1}s_{(n-1,1)}+\ch (U_{n,k}),
\] 
 where $\ch (U_{n,k})=\sum_{d=2}^n g_n(k,d) h_1^d h_{n-d}.$
 
 The integers $g_n(k,d)$ are independent of $n$ for $k\le n,$ nonnegative for $2\le d\le k,$ and $g_n(k,d)=0 $ if $d>k.$ 
 Also:
 \begin{enumerate} 
 \item\label{theo7.7_1} $g_n(k,2)=\frac{1+(-1)^k}{2}.$ 
 \item\label{theo7.7_2} $g_n(k,k-1)=\binom{k-1}{2}-1, k\le n.$
 \item\label{theo7.7_3} $g_n(k,k)=1, k< n.$ 
 \end{enumerate}
In particular the coefficient of $h_1^n$ in the expansion~\eqref{RefReptoh} of 
$\ch S_{(n-1,1)}^{\otimes k}$ is 
\[
\begin{cases} g_n(k,n)+g_n(k,n-1) &\textup{if } k> n,\\
 \binom{n-1}{2} &\textup{if } k= n,\\
 1 &\textup{if } k=n-1,\\
 0 &\textup{otherwise}. 
 \end{cases}
\]
 \end{theo}
 
 \begin{proof} If $k=1,$ the terms for $d\ge 2$ in the summation in~\eqref{RefReptoh} vanish and thus the right-hand side equals the characteristic of the top homology.
 
 The first statement, about the homology module $\tilde{H}_{k-1}(A^*_{n,k}),$ follows from Proposition~\ref{WhPermModule} and Theorem~\ref{WHmainSS}.
 Fix $m$ and $d$ such that $m\ge d\ge 2.$ Let $\bar g(m,d)$ be the alternating sum of Stirling numbers 
 $\bar g(m,d)=\sum_{i=d}^m (-1)^{m-i} S(i-1, d-1).$ Note that $\bar g(m,d)$ equals
\begin{multline*}
[S(m-1,d-1)-S(m-2,d-1)]+[S(m-3,d-1)-S(m-4,d-1)] +\cdots \\
\cdots +
\begin{cases} 
[S(d+1,d-1)-S(d,d-1)] +S(d-1,d-1), & m-d\text{ even},\\
[S(d,d-1)) -S(d-1,d-1)], & m-d\text{ odd}.
\end{cases}
 \end{multline*}
 
 Since $S(n,d)$ is an increasing function of $n\ge d$ for fixed $d,$ the coefficient $\bar g(m,d)$ is always nonnegative. It is also clear that $\bar g(m,d)= S(m-1,d-1) -\bar g(m-1,d)$ for all $m\ge d\ge 2.$
 
 The remaining parts follow from the facts that $S(k,k-1)=\binom{k}{2}, S(k,k)=1,$ and the observation that for $k\ge n,$ the coefficient of $h_1^n$ is $g_k(k,n)+g_k(k, n-1).$ This equals $S(n-1,n-2)-1$ when $k=n.$ \end{proof}

 \begin{coro}\label{TrivRepStableCase} Let $k\ge 2.$ 
 \begin{enumerate}
 \item\label{coro7.8_1} For $\min(n,k)\ge d\ge 2,$ the coefficient of $h_1^d h_{n-d}$ in $s_{(n-1,1)}^{* k}=\ch S_{(n-1,1)}^{\otimes k}$ is the nonnegative integer $g_n(k,d)$ given by the two equal expressions:
 \begin{equation}\label{NewStirlingIdentity?}
 \sum_{j=d}^k (-1)^{k-j} S(j-1,d-1)=\sum_{r=0}^{k-d} (-1)^r \binom{k}{k-r} S(k-r,d).
 \end{equation}
 In particular, when $n\ge k,$ this multiplicity is independent of $n.$
 \item\label{coro7.8_2} The positive integer $\beta_n(k)=\sum_{d=2}^{\min(n,k)} g_n(k,d)$ is the multiplicity of the trivial representation in $S_{(n-1,1)}^{\otimes k}.$ When $n\ge k,$ it equals the number of set partitions $B_k^{\ge 2}$ of the set $\{1,\ldots,k\}$ with no singleton blocks. We have $\beta_n(n+1)=B_{n+1}^{\ge 2}-1$ and $\beta_n(n+2)= B_{n+2}^{\ge 2}- \binom{n+1}{2}.$
 \end{enumerate}
 \end{coro}
 
 \begin{proof} 
 This follows from Theorem~\ref{StirlingHom} and Corollary~\ref{TrivRep}.
 
 We have $\beta_n(n)=\sum_{d=2}^n g(n,d)=B_n^{\ge 2}= \beta_n(k)$ for $n\ge k,$ and from~\eqref{RefReptoh},
\begin{align*} 
\beta_n(n+1)&=\sum_{d=2}^{n}g_{n}(n+1,d)= \sum_{d=2}^{n+1} g_{n+1}(n+1,d) - g_{n+1}(n+1,n+1)\\
&= B_{n+1}^{\ge 2}-1,\\
\beta_n(n+2) &=\sum_{d=2}^{n+2} g_{n+2}(n+2,d) - g_{n+2}(n+2,n+2)
-g_{n+2}(n+2,n+1)\\
&=B_{n+2}^{\ge 2} -1 - [\binom{n+1}{2}-1]=B_{n+2}^{\ge 2}- \binom{n+1}{2}.\qedhere
\end{align*}
 % 
 \end{proof}
 
 
 
 We need one final observation in order to prove Theorem~\ref{AlmosthpositiveInstances}.
 \begin{lemma}\label{RefRephPos} Suppose $V$ is an $S_n$-module which can be written as an integer combination $V=\oplus_{k=1}^m c_k S_{(n-1,1)}^{\otimes k}$ of positive tensor powers of $S_{(n-1,1)}.$ 
 Then \begin{enumerate}
 \item\label{lemma7.9_1} The character value of $V$ on fixed-point-free permutations is $\sum_{k=1}^m (-1)^{k}c_k.$
 \item\label{lemma7.9_2} If
 $\sum_{k=1}^m (-1)^{k-1}c_k=0,$ then the Frobenius characteristic of $V$ is 
 supported on the set $\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$ 
 \item\label{lemma7.9_3} If $\sum_{k=1}^m (-1)^{k-1}c_k=0$ and $c_k\ge 0$ for all $k\ge 2,$ it is $h$-positive and hence $V$ is a permutation module. 
 \end{enumerate}
 \end{lemma}
 
 \begin{proof} The first part follows because the value of the character of the reflection representation $S_{(n-1,1)}$ on permutations without fixed points is $(-1).$ 
 
 The second and third parts are immediate from Theorem~\ref{ReflRepMain}, since we have 
 \[
V=\left(\sum_{k=1}^m (-1)^{k-1}c_k \right) S_{(n-1,1)} \oplus \sum_{k=2}^m c_k U_{n,k}=\sum_{k=2}^m c_k U_{n,k} ,
\]
\looseness-1
 and $U_{n,k}$ is $h$-positive with support $\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$ Note that $U_{n,1}=0.$
 \end{proof}
 
 In particular from Theorem~\ref{Chains}, this gives a direct proof that the action of $S_n$ on the chains in $A_{n,k}^*$ is also a nonnegative linear combination of 
 $\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$
 
%\vskip.1in
%\noindent
%\textegras{Proof of Theorem~\ref{AlmosthpositiveInstances}:}
 \begin{proof}[Proof of Theorem~\ref{AlmosthpositiveInstances}] Note that in all three cases, the module $V_T=\tilde{H}_{k-2}(A^*_{n,k}(T))+ (-1)^{|T|} S_{(n-1,1)}$ has already been shown to 
 be an integer combination of $k$th tensor powers of $S_{(n-1,1)},$ with nonnegative coefficients when $k\ge 2$, in Theorems~\ref{Bordeaux1991mai}, \ref{rank-deletion} and~\ref{TwoRanks}. Hence, by Lemma~\ref{RefRephPos}, it remains only to verify that the alternating sum of coefficients of the tensor powers vanishes for $V_T$ in each case.
 
 Consider the case $T=[r,k]$. From Theorem~\ref{Bordeaux1991mai}, we must show that $(-1)^{k-r+1}$ added to the signed sum of the $(-1)^{i-1}b_i$, for the coefficients $b_i=\binom{k}{i}\binom{i-1}{ k-r},$ is zero, \ie 
 \begin{equation}\label{AnotherBinomialIdentity!} \sum_{i=1+k-r}^k b_i (-1)^{i-1} =(-1)^{k-r} .\end{equation}
 
 It is easiest to use the combinatorial identity of Corollary~\ref{NewBinomialIdentity?}. Consider the two polynomials of degree $k\ge 2$ in $x$ defined by
 \begin{align*}
F(x)&= \sum_{i=0}^{k-r} (-1)^i \binom{k}{r+i}(x+1)^{r+i}x^{k-(r+i)}+(-1)^{k+1-r},
\\
G(x)&= \sum_{i=1+k-r}^k \binom{k}{i}\binom{i-1}{k-r} x^i .
\end{align*}
 Corollary~\ref{NewBinomialIdentity?} says $F(x)$ and $G(x)$ agree for all $x=n-1\ge 1,$ and hence $F(x)=G(x)$ identically.
 
 In particular $F(-1)=G(-1).$ But $F(-1)= (-1)^{k+r-1}$ and 
 clearly $(-1) G(-1)$ is precisely the sum in the left-hand side of~\eqref{AnotherBinomialIdentity!}. The claim follows.
 
 For the second case, $T$ is the rank-set $[1,k]\backslash \{r\},$ and from Theorem~\ref{rank-deletion} the alternating sum of coefficients in $V_T$ is clearly 
 \begin{equation}\label{rank-deletionIdentity}
 (-1)^{k-1}+ \left[\binom{k}{r}-1\right](-1)^{k-1}+ \binom{k}{r} (-1)^{k-2}=0.
 \end{equation}


For the final case, the rank set is $T=\{1\le s_1<s_2\le k\}.$ From the homology formula in Theorem~\ref{TwoRanks}, we need to show that the following sum, the alternating sum of coefficients in $V_T$, vanishes:
 \[
1+\sum_{v=1}^{s_1} (-1)^{v-1} \left[c_v -\binom{s_1}{v}\right] + \sum_{v=1+s_1}^{s_2} (-1)^{v-1} c_v,
\]
 where 
 \[
c_v
 = \sum_{j=1}^{\min(v, s_2-s_1)}\binom{s_2-j}{v-j}\binom{s_1+j-1}{j} .
\]
 But $1+\sum_{v=1}^{s_1} (-1)^{v-1} ( -\binom{s_1}{v})=0,$ so 
 this reduces to showing that 
$ \sum_{v=1}^{s_2} (-1)^{v} c_v=0.$
Split the summation over $v$ at $s_2-s_1.$ This gives that $\sum_{v=1}^{s_2} (-1)^{v} c_v$ equals 
\[
 \underbrace{\sum_{v=1}^{s_2-s_1}(-1)^{v}\sum_{j=1}^{v}\binom{s_2-j}{v-j}\binom{s_1+j-1}{j}}_{\hypertarget{nameA}{(A)}}
+ \underbrace{\sum_{v>s_2-s_1}^{s_2}(-1)^{v}\sum_{j=1}^{ s_2-s_1}\binom{s_2-j}{v-j}\binom{s_1+j-1}{j}}_{\hypertarget{nameB}{(B)}}.
\]
%
Switching the order of summation, \hyperlink{nameA}{$(A)$} is equal to 
\[
\sum_{j=1}^{s_2-s_1} \binom{s_1+j-1}{j}\sum_{v=j}^{s_2-s_1} \binom{s_2-j}{v-j}(-1)^{v},
\]
while \hyperlink{nameB}{$(B)$} is
\[
\sum_{j=1}^{s_2-s_1} \binom{s_1+j-1}{j}\sum_{v>s_2-s_1}^{s_2}(-1)^{v} \binom{s_2-j}{v-j}(-1)^{v}.
\]
Hence $\sum_{v=1}^{s_2} (-1)^{v} c_v$ equals 
\[
\sum_{j=1}^{s_2-s_1} \binom{s_1+j-1}{j}\sum_{v=j}^{s_2} \binom{s_2-j}{v-j}(-1)^{v}=\sum_{j=1}^{s_2-s_1} \binom{s_1+j-1}{j}\sum_{w=0}^{s_2-j} \binom{s_2-j}{w}(-1)^{w-s_2},
\]
where we have put $w=s_2-v.$ But $1\le j\le s_2-s_1< s_2,$ so 
the inner sum vanishes. \end{proof}
%
 
 Note that the left-hand side of Equation~\eqref{AnotherBinomialIdentity!} is the character value on fixed-point-free permutations for the homology module $\tilde{H}(T),$ $T=[r,k]$. Hence this shows that the homology module itself cannot be a permutation module when 
 $k-r$ is odd, since the right-hand side then gives a value of $(-1)$ for the character.
 
 Similarly, from Theorem~\ref{rank-deletion}, the character value on fixed-point-free permutations for $\tilde{H}(T),$ for $T=[1,k]\backslash \{r\}$, 
 is $\left[\binom{k}{r}-1\right](-1)^{k}+ \binom{k}{r} (-1)^{k-1},$ and this equals $(-1)^{k-1}.$ Once again we can conclude that this homology module is also not a permutation module when $k$ is even.
 
 \begin{coro} The dual Whitney homology modules $W\!H^*_{k+1-i}(A^*_{n,k}), 1<i\le k,$ are permutation modules whose Frobenius characteristic is a nonnegative integer combination of the set $T_2=\{h_\lambda: \lambda=(n-r, 1^r), r\ge 2\}.$
 \end{coro}
 \begin{proof} 
 From Theorem~\ref{WHmainSS} and~\eqref{ConsecRanks}, we have 
 $W\!H_{k+1-i}^* = \tilde{H}([i,k]) \oplus \tilde{H}([i+1,k]).$ This in turn can be rewritten as 
 \[
W\!H_{k+1-i}^* = \left( \tilde{H}([i,k])+(-1)^{k-i+1} S_{(n-1,1)} \right)\oplus \left( \tilde{H}([i+1,k]) +(-1)^{k-i} S_{(n-1,1)}\right);
\]
 by Part~\eqref{theo7.3_2} of Theorem~\ref{AlmosthpositiveInstances}, each of the summands in parentheses is $h$-positive with Frobenius characteristic supported by the 
 set $T_2.$
 \end{proof}
 
 \section{Tensor powers of the reflection representation II}

 In light of the preceding results, in this section we return to consider the tensor powers $S_{(n-1,1)}^{\otimes k}$ more closely. The paper 
\cite{CG} gives a combinatorial model for determining the multiplicity of an irreducible in the $k$th tensor power, and an explicit formula in the case when $n$ is sufficiently larger than $k.$ We give general formulas that apply to the case of arbitrary tensor powers.

Burnside proved that given a faithful representation $V$ of a finite group $G$, every $G$-irreducible occurs in some tensor power of $V.$ A simple and beautiful proof of a generalisation of this was given by Brauer in~\cite{BrauerR}. See also~\cite[Theorem~4.3]{Isaacs}. In the present context, it states that since $S_{(n-1,1)}$ is a faithful representation whose character takes on $n$ distinct values (viz. $-1,0,1,\ldots,n-1,$ but not $n-2$), every irreducible $S_\lambda$ occurs in at least one of the $n$ tensor powers $S_{(n-1,1)}^{\otimes j}, 0\le j \le n-1.$ 

In view of these results, the next fact is interesting. We were unable to find it in the literature. Our proof mimics Brauer's elegant argument.

\begin{theo}\label{myBrauer} Let $G$ be any finite group and $X$ any character of $G$. Suppose $X$ takes on $k$ distinct nonzero values $b_1, \ldots, b_k.$
Then the first $k$ tensor powers of $X$ are linearly independent functions on $G$, and form a basis for the subspace of class functions spanned by all the positive tensor powers. 
If $X^{k+1}=\sum_{i=1}^k c_i X^i,$ then the polynomial 
$P(t)=t^{k+1}-\sum_{i=1}^k c_i t^i$ has the factorisation 
$t\prod_{i=1}^k (t-b_i).$ 

Let $X^0=1_G$ denote the trivial character of $G.$ Then
$X^{k}=\sum_{i=1}^{k} c_i X^{i-1}$ if and only if the character $X$ never takes the value zero.
\end{theo}

\begin{proof} 
 Let $U$ be the vector space spanned by the characters $X^j$ of the positive tensor powers of $X.$ Suppose $X$ takes the distinct values $\{b_i\ne 0: 1\le i\le k\}.$ 
 For each $i=1,\ldots , k,$ choose an arbitrary element in the preimage of $b_i,$ that is, $a_i\in X^{-1}(b_i).$ 
 Let $A=\{a_i: 1\le i\le k\}.$ We may thus view $U$ as a subspace of the space of functions defined on the set $A$ of size $k;$ this space has dimension exactly $k,$ and hence $\dim(U)\le k.$We will show that the characters $X^i, 1\le i \le k,$ are linearly independent.
 
 We now claim that the $k$ functions 
\[
 \{X^j\downarrow_A, 1\le j\le k\} 
\]
are linearly independent.
Suppose $c_j$ are scalars such that $\sum_{j=1}^{k} c_j X^j $ is the zero function. This implies $\sum_{j=1}^{k} c_j X^j(a_j)=0. $
But $X^j(a_i)=b_i^j,$ so the coefficient matrix $(X^j(a_i))$ is a $k$ by $k$ Vandermonde with determinant $(b_1\ldots b_k)\prod_{1\le i<j\le k}(b_j-b_i),$ which is nonzero by hypothesis. Hence $c_j=0$ for $ 1\le j\le k.$
This establishes the first statement.

Now let $X^{k+1}=\sum_{i=1}^k c_i X^i $ for some scalars $c_i.$
If $X$ never takes on the value zero we can clearly simplify the dependence relation to 
$X^{k}=\sum_{i=1}^k c_i X^{i-1}. $
If however 0 is a value of $X$, the set $\{1_G, X^i:1\le i\le k\}$ must be linearly independent, since the trivial character equals 1 everywhere. This finishes the proof.
 \end{proof}

\begin{rema} For $k\ge 2,$ the representation $S_{(n-1,1)}^{\otimes (k-1)}$ is contained in $S_{(n-1,1)}^{\otimes k}.$ For this it suffices to note that 
\begin{enumerate}
\item\label{rema8.2_1} this is true for $k=2,$ since $S_{(n-1,1)}^{\otimes 2}- S_{(n-1,1)}=S_{(n-2,2)}\oplus S_{(n-1,1^2)}\oplus S_{(n)},$ and thus 

\item\label{rema8.2_2} $S_{(n-1,1)}^{\otimes k}-S_{(n-1,1)}^{\otimes (k-1)}= 
S_{(n-1,1)}^{\otimes (k-2)}\otimes (S_{(n-1,1)}^{\otimes 2}-S_{(n-1,1)})$ is a true module.
\end{enumerate}
\end{rema}
 
 \begin{exam} Write $X_n^k$ for $S_{(n-1,1)}^{\otimes k}.$ Maple computations with Stembridge's SF package show that 
\begin{enumerate}
\item\label{exam8.3_1} $X_3^3= X_3^2+2X_3.$
\item\label{exam8.3_2}  $X_4^4= 3X_4^3+X_4^2-3X_4.$
% $X_4^5= 10X_4^3-9X_4.$
\item\label{exam8.3_3}  $X_5^5= 6X_5^4-7X_5^3-6X_5^2 +8 X_5.$
\item\label{exam8.3_4}  $X_6^6=10X_6^5 -30X_6^4+20X_6^3+31X_6^2-30X_6$
\item\label{exam8.3_5}  $X_7^7=15X_7^6 -79X_7^5 +165X_7^4 -64 X_7^3 -180 X_7^2+144 X_7$
\item\label{exam8.3_6}  $X_8^8=21 X_8^7 -168 X_8^6 +630 X_8^5 -1029 X_8^4 +189 X_8^3 +1198 X_8^2 -840 X_8.$
\end{enumerate}
\end{exam}
 We conclude this section by pointing out a representation-theoretic consequence, and some enumerative implications, of Theorem~\ref{ReflRepMain} and in particular of the expansion~\eqref{RefReptoh}.
 Fix $n\ge 3$ and consider the $n$ by $n-1$ matrix $D_{n}$ whose $k$th column consists of the coefficients $g_n(n-k,n-d), d=1, \ldots, n-1.$ Thus the $k$th column contains the coefficients in the expansion of $S_{(n-1,1)}^{\otimes n-k}$ in the $h$-basis: we have 
 $\ch S_{(n-1,1)}^{\otimes k}=\sum_{d=1}^n g_n(k, n-d)h_1^{n-d} h_d , 1\le k\le n-1.$ From Theorem~\ref{ReflRepMain} it is easy to see that the matrix $D_{n}$ has rank $(n-1);$ the last two rows, consisting of alternating $\pm 1$s, differ by a factor of $(-1)$, and the matrix is lower triangular with 1's on the diagonal, hence it has rank $(n-1).$ 
 Similarly the $(n+1)$ by $(n-1)$ matrix obtained by appending to $D_{n} $ a first column consisting of the $h$-expansion of the $n$th tensor power of 
 $S_{(n-1,1)}^{\otimes n}$ also has rank $(n-1)$. We therefore have a second proof of Theorem~\ref{myBrauer}, for the specific case of the modules $S_{(n-1,1)}$. In this special case we can now be more precise about the linear combination of tensor powers:
 
 \begin{theo} The first $n-1$ tensor powers of $S_{(n-1,1)}$ are an integral basis for the vector space spanned by the positive tensor powers. The $n$th tensor power of $S_{(n-1,1)}$ is an integer linear combination of the first $(n-1)$ tensor powers:
\[
S_{(n-1,1)}^{\otimes n}=\bigoplus_{k=1}^{n-1} a_k(n) S_{(n-1,1)}^{\otimes k},
\] 
with $a_{n-1}(n)= \binom{n-1}{2}.$ 
 The coefficients $a_k(n)$ are determined by the polynomial 
 $P(t)=t^n -\sum_{k=1}^{n-1} a_k(n) t^{k},$ 
 defined by
 \begin{equation}
 P(t)=\dfrac{t+1}{t-(n-2)}\sum_{j=1}^{n} c(n,j)t^{j} (-1)^{n-j} 
 \end{equation}
 where $c(n,j)$ is the number of permutations in $S_{n}$ with exactly $j$ disjoint cycles.
 \end{theo}
 
 \begin{proof} We invoke Theorem~\ref{myBrauer}. The linear combination of tensor powers in the statement translates into a polynomial equation for the character values, whose zeros are the $n$ distinct values $-1, 0, 1, \ldots, n-3, n-1,$ taken by the character of $S_{(n-1,1)}$. Hence we have 
 \[
P_n(t)=t^n -\sum_{k=1}^{n-1} a_k(n) t^{k}=(t+1)t
 \prod_{i=1, i\ne n-2}^{n-1}(t-i)=\frac{t+1}{(t-(n-2))}\prod_{i=0}^{n-1}(t-i).
\]
 But $\prod_{j=0}^{n-1} (t-j) $ is the generating function for the signless Stirling numbers of the first kind~\cite{St3EC1}, so the result follows. 
 \end{proof} 


The preceding result gives a recurrence for the coefficients $a_k(n)$;
we have
\begin{align*} a_{n-1}(n)&=\binom{n-1}{2};\\
(n-2)a_j(n)-a_{j-1}(n)&=(-1)^{n-j}[c(n,j)-c(n,j-1)], 2\le j\le n-1;\\
(n-2) a_1(n)&= c(n,1) (-1)^{n-1}\\
\Longrightarrow a_1(n)&= \frac{(n-1)!}{n-2} (-1)^{n-1} =(-1)^{n-1}[(n-2)!+(n-3)!].
\end{align*}

 
 \begin{ques} The identity~\eqref{NewStirlingIdentity?} holds for all $d=2,\ldots,k.$ 
 Is there a combinatorial explanation?
 \end{ques}
 
 \begin{ques} For fixed $k$ and $n,$ what do the positive integers $g_n(k,d)$ count? Is there a combinatorial interpretation for $\beta_n(k)=\sum_{j=d}^{\min(n,k)}g_n(k,d),$ the multiplicity of the trivial representation in the top homology of $A^*_{n,k},$ in the nonstable case $k>n?$ Recall that for $k\le n$ this is the number $B_k^{\ge 2}$ of set partitions of $[k]$ with no singleton blocks, and is sequence OEIS A000296. 
 \end{ques}
 
 \begin{ques} Recall that $a_{n-1}(n)=\binom{n-1}{2}.$ Is there a combinatorial interpretation for the signed integers $a_i(n)$? There are many interpretations for $(-1)^{n-1} a_1(n)= (n-2)!+(n-3)!,$ see OEIS A001048. For $n\ge 4$ it is the size of the largest conjugacy class in $S_{n-1}.$ We were unable to find the other sequences $\{a_{i}(n)\}_{n\ge 3} $ in OEIS.
 \end{ques}
 
 \section{The subposet of normal words}
 
 Let $N_{n,k}$ denote the poset of normal words of length at most $k$ in $A^*_{n,k},$ again with an artificial top element $\hat 1$ appended. Farmer showed that
 \begin{theo}[Farmer~\cite{F}] $\mu(N_{n,k})=(-1)^{k-1} (n-1)^{k} =\mu(A^*_{n,k}),$ and $A_{n,k}, N_{n,k}$ both have the homology of a wedge of $(n-1)^{k}$ spheres of dimension $(k-1)$.
 \end{theo}
 
 Bj{\"o}rner and Wachs~\cite{BjWachs} showed that $N_{n,k}$ is dual CL-shellable and hence homotopy Cohen--Macaulay; it is therefore homotopy-equivalent to a wedge of $(n-1)^{k}$ spheres of dimension $(k-1)$.
 The order complexes of the posets $A^*_{n,k}$ and $N_{n,k}$ are thus homotopy-equivalent. 
 
 Using Quillen's fibre theorem (\cite{Q}) we can establish a slightly stronger result:
 
 \begin{lemma} Let $\alpha\in N^*_{n,k}.$ Then the intervals $(\hat 0,\alpha)_{N_{n,k}}$ and $(\hat 0,\alpha)_{A^*_{n,k}}$ are ${\stab(\alpha)}$-homotopy equivalent, for the stabiliser subgroup ${\stab(\alpha)}$ of $\alpha.$ 
 In particular the homology groups are all ${\stab (\alpha)}$-isomorphic. 
 
 If $\alpha\in A^*_{n,k},$ but $\alpha\notin N^*_{n,k},$ then we know that the interval $(\hat 0, \alpha)_{ A^*_{n,k}}$ is contractible.
 \end{lemma}
 
 \begin{proof} Let $J_m$ be the set of words of length $m$ that are \emph{not} normal. Let 
\[
B_j=(\hat 0, \alpha)_{A^*_{n,k}}\backslash  (\cup_{m=j}^k J_m) 
\] 
be the subposet obtained by removing all normal words at rank $j$ and higher. Thus $B_1=(\hat 0, \alpha)_{N_{n,k}}.$ Set $B_{k+1}=(\hat 0, \alpha)_{A^*_{n,k}}.$ We claim that the inclusion maps
 \begin{equation}
 (\hat 0, \alpha)_{N_{n,k}}= B_1\subset B_2\subset \cdots \subset B_j\subset B_{j+1}\subset B_{k+1}=(\hat 0, \alpha)_{A^*_{n,k}}
 \end{equation}
 are group equivariant homotopy equivalences.
 Note that 
\[
B_j=B_{j+1}\backslash  \{\text{non-normal words of length } j+1\},
\] 
and $B_j$ coincides with $B_{j+1}$ for the first $j$ ranks. The fibres to be checked are $F_{\le w}=\{\beta\in B_j: \beta\le \alpha\},$ for $w\in B_{j+1}.$ If $w $ is a normal word in $B_{j+1},$ then $w\in B_j$ and the fibre is the half-closed interval $(\hat 0, w]$ in $B_j; $ it is therefore contractible. If $w\in B_{j+1}$ is not a normal word, then $w\notin B_j$ and the interval $(\hat 0, w)_{B_j}$ coincides with the same interval in $A^*_{n,k},$ so by Part~\eqref{prop7.4_1} of Proposition~\ref{LowerIntTopo}, it is contractible. Hence by Quillen's fibre theorem, the inclusion induces a homotopy equivalence. 
 \end{proof}
 
 \begin{prop}\label{WHnormal} The Whitney homology modules of $A^*_{n,k}$ and $N_{n,k}$ are $S_n$-isomorphic. 
 In particular the $j$th Whitney homology of $N_{n,k}$ is isomorphic to the $S_n$-action on the elements at rank $j.$ 
 \end{prop}
 
 This statement is false for the dual Whitney homology. For instance, 
\[ 
\mu(ab, abab)_{A^*_{n,k}}=+3,
\text{ but }
\mu(ab, abab)_{N_{n,k}}=+1.
\] The first interval is a rank-one poset with four elements $bab, aab, abb, aba,$ whereas the second consists only of two elements $aba, bab.$ 
 
 It is also easy to find examples showing that the rank-selected homology is not the same for each poset. 
 
 \begin{exam}
 Let $n=2$ and consider the rank-set $\{1,3\}$ for the poset $A^*_{2,k}$ and for its subposet of normal words $N_{2,k}$.
 
 The words of length 3, all of which cover the two rank 1 elements $a$ and $b,$ are 
 \[
 aaa, aab, aba, abb, baa, bab, bba, bbb.
\]
 It is clear that the M{\"o}bius function values are 
 \[
\mu(\hat 0, aaa)=0=\mu(\hat 0, bbb), \mu(\hat 0, w)=-1 \text{ for all } w\notin \{aaa, bbb\}.
\]
 Hence the M{\"o}bius number of the rank-selected subposet of all words is $-5,$ and from Theorem~\ref{rank-deletion} the $S_2$-representation on homology is $3\, S_{(2)}\oplus 2 \, S_{(1,1)}.$ The order complex is a wedge of 5 one-dimensional spheres.
 
 Now consider the corresponding rank-selected subposet of normal words:
 there are only two normal words of length 3, namely $aba, bab$ and hence the M{\"o}bius number of the rank-selected subposet of normal words is $-1,$ with trivial homology representation. The order complex is a one-dimensional sphere.
 \end{exam}
 
 \begin{exam}
 More generally, let $S$ be the rank-set $[2,k]$, and consider the posets $A_{2,k}(S)$ and $N_{2,k}(S)$ obtained by deleting the atoms. Then by Theorem~\ref{rank-deletion} the homology of $A_{2,k}(S)$ is 
 $ (k-1)S_{(1^2)}^{\otimes k} +k S_{(2)},$
 while the homology of the normal word subposet $N_{2,k}(S)$ is seen to be 
 $S_{(1^2)}^{\otimes k},$ which is either the trivial or the sign module, depending on the parity of $k.$ 
 \end{exam}
 \begin{rema}
 In fact it is easy to see that $N_{2,k}$ is the ordinal sum~\cite{St3EC1} of $k$ copies of an antichain of size 2, with a bottom and top element attached. Hence for any subset $T$ of $[1,k]$, there is an $S_2$-equivariant poset isomorphism between $N_{2,k}(T)$ and $N_{2,|T|}.$ Since the $S_n$-homology of $N_{2,k}$ is easily seen to be the 
 $k$-fold tensor power of the sign representation, 
 this determines $\tilde{H}(N_{2,k}(T))$ for all rank-sets $T.$
 %
 Also, $S_2$ acts on the chains of any rank-selected subposet $N_{2,k}(T)$ like $2^{|T|-1}$ copies of the regular representation of $S_2,$ since the $2^k$ chains of $N_{2,k}$ break up into orbits of size 2.
 \end{rema}
 
 Recall from~\cite{St3EC1} that a finite graded poset $P$ with $\hat 0$ and $\hat 1$ is Eulerian if its M{\"o}bius function $\mu_P$ satisfies $\mu(P)=(-1)^{\rank (y)-\rank (x)}$ for all intervals $(x,y)\subseteq (\hat 0, \hat 1).$ 
 It is known that all intervals $(x,y), y\neq \hat 1,$ in $N_{n,k}$ are Eulerian (see \eg  \cite[Exercise~188]{St3EC1}). In fact Bj{\"o}rner and Wachs observed in~\cite{BjWachs} that for a finite alphabet $A=\{a_i: 1\le i\le n\},$ the poset of normal words without the top element
 $N_{n,k}\backslash \{\hat 1\}$ is simply Bruhat order on the Coxeter group with $n$ generators $a_i$ and relations $a_i^2=1.$ Thus by lexicographic shellability~\cite{BjWachsAIM1982}, all intervals $(x,y), y\neq \hat 1$ are homotopy equivalent to a sphere. 
 
 

 In fact this makes $N_{n,k}\backslash \{\hat 1\}$ a $CW$-poset as defined in~\cite{Bj-CW}, and hence its order complex is isomorphic to the face poset of a regular $CW$-complex $\mathcal{K}$~\cite[Proposition~3.1]{Bj-CW}. It is easy to see from the definitions that if a finite group $G$ acts on a $CW$-poset $P$, then there is a $G$-module isomorphism between the $j$th Whitney homology $W\!H_j(P)$ and the $G$-action on the $(j-1)$-cells of the associated 
 $CW$-complex $\mathcal{K}(P)$, which are simply the elements of $P$ at rank $j$. This provides another explanation for the observation of Proposition~\ref{WHnormal}.
 
 An EL-labelling of the dual poset of normal (or Smirnov) words appears in~\cite{TiansiLi}. In~\cite{LiSu} the program of the present paper is carried out for the subposet of Smirnov words.


\longthanks{The author is grateful to the anonymous reviewers for their detailed and valuable comments.}


\renewcommand\l{\oldl} 

\bibliographystyle{amsplain-ac}
\bibliography{ALCO_Sundaram_474}

\end{document}

 
