
An isomorphism problem such as the graph isomorphism problem can be formulated as an orbit problem: Given a linear algebraic group G over a field k, a representation V, and two elements v,w ∈ V, do v,w lie in the same Gorbit? For every d we will construct a kcategory C_{d}(V) such that elements in V are objects of C_{d}(V). If two elements v,w ∈ V have the same Gorbit, then v and w are isomorphic objects in C_{d}(V). There exists an efficient algorithm to test whether two objects in C_{d}(V) are isomorphic. Applied to graphs, this yields a polynomial time algorithm which is often able to distinguish nonisomorphic graphs. The algorithm is at least as good as the higherdimensional WeisfeilerLehman algorithm. Cai, Fürer and Immerman constructed graphs that cannot be distinguished in polynomial time with the WeisfeilerLehman method. For k = F_{2}, our algorithm can distinguish these kind of graphs.
Roberts, Freudenburg, and Daigle and Freudenburg have given the smallest counterexamples to Hilbert's fourteenth problem. Each arises as the ring of invariants of an additive group action on a polynomial ring over a field of characteristic zero, and thus, each corresponds to the kernel of a locally nilpotent derivation. In positive characteristic, additive group actions correspond to locally finite iterative higher derivations, a more restrictive notion. We set up characteristicfree analogs of the three examples mentioned above, and show that, contrary to characteristic zero, in every positive characteristic, the invariant rings are finitely generated.
Joint work with Andreas Maurischat.
Suppose G is a finite group acting linearly on a kvector space V and consider the ring of invariants k[V]^{G}. A separating algebra is a subalgebra A of k[V]^{G} with the same orbit separation properties.
There has been much recent interest in separating algebras, as it is often easier to compute generating sets for separating algebras rather than their parent invariant rings. In the nonmodular case, k[V]^{G} is a CohenMacaulay ring, and so the inequality depth(A) ≤ depth(k[V]^{G}) holds trivially for all separating algebras A ⊂ k[V]^{G}. In this talk we will give examples in the modular case where this inequality also holds.
We study G_{a}actions on certain affine varieties V which admit a dominant morphism to affine space A^{n}. In particular, V is a variety whose coordinate ring B is the simple algebraic extension of the polynomial ring R defined by B=R[z], where z^{n} ∈ R for n ≥ 2. In many cases, our methods show either that V admits no nontrivial G_{a}actions, or that the only Z_{n}homogeneous actions are those which lift from A^{n}. Important examples include the Russell cubic threefold X ⊂ A^{4}, defined by x+x^{2}y+z^{2}+t^{3}=0, and the PhamBrieskorn varieties V ⊂ A^{n}, defined by x_{1}^{e1}+…+x_{n}^{en}=0 for integers e_{i} ≥ 2. By studying the locally nilpotent derivations (LNDs) of B=R[z] relative to the affine ring R, we reveal a surprisingly effective general approach to understanding large classes of these varieties. In particular, our work features:
This talk will discuss joint work with Lucy MoserJauslin.
Since Lagrange's seminal work in 1770, resolvent sextics have been used to study the quintic equation. One of the most interesting is the "noteworthy covariant resolvent discovered by Perrin and independently by McClintock" [L. E. Dickson]. We shall discuss the remarkable properties of this resolvent in light of the invariant theory of F_{20}, the Frobenius group of order 20 acting as a group of permutations on five variables, and SL_{2} acting on binary forms.
Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow rapidly with the size of the representation. We instead study "constructible" functions defined by straight line programs in the polynomial ring, with a new "quasiinverse" that computes the inverse of a function where defined.
We write straight line programs defining constructible functions that separate the orbits of G. The number of these programs and their length have polynomial bounds in the parameters of the representation.
For an action of a group G on an Fvector space V, we consider the invariant ring F[V ⊕V^{*}]^{G}. We are particularly interested in the case where V = F_{q}^{n} and G is the group U_{n} of all upper unipotent matrices or the group B_{n} of all invertible upper triangular matrices.
In fact, we determine F[V ⊕V^{*}]^{G} for G = U_{n} and G = B_{n}. The result is a complete intersection for all values of n and q. We get explicit lists of generating invariants and the relations between them. This makes an addition to the rather short list of "doubly parametrized" series of group actions whose invariant rings are known to have a uniform description.
This talk is about joint work with Cédric Bonnafé.
Degree bounds for invariants are an old topic. The Noether bound says that in the nonmodular case, invariants up to degree at most the group order generate the invariant ring. This bound has been sharpened in many ways. Today, many people prefer to consider separating invariants, instead of a full set of generators. This has many advantages. For example, the Noether bound always holds for separating invariants, even in the modular case. The goal of this talk is to give similar sharpenings for the Noether bound for separating invariants, as they exist for generating invariants. One result is that for pgroups in characteristic p, the Noether bound for separating invariants is sharp.
Separating invariants have been studied extensively in the last decade. They have nice properties that generating sets (as an algebra) do not have, especially in the modular case. Nevertheless, many results on separating invariants require that the underlying field should have sufficiently many elements, which seems to be a very natural condition. In this talk, we will restrict our attention only to the case where the underlying field is prime and discuss the problem of finding separating invariants.
We consider a finite dimensional indecomposable modular representation of a cyclic pgroup and we give a recursive description of an associated separating set: We show that a separating set for a representation can be obtained by adding, to a separating set for any subrepresentation, some explicitly defined invariant polynomials.
Suppose that G is a finite group, F is a field and V is finite dimensional representation of G over F. The action of G on V induces an action on the dual V^{*} which extends to an action by algebra automorphisms on the symmetric algebra S : = S(V^{*}). The subring of fixed points, S^{G}, is known as the ring of invariants of V. For fixed G, F, and dim(V), the representations of G can be parameterised by an algebraic variety. I will discuss the resulting parameterisation of invariant rings, using modular representations of elementary abelian pgroups as illustrative examples.
Let C_{p} denote the cyclic group of prime order p. An important problem in modern invariant theory is to compute (generators for) the ring of invariants of a C_{p} representation over a field F of characteristic p. Up until now, this has only been done for a few representations.
The central problem in invariant theory in the nineteenth century and early twentieth century was to compute (generators for) the ring of invariants of a complex representation of SL_{2}(C). Up to one third of the algebra papers published in the 1880's concerned this problem.
In this talk I will describe a surprising connection between these two problems and my recent result which demonstrates that the two problems are equivalent. Using this we are able to use classical results to give generators for many new modular representations of C_{p}.