Showing 1–34 of 34 results for author: Shoji, T

Algorithm for computing canonical bases and foldings of quantum groups

Authors: Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. Let $P$ be the transition matrix between the canonical basis and a PBW basis of ${\mathbf U}_q^-$. In the case ${\mathbf U}_q^-$ is symmetric, Antor gave a simple algorithm of computing $P$ by making use of monomial bases. By the folding theory, ${\mathbf U}_q^-$ (symmetric, with a certain automorphism) is related to a q… ▽ More Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. Let $P$ be the transition matrix between the canonical basis and a PBW basis of ${\mathbf U}_q^-$. In the case ${\mathbf U}_q^-$ is symmetric, Antor gave a simple algorithm of computing $P$ by making use of monomial bases. By the folding theory, ${\mathbf U}_q^-$ (symmetric, with a certain automorphism) is related to a quantum group $\underline{\mathbf U}_q^-$ of non-symmetric type. In this paper, we extend the results of Antor to the non-symmetric case, and discuss the relationship between the algorithms for ${\mathbf U}_q^-$ and for $\underline{\mathbf U}_q^-$. △ Less

Submitted 31 May, 2025; originally announced June 2025.

Comments: 53 pages

MSC Class: 17B37; 81R50

Elementary construction of canonical bases, foldings, and piecewise linear bijections

Authors: Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. We construct the canonical basis of ${\mathbf U}_q^-$ by applying the folding theory of quantum groups, and piecewise linear parametrization of canonical basis. Our construction is elementary, in the sense that we don't appeal to Lusztig's geometric theory of canonical bases, nor to Kashiwara's theory of crystal bases. Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. We construct the canonical basis of ${\mathbf U}_q^-$ by applying the folding theory of quantum groups, and piecewise linear parametrization of canonical basis. Our construction is elementary, in the sense that we don't appeal to Lusztig's geometric theory of canonical bases, nor to Kashiwara's theory of crystal bases. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 21 pages

MSC Class: 17B37; 81R50

Generalized Green functions and unipotent classes for finite reductive groups, IV

Authors: Frank Lübeck, Toshiaki Shoji

Abstract: In this paper, we formulate the notion of split elements of a unipotent class in a connected reductive group $G$. Generalized Green functions of $G$ can be computed by using Lusztig's algorithm, if split elements exist for any unipotent class. The existence of split elements is reduced to the case where $G$ is a simply connected, almost simple group. We show, in the case of classical groups, split… ▽ More In this paper, we formulate the notion of split elements of a unipotent class in a connected reductive group $G$. Generalized Green functions of $G$ can be computed by using Lusztig's algorithm, if split elements exist for any unipotent class. The existence of split elements is reduced to the case where $G$ is a simply connected, almost simple group. We show, in the case of classical groups, split elements exist, which is a refinement of previous results. In the case of exceptional groups, we show the existence of split elements, possibly except one class for $G$ of type $E_7$. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Comments: 71 pages

MSC Class: 20G05; 20G40

Foldings of KLR algebras

Authors: Ying Ma, Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}^-_q$ be the negative half of the quantum group associated to a Kac-Moody algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the quantum group obtained by a folding of ${\mathfrak g}$. Let ${\mathbf A} = {\mathbf Z}[q,q^{-1}]$. McNamara showed that $\underline{\mathbf U}^-_q$ is categorified over a certain extenion ring $\widetilde{\mathbf A}$ of ${\mathbf A}$, by uing the fo… ▽ More Let ${\mathbf U}^-_q$ be the negative half of the quantum group associated to a Kac-Moody algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the quantum group obtained by a folding of ${\mathfrak g}$. Let ${\mathbf A} = {\mathbf Z}[q,q^{-1}]$. McNamara showed that $\underline{\mathbf U}^-_q$ is categorified over a certain extenion ring $\widetilde{\mathbf A}$ of ${\mathbf A}$, by uing the folding theory of KLR algebras. He posed a question whether $\widetilde{\mathbf A}$ coincides with ${\mathbf A}$ or not. In this paper, we give an affirmative answer for this problem. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 38 pages

MSC Class: 17B37; 81R50

Diagram automorphisms and canonical bases for quantum affine algebras, II

Authors: Ying Ma, Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $σ$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained from $σ$, and $\widetilde{\mathbf B}$ (resp. $\widetilde{\underline{\mathbf B}}$) the canonical signed basis of ${\mathbf U}_q^-$ (resp. $\underline{\mathbf U}_q^-$).… ▽ More Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $σ$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained from $σ$, and $\widetilde{\mathbf B}$ (resp. $\widetilde{\underline{\mathbf B}}$) the canonical signed basis of ${\mathbf U}_q^-$ (resp. $\underline{\mathbf U}_q^-$). Assume that ${\mathbf U}_q^-$ is simply-laced of finite or affine type. In our previous papers [SZ1, 2], we have proved by an elementary method, that there exists a natural bijection $\widetilde{\mathbf B}^σ \simeq \widetilde{\underline{\mathbf B}}$ in the case where $σ$ is admissible. In this paper, we show that such a bijection exists even if $σ$ is not admissible, possibly except some small rank cases. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: 48 PAGES

