Showing 1–28 of 28 results for author: Friedlander, E

Invariants for $\mathbb G_{(r)}$-modules

Authors: Eric M. Friedlander

Abstract: Following earlier work of C. Bendel, J. Petvsova, P. Sobaje, A. Suslin, and the author, we further investigate refined invariants for finite dimensional representations $M$ of infinitesimal group schemes $\mathbb G$ over a field $k$ of characteristic $p>0$. In particular, we explore invariants of modules for Frobenius kernels $\mathbb G_{(r)}$ of linear algebraic groups $\mathbb G$ of exponential… ▽ More Following earlier work of C. Bendel, J. Petvsova, P. Sobaje, A. Suslin, and the author, we further investigate refined invariants for finite dimensional representations $M$ of infinitesimal group schemes $\mathbb G$ over a field $k$ of characteristic $p>0$. In particular, we explore invariants of modules for Frobenius kernels $\mathbb G_{(r)}$ of linear algebraic groups $\mathbb G$ of exponential type. Such finite group schemes admit a refinement of support theory, including Jordan type functions and constructions of vector bundles for special classes of $\mathbb G_{(r)}$-modules. We reformulate earlier results for $\mathbb G_{(r)}$-modules in terms which are both more explicit and more accessible to computation, yet preserve the usual support theory for $\mathbb G_{(r)}$-modules. △ Less

Submitted 12 May, 2025; originally announced May 2025.

MSC Class: 20G05; 14L17

Infinite dimensional modules for linear algebraic groups

Authors: Eric M. Friedlander

Abstract: We investigate infinite dimensional modules for a linear algebraic group $\mathbb G$ over a field of positive characteristic $p$. For any subcoalgebra $C \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider the abelian subcategory $CoMod(C) \subset Mod(\mathbb G)$ and the left exact functor $(-)_C: Mod(\mathbb G) \to CoMod(C)$ that is right adjoint to the inclusion… ▽ More We investigate infinite dimensional modules for a linear algebraic group $\mathbb G$ over a field of positive characteristic $p$. For any subcoalgebra $C \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider the abelian subcategory $CoMod(C) \subset Mod(\mathbb G)$ and the left exact functor $(-)_C: Mod(\mathbb G) \to CoMod(C)$ that is right adjoint to the inclusion functor. The class of cofinite $\mathbb G$-modules is formulated using finite dimensional subcoalgebras of $\mathcal O(\mathbb G)$ and the new invariant of "cofinite type" is introduced. We are particularly interested in mock injective $\mathbb G$-modules, $\mathbb G$-modules which are not seen by earlier support theories. Various properties of these ghostly $\mathbb G$-modules are established. The stable category $StMock(\mathbb G)$ is introduced, enabling mock injective $\mathbb G$-modules to fit into the framework of tensor triangulated categories. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: This submission replaces arXiv:2305.10921 entitled "Filtrations and growth of G-modules"

Reformulation of the stable Adams conjecture

Authors: Eric M. Friedlander

Abstract: We revisit methods of proof of the Adams Conjecture in order to correct and supplement earlier efforts to prove analogous conjectures in the stable homotopy category. We utilize simplicial schemes over an algebraically closed field of positive characteristic and a rigid version of Artin-Mazur étale homotopy theory. Consideration of special $\mathcal F$-spaces and together with Bousfield-Kan… ▽ More We revisit methods of proof of the Adams Conjecture in order to correct and supplement earlier efforts to prove analogous conjectures in the stable homotopy category. We utilize simplicial schemes over an algebraically closed field of positive characteristic and a rigid version of Artin-Mazur étale homotopy theory. Consideration of special $\mathcal F$-spaces and together with Bousfield-Kan $\mathbb Z/\ell$-completion enables us to employ an "étale functor" which commutes up to homotopy with products of simplicial schemes. In order to prove the Stable Adams Conjecture, we construct the universal $\mathbb Z/\ell$-completed $X$-fibrations for various pointed simplicial sets $X$. Thus, two maps from a given $\mathcal F$-space $\underline{\mathcal B}$ to the base $\mathcal F$-space of the universal $\mathbb Z/\ell$-completed $X$-fibration $π_{X,\ell}: \underline {\mathcal B} (G_\ell(X),X_\ell) \to \underline {\mathcal B} G_\ell(X)$ determine homotopy equivalent maps of spectra if and only they correspond via pull-back of $π_{X,\ell}$ to fiber homotopy equivalent $\mathbb Z/\ell$-completed $X$-fibrations over $\underline {\mathcal B}$. For the proof of the Stable Adams Conjecture, we consider maps of $\mathcal F$-spaces $\underline {\mathcal B }\to \underline {\mathcal B} G_\ell(S^2)$ where $\underline {\mathcal B}$ is an $\mathcal F$-space model of connective $\ell$-completed connective $K$-theory. △ Less

