New characterizations of freeness for hyperplane arrangements

Anna Maria Bigatti,Elisa Palezzato,Michele Torielli

DOI: https://doi.org/10.1007/s10801-019-00876-9

2019-03-26

Journal of Algebraic Combinatorics

Abstract: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.

mathematics

What problem does this paper attempt to address?

Freeness of hyperplane arrangements associated with gain graphs

Daisuke Suyama,Michele Torielli,Shuhei Tsujie

2024-04-09

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 Athanasiadis' arrangement is free, then the corresponding Bailey's arrangement is free, and vice versa.

Combinatorics
Gap Theorems for Complete Λ-Hypersurfaces

Huijuan Wang,Hongwei Xu,Entao Zhao

DOI: https://doi.org/10.2140/pjm.2017.288.453

2017-01-01

Pacific Journal of Mathematics

Abstract:An n-dimensional lambda-hypersurface X : M -> Rn+1 is the critical point of the weighted area functional integral(M) e(-1/4|X|2) d mu for weighted volume-preserving variations, which is also a generalization of the self-shrinking solution of the mean curvature flow. We first prove that if the L-n-norm of the second fundamental form of the lambda-hypersurface X : M -> Rn+1 with n >= 3 is less than an explicit positive constant K(n, lambda), then M is a hyperplane. Secondly, we show that if the L-n-norm of the trace-free second fundamental form of M with n >= 3 is less than an explicit positive constant D(n, lambda) and the mean curvature is suitably bounded, then M is a hyperplane. We also obtain similar results for lambda-surfaces in R-3 under L-4-curvature pinching conditions.
Jacobian Schemes Arising From Hypersurface Arrangements in P n

Juan Migliore,Uwe Nagel

DOI: https://doi.org/10.1093/imrn/rnae164

2024-07-31

International Mathematics Research Notices

Abstract:Abstract Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in ${\mathbb{P}}^{n}$ is free if $S/J$ is Cohen–Macaulay (CM), where $S = K[x_{0},\ldots ,x_{n}]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and when the $f_{i}$ are smooth we also study $\sqrt{J}$. Under mild hypotheses, we show that these ideals are CM. This establishes a full generalization of an earlier result with Schenck from hyperplane arrangements to hypersurface arrangements. If the hypotheses fail for an arrangement in projective $3$-space, the Hartshorne–Rao module measures the failure of CMness. We establish consequences for the even liaison classes of $J^{top}$ and $\sqrt{J}$.

mathematics
The degrees of the orientation-preserving automorphism groups of toroidal maps and hypermaps

Maria Elisa Fernandes,Claudio Alexandre Piedade

DOI: https://doi.org/10.48550/arXiv.2308.16841

2023-09-01

Abstract:This paper is an exploration of the faithful transitive permutation representations of the orientation-preserving automorphisms groups of highly symmetric toroidal maps and hypermaps. The main theorems of this paper give a list of all possible degrees of these specific groups. This extends prior accomplishments of the authors, wherein their focus was confined to the study of the automorphisms groups of toroidal regular maps and hypermaps. In addition the authors bring out the recently developed {\sc GAP} package {\sc corefreesub} that can be used to find faithful transitive permutation representations of any group. With the aid of this powerful tool, the authors show how Schreier coset graphs of the automorphism groups of toroidal maps and hypermaps can be easily constructed.

Group Theory,Combinatorics
Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$

Juan Migliore,Uwe Nagel

2024-07-11

Abstract:Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in $\PP^n$ is free if $S/J$ is Cohen-Macaulay (CM), where $S = K[x_0,\ldots,x_n]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and when the $f_i$ are smooth we also study $\sqrt{J}$. Under mild hypotheses, we show that these ideals are CM. This establishes a full generalization of an earlier result with Schenck from hyperplane arrangements to hypersurface arrangements. If the hypotheses fail for an arrangement in projective $3$-space, the Hartshorne-Rao module measures the failure of CMness. We establish consequences for the even liaison classes of $J^{top}$ and $\sqrt{J}$.

Algebraic Geometry,Commutative Algebra
Hyperplane Arrangements in the Grassmannian

Elia Mazzucchelli,Dmitrii Pavlov,Kexin Wang

2024-09-06

