Group actions on Poincaré duality algebras and Lefschetz properties (Q2341553)

Let \(G\) be a finite group acting by degree preserving homomorphisms on a Poincaré duality algebra \(A\) over a field \(\mathbb{F}\). The paper is devoted to the study of the fixed subalgebra \(A^G\). The main result of this manuscript is Proposition 1 which states that if the order of \(G\) is not divisible by the characteristic of the field (the so-called non-modular case) and \(G\) fixes a fundamental class of \(A\), then \(A^G\) is also a Poincaré duality algebra with the same formal dimension as \(A\). Then several corollaries are derived from this result, where the author investigates: {\parindent=6mm \begin{itemize}\item[1.] The strong Lefschetz property of \(A^G\). It is proved, again in the non-modular case, that if \(G\) fixes a strong Lefschetz element \(L\) of degree one, then \(A^G\) is a Poincaré duality algebra with the strong Lefschetz property and \(L\in A_1^G\) is a strong Lefschetz element for it. \item[2.] The \(n\)-th symmetric power of \(A\), showing that it is a Poincaré duality algebra if \(n!\) is invertible in \(\mathbb{F}\). \item[3.] The case when \(A\) is also a coinvariant algebra \(\mathbb{F}[V]_H\), where \(H\) and \(G\) are subgroups of \(\mathrm{GL}(n,\mathbb{F})\) and \(G\) is contained in the normalizer of \(H\). It is shown that if the order of \(G\) is invertible in \(\mathbb{F}\), then the invariant ring \(\left( \mathbb{F}[V]_H\right)^G\) is a Poincaré duality algebra and, moreover, if \(\mathbb{F}[V]_H\) has a strong Lefschetz element fixed by \(G\) then \(\left( \mathbb{F}[V]_H\right)^G\) has the strong Lefschetz property. \end{itemize}} In Corollary 5 we see that \(A^G\) has the strong Lefschetz property when \(A\) is an Artinian algebra. Thus showing that neither \(A\) nor \(A^G\) need to be a Poincaré duality algebra in order for \(A^G\) to have the strong Lefschetz property. Finally, it is worth mentioning Example 2 since this shows that \(A^G\) is not a Poincaré duality algebra if the order of \(G\) is not invertible in \(\mathbb{F}\).