Submitted 29 February, 2024; v1 submitted 22 October, 2023; originally announced October 2023.

Comments: Improved exposition with some corrected formulations

MSC Class: 55N20; 55R15

Filtrations and Growth of $\mathbb G$-modules

Authors: Eric M. Friedlander

Abstract: We investigate infinite dimensional modules for an affine group scheme $\mathbb G$ of finite type over a field of positive characteristic $p$. For any subspace $X \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider the abelian subcategory $Mod(\mathbb G,X) \subset Mod(\mathbb G)$ of ``$X$-comodules" and the left exact functor… ▽ More We investigate infinite dimensional modules for an affine group scheme $\mathbb G$ of finite type over a field of positive characteristic $p$. For any subspace $X \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we consider the abelian subcategory $Mod(\mathbb G,X) \subset Mod(\mathbb G)$ of ``$X$-comodules" and the left exact functor $(-)_X: Mod(\mathbb G) \to Mod(\mathbb G,X)$ which is right adjoint to the inclusion functor. We employ ``ascending converging sequences" $\{ X_i \}$ of subspaces of $\mathcal O(\mathbb G)$ to provide functorial filtrations $\{ M_{X_i }\}$ of each $\mathbb G$-module $M$. A $\mathbb G$-module $M$ is injective if and only if each $M_{X_i}$ is an injective $X_i$-comodule for some (or, equivalently, for all) such $\{ X_i \}$. We consider the explicit ascending converging sequence $ \{ \mathcal O(\mathbb G)_{\leq d,φ} \}$ of finite dimensional subcoalgebras of $\mathcal O(\mathbb G)$ depending upon a closed embedding $φ: \mathbb G \ \hookrightarrow \ GL_N$. Of particular interest to us are mock injective $\mathbb G$-modules, modules whose support varieties are empty. Restrictions of a $\mathbb G$-module to each $\mathcal O(\mathbb G)_{\leq d,φ}$ provide new invariants for $\mathbb G$-modules. For cofinite $\mathbb G$-modules $M$, we explore the the growth of $d \mapsto M_{\cal O(\mathbb G)_{\leq d,φ}}$. △ Less

Submitted 8 February, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: Major changes implemented in this version

MSC Class: 20G05; 20C20; 20G10

Support Varieties and stable categories for algebraic groups

Authors: Eric M. Friedlander

Abstract: We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto Π(\mathbb G)_M$ to $\mathbb G$-modules of the $π$-point support theory for modules $M$ for a finite group scheme $G$ and show that this theory is essentially equivalent to the more "intrinsic" and "explicit" theory… ▽ More We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto Π(\mathbb G)_M$ to $\mathbb G$-modules of the $π$-point support theory for modules $M$ for a finite group scheme $G$ and show that this theory is essentially equivalent to the more "intrinsic" and "explicit" theory $M \mapsto \mathbb P\mathfrak C(\mathbb G)_M$ of supports for an algebraic group of exponential type, a theory which uses 1-parameter subgroups $\mathbb G_a \to \mathbb G$. We extend our support theory to bounded complexes of $\mathbb G$-modules, $C^\bullet \mapsto Π(\mathbb G)_{C^\bullet}$. We introduce the tensor triangulated category $StMod(\mathbb G)$, the Verdier quotient of the bounded derived category $D^b(Mod(\mathbb G))$ by the thick subcategory of mock injective modules. Our support theory satisfies all the standard properties" for a theory of supports for $StMod(\mathbb G)$. As an application, we employ $C^\bullet \mapsto Π(\mathbb G)_{C^\bullet}$ to establish the classification of $(r)$-complete, thick tensor ideals of $stmod(\mathbb G)$ in terms of $stmod(\mathbb G)$-realizable subsets of $Π(\mathbb G)$ and the classification of $(r)$-complete, localizing subcategories of $StMod(\mathbb G)$ in terms of $StMod(\mathbb G)$-realizable subsets of $Π(\mathbb G)$. △ Less

Submitted 23 May, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: This version differs from the original in its organization, formulation of results, and proofs

Support theory for Drinfeld doubles of some infinitesimal group schemes

Authors: Eric M. Friedlander, Cris Negron

