3,589 research outputs found
Explicit separating invariants for cyclic p-groups
Cataloged from PDF version of article.We consider a finite-dimensional indecomposable modular representation of a cyclic p-group 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. Meanwhile, an explicit generating set for the invariant ring is known only in a handful of cases for these representations. © 2010 Elsevier Inc. All rights reserved
Invariants of the dihedral group in characteristic two
We consider finite dimensional representations of the dihedral group
over an algebraically closed field of characteristic two where is an odd
integer and study the degrees of generating and separating polynomials in the
corresponding ring of invariants. We give an upper bound for the degrees of the
polynomials in a minimal generating set that does not depend on when the
dimension of the representation is sufficiently large. We also show that
is the minimal number such that the invariants up to that degree always form a
separating set. As well, we give an explicit description of a separating set
when is prime.Comment: 7 page
Degree bounds for separating invariants
If V is a representation of a linear algebraic group G, a set S of
G-invariant regular functions on V is called separating if the following holds:
If two elements v,v' from V can be separated by an invariant function, then
there is an f from S such that f(v) is different from f(v'). It is known that
there always exist finite separating sets. Moreover, if the group G is finite,
then the invariant functions of degree <= |G| form a separating set. We show
that for a non-finite linear algebraic group G such an upper bound for the
degrees of a separating set does not exist. If G is finite, we define b(G) to
be the minimal number d such that for every G-module V there is a separating
set of degree less or equal to d. We show that for a subgroup H of G we have
b(H) <= b(G) <= [G:H] b(H) in case H is normal.
Moreover, we calculate b(G) for some specific finite groups.Comment: 11 page
The Noether number of the non-abelian group of order 3p
It is proven that for any representation over a field of characteristic 0 of
the non-abelian semidirect product of a cyclic group of prime order p and the
group of order 3 the corresponding algebra of polynomial invariants is
generated by elements of degree at most p+2. We also determine the exact degree
bound for any separating system of the polynomial invariants of any
representation of this group in characteristic not dividing 3p.Comment: 12 page
On the generalized Davenport constant and the Noether number
Known results on the generalized Davenport constant related to zero-sum
sequences over a finite abelian group are extended to the generalized Noether
number related to the rings of polynomial invariants of an arbitrary finite
group. An improved general upper bound is given on the degrees of polynomial
invariants of a non-cyclic finite group which cut out the zero vector.Comment: 14 page
On a theorem of Kontsevich
In two seminal papers M. Kontsevich introduced graph homology as a tool to
compute the homology of three infinite dimensional Lie algebras, associated to
the three operads `commutative,' `associative' and `Lie.' We generalize his
theorem to all cyclic operads, in the process giving a more careful treatment
of the construction than in Kontsevich's original papers. We also give a more
explicit treatment of the isomorphisms of graph homologies with the homology of
moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations
on chain complexes of graphs', Mathematische Annalen, 327 (2003) 545-573] we
defined a Lie bracket and cobracket on the commutative graph complex, which was
extended in [James Conant, `Fusion and fission in graph complexes', Pac. J. 209
(2003), 219-230] to the case of all cyclic operads. These operations form a Lie
bi-algebra on a natural subcomplex. We show that in the associative and Lie
cases the subcomplex on which the bi-algebra structure exists carries all of
the homology, and we explain why the subcomplex in the commutative case does
not.Comment: Published by Algebraic and Geometric Topology at
http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-42.abs.htm
- …