MSC Class: 17B37; 81R50

Diagram automorphisms and canonical bases for quantized enveloping algebras

Authors: Ying Ma, Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}^-_q$ be the negative part of the quantized enveloping algebra associated to a Kac-Moody algebra ${\mathfrak g}$ of symmetric type, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the orbit algebra ${\mathfrak g}^σ$ obtained from an admissible diagram automorphism $σ$ on ${\mathfrak g}$. Lusztig consructed the canonical basis ${\mathbf B}$ of ${\mathbf U}_q^-$ and the… ▽ More Let ${\mathbf U}^-_q$ be the negative part of the quantized enveloping algebra associated to a Kac-Moody algebra ${\mathfrak g}$ of symmetric type, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the orbit algebra ${\mathfrak g}^σ$ obtained from an admissible diagram automorphism $σ$ on ${\mathfrak g}$. Lusztig consructed the canonical basis ${\mathbf B}$ of ${\mathbf U}_q^-$ and the canonical signed basis $\underline{\widetilde{\mathbf B}}$ of $\underline{\mathbf U}_q^-$ by making use of the geometric theory of quivers. He proved that there is a natural bijection $\widetilde{\mathbf B}^σ \to \widetilde{\underline{\mathbf B}}$. In this paper, assuming the existence of the canonical basis ${\mathbf B}$ of ${\mathbf U}_q^-$, we construct the canonical signed basis $\widetilde{\underline{\mathbf B}}$ of $\underline{\mathbf U}_q^-$, and a natural bijection $\widetilde{\mathbf B}^σ \to \widetilde{\underline{\mathbf B}}$ by an elementary method. △ Less

Submitted 15 October, 2022; v1 submitted 15 August, 2021; originally announced August 2021.

Comments: 41 pages, the final version, to appear in J. of Algebra

MSC Class: 17B37; 81R50

Generalized Green functions and unipotent classes for finite reductive groups, III

Authors: Toshiaki Shoji

Abstract: Lusztig's algorithm of computing generalized Green functions of reductive groups involves an ambiguity of certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable. Lusztig's algorithm of computing generalized Green functions of reductive groups involves an ambiguity of certain scalars. In this paper, for reductive groups of classical type with arbitrary characteristic, we determine those scalars explicitly, and eliminate the ambiguity. Our results imply that all the generalized Green functions of classical type are computable. △ Less

Submitted 4 August, 2021; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: 25 pages, the final version, to appear in Nagoya Math. J

MSC Class: 20G05; 20G40

Diagram automorphisms and canonical bases for quantum affine algebras

Authors: Toshiaki Shoji, Zhiping Zhou

Abstract: Let ${\mathbf U}^-_q$ be the negative part of the quantum enveloping algebra associated to a simply laced Kac-Moody Lie algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the fixed point subalgebra of ${\mathfrak g}$ obtained from a diagram automorphism $σ$ on ${\mathfrak g}$. Let ${\mathbf B}^σ$ be the set of $σ$-fixed elements in the canonical basis of… ▽ More Let ${\mathbf U}^-_q$ be the negative part of the quantum enveloping algebra associated to a simply laced Kac-Moody Lie algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the fixed point subalgebra of ${\mathfrak g}$ obtained from a diagram automorphism $σ$ on ${\mathfrak g}$. Let ${\mathbf B}^σ$ be the set of $σ$-fixed elements in the canonical basis of ${\mathbf U}_q^-$, and $\underline{\mathbf B}$ the canonical basis of $\underline{\mathbf U}_q^-$. Lusztig proved that there exists a canonical bijection ${\mathbf B}^σ \simeq \underline{\mathbf B}$ based on his geometric construction of canonical bases. In this paper, we prove (the signed bases version of) this fact, in the case where ${\mathfrak g}$ is finite or affine type, in an elementary way, in the sense that we don't appeal to the geometric theory of canonical bases nor Kashiwara's theory of crystal bases. We also discuss the correspondence between PBW-bases, by using a new type of PBW-bases of ${\mathbf U}_q^-$ obtained by Muthiah-Tingley, which is a generalization of PBW-bases constructed by Beck-Nakajima. △ Less

Submitted 12 October, 2019; originally announced October 2019.

Comments: 43 pages

MSC Class: 17B37; 81R50

Springer correspondence for symmetric spaces

Authors: Toshiaki Shoji

Abstract: This is a survey article on the Springer correspondence for symmetric spaces. We discuss various generalization of the theory of the Springer correspondence for reductive groups to symmetric spaces and exotic symmetric spaces associated to classical groups. This is a survey article on the Springer correspondence for symmetric spaces. We discuss various generalization of the theory of the Springer correspondence for reductive groups to symmetric spaces and exotic symmetric spaces associated to classical groups. △ Less

