Showing 1–8 of 8 results for author: Suyama, D

Freeness of hyperplane arrangements associated with gain graphs

Authors: Daisuke Suyama, Michele Torielli, Shuhei Tsujie

Abstract: Athanasiadis studied arrangements obtained by adding shifted hyperplanes to the braid arrangement. Similarly, Bailey studied arrangements obtained by adding tilted hyperplanes to the braid arrangement. These two kinds of arrangements are associated with directed graphs and their freeness was characterized in terms of the associated graphs. In addition, there is coincidence of freeness. Namely, if… ▽ More Athanasiadis studied arrangements obtained by adding shifted hyperplanes to the braid arrangement. Similarly, Bailey studied arrangements obtained by adding tilted hyperplanes to the braid arrangement. These two kinds of arrangements are associated with directed graphs and their freeness was characterized in terms of the associated graphs. In addition, there is coincidence of freeness. Namely, if Athanasiadis' arrangement is free, then the corresponding Bailey's arrangement is free, and vice versa. In this paper, we generalize this phenomenon by using gain graphs. △ Less

Submitted 8 April, 2024; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: 21 pages

MSC Class: 52C35; 32S22; 05C22; 13N15

The Primitive Derivation and Discrete Integrals

Authors: Daisuke Suyama, Masahiko Yoshinaga

Abstract: The modules of logarithmic derivations for the (extended) Catalan and Shi arrangements associated with root systems are known to be free. However, except for a few cases, explicit bases for such modules are not known. In this paper, we construct explicit bases for type $A$ root systems. Our construction is based on Bandlow-Musiker's integral formula for a basis of the space of quasiinvariants. The… ▽ More The modules of logarithmic derivations for the (extended) Catalan and Shi arrangements associated with root systems are known to be free. However, except for a few cases, explicit bases for such modules are not known. In this paper, we construct explicit bases for type $A$ root systems. Our construction is based on Bandlow-Musiker's integral formula for a basis of the space of quasiinvariants. The integral formula can be considered as an expression for the inverse of the primitive derivation introduced by K. Saito. We prove that the discrete analogues of the integral formulas provide bases for Catalan and Shi arrangements. △ Less

Submitted 13 April, 2021; v1 submitted 28 September, 2020; originally announced September 2020.

Journal ref: SIGMA 17 (2021), 038, 9 pages

Signed graphs and the freeness of the Weyl subarrangements of type $B_{\ell}$

Authors: Daisuke Suyama, Michele Torielli, Shuhei Tsujie

Abstract: A Weyl arrangement is the hyperplane arrangement defined by a root system. Arnold and Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell}$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of thier graph. In addition, The Weyl subarrangements of type $B_{\ell}$ can be represented by signed g… ▽ More A Weyl arrangement is the hyperplane arrangement defined by a root system. Arnold and Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell}$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of thier graph. In addition, The Weyl subarrangements of type $B_{\ell}$ can be represented by signed graphs. A characterization of freeness for them is not known. However, characterizations of freeness for a few restricted classes are known. For instance, Edelman and Reiner characterized the freeness of the arrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $. In this paper, we give a characterization of the freeness and supersolvability of the Weyl subarrangements of type $B_{\ell}$ under certain assumption. △ Less

Submitted 13 July, 2017; v1 submitted 6 July, 2017; originally announced July 2017.

Comments: 30 pages

MSC Class: 52C35; 32S22; 05C15; 05C22; 20F55; 13N15

Vertex-weighted graphs and freeness of $ ψ$-graphical arrangements

Authors: Daisuke Suyama, Shuhei Tsujie

Abstract: Let $ G $ be a simple graph of $ \ell $ vertices $ \{1, \dots, \ell \} $ with edge set $ E_{G} $. The graphical arrangement $ \mathcal{A}_{G} $ consists of hyperplanes $ \{x_{i}-x_{j}=0\} $, where $ \{i, j \} \in E_{G} $. It is well known that three properties, chordality of $ G $, supersolvability of $ \mathcal{A}_{G} $, and freeness of $ \mathcal{A}_{G} $ are equivalent. Recently, Richard P. Sta… ▽ More Let $ G $ be a simple graph of $ \ell $ vertices $ \{1, \dots, \ell \} $ with edge set $ E_{G} $. The graphical arrangement $ \mathcal{A}_{G} $ consists of hyperplanes $ \{x_{i}-x_{j}=0\} $, where $ \{i, j \} \in E_{G} $. It is well known that three properties, chordality of $ G $, supersolvability of $ \mathcal{A}_{G} $, and freeness of $ \mathcal{A}_{G} $ are equivalent. Recently, Richard P. Stanley introduced $ ψ$-graphical arrangement $ \mathcal{A}_{G, ψ} $ as a generalization of graphical arrangements. Lili Mu and Stanley characterized the supersolvability of the $ ψ$-graphical arrangements and conjectured that the freeness and the supersolvability of $ ψ$-graphical arrangements are equivalent. In this paper, we will prove the conjecture. △ Less