Abstract: Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate… ▽ More Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate the Balmer spectrum of the stable category of Z(rep(G)). We also construct a $π$-point style rank variety for the Drinfeld double, identify $π$-point support with cohomological support, and show that both support theories satisfy the tensor product property. Our results hold, more generally, for Drinfeld doubles of Frobenius kernels in any smooth algebraic group which admits a quasi-logarithm, such as a Borel subgroup in a split semisimple group in very good characteristic. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: 44 pages

Journal ref: Alg. Number Th. 17 (2023) 217-260

Support Theory for Extended Drinfeld Doubles

Authors: Eric M. Friedlander

Abstract: Following earlier work with Cris Negron on the cohomology of Drinfeld doubles $D(\mathbb G_{(r)})$, we develop a "geometric theory" of support varieties for "extended Drinfeld doubles" $\tilde D(\mathbb G_{(r)})$ of Frobenius kernels $\mathbb G_{(r)}$ of smooth linear algebraic groups $\mathbb G$ over a field $k$ of characteristic $p > 0$. To a $\tilde D(\mathbb G_{(r)})$-module $M$ we associate t… ▽ More Following earlier work with Cris Negron on the cohomology of Drinfeld doubles $D(\mathbb G_{(r)})$, we develop a "geometric theory" of support varieties for "extended Drinfeld doubles" $\tilde D(\mathbb G_{(r)})$ of Frobenius kernels $\mathbb G_{(r)}$ of smooth linear algebraic groups $\mathbb G$ over a field $k$ of characteristic $p > 0$. To a $\tilde D(\mathbb G_{(r)})$-module $M$ we associate the space $Π(\tilde D(\mathbb G_{(r)}))_M$ of equivalence classes of "pairs of $π$-points" and prove most of the desired properties of $M \mapsto Π(\tilde D(\mathbb G_{(r)}))_M$. Namely, this association satisfies the "tensor product property" and admits a natural continuous map $Ψ_{\tilde D}$ to cohomological support theory. Moreover, for $M$ finite dimensional and with suitable conditions on $\mathbb G_{(r)}$, this association provides a "projectivity test", $Ψ_{\tilde D}$ is a homeomorphism, and identifies $Π(\tilde D(\mathbb G_{(r)}))_M$ with the cohomological support variety of $M$ for various classes of $\tilde D(\mathbb G_{(r)})$-modules $M$. △ Less

Submitted 4 February, 2021; originally announced February 2021.

MSC Class: 16G99; 16S40; 16T05

Geometric Invariants of Representations of Finite Groups

Authors: Eric M. Friedlander

Abstract: J. Pevtsova and the author constructed a ``universal $p$-nilpotent operator" for an infinitesimal group scheme $G$ over a field $k$ of characteristic $p > 0$ which led to coherent sheaves on the scheme of 1-parameter subgroups of $G$ associated to a $G$-module $M$. Of special interest is the fact that these coherent sheaves are vector bundles if $M$ is of constant Jordan type. In this paper, we pr… ▽ More J. Pevtsova and the author constructed a ``universal $p$-nilpotent operator" for an infinitesimal group scheme $G$ over a field $k$ of characteristic $p > 0$ which led to coherent sheaves on the scheme of 1-parameter subgroups of $G$ associated to a $G$-module $M$. Of special interest is the fact that these coherent sheaves are vector bundles if $M$ is of constant Jordan type. In this paper, we provide similar invariants for a finite group $τ$ which recover the invariants earlier obtained for elementary abelian $p$-groups. To do this, we replace the analogue of 1-parameter subgroups by a refined version of equivalence classes of $π$-points for $kτ$. More generally, we provide a construction of vector bundles for the semi-direct product $G\rtimes τ$ of an infinitesimal group scheme $G$ and a finite group $τ$. A major motivation for this study is to further our understanding of the relationship between representations of $\mathbb G(\mathbb F_p)$ and $\mathbb G_{(r)}$ associated to a finite dimensional rational $\mathbb G$-module $M$, where $\mathbb G$ is a reductive group with $r$-th Fobenius kernel $\mathbb G_{(r)}$. Using vector bundles, we extend and sharpen earlier results comparing support varieties. △ Less

Submitted 16 June, 2019; originally announced June 2019.

MSC Class: 20G05; 20C20; 20G10

Many-Server Asymptotics for Join-the-Shortest-Queue: Large Deviations and Rare Events

Authors: Amarjit Budhiraja, Eric Friedlander, Ruoyu Wu

