Is the Luna stratification intrinsic?

The original Novikov conjecture concerns the (oriented) homotopy invariance of higher sig-natures of manifolds and is equivalent to the rational injectivity of the assembly map in surgery theory. The integral injectivity of the assembly map is important for other purposes and is called the integral Novikov conjecture. There are also assembly maps in other theories and hence re-lated Novikov and integral Novikov conjectures. In this paper, we discuss several results on the integral Novikov conjectures for all torsion free arithmetic subgroups of linear algebraic groups and all S-arithmetic subgroups of reductive linear algebraic groups over number fields. For re-ductive linear algebraic groups over function fields of rank 0, the integral Novikov conjecture also holds for all torsion-free S-arithmetic subgroups. Since groups containing torsion elements occur naturally and frequently, we also discuss a generalized integral Novikov conjecture for groups containing torsion elements, and prove it for all arithmetic subgroups of reductive linear algebraic groups over number fields and S-arithmetic subgroups of reductive algebraic groups of rank 0 over function fields. 1

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding. Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$ -module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

An affine algebraic group

On the finite generation of additive group invariants in positive characteristic

Let f̃(X) ∈ ℤ[X] be a degree-n polynomial such that f(X): = f̃(X)od p factorizes into n distinct linear factors over 𝔽_p. We study the problem of deterministically factoring f(X) over 𝔽_p given f̃(X). Under the generalized Riemann hypothesis (GRH), we give an improved deterministic algorithm that computes the complete factorization of f(X) in the case that the Galois group of f̃(X) is (permutation isomorphic to) a linear group G ≤ GL(V) on the set S of roots of f̃(X), where V is a finite-dimensional vector space over a finite field 𝔽 and S is identified with a subset of V. In particular, when |S| = |V|^{Ω(1)}, the algorithm runs in time polynomial in n^{log n/(log log log log n)^{1/3}} and the size of the input, improving Evdokimov’s algorithm. Our result also applies to a general Galois group G when combined with a recent algorithm of the author. 
\nTo prove our main result, we introduce a family of objects called linear m-schemes and reduce the problem of factoring f(X) to a combinatorial problem about these objects. We then apply techniques from additive combinatorics to obtain an improved bound. Our techniques may be of independent interest.

Introduction. Let G1 and G be connected semisimple algebraic groups defined over a field K of characteristic zero and assume that there is an isomorphism f of G1 onto G which is defined over R, the algebraic closure of K. If p: G -? GL(V) is an absolutely irreducible (finite-dimensional) representation of G defined over K, then p of is an absolutely irreducible representation of G1 defined over K. Satake [7, p. 230] has shown that there is a field K1 which is a finite extension of K, a (unique) central simple division algebra K# defined over K1, a finite-dimensional right vector space V1 over K#, and a K1-homomorphism pi: G1 -GL(V1/K#) (the group of all nonsingular K#-linear endomorphisms of V1) such that (p of)(g) = 01(p1(g)) for all g E G1 where 01 is a unique absolutely irreducible representation of End (V1/K#) (the algebra of all K#-linear endomorphisms of V1) onto End (V). In this paper we are interested in the case where K= K1 and where there are invariant forms on V and V1. More precisely, we state the following two problems. PROBLEM 1. Assume that K#=K and that there are invariant bilinear forms B on V and B1 on V1 which are defined over K. What is the relationship between these two forms over K? Of course, if B is alternating, so is B1 and both are determined by dim V=dim V1. Hence, we shall always take B and B1 to be symmetric. PROBLEM 2. Assume that K# is a nontrivial division algebra over K (i.e., K# AK) and that there is an invariant bilinear form B on V and an invariant ?hermitian form F (c = + 1 or 1) on V1 both of which are defined over K. What is the relationship between these two forms over K? We are especially interested in the case K= Q,, a p-adic field. (In a future paper, we shall discuss the case K=R.) Here, some simplifications are immediately available. In Problem 2, it can be shown [7, p. 232] that K# has an involution of the first kind; but over Q,, it is known that the only such division algebra is the quaternion division algebra. Furthermore, it is known that a hermitian form on a finite-dimensional vector space over a quaternion division algebra defined over Q, is determined only by the dimension of the vector space. Therefore, in Problem 2 we shall always take F to be skew-hermitian; in the case where K# is a quaterion division algebra, this means that the form B is symmetric [7, p. 233]. If W is a vector space defined over K and if S is a symmetric form on W which is also defined over K, then three invariants can be associated with the pair (W, S),

In this paper we study twisted conjugacy classes and isogredience classes for automorphisms of reductive linear algebraic groups. We show that reductive linear algebraic groups over some fields of zero characteristic possess the R ∞ ${R_{\infty}}$ and S ∞ ${S_{\infty}}$ properties.

A linear étale representation of a complex algebraic group G is given by a complex algebraic G-module V such that G has a Zariski-open orbit in V and $\dim G=\dim V$ . A current line of research investigates which reductive algebraic groups admit such étale representations, with a focus on understanding common features of étale representations. One source of new examples arises from the classification theory of nilpotent orbits in semisimple Lie algebras. We survey what is known about reductive algebraic groups with étale representations and then discuss two classical constructions for nilpotent orbit classifications due to Vinberg and to Bala and Carter. We determine which reductive groups and étale representations arise in these constructions and we work out in detail the relation between these two constructions.

