Additive relative invariants and the components of a linear free divisor

A 'prehomogeneous vector space' is a rational representation $\rho:G\to\mathrm{GL}(V)$ of a connected complex linear algebraic group $G$ that has a Zariski open orbit $\Omega\subset V$. Mikio Sato showed that the hypersurface components of $D:=V\setminus \Omega$ are related to the rational characters $H\to\mathrm{GL}(\mathbb{C})$ of $H$, an algebraic abelian quotient of $G$. Mimicking this work, we investigate the 'additive functions' of $H$, the homomorphisms $\Phi:H\to (\mathbb{C},+)$. Each such $\Phi$ is related to an 'additive relative invariant', a rational function $h$ on $V$ such that $h\circ \rho(g)-h=\Phi(g)$ on $\Omega$ for all $g\in G$. Such an $h$ is homogeneous of degree $0$, and helps describe the behavior of certain subsets of $D$ under the $G$--action. For those prehomogeneous vector spaces with $D$ a type of hypersurface called a linear free divisor, we prove there are no nontrivial additive functions of $H$, and hence $H$ is an algebraic torus. From this we gain insight into the structure of such representations and prove that the number of irreducible components of $D$ equals the dimension of the abelianization of $G$. For some special cases ($G$ abelian, reductive, or solvable, or $D$ irreducible) we simplify proofs of existing results. We also examine the homotopy groups of $V\setminus D$.Comment: 27 pages. From v1, strengthen results in section 3, improve prose, and update contact informatio

On the rational subset problem for groups

We use language theory to study the rational subset problem for groups and monoids. We show that the decidability of this problem is preserved under graph of groups constructions with finite edge groups. In particular, it passes through free products amalgamated over finite subgroups and HNN extensions with finite associated subgroups. We provide a simple proof of a result of Grunschlag showing that the decidability of this problem is a virtual property. We prove further that the problem is decidable for a direct product of a group G with a monoid M if and only if membership is uniformly decidable for G-automata subsets of M. It follows that a direct product of a free group with any abelian group or commutative monoid has decidable rational subset membership.Comment: 19 page

Foliations for solving equations in groups: free, virtually free, and hyperbolic groups

We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm for solving equations and inequations in hyperbolic groups (maybe with torsion). Additionnally, we can deal with quasi-isometrically embeddable rational constraints.Comment: 70 pages, 7 figures, revised version. To appear in Journal of Topolog