Abstract: The Join-the-Shortest-Queue routing policy is studied in an asymptotic regime where the number of processors $n$ scales with the arrival rate. A large deviation principle (LDP) for the occupancy process is established, as $n\to \infty$, in a suitable infinite-dimensional path space. Model features that present technical challenges include, Markovian dynamics with discontinuous statistics, a dimini… ▽ More The Join-the-Shortest-Queue routing policy is studied in an asymptotic regime where the number of processors $n$ scales with the arrival rate. A large deviation principle (LDP) for the occupancy process is established, as $n\to \infty$, in a suitable infinite-dimensional path space. Model features that present technical challenges include, Markovian dynamics with discontinuous statistics, a diminishing rate property of the transition probability rates, and an infinite-dimensional state space. The difficulty is in the proof of the Laplace lower bound which requires establishing the uniqueness of solutions of certain infinite-dimensional systems of controlled ordinary differential equations. The LDP gives information on the rate of decay of probabilities of various types of rare events associated with the system. We illustrate this by establishing explicit exponential decay rates for probabilities of long queues. In particular, denoting by $E_j^n(T)$ the event that there is at least one queue with $j$ or more jobs at some time instant over $[0,T]$, we show that, in the critical case, for large $n$ and $T$, $\mathbb{P}(E^n_j(T)) \approx \exp\left [-\frac{n (j-2)^2}{4T}\right].$ △ Less

Submitted 17 March, 2020; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 48 pages, 2 figures

MSC Class: 60F10; 90B15; 91B70; 60J75; 34H05

Steady-State Behavior of Some Load Balancing Mechanisms in Cloud Storage Systems

Authors: Eric Friedlander

Abstract: In large storage systems, files are often coded across several servers to improve reliability and retrieval speed. We consider a system of $n$ servers storing files using a Maximum Distance Separable code (cf. \cite{li2016mean}). Specifically, each file is stored in equally sized pieces across $L$ servers such that any $k$ pieces can reconstruct the original file. File requests are routed using th… ▽ More In large storage systems, files are often coded across several servers to improve reliability and retrieval speed. We consider a system of $n$ servers storing files using a Maximum Distance Separable code (cf. \cite{li2016mean}). Specifically, each file is stored in equally sized pieces across $L$ servers such that any $k$ pieces can reconstruct the original file. File requests are routed using the Batch Sampling routing scheme. I.e. when a request for a file is received, a centralized dispatcher routes the job into the $k$-shortest queues among the $L$ for which the corresponding server contains a piece of the file being requested. We study the long time behavior of this class of load balancing mechanisms. In particular, it is shown that the ODE system that describes the mean field limit of the occupancy measure process has a unique fixed point which is stable. This fixed point corresponds to a distribution on $\mathbb{N}_0$ of queue lengths with tails that decay super-exponentially. Upper and lower bounds on the decay rate are provided. Finally, we show that the unique invariant measure of the Markov occupancy measure process converges to the Dirac measure concentrated at the unique fixed point of the ODE system, establishing the interchangeability of the $t\to\infty$ and $n\to\infty$ limits. △ Less

Submitted 6 January, 2018; originally announced January 2018.

Comments: 13 Pages. arXiv admin note: text overlap with arXiv:1706.09914

MSC Class: 60K25; 60K30; 60K35; 90B22; 68M20; 90C31

Rational Cohomology and Supports for Linear Algebraic Groups

Authors: Eric M. Friedlander

Abstract: This paper is an extended version of four lectures at PIMS in Vancouver given June 27 - 30, 2016. The primary goal of these lectures was to publicize the author's recent efforts to extend to representations of linear algebraic groups the "theory of support varieties" which has proved successful in the study of representations of finite group schemes. The lectures offer readers an introduction to t… ▽ More This paper is an extended version of four lectures at PIMS in Vancouver given June 27 - 30, 2016. The primary goal of these lectures was to publicize the author's recent efforts to extend to representations of linear algebraic groups the "theory of support varieties" which has proved successful in the study of representations of finite group schemes. The lectures offer readers an introduction to the subject together with "homework problems, simplify and clarify some points in the literature, and mention some directions for future research. △ Less

Submitted 18 December, 2017; originally announced December 2017.

Comments: This will appear in "Geometric and Toplogical Aspects of Representation Theory of Finite Groups", published by Springer-Verlag

MSC Class: 20G05; 20C20; 20G10

Cohomology for Drinfeld doubles of some infinitesimal group schemes

Authors: Eric Friedlander, Cris Negron

