Source author record

H. E. A. Campbell

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.AC math.AG

Catalog footprint

Research overview

2works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2013arXiv

The Second Main Theorem Vector for the modular regular representation of $C_2$

We study the ring of invariants for a finite dimensional representation $V$ of the group $C_2$ of order 2 in characteristic $2$ . Let $σ$ denote a generator of $C_2$ and $\{x_1,y_1 \dots, x_m,y_m\}$ a basis of $V^*$ . Then $σ(x_i) = x_i$ , and $σ(y_i) = y_i + x_i$ . To our knowledge, this ring (for any prime $p$ ) was first studied by David Richman in 1990. He gave a first main theorem for $(V_2, C_2)$ , that is, he proved that the ring of invariants when $p=2$ is generated by $\{x_i, N_i = y_i^2 + x_iy_i, tr(A) | 2 \le |A| \le m\}$ where $A \subset \{0,1\}^m$ , $y^A = y_1^{a_1} y_2^{a_2} \cdots y_m^{a_m}$ and $tr(A) = y^A + (y_1+x_1)^{a_1}(y_2+x_2)^{a_2} \cdots (y_m+x_m)^{a_m}.$ In this paper, we prove the second main theorem for $(V_2, C_2)$ , that is, we show that all relations between these generators are generated by relations of type I: $\sum_{I \subset A } x^I tr(A-I)$ and of type II: $tr(A) tr(B) = \sum_{L < I} x^{I-L} N^L tr(I-L+J+K) + N^I \sum_{L < J} x^{J-L} tr(L+K)$ for all $m$ . We also derive relations of type III which are simpler and can be used in place of the relations of type II.

preprint2012arXiv

Rings of invariants for modular representations of elementary abelian p-groups

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of a two dimensional representation; these rings are hypersurfaces. We compute the ring of invariants for all three dimensional representations of rank at most three; these rings are complete intersections with embedding dimension at most five. We conjecture that the ring of invariants for any three dimensional representation of an elementary abelian p-group is a complete intersection.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

H. E. A. Campbell

Research overview

Is this your work?

2 publications

The Second Main Theorem Vector for the modular regular representation of $C_2$

Rings of invariants for modular representations of elementary abelian p-groups

See the researcher in context

Building this map preview

H. E. A. Campbell

Research overview

Is this your work?

2 publications

The Second Main Theorem Vector for the modular regular representation of C2C_2C2​

Rings of invariants for modular representations of elementary abelian p-groups

See the researcher in context

Building this map preview

The Second Main Theorem Vector for the modular regular representation of $C_2$