Submitted 15 September, 2019; originally announced September 2019.

Comments: 25 pages

Diagram automorphisms and quantum groups

Authors: Toshiaki Shoji, Zhiping Zhou

Abstract: Let $U^-_q = U^-_q(\mathfrak g)$ be the negative part of the quantum group associated to a finite dimensional simple Lie algebra $\mathfrak g$, and $σ: \mathfrak g \to \mathfrak g$ be the automorphism obtained from the diagram automorphism. Let $\mathfrak g^σ$ be the fixed point subalgebra of $\mathfrak g$, and put $\underline U^-_q = U^-_q(\mathfrak g^σ)$. Let $B$ be the canonical basis of… ▽ More Let $U^-_q = U^-_q(\mathfrak g)$ be the negative part of the quantum group associated to a finite dimensional simple Lie algebra $\mathfrak g$, and $σ: \mathfrak g \to \mathfrak g$ be the automorphism obtained from the diagram automorphism. Let $\mathfrak g^σ$ be the fixed point subalgebra of $\mathfrak g$, and put $\underline U^-_q = U^-_q(\mathfrak g^σ)$. Let $B$ be the canonical basis of $U_q^-$ and $\underline B$ the canonical basis of $\underline U_q^-$. $σ$ induces a natural action on $B$, and we denote by $B^σ$ the set of $σ$-fixed elements in $B$. Lusztig proved that there exists a canonical bijection $B^σ \simeq \underline B$ by using geometric considerations. In this paper, we construct such a bijection in an elementary way. We also consider such a bijection in the case of certain affine quantum groups, by making use of PBW-bases constructed by Beck and Nakajima. △ Less

Submitted 15 September, 2019; v1 submitted 10 October, 2018; originally announced October 2018.

Comments: 35 pages, final version, to appear in J. of Math. Soc. of Japan

MSC Class: 17B37; 81R50

Generalized Green functions associated to complex reflection groups

Authors: Toshiaki Shoji

Abstract: In this paper, we consider the set of r-symbols in a full generality. We construct Hall-Littlewood functions and Kostka functions associated to those r-symbols. We also discuss a multi-parameter version of those functions. We show that there exists a general algorithm of computing multi-parameter Kostka functions. As an application, we show that the generalized Green functions of symplectic groups… ▽ More In this paper, we consider the set of r-symbols in a full generality. We construct Hall-Littlewood functions and Kostka functions associated to those r-symbols. We also discuss a multi-parameter version of those functions. We show that there exists a general algorithm of computing multi-parameter Kostka functions. As an application, we show that the generalized Green functions of symplectic groups can be described combinatorially in terms of those (one-parameter) Kostka functions. △ Less

Submitted 15 September, 2019; v1 submitted 7 July, 2018; originally announced July 2018.

Comments: 28 pages, final version, to appear in J. of Algebra

MSC Class: 20G05; 20G40; 05E05

Symmetric spaces associated to classical groups with even characteristic

Authors: Junbin Dong, Toshiaki Shoji, Gao Yang

Abstract: Let $G = GL(V)$ for an N-dimensional vector space $V$ over an algebraically closed field k, and $G^θ$ the fixed point subgroup of $G$ under an involution $θ$ on $G$. In the case where $G^θ = O(V)$, the generalized Springer correspondence for the unipotent variety of the symmetric space $G/G^θ$ was studied by last two authors, under the assumption that ch k is odd. The definition of $θ$, and of the… ▽ More Let $G = GL(V)$ for an N-dimensional vector space $V$ over an algebraically closed field k, and $G^θ$ the fixed point subgroup of $G$ under an involution $θ$ on $G$. In the case where $G^θ = O(V)$, the generalized Springer correspondence for the unipotent variety of the symmetric space $G/G^θ$ was studied by last two authors, under the assumption that ch k is odd. The definition of $θ$, and of the associated symmetric space given there make sense even if ch k = 2. In this paper, we discuss the Springer correspondence for those symmetric spaces of even characteristic. We show that if N is even, the Springer correspondence is reduced to that of symplectic Lie algebras in ch k = 2, which was determined by Xue. While if N is odd, we show that a very similar phenomenon as in the case of exotic symmetric space of level 3 appears. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 70 pages

MSC Class: 20G05; 20G40

Generalized Springer correspondence for symmetric spaces associated to orthogonal groups

Authors: Toshiaki Shoji, Gao Yang

