Results 1  10
of
65
Representationtheoretic support spaces for finite group schemes
 American Journal of Math
"... Abstract. We introduce the space P (G) of abelian ppoints of a finite group scheme over an algebraically closed field of characteristic p> 0. We construct a homeomorphism ΨG: P (G) → Proj G  from P (G) to the projectivization of the cohomology variety for any finite group G. For an elementary ..."
Abstract

Cited by 33 (12 self)
 Add to MetaCart
Abstract. We introduce the space P (G) of abelian ppoints of a finite group scheme over an algebraically closed field of characteristic p> 0. We construct a homeomorphism ΨG: P (G) → Proj G  from P (G) to the projectivization of the cohomology variety for any finite group G. For an elementary abelian pgroup (respectively, an infinitesimal group scheme), P (G) can be identified with the projectivization of the variety of cyclic shifted subgroups (resp., variety of 1parameter subgroups). For a finite dimensional Gmodule M, ΨG restricts to a homeomorphism P (G)M → Proj GM, thereby giving a representationtheoretic interpretation of the cohomological support variety. Even though the cohomology groups H i (G, k) of a finite group are typically difficult to compute, D. Quillen in his seminal papers [17] gave a general description of the maximal ideal spectrum G  of the commutative kalgebra H ev (G, k) in terms
Πsupports for modules for finite group schemes
"... Abstract. We introduce the space Π(G) of equivalence classes of πpoints of a finite group scheme G, and associate a subspace Π(G)M to any Gmodule M. Our results extend to arbitrary finite group schemes G over arbitrary fields k of positive characteristic and to arbitrarily large Gmodules the basi ..."
Abstract

Cited by 26 (8 self)
 Add to MetaCart
(Show Context)
Abstract. We introduce the space Π(G) of equivalence classes of πpoints of a finite group scheme G, and associate a subspace Π(G)M to any Gmodule M. Our results extend to arbitrary finite group schemes G over arbitrary fields k of positive characteristic and to arbitrarily large Gmodules the basic results about “cohomological support varieties ” and their interpretation in terms of representation theory. In particular, we prove that the projectivity of any (possibly infinite dimensional) Gmodule can be detected by its restriction along πpoints of G. Unlike the cohomological support variety of a Gmodule M, the invariant M ↦ → Π(G)M satisfies good properties for all modules, thereby enabling us to determine the thick, tensorideal subcategories of the stable
Nilpotent commuting varieties of reductive Lie algebras
, 2003
"... Let G be a connected reductive algebraic group over an algebraically closed field k of characteristic p ≥ 0, and g = LieG. In positive characteristic, suppose in addition that p is good for G and the derived subgroup of G is simply connected. Let N = N(g) denote the nilpotent variety of g, and C nil ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
(Show Context)
Let G be a connected reductive algebraic group over an algebraically closed field k of characteristic p ≥ 0, and g = LieG. In positive characteristic, suppose in addition that p is good for G and the derived subgroup of G is simply connected. Let N = N(g) denote the nilpotent variety of g, and C nil (g): = {(x, y) ∈ N × N  [x, y] = 0}, the nilpotent commuting variety of g. Our main goal in this paper is to show that the variety C nil (g) is equidimensional. In characteristic 0, this confirms a conjecture of Vladimir Baranovsky; see [2]. When applied to GL(n), our result in conjunction with an observation in [2] shows that the punctual (local) Hilbert scheme Hn ⊂ Hilb n (P 2) is irreducible over any algebraically closed field.
Abelian unipotent subgroups of reductive groups
 J. Pure Appl. Algebra
"... ABSTRACT. Let G be a connected reductive group defined over an algebraically closed field k of characteristic p> 0. The purpose of this paper is twofold. First, when p is a good prime, we give a new proof of the “order formula ” of D. Testerman for unipotent elements in G; moreover, we show that ..."
Abstract

Cited by 23 (4 self)
 Add to MetaCart
(Show Context)
ABSTRACT. Let G be a connected reductive group defined over an algebraically closed field k of characteristic p> 0. The purpose of this paper is twofold. First, when p is a good prime, we give a new proof of the “order formula ” of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the pnilpotence degree of the corresponding nilpotent elements in the Lie algebra g of G. Second, if X is a pnilpotent element (an element of pnilpotence degree 1) in g, we show that G always has a representation V for which the exponential homomorphism Ga → GL(V) determined by X factors through the action of G. This property permits a simplification of the description given by Suslin, Friedlander, and Bendel of the (even) cohomology ring for the higher Frobenius kernels Gd, d ≥ 2. 1.
Cohomology of quantum groups via the geometry of the nullcone
, 2007
"... Let ζ be a complex ℓth root of unity for an odd integer ℓ> 1. For any complex simple Lie algebra g, let uζ = uζ(g) be the associated “small ” quantum enveloping algebra. This algebra is a finite dimensional Hopf algebra which can be realized as a subalgebra of the Lusztig (divided power) quantu ..."
Abstract

