# Questions tagged [hyperplane-arrangements]

A hyperplane arrangement is a set of hyperplanes in a vector space or in a projective space. The complement of the union of these hyperplanes defines an algebraic variety, with interesting geometry and topology.

62
questions

**2**

votes

**1**answer

115 views

### Seeking combinatorial interpretation of a quantity that comes up from central hyperplane arrangements

Let $\mathcal A$ be a central hyperplane arrangement in $\mathbb R^d$ and let's assume that it is essential, meaning the hyperplanes in $\mathcal A$ intersect in the origin. The intersection lattice $...

**1**

vote

**1**answer

118 views

### Extensions of combinatorially equivalent hyperplane arrangements

Let $A_1,A_2\subset \mathbb{C}^n$ be hyperplane arrangements with equivalent intersection lattices $L(A_1)\cong L(A_2)$. If $A_1\subset B_1$, where $B_1$ is third hyperplane arrangement, does there ...

**1**

vote

**0**answers

112 views

### Reference for hyperplane arrangements

I am interested in the hyperplane arrangement in $\mathbb{C}^n$ defined by the polynomial
$$
(x_i-x_j)(x_i+x_j)
$$
for $1<i<j\leq n$.
I vaguely recall that the completion of this arrangement ...

**3**

votes

**0**answers

96 views

### Polynomiality of the inverse of equally weighted Varchenko matrices attached to hyperplane arrangements