Abstract: Let $G = GL_N$ over an algebraically closed field of odd characteristic, and $θ$ an involutive automorphism on $G$ such that $H = (G^θ)^0$ is isomorphic to $SO_N$. Then $G^{ιθ} = \{ g \in G \mid θ(g) = g^{-1} \}$ is regarded as a symmetric space $G/G^θ$. Let $G^{ιθ}_{uni}$ be the set of unipotent elements in $G^{ιθ}$. $H$ acts on $G^{ιθ}_{uni}$ by the conjugation. As an analogue of the generalized… ▽ More Let $G = GL_N$ over an algebraically closed field of odd characteristic, and $θ$ an involutive automorphism on $G$ such that $H = (G^θ)^0$ is isomorphic to $SO_N$. Then $G^{ιθ} = \{ g \in G \mid θ(g) = g^{-1} \}$ is regarded as a symmetric space $G/G^θ$. Let $G^{ιθ}_{uni}$ be the set of unipotent elements in $G^{ιθ}$. $H$ acts on $G^{ιθ}_{uni}$ by the conjugation. As an analogue of the generalized Springer correspondence in the case of reductive groups, we establish in this paper the generalized Springer correspondence between $H$-orbits in $G^{ιθ}_{uni}$ and irreducible representations of various symmetric groups. △ Less

Submitted 9 April, 2020; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: 76 pages. Final version, to appear in Tokyo J. of Mathematics

MSC Class: 20G05; 20G40

Kostka functions associated to complex reflection groups and a conjecture of Finkelberg-Ionov

Authors: Toshiaki Shoji

Abstract: Kostka functions $K^{\pm}_{λ, μ}(t)$ associated to complex reflection groups are a generalization of Kostka polynomials, which are indexed by $r$-partitions $λ, μ$ and a sign $+, -$. It is known that Kostka polynomials have an interpretation in terms of Lusztig's partition function. Finkelberg and Ionov defined alternate functions $K_{λ,μ}(t)$ by using an analogue of Lusztig's partition function,… ▽ More Kostka functions $K^{\pm}_{λ, μ}(t)$ associated to complex reflection groups are a generalization of Kostka polynomials, which are indexed by $r$-partitions $λ, μ$ and a sign $+, -$. It is known that Kostka polynomials have an interpretation in terms of Lusztig's partition function. Finkelberg and Ionov defined alternate functions $K_{λ,μ}(t)$ by using an analogue of Lusztig's partition function, and showed that $K_{λ,μ}(t)$ are polynomials in $t$ with non-negative integer coefficients. They conjecture that their $K_{λ,μ}(t)$ coincide with $K^-_{λ,μ}(t)$. In this paper, we show that their conjecture holds. We also discuss a multi-variable version of Kostka functions. △ Less

Submitted 26 June, 2017; v1 submitted 9 February, 2017; originally announced February 2017.

Comments: 47 pages, v3: Final version, some references are added. To appear in SCIENCE CHINA Mathematics

MSC Class: 05E05; 20G10

Springer correspndence for complex reflection groups

Authors: Toshiaki Shoji

Abstract: This paper is a survey on the topics concerning the Springer correspondence related to the varieties such as the enhanced variety or the exotic symmetric space. We explain in the case of exotic symmetric space of higher level, the complex reflection group $S_n \ltimes (\BZ/r\BZ)^n$ appears naturally in the framework of the Springer correspondence. This paper is a survey on the topics concerning the Springer correspondence related to the varieties such as the enhanced variety or the exotic symmetric space. We explain in the case of exotic symmetric space of higher level, the complex reflection group $S_n \ltimes (\BZ/r\BZ)^n$ appears naturally in the framework of the Springer correspondence. △ Less

Submitted 10 November, 2015; originally announced November 2015.

Comments: 29 pages, Survey article

MSC Class: 20G05; 20G40

Kostka functions associated to complex reflection groups

Authors: Toshiaki Shoji

Abstract: Kostka functions $K^{\pm}_{λ, μ}(t)$ associated to complex reflection groups are a generalization of Kostka polynomials, which are indexed by a pair $λ, μ$ of $r$-partitions and a sign $+, -$. It is expected that there exists a close connection between those Kostka functions and the intersection cohomology associated to the enhanced variety $X$ of level $r$. In this paper, we study combinatorial p… ▽ More Kostka functions $K^{\pm}_{λ, μ}(t)$ associated to complex reflection groups are a generalization of Kostka polynomials, which are indexed by a pair $λ, μ$ of $r$-partitions and a sign $+, -$. It is expected that there exists a close connection between those Kostka functions and the intersection cohomology associated to the enhanced variety $X$ of level $r$. In this paper, we study combinatorial properties of Kostka functions by making use of the geometry of $X$. In particular, we show that if $μ$ is of the form $μ= (-,\dots, -, ξ)$ and $λ$ is arbitrary, $K^-_{λ, μ}(t)$ has a Lascoux-Schützenberger type combinatorial description. △ Less

Submitted 24 September, 2015; originally announced September 2015.

Comments: 21 pages

MSC Class: 05E05; 20G10

Enhanced variety of higher level and Kostka functions associated to complex reflection groups

Authors: Toshiaki Shoji