Abstract:The Euler characteristic of a very affine variety encodes the algebraic complexity of solving likelihood (or scattering) equations on this variety. We study this quantity for the Grassmannian with $d$ hyperplane sections removed. We provide a combinatorial formula, and explain how to compute this Euler characteristic in practice, both symbolically and numerically. Our particular focus is on generic hyperplane sections and on Schubert divisors. We also consider special Schubert arrangements relevant for physics. We study both the complex and the real case.

Algebraic Geometry,High Energy Physics - Theory,Combinatorics
Plus-one generated and next to free arrangements of hyperplanes

Takuro Abe

DOI: https://doi.org/10.48550/arXiv.1808.04697

2018-08-17

Abstract:We introduce a new class of arrangements of hyperplanes, called (strictly) plus-one generated arrangements, from algebraic point of view. Plus-one generatedness is close to freeness, i.e., plus-one generated arrangements have their logarithmic derivation modules generated by dimension plus one elements, with relations containing one linear form coefficient. We show that strictly plus-one generated arrangements can be obtained if we delete a hyperplane from free arrangements. We show a relative freeness criterion in terms of plus-one generatedness. In particular, for plane arrangements, we show that a free arrangement is in fact surrounded by free or strictly plus-one generated arrangements. We also give several applications.

Commutative Algebra,Algebraic Geometry,Combinatorics
Grothendieck classes and Chern classes of hyperplane arrangements

Paolo Aluffi

DOI: https://doi.org/10.1093/imrn/rns100

2012-03-31