Submitted 20 April, 2017; v1 submitted 16 November, 2015; originally announced November 2015.

Comments: We added Chapter 6

MSC Class: 52C35; 32S22; 05C15; 05C22; 20F55; 13N15

The freeness of Ish arrangements

Authors: Takuro Abe, Daisuke Suyama, Shuhei Tsujie

Abstract: The Ish arrangement was introduced by Armstrong to give a new interpretation of the $q,t$-Catalan numbers of Garsia and Haiman. Armstrong and Rhoades showed that there are some striking similarities between the Shi arrangement and the Ish arrangement and posed some problems. One of them is whether the Ish arrangement is a free arrangement or not. In this paper, we verify that the Ish arrangement i… ▽ More The Ish arrangement was introduced by Armstrong to give a new interpretation of the $q,t$-Catalan numbers of Garsia and Haiman. Armstrong and Rhoades showed that there are some striking similarities between the Shi arrangement and the Ish arrangement and posed some problems. One of them is whether the Ish arrangement is a free arrangement or not. In this paper, we verify that the Ish arrangement is supersolvable and hence free. Moreover, we give a necessary and sufficient condition for the deleted Ish arrangement to be free. △ Less

Submitted 3 September, 2015; v1 submitted 8 October, 2014; originally announced October 2014.

Comments: We added Section 3 (v2). We corrected the proof of Theorem 1.3 and several typos (v3)

MSC Class: 32S22; 20F55; 13N15

Journal ref: Journal of Combinatorial Theory, Series A Volume 146, February 2017, Pages 169-183

A basis construction of the extended Catalan and Shi arrangements of the type $A_{2}$

Authors: Takuro Abe, Daisuke Suyama

Abstract: In [9], Terao proved the freeness of multi-Coxeter arrangements with constant multiplicities by giving an explicit construction of bases. Combining it with algebro-geometric method, Yoshinaga proved the freeness of the extended Catalan and Shi arrangements in [11]. However, there have been no explicit constructions of the bases for the logarithmic derivation modules of the extended Catalan and Shi… ▽ More In [9], Terao proved the freeness of multi-Coxeter arrangements with constant multiplicities by giving an explicit construction of bases. Combining it with algebro-geometric method, Yoshinaga proved the freeness of the extended Catalan and Shi arrangements in [11]. However, there have been no explicit constructions of the bases for the logarithmic derivation modules of the extended Catalan and Shi arrangements. In this paper, we give the first explicit construction of them when the root system is of the type $A_2$. △ Less

Submitted 23 January, 2014; v1 submitted 19 December, 2013; originally announced December 2013.

MSC Class: 32S22; 20F55; 13N15

A basis construction for the Shi arrangement of the type $B_{\ell}$ or $C_{\ell}$

Authors: Daisuke Suyama

Abstract: The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the Weyl arrangement and their parallel translations. It was introduced by J.-Y. Shi in the study of the Kazhdan-Lusztig representation of the affine Weyl groups. M. Yoshinaga showed that the cone over every Shi arrangement is free. In this paper, we construct an explicit basis for the derivation module of… ▽ More The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the Weyl arrangement and their parallel translations. It was introduced by J.-Y. Shi in the study of the Kazhdan-Lusztig representation of the affine Weyl groups. M. Yoshinaga showed that the cone over every Shi arrangement is free. In this paper, we construct an explicit basis for the derivation module of the cone over the Shi arrangements of the type $B_{\ell}$ or $C_{\ell}$. △ Less

Submitted 29 May, 2012; originally announced May 2012.

Comments: 15 pages

The Shi arrangements and the Bernoulli polynomials

Authors: Daisuke Suyama, Hiroaki Terao

Abstract: The braid arrangement is the Coxeter arrangement of the type $A_\ell$. The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the braid arrangement and their parallel translations. In this paper, we give an explicit basis construction for the derivation module of the cone over the Shi arrangement. The essential ingredient of our recipe is the Bernoulli polynom… ▽ More The braid arrangement is the Coxeter arrangement of the type $A_\ell$. The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the braid arrangement and their parallel translations. In this paper, we give an explicit basis construction for the derivation module of the cone over the Shi arrangement. The essential ingredient of our recipe is the Bernoulli polynomials. △ Less

Submitted 29 March, 2011; v1 submitted 16 March, 2011; originally announced March 2011.

Comments: We fixed a typo

MSC Class: 32S22; 20F55; 11B68

Journal ref: Bulletin of London Mathematics Society, 44 (2012), 563-570