Abstract: Let $V$ be an $n$ dimensional vector space over an algebraic closure of a finite field $F_q$ and put $G = GL(V)$. For a positive integer $r$, we consider the variety $X_{uni} = G_{uni} \times V^{r-1}$, on which $G$ acts diagonally. $X_{uni}$ is the "unipotent part" of the enhanced variety of level $r$. $X_{uni}$ is partitioned into finitely many pieces $X_λ$ labelled by $r$-partitions $λ$ of $n$,… ▽ More Let $V$ be an $n$ dimensional vector space over an algebraic closure of a finite field $F_q$ and put $G = GL(V)$. For a positive integer $r$, we consider the variety $X_{uni} = G_{uni} \times V^{r-1}$, on which $G$ acts diagonally. $X_{uni}$ is the "unipotent part" of the enhanced variety of level $r$. $X_{uni}$ is partitioned into finitely many pieces $X_λ$ labelled by $r$-partitions $λ$ of $n$, and we consider the intersection cohomology $IC_λ$ associated to $X_λ$. In this paper, we show that the Frobenius trace functions (over $F_q$) associated to those $IC_λ$ satisfy certain orthogonality relations, which are very close to the equations characterizing the Kostka functions indexed by (a pair of) $r$-partitions. Using this we show, in some special cases, that the Kostka functions can be described in terms of those intersection cohomology, which is a (partial) generalization of the known results for the case $r = 1, 2$. △ Less

Submitted 27 June, 2017; v1 submitted 5 July, 2015; originally announced July 2015.

Comments: v2: 52 pages. Proposition 6.3 was revised, and some examples were added in section 7. Final version, to appear in Transformation Groups

MSC Class: 20G05; 20G40

Double Kostka polynomials and Hall bimodule

Authors: Liu Shiyuan, Toshiaki Shoji

Abstract: Double Kostka polynomials are polynomials indexed by a pair of double partitions. As in the ordinary case, double Kostka polynomials are defined in terms of Schur functions and Hall-Littlewood functions associated to double partitions. In this paper, we study combinatorial properties of those double Kostka polynomials and Hall-Littlewood functions. In particular, we show that the Lascoux-Schutzenb… ▽ More Double Kostka polynomials are polynomials indexed by a pair of double partitions. As in the ordinary case, double Kostka polynomials are defined in terms of Schur functions and Hall-Littlewood functions associated to double partitions. In this paper, we study combinatorial properties of those double Kostka polynomials and Hall-Littlewood functions. In particular, we show that the Lascoux-Schutzenberger type formula holds for double Kostka polynomials in certain cases. Moreover, we show that the Hall bimodule introduced by Finkelberg-Ginzburg-Travkin is isomorphic to the ring of symmetric functions with two types of variables, which gives an alternate approach for their result. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: 33 pages, including tables of double Kostka polynomials

MSC Class: 05E05; 05E10; 20G10

Exotic symmetric spaces of higher level - Springer correspondence for complex reflection groups -

Authors: Toshiaki Shoji

Abstract: Let V be an 2n-dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V), and H = Sp(V) the symplectic group contained in G. For a positive integer r > 1, we conisder the variety X = G/H \times V^{r-1}, on which H acts diagonally. X is called the exotic symmetric space of level r. Let W_{n,r} be the complex reflection group G(r,1,n). In this paper, generalizi… ▽ More Let V be an 2n-dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V), and H = Sp(V) the symplectic group contained in G. For a positive integer r > 1, we conisder the variety X = G/H \times V^{r-1}, on which H acts diagonally. X is called the exotic symmetric space of level r. Let W_{n,r} be the complex reflection group G(r,1,n). In this paper, generalizing the result for the case where r = 2, we show that there exists a natural bijective correspondence (Springer correspondence) between the set of irreducible representations of W_{n,r} and a certain set of H-equivariant simple perverse sheaves on X_{uni}$, where X_{uni} is the "unipotent part" of X. We also consider a similar problem for G \times V^{r-1}, where G = GL(V) for a finite dimensional vector space V. △ Less

Submitted 30 July, 2014; originally announced July 2014.

Comments: 69 pages

MSC Class: 20G05; 20G40

Positivity properties for canonical bases of modified quantum affine $\frak{sl}_n$

Authors: Qiang Fu, Toshiaki Shoji

Abstract: The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a symmetric Cartan datum. The positivity property for the positive part ${\mathbf U}^+$ of ${\mathbf U}$ was proved by Lusztig. He conjectured that the positivity pro… ▽ More The positivity property for canonical bases asserts that the structure constants of the multiplication for the canonical basis are in ${\mathbb N}[v,v^{-1}]$. Let $\mathbf U$ be the quantum group over ${\mathbb Q}(v)$ associated with a symmetric Cartan datum. The positivity property for the positive part ${\mathbf U}^+$ of ${\mathbf U}$ was proved by Lusztig. He conjectured that the positivity property holds for the modified form $\dot{\mathbf U}$ of ${\mathbf U}$. In this paper, we prove that the structure constants for the canonical basis of $\dot{\mathbf U}(\widehat{\frak{sl}}_n)$ coincide with certain structure constants for the canonical basis of ${\mathbf U}(\widehat{\frak{sl}}_N)^+$ for $n<N$. In particular, the positivity property for $\dot{\mathbf U}(\widehat{\frak{sl}}_n)$ follows from the positivity property for ${\mathbf U}(\widehat{\frak{sl}}_N)^+$. △ Less