Abstract:We show that the characteristic polynomial of a hyperplane arrangement can be recovered from the class in the Grothendieck group of varieties of the complement of the arrangement. This gives a quick proof of a theorem of Orlik and Solomon relating the characteristic polynomial with the ranks of the cohomology of the complement of the arrangement. We also show that the characteristic polynomial can be computed from the total Chern class of the complement of the arrangement; this has also been observed by Huh. In the case of free arrangements, we prove that this Chern class agrees with the Chern class of the dual of a bundle of differential forms with logarithmic poles along the hyperplanes in the arrangement; this follows from work of Mustata and Schenck. We conjecture that this relation holds for all free divisors. We give an explicit relation between the characteristic polynomial of an arrangement and the Segre class of its singularity (`Jacobian') subscheme. This gives a variant of a recent result of Wakefield and Yoshinaga, and shows that the Segre class of the singularity subscheme of an arrangement together with the degree of the arrangement determine the ranks of the cohomology of its complement. We also discuss the positivity of the Chern classes of hyperplane arrangements: we give a combinatorial interpretation of this phenomenon, and we discuss the cases of generic and free arrangements.

Algebraic Geometry
Characteristic polynomials, $η$-complexes and freeness of tame arrangements

Takuro Abe

DOI: https://doi.org/10.48550/arXiv.1109.1042

2011-09-06

Abstract:We compare each coefficient of the reduced characteristic polynomial of a simple arrangement and that of its Ziegler restriction. As a consequence we can show that the former is not less than the latter in the category of tame arrangements. This is a generalization of Yoshinaga's freeness criterion for 3-arrangements and also the recent result by the author and Yoshinaga. As a corollary, we can prove that a free arrangement is a minimal chamber arrangement, and we can give a freeness criterion in terms of chambers in the category of tame arrangements.

Complex Variables,Algebraic Geometry
Localization of plus-one generated arrangements

Elisa Palezzato,Michele Torielli

DOI: https://doi.org/10.48550/arXiv.1908.11667

2020-07-17

Abstract:We study the classes of free and plus-one generated hyperplane arrangements. Specifically, we describe how to compute the associated prime ideals of the Jacobian ideal of such an arrangement from its lattice of intersection. Moreover, we prove that the localization of a plus-one generated arrangement is free or plus-one generated.

Combinatorics,Commutative Algebra
On infinity type hyperplane arrangements and convex positive bijections

Kumar, C. P. Anil

DOI: https://doi.org/10.1007/s13226-024-00583-7

2024-05-10

Indian Journal of Pure and Applied Mathematics

Abstract:In this article we prove in main Theorem A that any infinity type real hyperplane arrangement with the associated normal system can be represented isomorphically by another infinity type hyperplane arrangement with a given associated normal system if and only if the normal systems and are isomorphic, that is, there is a convex positive bijection between a pair of associated sets of normal antipodal pairs of vectors of and . We show in Theorem 7.1 that, if two generic hyperplane arrangements and are isomorphic then their associated normal systems and are isomorphic. The converse need not hold, that is, if we have two generic hyperplane arrangements , in , whose associated normal systems and are isomorphic, then there need not exist translates of each of the hyperplanes in the hyperplane arrangement , giving rise to a translated generic hyperplane arrangement , such that, and are isomorphic.

mathematics
Pythagorean Hyperplane Arrangements: Combinatorics of Gain Genericity

Chris Eppolito

2023-08-19

Abstract:We study Pythagorean hyperplane arrangements, originally defined by Zaslavsky. In this first part of a series on such arrangements, we introduce a new notion of genericity for such arrangements. Using this notion we construct an auxiliary hyperplane arrangement whose combinatorics determines the combinatorics of all possible Pythagorean arrangements. We close with several applications and examples.

Combinatorics
Geometric aspects of the Jacobian of a hyperplane arrangement

Michael DiPasquale,Jessica Sidman,Will Traves

2023-06-09

Abstract:An embedding of the complete bipartite graph $K_{3,3}$ in $\mathbb{P}^2$ gives rise to both a line arrangement and a bar-and-joint framework. For a generic placement of the six vertices, the graded Betti numbers of the logarithmic module of derivations of the line arrangement are constant, but an example due to Ziegler shows that the graded Betti numbers are different when the points lie on a conic. Similarly, in rigidity theory a generic embedding of $K_{3,3}$ in the plane is an infinitesimally rigid bar-and-joint framework, but the framework is infinitesimally flexible when the points lie on a conic. In this paper we develop the theory of weak perspective representations of hyperplane arrangements to formalize and generalize the striking connection between hyperplane arrangements and rigidity theory that this example suggests. In particular, we seek to understand how the interplay of combinatorics and geometry influence algebraic structures associated to an arrangement, such as the saturation of the Jacobian ideal of the arrangement. We make connections between examples and constructions from rigidity theory and interesting phenomena in the study of hyperplane arrangements.

Commutative Algebra,Algebraic Geometry,Combinatorics
The characteristic polynomial of a multiarrangement

Takuro Abe,Hiroaki Terao,Max Wakefield

DOI: https://doi.org/10.1016/j.aim.2007.04.019

IF: 1.675

2007-11-01

Advances in Mathematics

Abstract:Given a multiarrangement of hyperplanes we define a series by sums of the Hilbert series of the derivation modules of the multiarrangement. This series turns out to be a polynomial. Using this polynomial we define the characteristic polynomial of a multiarrangement which generalizes the characteristic polynomial of an arrangement. The characteristic polynomial of an arrangement is a combinatorial invariant, but this generalized characteristic polynomial is not. However, when the multiarrangement is free, we are able to prove the factorization theorem for the characteristic polynomial. The main result is a formula that relates ‘global’ data to ‘local’ data of a multiarrangement given by the coefficients of the respective characteristic polynomials. This result gives a new necessary condition for a multiarrangement to be free. Consequently it provides a simple method to show that a given multiarrangement is not free.

mathematics
Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements

Emiliano Liwski,Fatemeh Mohammadi

2024-10-30

Abstract:We study the realization spaces of matroids and hyperplane arrangements. First, we define the notion of naive dimension for the realization space of matroids and compare it with the expected dimension and the algebraic dimension, exploring the conditions under which these dimensions coincide. Next, we introduce the family of inductively connected matroids and investigate their realization spaces, establishing that they are smooth, irreducible, and isomorphic to a Zariski open subset of a complex space with a known dimension. Furthermore, we present an explicit procedure for computing their defining equations. As corollaries, we identify families of hyperplane arrangements whose moduli spaces are connected. Finally, we apply our results to study the rigidity of matroids. Rigidity, which involves matroids with a unique realization under projective transformations, is key to understanding the connectivity of the moduli spaces of the corresponding hyperplane arrangements.

Combinatorics,Commutative Algebra,Algebraic Geometry
A characterization of quasi-homogeneous singularities of free and nearly free plane curves

Aline V. Andrade,Valentina Beorchia,Rosa M. Miró-Roig

2024-07-08

Abstract:The goal of this paper is to establish a new and efficient characterization of quasi-homogeneous isolated singularities of free curves and nearly free curves $C$ in $\mathbb{P}^2$. The criterion will be in terms of the first syzygy matrix associated with the Jacobian ideal of $f$ where $f=0$ is the equation of the plane curve $C$.

Algebraic Geometry
One-element Extensions of Hyperplane Arrangements

Hang Cai,Houshan Fu,Suijie Wang

2023-08-19

Abstract:We classify one-element extensions of a hyperplane arrangement by the induced adjoint arrangement. Based on the classification, several kinds of combinatorial invariants including Whitney polynomials, characteristic polynomials, Whitney numbers and face numbers, are constants on those strata associated with the induced adjoint arrangement, and also order-preserving with respect to the intersection lattice of the induced adjoint arrangement. As a byproduct, we obtain a convolution formula on the characteristic polynomials $\chi(\mathcal{A}+H_{\bm\alpha,a},t)$ when $\mathcal{A}$ is defined over a finite field $\mathbb{F}_q$ or a rational arrangement.

Combinatorics
Free resolution of the logarithmic derivation modules of close to free arrangements

Junyan Chu

2024-08-19

Abstract:This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation module of $A$, which can be used to compute a lower bound for the graded Betti numbers of the resolution. Specifically, for the three-dimensional case, we determine the minimal free resolution of the logarithmic derivation module of $A$. We present illustrative examples of our main theorems to provide insights into the relationship between algebraic and combinatorial properties for close-to-free arrangements.

Commutative Algebra,Algebraic Geometry,Combinatorics
Many partitions of mass assignments

Pavle V. M. Blagojevic,Michael C. Crabb

2024-07-30

Abstract:In this paper, extending the recent work of authors with Calles Loperena and Dimitrijević Blagojević, we give a general and complete treatment of a problem of partition of mass assignments with prescribed arrangements of hyperplanes on Euclidean vector bundles. Using a new configuration test map scheme, as well as an alternative topological framework, we are able to reprove known results, extend them to arbitrary bundles as well as to put various types of constraints on the solutions. Moreover, the developed topological methods allow us to give new proofs and extend results of Guth and Katz, Schnider, and Soberón and Takahashi. In this way we place all these results under one ``roof''.

Algebraic Topology,Metric Geometry
Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements

Torsten Hoge,Gerhard Roehrle,Sven Wiesner

2024-07-01

Abstract:Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A"$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $\kappa$ is then a free multiarrangement. In 2024, the first two authors proved an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the free multiarrangement $(\mathcal A'',\kappa)$. In 2018, all reflection arrangements which admit inductively free Ziegler restrictions were classified by the first two authors. The aim of this paper is an extension of this classification to all restrictions of reflection arrangements utilizing the aforementioned fundamental result from the 2024 paper of the first two authors.

Combinatorics,Group Theory

New characterizations of freeness for hyperplane arrangements

Freeness of hyperplane arrangements associated with gain graphs

Gap Theorems for Complete Λ-Hypersurfaces

Jacobian Schemes Arising From Hypersurface Arrangements in P n

The degrees of the orientation-preserving automorphism groups of toroidal maps and hypermaps

Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$

Hyperplane Arrangements in the Grassmannian

Plus-one generated and next to free arrangements of hyperplanes

Grothendieck classes and Chern classes of hyperplane arrangements

Characteristic polynomials, $η$-complexes and freeness of tame arrangements

Localization of plus-one generated arrangements

On infinity type hyperplane arrangements and convex positive bijections

Pythagorean Hyperplane Arrangements: Combinatorics of Gain Genericity

Geometric aspects of the Jacobian of a hyperplane arrangement

The characteristic polynomial of a multiarrangement

Irreducibility, Smoothness, and Connectivity of Realization Spaces of Matroids and Hyperplane Arrangements

A characterization of quasi-homogeneous singularities of free and nearly free plane curves

One-element Extensions of Hyperplane Arrangements

Free resolution of the logarithmic derivation modules of close to free arrangements

Many partitions of mass assignments

Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements