2007•Geometry and topology monographsOpen access

Evens norm, transfers and characteristic classes for extraspecial p–groups

Minh Phạm

Open full text 0 citations

Abstract

Let P be the extraspecial p-group of order p^{2n+1}, of p-rank n+1, and of exponent p if p>2. Let Z be the center of P and let kappa_{n,r} be the characteristic classes of degree 2^n - 2^r (resp. 2(p^n-p^r)) for p=2 (resp. p>2), 0 <= r <= n-1, of a degree p^n faithful irreducible representation of P. It is known that, modulo nilradical, the iotath powers of the kappa_{n,r}'s belong to T=Im(inf: H^*(P/Z,F_p)/sqrt{0} --> H^*(P,F_p)/sqrt{0}), with iota= 1 if p=2, iota= p if p>2. We obtain formulae in H^*(P,F_p)/sqrt{0} relating the kappa_{n,r}^iota terms to the ones of fewer variables. For p>2 and for a given sequence r_0,...,r_{n-1} of non-negative integers, we also prove that, modulo-nilradical, the element prod_{r_i}kappa^{r_i}_{n,i} belongs to T if and only if either r_0 >= 2, or all the r_i are multiple of p. This gives the determination of the subring of invariants of the symplectic group Sp_{2n}(F_p) in T.

Open-access reader

About this research paper

What this paper is about

Let P be the extraspecial p-group of order p^{2n+1}, of p-rank n+1, and of exponent p if p>2. Let Z be the center of P and let kappa_{n,r} be the characteristic classes of degree 2^n - 2^r (resp. 2(p^n-p^r)) for p=2 (resp. p>2), 0 <= r <= n-1, of a degree p^n faithful irreducible representation of P. It is known that, modulo nilradical, the iotath powers of the kappa_{n,r}'s belong to T=Im(inf: H^*(P/Z,F_p)/sqrt{0} --> H^*(P,F_p)/sqrt{0}), with iota= 1 if p=2, iota= p if p>2. We obtain formulae in H^*(P,F_p)/sqrt{0} relating the kappa_{n,r}^iota terms to the ones of fewer variables. For p>2 and for a given sequence r_0,...,r_{n-1} of non-negative integers, we also prove that, modulo-nilradical, the element prod_{r_i}kappa^{r_i}_{n,i} belongs to T if and only if either r_0 >= 2, or all the r_i are multiple of p. This gives the determination of the subring of invariants of the symplectic group Sp_{2n}(F_p) in T.

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Let P be the extraspecial p-group of order p^{2n+1}, of p-rank n+1, and of exponent p if p>2. Let Z be the center of P and let kappa_{n,r} be the characteristic classes of degree 2^n - 2^r (resp. 2(p^n-p^r)) for p=2 (resp. p>2), 0 <= r <= n-1, of a degree p^n faithful irreducible representation of P. It is known that, modulo nilradical, the iotath powers of the kappa_{n,r}'s belong to T=Im(inf: H^*(P/Z,F_p)/sqrt{0} --> H^*(P,F_p)/sqrt{0}), with iota= 1 if p=2, iota= p if p>2. We obtain formulae in H^*(P,F_p)/sqrt{0} relating the kappa_{n,r}^iota terms to the ones of fewer variables. For p>2 and for a given sequence r_0,...,r_{n-1} of non-negative integers, we also prove that, modulo-nilradical, the element prod_{r_i}kappa^{r_i}_{n,i} belongs to T if and only if either r_0 >= 2, or all the r_i are multiple of p. This gives the determination of the subring of invariants of the symplectic group Sp_{2n}(F_p) in T.

Key concepts: Norm (philosophy), Mathematics, Computer science, Combinatorics, Mathematical economics, Discrete mathematics, Algebra over a field, Pure mathematics

Related papers

Back to paper searchBrowse research topicsOriginal source
Evens norm, transfers and characteristic classes for extraspecial p–groups — Research Paper | ScholarLens