Submitted 31 July, 2014; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: 20 pages

Exotic symmetric space over a finite field, III

Authors: Toshiaki Shoji, Karine Sorlin

Abstract: Let X be an exotic symmetric space G/H \times V, where G= GL(V) and H = Sp(V) for a symplectic vector space V over an algebraically closed field of odd characteristic. In our previous papers, character sheaves on X were constructed based on the explicit data. In this paper, we give a conceptual definition of character sheaves on X based on the idea of Ginzburg in the case of symmetric spaces, whic… ▽ More Let X be an exotic symmetric space G/H \times V, where G= GL(V) and H = Sp(V) for a symplectic vector space V over an algebraically closed field of odd characteristic. In our previous papers, character sheaves on X were constructed based on the explicit data. In this paper, we give a conceptual definition of character sheaves on X based on the idea of Ginzburg in the case of symmetric spaces, which we call Ginzburg type character sheaves. We prove that Ginzburg type character sheaves on X actually coincide with those defined in our papers. This gives a classification of Ginzburg type character sheaves on X. △ Less

Submitted 30 July, 2014; v1 submitted 28 April, 2013; originally announced April 2013.

Comments: Final version, to appear in Transformation Groups. Sections 4 - 6 were revised. Corrections for previous papers I, II were added

MSC Class: 20G05; 20G40

Exotic symmetric space over a finite field, II

Authors: Toshiaki Shoji, Karine Sorlin

Abstract: This paper is the second part of the papers in the same title. In this paper, we prove a conjecture of Achar-Henderson, which asserts that the Poincare polynomials of the intersection cohomology complex associated to the closure of Sp_{2n}-orbits in the Kato's exotic nilpotent cone coincide with the modified Kostka polynomials indexed by double partitions, introduced by the first author. Actually… ▽ More This paper is the second part of the papers in the same title. In this paper, we prove a conjecture of Achar-Henderson, which asserts that the Poincare polynomials of the intersection cohomology complex associated to the closure of Sp_{2n}-orbits in the Kato's exotic nilpotent cone coincide with the modified Kostka polynomials indexed by double partitions, introduced by the first author. Actually this conjecture was recently proved by Kato by a different method. Our approach is based on the theory of character sheaves on the exotic symmetric space. △ Less

Submitted 23 December, 2012; originally announced December 2012.

Comments: 40 pages

MSC Class: 20G05; 20G40

Exotic symmetric space over a finite field, I

Authors: Toshiaki Shoji, Karine Sorlin

Abstract: Let V be a 2n dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V) and H = Sp_{2n} be the symplectic group contained in G. We call X = G/H \times V the exotic symmetric space, since its "unipotent" part is isomorphic to Kato's exotic nilcone. Let W be the Weyl group of type C_n. Kato established the Springer correspondence between irreducible characters… ▽ More Let V be a 2n dimensional vector space over an algebraically closed field of odd characteristic. Let G = GL(V) and H = Sp_{2n} be the symplectic group contained in G. We call X = G/H \times V the exotic symmetric space, since its "unipotent" part is isomorphic to Kato's exotic nilcone. Let W be the Weyl group of type C_n. Kato established the Springer correspondence between irreducible characters of W and H-orbits in the exotic nilcone, based on the Ginzburg theory of affine Hecke algebras. In this paper, we develpoe a theory of character sheaves on X, and give an alternate proof for the Springer correspondence based on the theroy of character sheaves. △ Less

Submitted 25 February, 2013; v1 submitted 20 July, 2012; originally announced July 2012.

Comments: 56 pages, the proof of Proposition 4.8 revised, and typos corrected. The results unchanged

MSC Class: 20G05; 20G40

Iwahori's Question for Affine Hecke Algebras

Authors: Toshiaki Shoji, Nanhua Xi

Abstract: In this paper we show that an affine Hecke algebra $H_q$ over complex numbers field with parameter $q\ne 1$ is not isomorphic to the group algebra over complex numbers field of the corresponding extend affine Weyl group if the corresponding root system has no factors of type $A_1$ and the order of $q$ is different from 11 and 13 if the root system has factors of type $E_8$. In this paper we show that an affine Hecke algebra $H_q$ over complex numbers field with parameter $q\ne 1$ is not isomorphic to the group algebra over complex numbers field of the corresponding extend affine Weyl group if the corresponding root system has no factors of type $A_1$ and the order of $q$ is different from 11 and 13 if the root system has factors of type $E_8$. △ Less

Submitted 29 June, 2011; v1 submitted 13 June, 2011; originally announced June 2011.

Comments: 26 pages

Lusztig's conjecture for finite classical groups with even characteristic

Authors: Toshiaki Shoji