Cited by 18 (4 self)
 Add to MetaCart
Let ζ be a complex ℓth root of unity for an odd integer ℓ> 1. For any complex simple Lie algebra g, let uζ = uζ(g) be the associated “small ” quantum enveloping algebra. This algebra is a finite dimensional Hopf algebra which can be realized as a subalgebra of the Lusztig (divided power) quantum enveloping algebra Uζ and as a quotient algebra of the De Concini–Kac quantum enveloping algebra Uζ. It plays an important role in the representation theories of both Uζ and Uζ in a way analogous to that played by the restricted enveloping algebra u of a reductive group G in positive characteristic p with respect to its distribution and enveloping algebras. In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when l (resp., p) is smaller than the Coxeter number h of the underlying root system. For example, Lusztig’s Conjecture concerning the irreducible modules can only be formulated when p ≥ h. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra H • (uζ, C) of the small quantum group. When ℓ> h, this cohomology algebra has been calculated by Ginzburg and Kumar [GK]. Our result requires powerful tools from complex geometry and a detailed knowledge of the geometry of the nullcone of g. In this way, the methods point out difficulties present in obtaining similar results for the restricted enveloping algebra u in small characteristics, though they do provide some clarification of known results there also. Finally, we establish that if M is a finite dimensional uζmodule, then H • (uζ, M) is a finitely generated H • (uζ, C)module, and we obtain new results on the theory of support varieties for uζ.
On Cocommutative Hopf Algebras Of Finite Representation Type
 Universitat Bielefeld, SFB Preprint
"... Let G be a finite algebraic group, defined over an algebraically closed field k of characteristic p ? 0. Such a group decomposes into a semidirect product G = G 0 \Theta G red with a constant group G red and a normal infinitesimal subgroup G 0 . If the principal block B 0 (G) of the group alge ..."
Abstract

Cited by 17 (11 self)
 Add to MetaCart
(Show Context)
Let G be a finite algebraic group, defined over an algebraically closed field k of characteristic p ? 0. Such a group decomposes into a semidirect product G = G 0 \Theta G red with a constant group G red and a normal infinitesimal subgroup G 0 . If the principal block B 0 (G) of the group algebra H(G) has finite representation type, then both constituents have the same property, with at least one of them being semisimple. We determine the structure of the infinitesimal constituent G 0 up to the classification of Vuniserial groups. 0. Introduction This paper is concerned with the representation theory of finitedimensional cocommutative Hopf algebras over algebraically closed fields of positive characteristic. As is wellknown, such an algebra can be viewed as the group algebra of a finite algebraic kgroup G. Special cases are the Hopf algebras associated to constant groups, i.e., the modular group algebras, as well as those of the infinitesimal groups of height 1, that is, ...
VARIETIES FOR MODULES OF QUANTUM ELEMENTARY ABELIAN GROUPS
"... Abstract. We define a rank variety for a module of a noncocommutative Hopf algebra A = Λ ⋊ G where Λ = k[X1,..., Xm]/(X ℓ 1,..., X ℓ m), G = (Z/ℓZ) m, and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a ..."
Abstract

Cited by 17 (6 self)
 Add to MetaCart
(Show Context)
Abstract. We define a rank variety for a module of a noncocommutative Hopf algebra A = Λ ⋊ G where Λ = k[X1,..., Xm]/(X ℓ 1,..., X ℓ m), G = (Z/ℓZ) m, and char k does not divide ℓ, in terms of certain subalgebras of A playing the role of “cyclic shifted subgroups”. We show that the rank variety of a finitely generated module M is homeomorphic to the support variety of M defined in terms of the action of the cohomology algebra of A. As an application we derive a theory of rank varieties for the algebra Λ. When ℓ = 2, rank varieties for Λmodules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for Λmodules coincide with those of Erdmann and Holloway. 1.
BIFUNCTOR COHOMOLOGY AND COHOMOLOGICAL FINITE GENERATION FOR REDUCTIVE GROUPS
, 2010
"... Let G be a reductive linear algebraic group over a field k.LetA be a finitely generated commutative kalgebra on which G acts rationally by kalgebra automorphisms. Invariant theory states that the ring of invariants A G = H 0 (G, A) is finitely generated. We show that in fact the full cohomology ri ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
Let G be a reductive linear algebraic group over a field k.LetA be a finitely generated commutative kalgebra on which G acts rationally by kalgebra automorphisms. Invariant theory states that the ring of invariants A G = H 0 (G, A) is finitely generated. We show that in fact the full cohomology ring H ∗ (G, A) is finitely generated. The proof is based on the strict polynomial bifunctor cohomology classes constructed in [22]. We also continue the study of bifunctor cohomology of Ɣ ∗ (gl (1)).