Abstract: Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(D… ▽ More Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(DG_r,k) which offers an approach to support varieties for DG_r-modules. For many examples of interest, θ_r is injective and induces an isomorphism of associated reduced schemes. Additionally, for M an irreducible DG_r-module, θ_r enables us to identify the support variety of M in terms of the support variety of M viewed as a G_r-module. △ Less

Submitted 19 May, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 27 pages, minor corrections

Journal ref: Alg. Number Th. 12 (2018) 1281-1309

Diffusion Approximations for Load Balancing Mechanisms in Cloud Storage Systems

Authors: Amarjit Budhiraja, Eric Friedlander

Abstract: In large storage systems, files are often coded across several servers to improve reliability and retrieval speed. We study load balancing under the Batch Sampling routing scheme for a network of $n$ servers storing a set of files using the Maximum Distance Separable (MDS) code (cf. Li, Ramamoorthy, and Srikant (2016)). Specifically, each file is stored in equally sized pieces across $L$ servers s… ▽ More In large storage systems, files are often coded across several servers to improve reliability and retrieval speed. We study load balancing under the Batch Sampling routing scheme for a network of $n$ servers storing a set of files using the Maximum Distance Separable (MDS) code (cf. Li, Ramamoorthy, and Srikant (2016)). Specifically, each file is stored in equally sized pieces across $L$ servers such that any $k$ pieces can reconstruct the original file. When a request for a file is received, the dispatcher routes the job into the $k$-shortest queues among the $L$ for which the corresponding server contains a piece of the file being requested. We establish a law of large numbers and a central limit theorem as the system becomes large (i.e. $n\to\infty$). For the central limit theorem, the limit process take values in $\mathbf{\ell}_2$, the space of square summable sequences. Due to the large size of such systems, a direct analysis of the $n$-server system is frequently intractable. The law of large numbers and diffusion approximations established in this work provide practical tools with which to perform such analysis. The Power-of-$d$ routing scheme, also known as the supermarket model, is a special case of the model considered here. △ Less

Submitted 7 July, 2017; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: 40 pages

MSC Class: 60K35; 60H30; 93E20 (Primary); 60J28; 60J70; 60K25; 91B70 (Secondary)

Cohomology of unipotent group schemes

Authors: Eric M. Friedlander

Abstract: We verify that universal classes in the cohomology of $GL_N$ determine explicit cohomology classes of Frobenius kernels $G_{(r)}$ of various linear algebraic groups $G$ . We consider the relationship of $\varprojlim_r H^*(U_{(r)},k)$ to the rational cohomology $H^*(U,k)$ of many unipotent algebraic groups $U$. The second half of this paper investigates in detail the cohomology of Frobenius kernels… ▽ More We verify that universal classes in the cohomology of $GL_N$ determine explicit cohomology classes of Frobenius kernels $G_{(r)}$ of various linear algebraic groups $G$ . We consider the relationship of $\varprojlim_r H^*(U_{(r)},k)$ to the rational cohomology $H^*(U,k)$ of many unipotent algebraic groups $U$. The second half of this paper investigates in detail the cohomology of Frobenius kernels $(U_3)_{(r)}$ of the Heisenberg group $U_3 \subset GL_3$. △ Less

Submitted 11 July, 2019; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: Total revision of previous version: new title and abstract; new ordering of material; some results limited to the special case of the Heisenberg group

MSC Class: 20G05; 20C20; 20G10

Diffusion Approximations for Controlled Weakly Interacting Large Finite State Systems with Simultaneous Jumps

Authors: Amarjit Budhiraja, Eric Friedlander

Abstract: We consider a rate control problem for an $N$-particle weakly interacting finite state Markov process. The process models the state evolution of a large collection of particles and allows for multiple particles to change state simultaneously. Such models have been proposed for large communication systems (e.g. ad hoc wireless networks) but are also suitable for other settings such as chemical-reac… ▽ More We consider a rate control problem for an $N$-particle weakly interacting finite state Markov process. The process models the state evolution of a large collection of particles and allows for multiple particles to change state simultaneously. Such models have been proposed for large communication systems (e.g. ad hoc wireless networks) but are also suitable for other settings such as chemical-reaction networks. An associated diffusion control problem is presented and we show that the value function of the $N$-particle controlled system converges to the value function of the limit diffusion control problem as $N\to\infty$. The diffusion coefficient in the limit model is typically degenerate, however under suitable conditions there is an equivalent formulation in terms of a controlled diffusion with a uniformly non-degenerate diffusion coefficient. Using this equivalence, we show that near optimal continuous feedback controls exist for the diffusion control problem. We then construct near asymptotically optimal control policies for the $N$-particle system based on such continuous feedback controls. Results from some numerical experiments are presented. △ Less

Submitted 29 March, 2016; originally announced March 2016.

Comments: 41 Pages

MSC Class: 60K35; 60H30; 93E20 (Primary) 60J28; 60J70; 60K25; 91B70 (Secondary)

Vector Bundles Associated to Lie Algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra $\mathfrak g$. These are sheaves on locally closed subvarieties of the projective variety $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of $\mathfrak g$ of dimension $r$. We show that representations of constant radical or so… ▽ More We introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra $\mathfrak g$. These are sheaves on locally closed subvarieties of the projective variety $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of $\mathfrak g$ of dimension $r$. We show that representations of constant radical or socle rank studied in \cite{CFP3} which generalize modules of constant Jordan type lead to algebraic vector bundles on $\mathbb E(r,\mathfrak g)$. For $\mathfrak g = Lie(G)$, the Lie algebra of an algebraic group $G$, rational representations of $G$ enable us to realize familiar algebraic vector bundles on $G$-orbits of $\mathbb E(r, \mathfrak g)$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: Replaces second half of arXiv:1207.5898 . To appear in Crelle

MSC Class: 17B50; 16G10

Elementary Subalgebrs of Lie Algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the investigation of the projective varieties $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $\mathfrak g$ for various $r \geq 1$. These varieties $\mathbb E(r,\mathfrak g)$ are the natural ambient varieties for generalized support varieties for restricted representations of $\mathfrak g$. We identify these varieties in special c… ▽ More We initiate the investigation of the projective varieties $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $\mathfrak g$ for various $r \geq 1$. These varieties $\mathbb E(r,\mathfrak g)$ are the natural ambient varieties for generalized support varieties for restricted representations of $\mathfrak g$. We identify these varieties in special cases, revealing their interesting and varied geometric structures. We also introduce invariants for a finite dimensional $\mathfrak u(\mathfrak g)$-module $M$, the local $(r,j)$-radical rank and local $(r,j)$-socle rank, functions which are lower/upper semicontinuous on $\mathbb E(r,\mathfrak g)$. Examples are given of $\mathfrak u(\mathfrak g)$-modules for which some of these rank functions are constant. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: Replaces 1st half of arXiv:1207.5898 (with same title). To appear in the Journal of Algebra

MSC Class: 17B50; 16G10

Filtrations, 1-parameter Subgroups, and Rational Injectivity

Authors: Eric M. Friedlander

Abstract: We investigate rational $G$-modules $M$ for a linear algebraic group $G$ over an algebraically closed field $k$ of characteristic $p > 0$ using filtrations by sub-coalgebras of the coordinate algebra $k[G]$ of $G$. Even in the special case of the additive group $\mathbb G_a$, interesting structures and examples are revealed. The "degree" filtration we consider for unipotent algebraic groups leads… ▽ More We investigate rational $G$-modules $M$ for a linear algebraic group $G$ over an algebraically closed field $k$ of characteristic $p > 0$ using filtrations by sub-coalgebras of the coordinate algebra $k[G]$ of $G$. Even in the special case of the additive group $\mathbb G_a$, interesting structures and examples are revealed. The "degree" filtration we consider for unipotent algebraic groups leads to a "filtration by exponential degree" applicable to rational $G$ modules for any linear algebraic group $G$ of exponential type; this filtration is defined in terms of 1-parameter subgroups and is related to support varieties introduced recently by the author for such rational $G$-modules. We formulate in terms of this filtration a necessary and sufficient condition for rational injectivity for rational $G$-modules. Our investigation leads to the consideration of two new classes of rational $G$-modules: those that are "mock injective" and those that are "mock trivial". △ Less

Submitted 25 October, 2015; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: Slight title change, exposition drastically revised, added discussion of mock injectives and mock trivial modules

MSC Class: 20G05; 20C20; 20G10

Support varieties for rational representations

Authors: Eric M. Friedlander

Abstract: We introduce support varieties for rational representations of a linear algebraic group $G$ of exponential type over an algebraically closed field $k$ of characteristic $p > 0$. These varieties are closed subspaces of the space $V(G)$ of all 1-parameter subgroups of $G$. The functor $M \mapsto V(G)_M$ satisfies many of the standard properties of support varieties satisfied by finite groups and oth… ▽ More We introduce support varieties for rational representations of a linear algebraic group $G$ of exponential type over an algebraically closed field $k$ of characteristic $p > 0$. These varieties are closed subspaces of the space $V(G)$ of all 1-parameter subgroups of $G$. The functor $M \mapsto V(G)_M$ satisfies many of the standard properties of support varieties satisfied by finite groups and other finite group schemes. Furthermore, there is a close relationship between $V(G)_M$ and the family of support varieties $V_r(G)_M$ obtained by restricting the $G$ action to Frobenius kernels $G_{(r)} \subset G$. These support varieties seem particularly appropriate for the investigation of infinite dimensional rational $G$-modules. △ Less

Submitted 29 June, 2014; originally announced June 2014.

MSC Class: Primary: 20G05; secondary: 20C20; 20G10

Journal ref: Compositio Math. 151 (2015) 765-792

An approach to intersection theory on singular varieties using motivic complexes

Authors: Eric M. Friedlander, Joseph Ross

Abstract: We introduce techniques of Suslin, Voevodsky, and others into the study of singular varieties. Our approach is modeled after Goresky-MacPherson intersection homology. We provide a formulation of perversity cycle spaces leading to perversity homology theory and a companion perversity cohomology theory based upon generalized cocycle spaces. These theories lead to conditions on pairs of cycles which… ▽ More We introduce techniques of Suslin, Voevodsky, and others into the study of singular varieties. Our approach is modeled after Goresky-MacPherson intersection homology. We provide a formulation of perversity cycle spaces leading to perversity homology theory and a companion perversity cohomology theory based upon generalized cocycle spaces. These theories lead to conditions on pairs of cycles which can be intersected and a suitable equivalence relation on cocycles/cycles enabling pairings on equivalence classes. We establish suspension and splitting theorems, as well as a localization property. Some examples of intersections on singular varieties are computed. △ Less

Submitted 20 May, 2016; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: revised version, to appear in Compositio Mathematica

Journal ref: Compositio Math. 152 (2016) 2371-2404

Elementary subalgebras of Lie algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the investigation of the projective variety $E(r,g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $g$ for some $r > 0$ and demonstrate that this variety encodes considerable information about the representations of $g$. For various choices of $g$ and $r$, we identify the geometric structure of $E(r,g)$. We show that special classes of (restricted) repres… ▽ More We initiate the investigation of the projective variety $E(r,g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $g$ for some $r > 0$ and demonstrate that this variety encodes considerable information about the representations of $g$. For various choices of $g$ and $r$, we identify the geometric structure of $E(r,g)$. We show that special classes of (restricted) representations of $g$ lead to algebraic vector bundles on $E(r,g)$. For $g = Lie(G)$ the Lie algebra of an algebraic group $G$, rational representations of $G$ enable us to realize familiar algebraic vector bundles on $G$-orbits of $E(r, g)$. △ Less

Submitted 23 September, 2014; v1 submitted 25 July, 2012; originally announced July 2012.

Comments: The paper has been split into two at the request of the referee, the first part has the same title as the older combined version

Representations of elementary abelian p-groups and bundles on Grassmannians

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the study of representations of elementary abelian $p$-groups via restrictions to truncated polynomial subalgebras of the group algebra generated by $r$ nilpotent elements, $k[t_1,..., t_r]/(t^p_1,..., t_r^p)$. We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type genera… ▽ More We initiate the study of representations of elementary abelian $p$-groups via restrictions to truncated polynomial subalgebras of the group algebra generated by $r$ nilpotent elements, $k[t_1,..., t_r]/(t^p_1,..., t_r^p)$. We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type generalizing modules of constant Jordan type and provide several general constructions of modules with these properties. We show that modules of constant radical and socle type lead to families of algebraic vector bundles on Grassmannians and illustrate our theory with numerous examples. △ Less

Submitted 22 June, 2011; originally announced June 2011.

Generalized support varieties for finite group schemes

Authors: Eric M. Friedlander, Julia Pevtsova

Abstract: We construct two families of refinements of the (projectivized) support variety of a finite dimensional module $M$ for a finite group scheme $G$. For an arbitrary finite group scheme, we associate a family of {\it non maximal rank varieties} $Γ^j(G)_M$, $1\leq j \leq p-1$, to a $kG$-module $M$. For $G$ infinitesimal, we construct a finer family of locally closed subvarieties $V^{\ul a}(G)_M$ of th… ▽ More We construct two families of refinements of the (projectivized) support variety of a finite dimensional module $M$ for a finite group scheme $G$. For an arbitrary finite group scheme, we associate a family of {\it non maximal rank varieties} $Γ^j(G)_M$, $1\leq j \leq p-1$, to a $kG$-module $M$. For $G$ infinitesimal, we construct a finer family of locally closed subvarieties $V^{\ul a}(G)_M$ of the variety of one parameter subgroups of $G$ for any partition $\ul a$ of $\dim M$. For an arbitrary finite group scheme $G$, a $kG$-module $M$ of constant rank, and a cohomology class $ζ$ in $\HHH^1(G,M)$ we introduce the {\it zero locus} $Z(ζ) \subset Π(G)$. We show that $Z(ζ)$ is a closed subvariety, and relate it to the non-maximal rank varieties. We also extend the construction of $Z(ζ)$ to an arbitrary extension class $ζ\in \Ext^n_G(M,N)$ whenever $M$ and $N$ are $kG$-modules of constant Jordan type. △ Less

Submitted 21 June, 2011; originally announced June 2011.

MSC Class: 16G10; 20C20; 20G10

Journal ref: Documenta Mathematica, Extra Volume Suslin (2011) 191-217

Constructions for infinitesimal group schemes

Authors: Eric M. Friedlander, Julia Pevtsova

Abstract: Let G be an infinitesimal group scheme over a field k of positive characteristic p. We introduce the global p-nilpotent operator $Θ_G: k[G] \to k[V(G)]$, where V(G) is the scheme which represents 1-parameter subgroups of G. This operator applied to M encodes the local Jordan type of M, and leads to computational insights into the representation theory of G. For certain G-modules (including those o… ▽ More Let G be an infinitesimal group scheme over a field k of positive characteristic p. We introduce the global p-nilpotent operator $Θ_G: k[G] \to k[V(G)]$, where V(G) is the scheme which represents 1-parameter subgroups of G. This operator applied to M encodes the local Jordan type of M, and leads to computational insights into the representation theory of G. For certain G-modules (including those of constant Jordan type), we employ the global p-nilpotent operator to associate various algebraic vector bundles on the projective scheme $\bP(G)$, the projectivization of the scheme of one-parameter subgroups of G. These vector bundles not only distinguish certain representations with the same local Jordan type, but also provide a method of constructing algebraic vector bundles on $\bP(G)$. △ Less

Submitted 22 July, 2010; v1 submitted 20 February, 2008; originally announced February 2008.

Comments: 55 pages. This is a final version to appear in Transactions of the AMS. Significantly revised from the original preprint. In particular, last section is completely rewritten with some K_0 calculations added

MSC Class: 16G10; 20C20; 20G10

Modules of constant Jordan type

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial exampl… ▽ More We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial examples are constructed using cohomological techniques. We offer conjectures suggesting that there are strong conditions on a partition to be the Jordan type associated to a module of constant Jordan type. △ Less

Submitted 25 July, 2007; originally announced July 2007.

Comments: 47 pages

MSC Class: 16G10 (primary); 20C20; 20G10 (secondary);

Cohomology of bifunctors

Authors: Vincent Franjou, Eric M. Friedlander

Abstract: We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since one of the initial motivations for the study of functor cohomology was the determination of the cohomology of GL(k) with coefficients in a tensor product of a… ▽ More We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since one of the initial motivations for the study of functor cohomology was the determination of the cohomology of GL(k) with coefficients in a tensor product of a symmetric and an exterior power of the adjoint representation, we keep this challenging example in mind as we achieve numerous computations which illustrate our methods. △ Less

Submitted 19 May, 2008; v1 submitted 5 September, 2005; originally announced September 2005.

Comments: Published version in PLMS, typos corrected. 31 pages

MSC Class: 20G10; 20C; 19D

Journal ref: Proceedings of the London Mathematical Society 2008

General linear and functor cohomology over finite fields

Authors: Vincent Franjou, Eric M. Friedlander, Alexander Scorichenko, Andrei Suslin

Abstract: In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we extend our ability to make such Ext-group calculations by establishing several fundamental results. Throughout this paper, we work over fields of positive cha… ▽ More In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we extend our ability to make such Ext-group calculations by establishing several fundamental results. Throughout this paper, we work over fields of positive characteristic p. △ Less

Submitted 31 August, 1999; originally announced September 1999.

Comments: 66 pages, published version, abstract added in migration

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 150 (1999), no. 2, 663-728

A theory of algebraic cocycles

Authors: Eric M. Friedlander, H. Blaine Lawson Jr.

Abstract: We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial, and admits Gysin maps. It carries a natural cup product and a pairing to $L$-homology. Chern classes of algebraic bundles are defined in the theory. There is a… ▽ More We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial, and admits Gysin maps. It carries a natural cup product and a pairing to $L$-homology. Chern classes of algebraic bundles are defined in the theory. There is a natural transformation to (singular) integral cohomology theory that preserves cup products. Computations in special cases are carried out. On a smooth variety it is proved that there are algebraic cocycles in each algebraic rational $(p,p)$-cohomology class. △ Less

Submitted 31 March, 1992; originally announced April 1992.

Comments: 5 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 26 (1992) 264-268