Abstract: The determination of scalars involved in Lusztig's conjecture for finite reductive groups $G(F_q)$ was achieved by Waldspurger in the case of symplectic groups or orthogonal groups, under the condition that $p,q$ are large enough. Here $p$ is the characteristic of the finite field $F_q$. In this paper, we determine the scalars in the case of symplectic groups with $p = 2$, by applying the theory… ▽ More The determination of scalars involved in Lusztig's conjecture for finite reductive groups $G(F_q)$ was achieved by Waldspurger in the case of symplectic groups or orthogonal groups, under the condition that $p,q$ are large enough. Here $p$ is the characteristic of the finite field $F_q$. In this paper, we determine the scalars in the case of symplectic groups with $p = 2$, by applying the theory of symmetric spaces over a finite field due to Kawanaka and Lusztig. We also obtain a partial result in the case of special orthogonal groups with $p = 2$. △ Less

Submitted 14 December, 2007; originally announced December 2007.

Comments: 30 pages

MSC Class: 20G40; 20G05

Product formulas for the cyclotomic v-Schur algebra and for the canonical bases of the Fock space

Authors: Toshiaki Shoji, Kentaro Wada

Abstract: In our earlier work, we have proved a product formula for certain decomposition numbers of the cyclotomic v-Schur algebra associated to the Ariki-Koike algebra. It is conjectured by Yvonne that the decomposition numbers of this algebra can be described in terms of the canonical basis of the higher level Fock space studied by Uglov. In this paper we prove a product formula related to the canonica… ▽ More In our earlier work, we have proved a product formula for certain decomposition numbers of the cyclotomic v-Schur algebra associated to the Ariki-Koike algebra. It is conjectured by Yvonne that the decomposition numbers of this algebra can be described in terms of the canonical basis of the higher level Fock space studied by Uglov. In this paper we prove a product formula related to the canonical basis of the Fock space. In view of Yvonne's conjecture, this formula is regarded as a counter-part for the Fock space of our previous formula. △ Less

Submitted 3 December, 2007; originally announced December 2007.

Comments: 24 pages

MSC Class: 17B37; 20C08

Cyclotomic $q$-Schur algebras associated to the Ariki-Koike algebra

Authors: Toshiaki Shoji, Kentaro Wada

Abstract: Let $S$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $H_{n,r}$ of rank $n$, introduced by Dipper-James-Mathas. For each $p = (r_1, ..., r_g)$ such that $r_1 + ... + r_g = r$, we define a subalgebra $S^p$ of $S$ and its quotient algebra $\bar S^p$. It is shown that $S^p$ is a standardly based algebra and $\bar S^p$ is a cellular algebra. By making use of these algebra… ▽ More Let $S$ be the cyclotomic $q$-Schur algebra associated to the Ariki-Koike algebra $H_{n,r}$ of rank $n$, introduced by Dipper-James-Mathas. For each $p = (r_1, ..., r_g)$ such that $r_1 + ... + r_g = r$, we define a subalgebra $S^p$ of $S$ and its quotient algebra $\bar S^p$. It is shown that $S^p$ is a standardly based algebra and $\bar S^p$ is a cellular algebra. By making use of these algebras, we show that certain decomposition numbers for $S$ can be expressed as a product of decomposition numbers for cyclotomic $q$-Schur algebras associated to smaller Ariki_koike algebras $H_{n_k,r_k}$. △ Less

Submitted 12 July, 2007; originally announced July 2007.

Comments: 43 pages

MSC Class: 20C08; 20C20; 20G05

Generalized Green functions and unipotent classes for finite reductive groups, II

Authors: Toshiaki Shoji

Abstract: In a previous paper, "Generalized Green functions and unipotent classes for finite reductive groups, I", we have determined certain unknown scalars involved in the algorithm of computing generalized Green functions in the case of SL_n. In this paper, we consider a similar problem for the case of classical groups Sp_{2n}, SO_N with arbitrary characteristic. Our result enables us, in particular, t… ▽ More In a previous paper, "Generalized Green functions and unipotent classes for finite reductive groups, I", we have determined certain unknown scalars involved in the algorithm of computing generalized Green functions in the case of SL_n. In this paper, we consider a similar problem for the case of classical groups Sp_{2n}, SO_N with arbitrary characteristic. Our result enables us, in particular, to compute Green functions in bad characteristic case, which was not known before. △ Less

Submitted 14 November, 2006; originally announced November 2006.

Comments: 31 pages

MSC Class: 20G05; 20G40

A variant of the induction theorem for Springer representations

Authors: Toshiaki Shoji

Abstract: Let G be a simple algebraic group over C with the Weyl group W. For a unipotent element u of G, let B_u be the variety of Borel subgroups of G containing u. Let L be a Levi subgroup of a parabolic subgroup of G with the Weyl subgroup W_L. Assume that u is in L and let B_u^L be the corresponding variety for L. The induction theorem of Springer representations describes the W-module structure of H… ▽ More Let G be a simple algebraic group over C with the Weyl group W. For a unipotent element u of G, let B_u be the variety of Borel subgroups of G containing u. Let L be a Levi subgroup of a parabolic subgroup of G with the Weyl subgroup W_L. Assume that u is in L and let B_u^L be the corresponding variety for L. The induction theorem of Springer representations describes the W-module structure of H*(B_u) in terms of the W_L-module structure of H*(B_u^L). In this paper, we prove a certain refinement of the induction theorem by considering the action of a cyclic group of order e on H^*(B_u). As a corollary, we obtain a description of the values of Green functions at e-th root of unity. △ Less

