相关论文: A birational invariant for algebraic group actions

We describe a significant update to the existing InvariantRing package for Macaulay2. In addition to expanding and improving the methods of the existing package for actions of finite groups, the updated package adds functionality for…

In this paper, we present an explicit formula for the Baer invariant of a finitely generated abelian group with respect to the variety of polynilpotent groups of class row $(c_1,...,c_t)$, ${\cal N}_{c_1,...,c_t}$. In particular, one can…

This paper develops some general results about actions of finite groups on (infinite) abelian groups in the finite Morley rank category. They are linked to a range of problems on groups of finite Morley rank discussed in [16]. Crucially,…

This paper is a new contribution to the partial Galois theory of groups. First, given a unital partial action $\alpha_G$ of a finite group $G$ on an algebra $S$ such that $S$ is an $\alpha_G$-partial Galois extension of $S^{\alpha_G}$ and a…

We apply a novel method for the equivalence group and its infinitesimal generators to the investigation of invariants of linear ordinary differential equations. First, a comparative study of this method is illustrated by an example. Next,…

In the paper the algebra of invariants of the adjoint action of the unitriangular group in the nilradical of a parabolic subalgebra is studied. We set up a conjecture on the structure of the algebra of invariants. The conjecture is proved…

In the past few years, an action of $\mathrm{PGL}_2(\mathbb F_q)$ on the set of irreducible polynomials in $\mathbb F_q[x]$ has been introduced and many questions have been discussed, such as the characterization and number of invariant…

We construct a collection of numerical invariants for approximately transitive (AT) actions (of $\Z$). We use them (sometimes supplemented by other invariants to show that members of various one-parameter families of AT actions are mutually…

We construct invariants of birational maps with values in the Kontsevich--Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure…

We apply the equivariant Burnside group formalism to distinguish linear actions of finite groups, up to equivariant birationality. Our approach is based on De Concini-Procesi models of subspace arrangements.

We calculate the R(G)-algebra structure on the reduced equivariant K-groups of two-dimensional spheres on which a compact Lie group G acts as involutions. In particular, the reduced equivariant K-groups are trivial if G is abelian, which…

We extend the equivariant holomorphic Morse inequalities of circle actions to cases with torus and non-Abelian group actions on holomorphic vector bundles over Kahler manifolds and show the necessity of the Kahler condition. For torus…

For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied…

In this article we review the question of constructing geometric quotients of actions of linear algebraic groups on irreducible varieties over algebraically closed fields of characteristic zero, in the spirit of Mumford's geometric…

We give an analog of Frobenius' theorem about the factorization of the group determinant on the group algebra of finite abelian groups and we extend it into dihedral groups and generalized quaternion groups. Furthermore, we describe the…

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

We prove some formulas relating the inverse of a Cartan matrix with algebraic and geometric invariants of finite group representations.

In this paper we prove that Brou\'{e}'s abelian defect group conjecture is true for the finite odd-dimensional orthogonal groups $\SO_{2n+1}(q)$ at linear primes with $q$ odd. We first make use of the reduction theorem of…

We consider the 2-generated free metabelian associative and Lie algebras over the complex field and the invariants of the dihedral groups of finite order acting on these algebras. In the associative case we find a finite set of generators…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…