Georgia Institute of Technology College of Sciences

If a finite group $G$ acts on a Cohen-Macaulay ring $A$, and the order of $G$ is a unit in $A$, then the invariant ring $A^G$ is Cohen-Macaulay as well, by the Hochster-Eagon theorem. On the other hand, if the order of $G$ is not a unit in $A$ then the Cohen-Macaulayness of $A^G$ is a delicate question that has attracted research attention over the last several decades, with answers in several special cases but little general theory. In this talk we show that the statement that $A^G$ is Cohen-Macaulay is equivalent to a statement quantified over the inertia groups for the action of G$ on $A$ acting on strict henselizations of appropriate localizations of $A$. In a case of long-standing interest—a permutation group acting on a polynomial ring—we show how this can be applied to find an obstruction to Cohen-Macaulayness that allows us to completely characterize the permutation groups whose invariant ring is Cohen-Macaulay regardless of the ground field. This is joint work with Sophie Marques.

Let X be a degree d curve in the projective space P^r.

A general hyperplane H intersects X at d distinct points; varying H defines a monodromy action on X∩H. The resulting permutation group G is the sectional monodromy group of X. When the ground field has characteristic zero the group G is known to be the full symmetric group.

By work of Harris, if G contains the alternating group, then X satisfies a strengthened Castelnuovo's inequality (relating the degree and the genus of X).

The talk is concerned with sectional monodromy groups in positive characteristic. I will describe all non-strange non-degenerate curves in projective spaces of dimension r>2 for which G is not symmetric or alternating. For a particular family of plane curves, I will compute the sectional monodromy groups and thus answer an old question on Galois groups of generic trinomials.