Submitted 4 July, 2006; v1 submitted 27 July, 2005; originally announced July 2005.

Comments: 18 pages. In this revised version, some errors are corrected. In particular some restrictions are added to the main results

MSC Class: 20G05; 20G10; 20G40

Generalized Green functions and unipotent classes for finite reductive groups, I

Authors: Toshiaki Shoji

Abstract: The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such scalars in the case where G = SL_n with Frobenius map F of split or non-split type. In the case where F is of non-split type, we use the theory of graded Hecke alge… ▽ More The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such scalars in the case where G = SL_n with Frobenius map F of split or non-split type. In the case where F is of non-split type, we use the theory of graded Hecke algebras and their representations on the equivariant homology group due to Lusztig. △ Less

Submitted 4 July, 2005; originally announced July 2005.

Comments: 36 pages

MSC Class: 20G05; 20G40

Lusztig's conjecture for finite special linear groups

Authors: Toshiaki Shoji

Abstract: In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the characteristic of the base field is not too small. We determine those scalars explicitly. Our result gives a method of computing irreducible characters of these groups. In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the characteristic of the base field is not too small. We determine those scalars explicitly. Our result gives a method of computing irreducible characters of these groups. △ Less

Submitted 9 February, 2005; originally announced February 2005.

Comments: 65 pages

MSC Class: 20G05; 20G40

Subfield symmetric spaces for finite special linear groups

Authors: Toshiaki Shoji, Karine Sorlin

Abstract: Let $G$ be a finite reductive group defined over a finite field $F_q$. In the case where $G$ is a special linear group, we compute the multiplicities of irreducible characters of $G(F_{q^2})$ with the character of $G(F_{q^2})$ induced from the trivial character of $G(F_q)$. We discuss the relationship between these multiplicities with the theory of Shintani descent for finite reductive groups in… ▽ More Let $G$ be a finite reductive group defined over a finite field $F_q$. In the case where $G$ is a special linear group, we compute the multiplicities of irreducible characters of $G(F_{q^2})$ with the character of $G(F_{q^2})$ induced from the trivial character of $G(F_q)$. We discuss the relationship between these multiplicities with the theory of Shintani descent for finite reductive groups in general. We also give some formula concerning the decomposition of the character of $G(F_{q^r})$ induced from the trivial character of $G(F_q)$ for reductive groups $G$ with any positive integer $r$. △ Less

Submitted 2 March, 2004; originally announced March 2004.

Comments: 33pages

MSC Class: 20G05; 20G40

Macdonald functions associated to complex reflection groups

Authors: Toshiaki Shoji

Abstract: Let W be the complex reflection group G(e,1,n). In the author's previous paper, Hall-Littlewood functions associated to W were introduced. In the special case where W is a Weyl group of type B_n, they are closely related to Green polynomials of finite classical groups. In this paper, we introduce a two variables version of the above Hall-Littlewood functions, as a generalization of Macdonald fun… ▽ More Let W be the complex reflection group G(e,1,n). In the author's previous paper, Hall-Littlewood functions associated to W were introduced. In the special case where W is a Weyl group of type B_n, they are closely related to Green polynomials of finite classical groups. In this paper, we introduce a two variables version of the above Hall-Littlewood functions, as a generalization of Macdonald functions associated to symmetric groups. A generalization of Macdonald operators is also constructed, and we characterize such functions by making use of Macdonald operators, assuming a certain conjecture. △ Less

Submitted 8 August, 2002; originally announced August 2002.

Comments: 22 pages

Green functions associated to complex reflection groups, II

Authors: Toshiaki Shoji

Abstract: In our previous paper, Green functions associated to complex reflection groups G(e,1,n) were discussed. It involved a combinatorial approach to the Green functions of classical groups of type B_n or C_n. In this paper, we introduce Green functions associated to complex reflection groups G(e,p,n). We define Schur functions, Hall-Littlewood functions associated to G(e,p,n), and show that our Green… ▽ More In our previous paper, Green functions associated to complex reflection groups G(e,1,n) were discussed. It involved a combinatorial approach to the Green functions of classical groups of type B_n or C_n. In this paper, we introduce Green functions associated to complex reflection groups G(e,p,n). We define Schur functions, Hall-Littlewood functions associated to G(e,p,n), and show that our Green functions are obtained as a transition matrix between those two kinds of symmetric functions. As a special case, it gives a combinatorial treatmnet of Green functions of type D_n. △ Less

Submitted 8 May, 2001; originally announced May 2001.

Comments: 33pages

MSC Class: 20G40; 20C30; 05E5