Some applications of coincidence theory
type: Item
instance of: scholarly article
title: Some applications of coincidence theory
zbMATH Open document ID: 0835.55003
DOI: 10.1007/BF02567985
author: Edson de Oliveira
published in: Manuscripta Mathematica
publication date: 1995-04-03T00:00:00Z
full work available at URL: https://eudml.org/doc/156045
review text: The author considers a closed connected oriented \(n\)-manifold such that the rational singular cohomology \(H^* (M; \mathbb{Q})\) has a simple system of generators, i.e., there are \(x_1, \dots, x_\lambda \in H^* (M; \mathbb{Q})\) such that the graded \(\mathbb{Q}\)-vector space \(H^*(M; \mathbb{Q})\) has a basis consisting of \(1 \in H^0 (M; \mathbb{Q})\) and all monomials \(x_{j_1} \cup x_{j_2} \cup \cdots \cup x_{j_m}\) with \(1 \leq j_1 < \cdots < j_m \leq \lambda\). Let then \(f, g : M \to M\) be maps and reorder the generators \(x_1, \dots,x_\lambda\) as \(\alpha_1, \dots, \alpha_r\), \(\beta_1, \dots, \beta_s\) with \(r + s = \lambda\) such that the \(\alpha_i\) are of odd degree and the \(\beta_i\) are of even degree. For \(i = 1, \dots, r\) write \(f^* (\alpha_i) = \sum^r_{j = 1} a_{ji} \alpha_j + L_1\) where \(L_1\) contains the monomials of degree greater than one and similarly \(f^* (\beta_i) = \sum^s_{j = 1} \widehat {a}_{ji} \beta_j + L_1\), \(g^* (\alpha_i) = \sum^r_{j = 1} b_{ji} \alpha_j + L_1\) and \(g^* (\beta_i) = \sum^s_{j = 1} \widehat {b}_{ji} + L_1\). Denote by \(A\) and \(B\) the \((r,r)\)-matrices \((a_{ji})\) and \((b_{ij})\) and by \(\widehat {A}\) and \(\widehat {B}\) the \((s,s)\)-matrices \((\widehat {a}_{ij})\) and \((\widehat {b}_{ij})\). The author derives the following surprising formula for the Lefschetz coincidence number of \(f\) and \(g\): \(\Lambda(f, g) = \Phi (\widehat {B} + \widehat {A}) \text{det} (B - A)\) where, for a square \((n, n)\)-matrix \(C\), \(\Phi(C) = \sum c_{1\sigma(1)} \dots c_{n \sigma(n)}\) denotes the permanent of \(C\) (summation being over all permutations \(\sigma\) of \(\{1, \dots, n\})\). If \(M\) is in addition an \(H\)-manifold (i.e., there is an \(e \in M\) and a map \(m : M \times M \to M\) such that \(m(\cdot, e) = m(e,\cdot) = \text{id})\), let \(m_0 (x) = e\) and \(m_k(x) = m(x, m_{k - 1} (x))\). Let \(k - s > 1\). A primitive root of \(\text{Coinc} (m_k, m_s)\) is an \(x\in M\) such that \(m_…
Mathematics Subject Classification ID: 55M20
Mathematics Subject Classification ID: 57T25
Mathematics Subject Classification ID: 57N65
zbMATH DE Number: 733198
zbMATH Keywords: \(H\)-space
zbMATH Keywords: multiplication
zbMATH Keywords: connected oriented \(n\)-manifold
zbMATH Keywords: rational singular cohomology
zbMATH Keywords: Lefschetz coincidence number
zbMATH Keywords: primitive root
zbMATH Keywords: number of cyclic subgroups
zbMATH Keywords: fundamental group
reviewed by: Christian Fenske
MaRDI profile type: Publication
cites work: On maps with identical fixed point sets
cites work: Divisible H-Spaces
cites work: Primitive Roots of Unity in H-Manifolds
cites work: On a coincidence theorem of F. B. Fuller
cites work: Lectures on Nielsen fixed point theory
OpenAlex ID: W2016621104
description: scientific article; zbMATH DE number 733198