If G is a connected linear algebraic group over the field k, a Levi factor of G is a reductive complement to the unipotent radical of G. If k has positive characteristic, G may have no Levi factor, or G may have Levi factors which are not geometrically conjugate. In this paper we give some sufficient conditions for the existence and conjugacy of the Levi factors of G. Let $$ \mathcal{A} $$ be a Henselian discrete valuation ring with fractions K and with perfect residue field k of characteristic p > 0. Let G be a connected and reductive algebraic group over K. Bruhat and Tits have associated to G certain smooth $$ \mathcal{A} $$ -group schemes $$ \mathcal{P} $$ whose generic fibers $$ {{\mathcal{P}} \left/ {K} \right.} $$ coincide with G; these are known as parahoric group schemes. The special fiber $$ {{\mathcal{P}} \left/ {K} \right.} $$ of a parahoric group scheme is a linear algebraic group over k. If G splits over an unramified extension of K, we show that $$ {{\mathcal{P}} \left/ {K} \right.} $$ has a Levi factor, and that any two Levi factors of $$ {{\mathcal{P}} \left/ {K} \right.} $$ are geometrically conjugate.

Let V be a finite dimensional vector space over a field of characteristic zero, and denote by Tm (V)the mth tensor power of V. To each partition α of m there corresponds a subspace V(α),of T m(V) called a symmetry class of tensors. With a linear transformation A:V→V there are associated linear transformation Tm (A): Tm (V)→ Tm (V)and A(α):V(α)→ V(α). For A having a single elementary divisor with associated eigenvalue in F, the elementary divisors of A(α) have been known for the classes of symmetric and skesymmetric tensors since the 1930s. In theorem 3 we give the multiplicities of the elementary divisors of A(α), for arbitary α, in terms of the Kostka coefficients which occur in the theory of symmetric function.

Reductive subgroups of reductive groups in nonzero characteristic

Let D be a division ring with the center F and suppose that D* is the multiplicative group of D. D is called centrally finite if D is a finite dimensional vector space over F and D is locally centrally finite if every finite subset of D generates over F a division subring which is a finite dimensional vector space over F. We say that D is a linear division ring if every finite subset of D generates over Fa centrally finite division subring. It is obvious that every locally centrally finite division ring is linear. In this report we show that the inverse is not true by giving an example of a linear division ring which is not locally centrally finite. Further, we give some properties of subgroups in linear division rings. In particular, we show that every finitely generated subnormal subgroup in a linear ring is central. An interesting corollary is obtained as the following: If D is a linear division ring and D* is finitely generated, then D is a finite field.

Let Ik denote the identity matrix of order k and set **-Let SrX&,) denote the group of all complex Ik X k matrices which satisfy the equation gskg' sk.Let be the linear space of all n X 2k complex matrices with k > n, and let S(E*) denote the symmetric algebra of all complex-valued polynomial functions on E. The study of the action of Sp(At,C), which is obtained by right translation on S(E*), leads to a concrete and simple realization of all irreducible holomorphic representations of Sp(k,C).In connection with this realization, a theory of symplectic Stiefel harmonics is also established.This notion may be thought of as a generalization of the spherical harmonics for the symplectic Stiefel manifold. Introduction. Let Ik denote the unit matrix of order k and setLet Sp(zt,C) denote the group of all complex 2k X 2k matrices g satisfying gskg' = sk.If G is a complex Lie group and F is a finite-dimensional complex vector space, then by a holomorphic representation of G in V we mean a complex analytic homomorphism of G into GL(F).The object of this paper is to present, in as simple and explicit a form as possible, a description of all irreducible holomorphic representations (up to equivalence) of the complex linear symplectic group Sp(,C).This realization is obtained by analyzing certain natural actions of Sp(:,C) on a symmetric algebra of polynomial functions of matrix argument.We rely on some general results of S. Helgason [3] and B. Kostant [4] to study this symmetric algebra.The techniques they used to decompose a symmetric algebra of polynomial functions were based on the existence of a symmetric bilinear form defined on this algebra.The situation is somewhat different in the context of our investigation, because

A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, that is, a G-equivariant birational isomorphism over k between the group variety G and its Lie algebra. A Cayley map can be thought of as a partial algebraic analog of the exponential map. A prototypical example is the classical “Cayley transform” for the special orthogonal group SOn defined by Arthur Cayley in 1846. A linear algebraic group G is called stably Cayley if is Cayley for some r≥0. Here denotes the split r-dimensional k-torus. These notions were introduced in 2006 by Lemire, Popov, and Reichstein, who classified Cayley and stably Cayley simple groups over an algebraically closed field of characteristic zero. In this paper, we study reductive Cayley groups over an arbitrary field k of characteristic zero. Our main results are a criterion for a reductive group G to be stably Cayley, formulated in terms of its character lattice, and a classification of stably Cayley simple groups.

Let be a rational finite dimensional complex representation of a reductive linear algebraic group G, and let be a system of generators of the algebra of invariant poly- nomials ℂ[V]G. We study the problem of lifting mappings over the mapping of invariants . Note that ¾(V) can be identified with the cate- gorical quotientV//G and its points correspond bijectively to the closed orbits inV. We prove that if f belongs to a quasianalytic subclass satisfying some mild closedness properties that guarantee resolution of singularities in 𝒞 e.g., the real analytic class, then f admits a lift of the same class 𝒞 after desingularization by local blow-ups and local power substitutions. As a consequence we show that f itself allows for a lift that belongs to SBVloc, i.e., special functions of bounded variation. If ρ is a real representation of a compact Lie group, we obtain stronger versions.