Masahiko Yoshinaga
We will prove the freeness of multi-Coxeter arrangements by constructing a basis of the module of vector fields which contact to each reflecting hyperplanes with some multiplicities using K. Saito's theory of primitive derivation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We will consider some characterizations of freeness of a hyperplane arrangement, in terms of the following properties: locally freeness, factorization of characteristic polynomial and freeness of restricted multiarrangement. In the case of 3-arrangement, freeness is characterized by factorization of characteristic polynomial and coincidence of its roots with exponents of restricted multiarrangement. In the case of higher dimension, it is characterized by a kind of locally freeness and freeness of restricted multiarrangement. As an application, we prove the freeness of certain arrangements whic…
This is the expanded notes of the lecture by the author in "Arrangements in Pyrenees", June 2012. We are discussing relations of freeness and splitting problems of vector bundles, several techniques proving freeness of hyperplane arrangements, K. Saito's theory of primitive derivations for Coxeter arrangements, their application to combinatorial problems and related conjectures.
We prove Terao conjecture saying that the freeness is determined by the combinatorics for arrangements of 13 lines in the complex projective plane and that the property of being nearly free is combinatorial for line arrangements of up to 12 lines in the complex projective plane.
In this paper, we show how to compute using Fitting ideals the nonfree locus of the moduli space of arrangements of a rank $3$ simple matroid, i.e., the subset of all points of the moduli space which parametrize nonfree arrangements. Our approach relies on the so-called Ziegler restriction and Yoshinaga's freeness criterion for multiarrangements. We use these computations to verify Terao's freeness conjecture for rank $3$ central arrangements with up to $14$ hyperplanes in any characteristic.
In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements.
Let $W$ be a finite irreducible real reflection group, which is a Coxeter group. We explicitly construct a basis for the module of differential 1-forms with logarithmic poles along the Coxeter arrangement by using a primitive derivation. As a consequence, we extend the Hodge filtration, indexed by nonnegative integers, into a filtration indexed by all integers. This filtration coincides with the filtration by the order of poles. The results are translated into the derivation case.
Every subarrangement of Weyl arrangements of type $ B_{\ell} $ is represented by a signed graph. Edelman and Reiner characterized freeness of subarrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $ in terms of graphs. Recently, Suyama and the authors characterized freeness for subarrangements containing Boolean arrangements satisfying a certain condition. This article is a sequel to the previous work. Namely, we give a complete characterization for freeness of arrangements between Boolean arrangements and Weyl arrangements of type $ B_{\ell} $ in terms of graphs.
In [5] (=Terao, H.: Multiderivations of Coxeter arrangements. Inventiones math., 148 (2002) 659--674), we constructed a basis for the contact-order filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space. Recently M. Yoshinaga constructed another basis for the contact-order filtration in [7] (=Yoshinaga, M.: The primitive derivation and freeness of multi-Coxeter arrangements. preprint 2002). In this note we give an explicit formula relating Yoshinaga's basis to the basis given in [5]. The two bases turn out to…
In the category of free arrangements, inductively and recursively free arrangements are important. In particular, in the former, Terao's open problem asking whether freeness depends only on combinatorics is true. A long standing problem whether all free arrangements are recursively free or not was settled by the second author and Hoge very recently, by giving a free but non-recursively free plane arrangement consisting of 27 planes. In this paper, we construct free but non-recursively free plane arrangements consisting of 13 and 15 planes, and show that the example with 13 planes is the smalle…
Freeness of arrangements of lines and one conic with ordinary quasi-homogeneous singularities
本文研究由线和一个光滑圆锥组成的自由排列，通过弱组合学方法对具有准齐次普通奇点的排列进行不完全分类。
By way of Ziegler restrictions we study the relation between nearly free plane arrangements and combinatorics and we give a Yoshinaga-type criterion for plus-one generated plane arrangements.
Freeness of hyperplane arrangements associated with gain graphs
本文利用增益图推广了Athanasiadis平移超平面构形与Bailey倾斜超平面构形之间自由性等价的现象。
Only few categories of free arrangements are known in which Terao's conjecture holds. One of such categories consists of $3$-arrangements with unbalanced Ziegler restrictions. In this paper, we generalize this result to arbitrary dimensional arrangements in terms of flags by introducing unbalanced multiarrangements. For that purpose, we generalize several freeness criterions for simple arrangements, including Yoshinaga's freeness criterion, to unbalanced multiarrangements.
Generalizing a result of Yoshinaga in dimension 3, we show that a central hyperplane arrangement in 4-space is free exactly if its restriction with multiplicities to a fixed hyperplane of the arrangement is free and its reduced characteristic polynomial equals the characteristic polynomial of this restriction. We show that the same statement holds true in any dimension when imposing certain tameness hypotheses.
An m-free hyperplane arrangement is a generalization of a free arrangement. Holm asked the following two questions: (1)Does m-free imply (m+1)-free for any arrangement? (2)Are all arrangements m-free for m large enough? In this paper, we characterize m-freeness for product arrangements, while we prove that all localizations of an m-free arrangement are m-free. From these results, we give answers to Holm's questions.
The Hodge filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space was introduced and studied by K. Saito. The filtration is equivalent data to the flat structure or the Frobenius manifold structure. We will show that the Hodge filtration coincides with the filtration by the order of contacts to the reflecting hyperplanes. Moreover, a standard basis for the Hodge filtration is explicitly given.
A Weyl arrangement is the arrangement defined by the root system of a finite Weyl group. When a set of positive roots is an ideal in the root poset, we call the corresponding arrangement an ideal subarrangement. Our main theorem asserts that any ideal subarrangement is a free arrangement and that its exponents are given by the dual partition of the height distribution, which was conjectured by Sommers-Tymoczko. In particular, when an ideal subarrangement is equal to the entire Weyl arrangement, our main theorem yields the celebrated formula by Shapiro, Steinberg, Kostant, and Macdonald. Our pr…
We define {\bf primitive derivations} for Coxeter arrangements which may not be irreducible. Using those derivations, we introduce the {\bf primitive filtrations} of the module of invariant logarithmic differential forms for an arbitrary Coxeter arrangement with an arbitrary multiplicity. In particular, when the Coxeter arrangement is irreducible with a constant multiplicity, the primitive filtration has already been studied, which generalizes the Hodge filtration introduced by K. Saito.
We prove a characterization of freeness, conjectured by Athanasiadis, for the family of hyperplane arrangements which lie between the Coxeter and the Catalan arrangement of type $A_\ell$. One direction was already proved in [2]. Here we prove the other direction
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 arrangemen…
Vertex-weighted Digraphs and Freeness of Arrangements Between Shi and Ish
本文引入顶点加权有向图排列，统一了Shi与Ish之间的排列，证明其自由性，并指出仅Ish排列具有超可解锥。
Freeness for restriction arrangements of the extended Shi and Catalan arrangements
本文利用有向图构造限制封闭的排列类，刻画其锥的自由性，并据此确定 A 型扩展 Catalan 与 Shi 排列锥的遗传自由性。
In this paper, we study the class of free hyperplane arrangements. Specifically, we investigate the relations between freeness over a field of finite characteristic and freeness over $\mathbb{Q}$.
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 …
We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring.
Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is supersolvable if the intersection lattice $L(c(\mathcal{A}))$ of the cone $c(\mathcal{A})$ contains a maximal chain of modular elements. The second author has shown that a graphical arrangement $\mathcal{A}_G$ is supersolvable if and only if $G$ is a chordal graph. He later considered a generalization of graphical arrangements which are called $ψ$-graphical arrangem…
Coxeter arrangements in three dimensions
研究三维实线超平面排列，证明若所有区域等距，则必为Coxeter排列，并探讨更高维中是否同样成立，同时给出非反射排列但区域等距的平面仿射排列家族。
Let $\A$ be an irreducible Coxeter arrangement and $W$ be its Coxeter group. Then $W$ naturally acts on $\A$. A multiplicity $\bfm : \A\rightarrow \Z$ is said to be equivariant when $\bfm$ is constant on each $W$-orbit of $\A$. In this article, we prove that the multi-derivation module $D(\A, \bfm)$ is a free module whenever $\bfm$ is equivariant by explicitly constructing a basis, which generalizes the main theorem of \cite{T02}. The main tool is a primitive derivation and its covariant derivative. Moreover, we show that the $W$-invariant part $D(\A, \bfm)^{W}$ for any multiplicity $\bfm$ is …
We prove the torsion freeness of the decomposable Orlik--Solomon algebra of a simple matroid on ground set $[n]$. In the class of hypersolvable \& non-supersolvable complex hyperplane arrangements, the torsion freeness, in a certain degree, of this combinatorially defined object, associated to the intersection lattice of the arrangement, impacts on the first non-vanishing higher homotopy group of the complement of the arrangement.
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.
Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements. More precisely, let $A = A(W)$ be the reflection arrangement of a complex reflection group $W$. By work of Terao, each such reflection arrangement is free. Thus so is Ziegler's canonical multiplicity on the restriction…
Let ${\mathcal C}= \bigcup_{i=1}^n C_i \subseteq \mathbb{P}^2$ be a collection of smooth rational plane curves. We prove that the addition-deletion operation used in the study of hyperplane arrangements has an extension which works for a large class of arrangements of smooth rational curves, giving an inductive tool for understanding the freeness of the module $Ω^1({\mathcal C})$ of logarithmic differential forms with pole along ${\mathcal C}$. We also show that the analog of Terao's conjecture (freeness of $Ω^1({\mathcal C})$ is combinatorially determined if ${\mathcal C}$ is a union of lines…
Freeness of Arrangements with Regular Underlying Matroids
该研究对基础拟阵为正则的有限中心排列的自由性给出完全独立于基域的组合分类，利用正则拟阵的Seymour分解定理证明自由性强制超可解性，还刻画了有限简单二元拟阵的良好划分条件。
Using the classification of finite Weyl groupoids we prove that crystallographic arrangements, a large subclass of the class of simplicial arrangements which was recently defined, are hereditarily inductively free. In particular, all crystallographic reflection arrangements are hereditarily inductively free, among them the arrangement of type $E_8$. With little extra work we prove that also all Coxeter arrangements are inductively free.
We investigate several hyperplane arrangements that can be viewed as deformations of Coxeter arrangements. In particular, we prove a conjecture of Linial and Stanley that the number of regions of the arrangement x_i - x_j = 1, 1 \leq i<j \leq n, is equal to the number of alternating trees on n+1 vertices. Remarkably, these numbers have several additional combinatorial interpretations in terms of binary trees, partially ordered sets, and tournaments. More generally, we give formulae for the number of regions and the Poincar'e polynomial of certain finite subarrangements of the affine Coxeter ar…
Worpitzky-compatible sets and the freeness of arrangements between Shi and Catalan
本文研究了不可约根系的Worpitzky-compatible子集，证明了其具有基于roots的简单组合刻画，并借此完整刻画了扩展Shi和Catalan配置间超平面配置的自由性，完成了Yoshinaga在2010年针对单边根系的早期结果。
Solomon showed that the Poincaré polynomial of a Coxeter group $W$ satisfies a product decomposition depending on the exponents of $W$. This polynomial coincides with the rank-generating function of the poset of regions of the underlying Coxeter arrangement. In this note we determine all instances when the analogous factorization property of the rank-generating function of the poset of regions holds for a restriction of a Coxeter arrangement. It turns out that this is always the case with the exception of some instances in type $E_8$.
Let $\A$ be an irreducible Coxeter arrangement and $\bfk$ be a multiplicity of $\A$. We study the derivation module $D(\A, \bfk)$. Any two-dimensional irreducible Coxeter arrangement with even number of lines is decomposed into two orbits under the action of the Coxeter group. In this paper, we will {explicitly} construct a basis for $D(\A, \bfk)$ assuming $\bfk$ is constant on each orbit. Consequently we will determine the exponents of $(\A, \bfk)$ under this assumption. For this purpose we develop a theory of universal derivations and introduce a map to deal with our exceptional cases.
Let $W$ be a finite Weyl group and $\A$ be the corresponding Weyl arrangement. A deformation of $\A$ is an affine arrangement which is obtained by adding to each hyperplane $H\in\A$ several parallel translations of $H$ by the positive root (and its integer multiples) perpendicular to $H$. We say that a deformation is $W$-equivariant if the number of parallel hyperplanes of each hyperplane $H\in \A$ depends only on the $W$-orbit of $H$. We prove that the conings of the $W$-equivariant deformations are free arrangements under a Shi-Catalan condition and give a formula for the number of chambers.…
Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper …
The Varchenko determinant is the determinant of a matrix defined from an arrangement of hyperplanes. Varchenko proved that this determinant has a beautiful factorization. It is, however, not possible to use this factorization to compute a Varchenko determinant from a certain level of complexity. Precisely at this point, we provide an explicit formula of this determinant for the hyperplane arrangements associated to the finite Coxeter groups. The intersections of hyperplanes with the chambers of such arrangements have nice properties which play a central role for the calculation of their relati…
In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.
Characteristic quasi-polynomials for deformations of Coxeter arrangements of types A, B, C, and D
本文研究了A、B、C和D型Coxeter排列的变形，计算了其特征准多项式并证明了相关poset的诱导性质。
Characteristic Polynomials of Deformations of Coxeter Arrangements via levels of regions
本文提出利用区域层级计算辫子排列形变特征多项式的新公式，简化并加强了 Chen 等人的结果，并推广至 B 型排列。
The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic polynomial.
Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.
We prove that the modules of differential operators of order 2 on the classical Coxeter arrangements are free by exhibiting bases. For this purpose, we use Cauchy-Sylvester's theorem on compound determinants and Saito-Holm's criterion. In the case type $A$, we apply Cauchy-Sylvester's theorem on compound determinants to Vandermond determinant. By using the Schur polynomials, we define operators which form a part of a basis of modules of differential operators on the classical Coxeter arrangements of type $A$. In the cases of type $B$ and type $D$, the proofs go similarly to the case of type $A…
Conjectures for cutting pizza with Coxeter arrangements
本文研究不可约Coxeter排列下披萨量的符号猜想，通过2-结构子排列表达披萨量并求得多元泰勒展开的首个非零项。
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four. In this paper, the second in…
In the present paper, we study arrangements of smooth plane conics having only nodes and tacnodes as the singularities. We provide an interesting estimation on the number of nodes and tacnodes that depends only on a linear function of the number of conics. Based on that result, we obtain a new upper bound on the number of tacnodes which turns out to be better than Miyaoka's bound for a large enough number of conics. We also study the freeness and nearly freeness of such arrangements providing a detailed description.
Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements
本文基于2024年前两位作者证明的归纳自由性类似齐格勒定理的结论，将2018年关于允许归纳自由齐格勒限制的反射排列的分类扩展到所有反射排列的限制。
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_…
MAT-Freeness is not combinatorial
本文证明超平面安排中 MAT-freeness 依赖于域，而非组合属性。
Let A be a generic hyperplane arrangement composed of r hyperplanes in an n-dimensional vector space, and S the polynomial ring in n variables. We consider the S-submodule D(m)(A) of the nth Weyl algebra of homogeneous differential operators of order m preserving the defining ideal of A. We prove that if n \geq 3, r > n,m > r - n + 1, then D(m)(A) is free (Holm's conjecture). Combining this with some results by Holm, we see that D(m)(A) is free unless n \geq 3, r > n,m < r - n + 1. In the remaining case, we construct a minimal free resolution of D(m)(A) by generalizing Yuzvinsky's construction…
Shi arrangements and low elements in affine Coxeter groups
本研究在仿射Coxeter群框架下，证明了Shi排列各区域的极小长度元素集合等价于低阶元素集合，解决了相关猜想，并进一步揭示了区域下降壁与对应低阶元素alcove下降壁的一致性。
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$.
Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of …
We define specific multiplicities on the braid arrangement by using edge-bicolored graphs. To consider their freeness, we introduce the notion of bicolor-eliminable graphs as a generalization of Stanley's classification theory of free graphic arrangements by chordal graphs. This generalization gives us a complete classification of the free multiplicities defined above. As an application, we prove one direction of a conjecture of Athanasiadis on the characterization of the freeness of the deformation of the braid arrangement in terms of directed graphs.
We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we consider the corresponding relation complexes and give a simple proof of the $n$-formality of these hyperplane arrangements. As an application, we are able to bound the Castelnouvo-Mumford regularity of certain modules over polynomial rings associated to Coxeter arrangements (real reflection arrangements) and their restrictions. The modules in question are defi…
Shi arrangements and low elements in Coxeter groups
本文将仿射Weyl群下的经典Shi排列结果推广到任意Coxeter系统的任意m情形，证明m-Shi排列区域极小长度元恰为m-低阶元素，且0-低阶元素逆元并集是Coxeter复形凸子集，解决了两项相关猜想。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。