Related papers: Rational, Replacement, and Local Invariants of a G…

Roberts, Freudenburg, and Daigle and Freudenburg have given the smallest counterexamples to Hilbert's fourteenth problem as rings of invariants of algebraic groups. Each is of an action of the additive group on a finite dimensional vector…

The main purpose of this paper is to develop new algorithms for computing invariant rings in a general setting. This includes invariants of nonreductive groups but also of groups acting on algebras over certain rings. In particular, we…

We study degree bounds on rational but not necessarily polynomial generators for the field $\mathbf{k}(V)^G$ of rational invariants of a linear action of a finite abelian group. We show that lattice-theoretic methods used recently by the…

We introduce equivariant versions of uniform rationality: given an algebraic group G, a G-variety is called G-uniformly rational (resp. G-linearly uniformly rational) if every point has a G-invariant open neighborhood equivariantly…

This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic…

A constructive modification of the moving frame method is developed in this paper for the construction of relative invariants of regular Lie group actions. Let a relative invariant $I$ of weight $\omega$ transform according to the rule $$…

In a recent paper Seiberg and Witten have argued that the full action describing the dynamics of coincident branes in the weak coupling regime is invariant under a specific field redefinition, which replaces the group of ordinary gauge…

We construct natural symbolic representations of intrinsically ergodic, but not necessarily expansive, principal algebraic actions of countably infinite amenable groups and use these representations to find explicit generating partitions…

We study the actions of a Lie group $G$ by birationally extendible automorphisms on a domain $D\subset C^n$. For a large class of such domains defined by polynomial inequalities, all automorphisms are of this type. In the cases 1) $G$ has…

Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consistently produce correct results during execution.…

Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We…

We study the invariant algebraic D-modules on an affine variety under the action of an algebraic group.For linear algebraic groups with the multiplication action by themselves, such D-modules correspond to representations of their Lie…

We explore orbits, rational invariant functions, and quotients of the natural actions of connected, not necessarily finite dimensional subgroups of the automorphism groups of irreducible algebraic varieties. The applications of the results…

Given n polynomials in n variables with a finite number of complex roots, for any of their roots there is a local residue operator assigning a complex number to any polynomial. This is an algebraic, but generally not rational, function of…

In this series of papers, we propose a theory of enumerative invariants counting self-dual objects in self-dual categories. Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL}…

We present a new algorithm to decompose generic spinor polynomials into linear factors. Spinor polynomials are certain polynomials with coefficients in the geometric algebra of dimension three that parametrize rational conformal motions.…

A theorem of Gerald Schwarz [24, Thm. 1] says that for a linear action of a compact Lie group $G$ on a finite dimensional real vector space $V$ any smooth $G$-invariant function on $V$ can be written as a composite with the Hilbert map. We…

In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group $\mathrm{O}_3$ on the space $\mathbb{R}[x,y,z]_{2d}$ of ternary forms of even degree $2d$. The construction…

We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…

Let $k$ be a field, let $G$ be a reductive group, and let $V$ be a linear representation of $G$. Let $V//G = Spec(Sym(V^*))^G$ denote the geometric quotient and let $\pi: V \to V//G$ denote the quotient map. Arithmetic invariant theory…