Let $d\in \mathbb{Z}_{\ge 1}$, let $\sigma = (H_i)_{i\in \mathcal{I}}$ be a finite hyperplane arrangement in $\mathbb{R}^d$, where $H_i\subset \mathbb{R}^d$ is a hyperplane for $i\in \mathcal{I}$ (the ...

**9**

votes

**1**answer

124 views

### Hyperplane arrangements whose regions all have the same shape

Suppose I have a (finite, real, central, essential) hyperplane arrangement $\mathcal{H}$ such that all regions "have the same shape": for any two regions $R,R'$, there is an orthogonal ...

**3**

votes

**0**answers

84 views

### Cohomology of higher codimensional arrangements

Hyperplane arrangements are classical objects of study and there is a large literature on this subject, e.g. dealing with computing the cohomology of the complement. I am looking for similar results ...

**2**

votes

**0**answers

87 views

### Sources for describing the characteristic polynomial of a nonintegral hyperplane arrangement in terms of point counting?

I have a family of hyperplane arrangements, and I'd like to describe their characteristic polynomials. When the hyperplanes are defined over the integers, the easiest way for me to do this is to use ...

**8**

votes

**0**answers

199 views

### Cohomology of the complement of the resonance hyperplane arrangement

Here was a question about resonance arrangement. It is defined as follows.
Let $x_i$ be the standard coordinates on $\mathbb{C}^n$. For each nonempty $I\subseteq\{1,\dots,n\}$, define the hyperplane $...

**4**

votes

**0**answers

111 views

### Sheaves with specified singular support at infinity coming from hyperplane arrangements

Given a manifold $M$, we consider its cotangent bundle $T^*M$, and its cocircle bundle $T^\infty M$, quotienting out by the scaling action of the positive reals. Given a Legendrian submanifold $\...

**9**

votes

**0**answers

189 views

### Action of Weyl group on regions of Shi arrangement

This is an elaboration of a question which was aked on MO several years ago, which was unanswered but deleted by the question-asker. I hope it is okay to elaborate on a deleted question like this; for ...

**8**

votes

**1**answer

130 views

### Counting polygons in arrangements

For an arrangement of lines $\cal{A}$ in the plane, an
inducing polygon $P$ is a simple polygon satisfying:
(a) every edge $e$ of $P$ lies on some line $\ell$ of $\cal{A}$, and
(b) every line $\ell \...

**8**

votes

**3**answers

536 views

### Number of regions formed by $n$ points in general position

Given $n$ points in $\mathbb{R}^d$ in general position, where $n\geq d+1$. For every $d$ points, form the hyperplane defined by these $d$ points. These hyperplanes cut $\mathbb{R}^d$ into several ...

**1**

vote

**1**answer

65 views

### Regions of hyperplane arrangements and their faces

Consider a finite hyperplane arrangement $\mathcal{A}$ over $\mathbb{R}^n$. Let the regions given by $\mathcal{A}$ be $\mathcal{R}(\mathcal{A})=\{A_1,\dots A_m\}$ for some $m$.
For any index set $I\...

**1**

vote

**1**answer

68 views

### Separation in $l^1$ (Kreps-YanTheorem)

I have a question about the hypotheses of the Kreps-Yan Separation Theorem. I use the notation $l^p_+$ for the subspace of vectors all of whose coordinates are non-negative and define $l^p_- = -l^p_+$....

**2**

votes

**1**answer

226 views

### Simplicial set represented by an (unordered) set

Let $X$ be a (finite if you want) set and form the simplicial set $F^{\bullet}(X)$ with
$$
F^{n}(X) = \mathrm{Hom}_{\mathrm{set}} ([n], X)
$$
where the right hand side denotes arbitrary maps of sets (...

**3**

votes

**0**answers

84 views

### Homotopy type of hyperplane arrangements intersected with real subspaces

The homotopy type, and especially the higher homotopy groups of complement of hyperplane arrangements in $\mathbb{C}^n$ has been extensively studied, for example Falk and Randell - On the homotopy ...

**1**

vote

**0**answers

95 views

### What are the “ouverts convenables” used to prove Brieskorns lemma?

In the proof of Brieskorns lemma, see 3.3 here, Brieskorn mentions that we take "ouverts convenables" satisfying some properties, but, as far as I can tell, never specifies what these opens actually ...

**15**

votes

**2**answers

652 views

### Seeking a more symmetric realization of a configuration of 10 planes, 25 lines and 15 points in projective space

I've got ten (projective) planes in projective 3-space:
\begin{align}
&x=0\\
&z=0\\
&t=0\\
&x+y=0\\
&x-y=0\\
&z+t=0\\
&x-y-z=0\\
&x+y+z=0\\
&x-y+t=0\\
&x+y-t=0
...

**5**

votes

**0**answers

123 views

### Random walks in arrangements of lines in the plane

Let $\cal{A}_n$ be a simple arrangement of $n$ lines in $\mathbb{R}^2$.
(Simple: each pair of lines meet in a distinct point, i.e.,
no three lines pass through the same point.)
Start a random walk at ...

**6**

votes

**0**answers

87 views

### Combinatorial region-halfplane incidence structures

I've seen a bunch of similar MO questions, yet hopefully this is not a complete duplicate.
Consider $n$ halfplanes in $\mathbb{R}^2$ with their borders in general position, that is, no point of $\...

**6**

votes

**1**answer

144 views

### The characteristic varieties of the complement of the braid arrangement

The characteristic varieties $V_d^i(X)$ of a (sufficiently nice) space $X$ are the cohomology jumping loci for 1-dimensional (complex) local systems on $X$. Assume that $H_1(X;\mathbb{Z}) \cong \...

**7**

votes

**0**answers

244 views

### Counting hyperplane arrangements up to combinatorial equivalence, simple examples and history

Two arrangements of (affine) hyperplanes in $d$-dimensional Euclidean space are combinatorially isomorphic (or combinatorially equivalent) if they have isomorphic posets of faces.
Counting the ...

**0**

votes

**0**answers

165 views

### What breaks down in the theory of affine hyperplane arrangments?

It appears to me that there is a substantial amount of combinatorial algebra and geometry supporting the theory of central hyperplane arrangements (See Topics in Hyperplane Arrangements, Aguiar and ...

**9**

votes

**0**answers

148 views

### Interactions between pseudoline arrangements and braid groups?

It is common to represent
pseudoline arrangements
as wiring diagrams:
Fig. from: "Hamiltonicity and colorings of arrangement ...

**6**

votes

**1**answer

247 views

### Singularities at worst like a hyperplane arrangement

Is there a standard name for the type of singularities a codimension-$1$ subvariety of a smooth algebraic variety has when it looks locally (possibly analytically) like an arrangement of hyperplanes? «...

**4**

votes

**1**answer

124 views

### Why does the type-A subdivision algebra look like the Rota-Baxter algebra axiom?

Let $\mathbf{k}$ be a commutative ring, and $\beta$ an element of $\mathbf{k}$. Fix a positive integer $n$, and set $\left[n\right] = \left\{1,2,\ldots,n\right\}$.
The $n$-th type-A subdivision ...

**2**

votes

**0**answers

75 views

### Are the following hyperplane arrangements previously studied?

For a subset $I$ of $[n]$, a hyperplane $H_I \subset \mathbb{R}^n$ is defined by $$\sum_{i \in I} x_i= \sum_{j \not\in I} x_j.$$
Have you seen the following hyperplane arrangements? Is there anything ...

**4**

votes

**0**answers

89 views

### Bounds on k-tuple points for intersections of hyperplanes

Suppose that $H_1$,...,$H_d$ are hyperplanes in $\mathbb P^n$ (over some field -- you can pick). For $k \geq n$, let $t_k$ denote the number of points through which there pass exactly $k$ hyperplanes....

**11**

votes

**2**answers

283 views

### Rigid line arrangements

What is already known about rigid line arrangements? By line arrangement, I mean a unions of lines in $\mathbb{P}^2_{\mathbb{C}}$ with fixed incidences. (Written in notation, I mean a collection of ...

**2**

votes

**1**answer

85 views

### Polyhedral structure of functions writable as a finite signed sum of max of linear functions

For any two positive integers $k,n$ consider the space of functions writable as,
$\sum_i \sigma_i \max \{ L_{i1},L_{i2},..,L_{ik} \}$ (a finite sum) where each $L_{*} : \mathbb{R}^n \rightarrow \...

**7**

votes

**3**answers

322 views

### Bijection directly from (n,n+1)-core partitions to parking functions?

It is well-known that the increasing parking functions are counted by the Catalan numbers. The Catalan numbers also count the dominant alcoves in the Shi arrangement of type $A_{n}$. Athanasiadis-...

**3**

votes

**0**answers

185 views

### Counting the polytopes of the translates of the resonance hyperplane arrangement inside the unit hypercube

Let $n$ be a positive natural number. For all $\emptyset \subset S \subseteq \{1, \ldots, n\}$ and $k \in \mathbb{Z}$, define the hyperplane $H(S,k)$ in $\mathbb{R}^n$ given by the equations
$$H(S,k):=...

**2**

votes

**0**answers

58 views

### Is there invariant for regions of central hyperplane arrangement?

Consider central hyperplane arrangement A with normal vectors with all combinations of -1 and 1 (is there name for it?).
There is simple invariant for each chamber of A: sum of vectors, corresponding ...

**15**

votes

**2**answers

629 views

### What are Sylvester-Gallai configurations in the complex projective plane?

A Sylvester-Gallai configuration in the the complex projective plane is a finite number of $n\ge 2$ points in the complex projective plane such that there is no line through exactly two of them. ...

**10**

votes

**1**answer

269 views

### Chromatic number of a graph defined by $n$ lines on the plane

Given $n$ lines on the plane, consider all their intersection points. Find the minimal number $d=d(n)$ such that they may be always colored in $d$ colors so that on each line any two consecutive ...

**1**

vote

**1**answer

144 views

### Affine Hyperplane Arrangements in $\mathbb R^d$

Consider $\mathcal A=(u_i)_{i=1}^m $ to be a set of hyperplanes in $\mathbb R^d$, such that for every $1\leq i \leq m$: $u_i \in \mathbb R^d$.
These hyperplanes are disconnecting $\mathbb R^d$ to ...

**2**

votes

**2**answers

353 views

### Counting Regions in Hyperplane Arranglements

Consider the following:
1) How many connected regions can $n$ hyperplanes form in $\mathbb R^d$?
2) What if the set of hyperplanes are homogeneous?
3) Given a set of $n$ pairs of ...

**1**

vote

**0**answers

65 views

### Is there any notion of a slack-matrix (and its rank) for a hyperplane arrangement?

I am assuming that the common lineality space of the hyperplane arrangement has already been factored out. So we are looking at an ``effective" arrangement in lower dimensions where all the polyhedra ...

**1**

vote

**2**answers

251 views

### Chambers of central hyperplane arrangements

Let $\mathcal{A}$ be a central hyperplane arrangement in a (finite dimensional) real vector space $V$. Assume for each hyperplane $H\in\mathcal{A}$ that we're given a labelling $H^+$, $H^-$ of the ...

**19**

votes

**2**answers

720 views

### Counting problems where unlabeled is easier than labeled

I was encouraged to post this question by Jim Propp during a meeting of the Cambridge Combinatorics and Coffee Club. It is a counterpoint to the MathOverflow question "Counting Problems where Labeled ...

**1**

vote

**0**answers

85 views

### Characterizing normal vectors of affinely independent subsets of the hypercube

Suppose we are looking at the hypercube in $\mathbb{R}^n$. I tend to the think of the cube with vertex coordinates 0 or 1, but maybe this is easier for the $\pm1$ cube.
Now suppose we have an affine ...

**12**

votes

**1**answer

772 views

### Maximal Number of Pairs of Orthogonal vectors in a set of $n$ vectors in $\mathbb{R}^3$

Suppose you are given a set of $n$ non-zero vectors in $\mathbb{R}^3$. What is the maximum number of pairs of them that are orthogonal? The current guess is $\le 2n$.
EDIT: I forgot to add that no ...

**8**

votes

**2**answers

619 views

### Open problems in hyperplane/subspace arrangements?

What are some open problems in hyperplane/subspace arrangements, preferably of the combinatorial algebraic topology kind, and where can one read about them? That is, where are they discussed, and ...

**2**

votes

**0**answers

229 views

### Volume of bounded regions in hyperplane arrangements

I am given a hyperplane arrangement $\mathcal{H}_0$ in $\mathbb{R}^n$ and a function $\phi \colon \mathbb{R}^n \to \mathbb{Q}.$ I choose any enumeration on the set of primitive vectors (i.e. vectors ...

**5**

votes

**1**answer

239 views

### Number of regions of a hyperplane arrangement avoiding a generic hyperplane

Let $\mathcal{A}$ be an essential arrangement of hyperplanes in $\mathbb{R}^n$. Zaslavsky's theorem says that the number of regions of $\mathcal{A}$ is given by $r(\mathcal{A})=(-1)^n\chi_{\mathcal{A}}...

**2**

votes

**3**answers

253 views

### Characterizing orthants with polynomials

Let $x=(x_1,\ldots,x_n)\in\mathbb{R}^n$. Can one find a polynomial $p$ (of arbitrary degree) in the coordinates of $x$ such that $p(x)\geq 0$ if and only if $x$ is an element of the positive orthant $\...

**1**

vote

**0**answers

68 views

### What are / could be the applications of Delaunay oriented matroids?

The Delaunay oriented matroid is studied in detail by F. Santos (actually this paper is more general).
For a set of points $S$ (in any dimension), let $C$ be a sphere, $C^+$ be its interior, $C^-$ be ...

**0**

votes

**1**answer

178 views

### help with cohomology of $\mathbb{P}^n$ relative to a NCD

Let $H_0, \ldots, H_n$ be $n$ hyperplanes in $\mathbb{P}^n(\mathbb{C})$ with normal crossings and denote by $H$ the union of them. I am trying to understand why
(1) $H^n(\mathbb{P}^n(\mathbb{C}), H)$...

**5**

votes

**0**answers

193 views

### Tensor product of hyperplane arrangements

Let $(A_{1},V_{1})$ and $(A_{2},V_{2})$ be two central hyperplane arrangements, which 0 belongs to their intersections. Let $V=V_{1}\otimes V_{2}$. Define the tensor product arrangement $(A_{1}\otimes ...

**40**

votes

**0**answers

682 views

### Extending a line-arrangement so that the bounded components of its complement are triangles

Given a finite collection of lines $L_1,\dots,L_m$ in ${\bf{R}}^2$, let $R_1,\dots,R_n$ be the connected components of ${\bf{R}}^2 \setminus (L_1 \cup \dots \cup L_m)$, and say that {$L_1,\dots,L_m$} ...