Oriented Toric Hyperplane Arrangements

• Oriented toric hyperplane arrangements are defined as families of codimension-one subtori (or their translates) in a torus, endowed with explicit orientation data from lifts and sign patterns.
• They integrate arrangements combinatorics, lattice arithmetic, and topological methods to derive invariants such as f-vector symmetry, Möbius functions, and duality-like relations.
• Applications include the analysis of oriented stratifications, computation of cohomology rings, and construction of toric compactifications via ceiling-map stratification and zonotopal correspondences.

Oriented toric hyperplane arrangements study arrangements of codimension-one subtori or their translates in a torus together with orientation data compatible with the torus’s periodic geometry. In the real-torus formulation, a toric hyperplane is the preimage of a point of $S^1$ under a continuous surjective group homomorphism $\theta:T^n\to S^1$; in the complex-algebraic formulation, it is a level set $\chi^{-1}(b)$ of a primitive character $\chi$ on $(\mathbb{C}^*)^d$. The subject combines arrangement combinatorics, lattice and arithmetic structure, toric geometry, and topology of complements. A persistent feature of the literature is that orientation is often present through lifts, sign patterns, and circuit signs even when no standalone axiomatization of “oriented toric arrangements” is given; recent work makes the oriented structure explicit through a ceiling-map stratification whose strata are indexed by lattice points of a half-open zonotope (Bergerová, 2023, Callegaro et al., 2018, Bauermeister et al., 18 Jul 2025).

1. Foundational models and terminology

For the $n$-torus one has

$$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$

with universal covering map $\pi:\mathbb{R}^n\to T^n$. In this setting a toric hyperplane may be defined in two equivalent styles. In the linear form, if $\theta:T^n\to S^1$ is a continuous surjective group homomorphism, then $H=\ker(\theta)$ is a toric hyperplane. In the affine form, for a nonzero surjective $\theta:T^n\to S^1$0 and $\theta:T^n\to S^1$1, one sets $\theta:T^n\to S^1$2. After fixing a $\theta:T^n\to S^1$3-basis, $\theta:T^n\to S^1$4 is encoded by an integer normal vector $\theta:T^n\to S^1$5, and the affine equation becomes

$\theta:T^n\to S^1$6

A hyperplane is simple if $\theta:T^n\to S^1$7, and it is connected if and only if it is simple (Bergerová, 2023).

For a complex algebraic torus $\theta:T^n\to S^1$8, the character lattice $\theta:T^n\to S^1$9 is free abelian of rank $\chi^{-1}(b)$0. After choosing $\chi^{-1}(b)$1, a character is written

$\chi^{-1}(b)$2

A toric arrangement is a finite family of hypertori

$\chi^{-1}(b)$3

with $\chi^{-1}(b)$4; it is central when all $\chi^{-1}(b)$5. In the broader language of layers, one allows a split direct summand $\chi^{-1}(b)$6 and a homomorphism $\chi^{-1}(b)$7, defining

$\chi^{-1}(b)$8

Divisorial toric arrangements are precisely those for which every layer has codimension $\chi^{-1}(b)$9 (Callegaro et al., 2018, Concini et al., 2016).

The literature uses these real and complex models in parallel. The real-torus viewpoint is especially suited to regions, flats, and sign data on lifts, whereas the complex-torus viewpoint is adapted to layers, arithmetic multiplicities, cohomology presentations, and compactifications. This duality of models is structural rather than contradictory: the real theory captures chamber-like combinatorics, while the complex theory captures the topology of the complement and its toric-algebraic refinements.

2. Stratifications, lifts, and explicit orientation data

For a finite arrangement $\chi$0 in $\chi$1, the regions are the connected components of the complement,

$\chi$2

When $\chi$3 is spanning and in general position, one defines $\chi$4-flats $\chi$5 inductively from connected components of intersections of $\chi$6 hyperplanes after removing lower-dimensional strata, and the resulting $\chi$7-vector is

$\chi$8

Under the same hypotheses every region is simply connected, and in the universal cover $\chi$9 the lifted cells are convex polytopes. This makes lift-based orientation manageable: a simply connected region admits a consistent choice of lift, and convexity permits sign assignments relative to each lifted hyperplane (Bergerová, 2023).

This lift-based viewpoint is the natural precursor to an oriented theory. Given a primitive normal $(\mathbb{C}^*)^d$0, an intercept $(\mathbb{C}^*)^d$1, and a lift $(\mathbb{C}^*)^d$2, the hyperplane lifts to the periodic family

$(\mathbb{C}^*)^d$3

Each lifted hyperplane has two sides,

$(\mathbb{C}^*)^d$4

so one can define sign functions on lifts. The main obstruction is periodicity: different lifts of the same torus point need not determine the same sign pattern. For regions whose lifts are convex and simply connected, however, this obstruction is controlled, and consistent sign data can be attached to the region itself. The older literature does not turn this into a full oriented axiomatization, but it isolates the exact geometric conditions that would support one (Bergerová, 2023).

An explicit oriented stratification appears in the ceiling-map construction. For a finite ordered set $(\mathbb{C}^*)^d$5, define

$(\mathbb{C}^*)^d$6

and the real torus

$(\mathbb{C}^*)^d$7

The toric hyperplanes are $(\mathbb{C}^*)^d$8, where $(\mathbb{C}^*)^d$9 is induced by $n$0. Orientation is encoded by

$n$1

The $n$2-strata are the connected components of the images in $n$3 of nonempty fibers $n$4, $n$5. These strata are in bijection with the lattice points of the half-open zonotope

$n$6

and for a stratum $n$7 with corresponding lattice point $n$8, the minimal face $n$9 of $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$0 is

$$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$1

where $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$2. The general dimension relation is

$$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$3

and it simplifies to $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$4 when $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$5 contains a $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$6-basis of $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$7 (Bauermeister et al., 18 Jul 2025).

3. Posets, duality phenomena, and enumerative invariants

The basic combinatorial object in the real-toric framework is the intersection poset $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$8, consisting of connected components of nonempty intersections of hyperplanes, ordered by reverse inclusion; the ambient torus $$T^n \cong \mathbb{R}^n/\mathbb{Z}^n \cong S^1\times\cdots\times S^1,$$9 is included as the intersection over the empty set. The flat poset $\pi:\mathbb{R}^n\to T^n$0 refines this by taking all flats, ordered by reverse boundary inclusion. There is a natural surjective order-preserving map

$\pi:\mathbb{R}^n\to T^n$1

sending a flat to its affine support. For an oriented refinement, $\pi:\mathbb{R}^n\to T^n$2 is the more natural carrier of incidence and sign information, because distinct flats can share the same support (Bergerová, 2023).

For spanning arrangements in general position, the intervals $\pi:\mathbb{R}^n\to T^n$3 in $\pi:\mathbb{R}^n\to T^n$4 are Boolean lattices, and the Möbius function is

$\pi:\mathbb{R}^n\to T^n$5

The characteristic polynomial is then

$\pi:\mathbb{R}^n\to T^n$6

In codimension $\pi:\mathbb{R}^n\to T^n$7, one gets

$\pi:\mathbb{R}^n\to T^n$8

since the $\pi:\mathbb{R}^n\to T^n$9-dimensional elements of $\theta:T^n\to S^1$0 are precisely the $\theta:T^n\to S^1$1-flats. This is a toric analogue of the classical Möbius-theoretic package for hyperplane arrangements (Bergerová, 2023).

The central enumerative theorem is the symmetry of the $\theta:T^n\to S^1$2-vector: $\theta:T^n\to S^1$3 for every spanning arrangement in general position with $\theta:T^n\to S^1$4. Its inductive proof uses a generalized deletion–restriction formula

$\theta:T^n\to S^1$5

where $\theta:T^n\to S^1$6 and $\theta:T^n\to S^1$7. In the square case $\theta:T^n\to S^1$8 with system matrix $\theta:T^n\to S^1$9,

$H=\ker(\theta)$0

The number of top-dimensional regions satisfies

$H=\ker(\theta)$1

and also

$H=\ker(\theta)$2

The paper explicitly interprets the symmetry $H=\ker(\theta)$3 as reminiscent of Poincaré duality or Dehn–Sommerville-type relations. For oriented toric arrangements this does not yet produce a full duality theory, but it strongly constrains any such theory (Bergerová, 2023).

4. Layers, arithmetic structure, and cohomology of complements

In the complex setting, the relevant intersection object is the poset of layers

$H=\ker(\theta)$4

ordered by reverse inclusion. Because intersections of hypertori may be disconnected, the layer poset is finer than the ordinary matroid of linear dependencies among the characters. For each layer $H=\ker(\theta)$5, there is an associated local linear arrangement $H=\ker(\theta)$6 in the tangent space at a generic point of $H=\ker(\theta)$7. This local arrangement controls the contribution of $H=\ker(\theta)$8 to the cohomology of the complement (Callegaro et al., 2018).

Arithmetic structure enters through the multiplicity function. For $H=\ker(\theta)$9, with $\theta:T^n\to S^1$00 and

$\theta:T^n\to S^1$01

the multiplicity is

$\theta:T^n\to S^1$02

A key interpretation is that $\theta:T^n\to S^1$03 equals the number of connected components of $\theta:T^n\to S^1$04, when the intersection is nonempty. The arrangement is unimodular if $\theta:T^n\to S^1$05 for all $\theta:T^n\to S^1$06, equivalently if every nonempty intersection of hypertori is connected. In the non-unimodular case the cohomology is generally not generated in degree $\theta:T^n\to S^1$07; higher-degree generators attached to layers are required (Callegaro et al., 2018).

The rational cohomology algebra $\theta:T^n\to S^1$08 admits an Orlik–Solomon-type presentation with generators

$\theta:T^n\to S^1$09

where $\theta:T^n\to S^1$10 is a layer, $\theta:T^n\to S^1$11 is an independent set generating $\theta:T^n\to S^1$12, and $\theta:T^n\to S^1$13 is disjoint from $\theta:T^n\to S^1$14 with $\theta:T^n\to S^1$15 independent. The relations consist of a product relation, torus relations induced by $\theta:T^n\to S^1$16-linear dependencies among the characters, and weighted circuit relations involving multiplicities $\theta:T^n\to S^1$17. The presentation is determined by the poset of layers; the arithmetic matroid alone does not determine the rational cohomology ring. The same paper proves that the complement is formal over $\theta:T^n\to S^1$18 and that $\theta:T^n\to S^1$19 is torsion-free (Callegaro et al., 2018).

Orientation appears here through signs rather than chambers. The torus and each layer are complex manifolds, hence canonically oriented as real manifolds. More importantly, circuit relations involve signs $\theta:T^n\to S^1$20 coming from a linear dependency

$\theta:T^n\to S^1$21

and the paper treats these as an orientation-bearing feature of the arrangement. A related deletion–restriction theory identifies a class of DR-type toric arrangements for which the cohomology of the complement is generated by logarithmic $\theta:T^n\to S^1$22-forms

$\theta:T^n\to S^1$23

and for which the complement is formal in the sense of Sullivan (1406.02195).

5. Fans, toric varieties, and compactifications

A separate line of development studies toric varieties defined by hyperplane arrangements. A fan $\theta:T^n\to S^1$24 is strongly symmetric if it is complete and if its codimension-one cones lie in a finite union of hyperplanes. For such a fan, chambers of the associated arrangement are exactly the maximal cones, and sign vectors

$\theta:T^n\to S^1$25

encode oriented-matroid-like data. The smooth strongly symmetric fans are precisely those coming from crystallographic arrangements, giving a bijection between crystallographic arrangements and strongly symmetric smooth fans (Cuntz et al., 2011).

In this setting the toric variety $\theta:T^n\to S^1$26 contains a family of toric subvarieties $\theta:T^n\to S^1$27, indexed by intersections $\theta:T^n\to S^1$28 of hyperplanes in the arrangement. Their intersections with the dense torus are subtori

$\theta:T^n\to S^1$29

and the collection $\theta:T^n\to S^1$30 forms a toric arrangement in the standard sense. The arrangement is therefore encoded simultaneously by chamber sign data in the fan and by subtorus incidence data inside the toric variety (Cuntz et al., 2011).

Projective wonderful models for toric arrangements are constructed by refining a smooth fan until every character has property (E), meaning that on each cone the character has constant sign. Starting from the fan of orthants, repeated subdivisions of $\theta:T^n\to S^1$31-dimensional cones yield a smooth projective fan $\theta:T^n\to S^1$32 such that every $\theta:T^n\to S^1$33-layer has property (E) with respect to $\theta:T^n\to S^1$34. The resulting toric variety $\theta:T^n\to S^1$35 is obtained from $\theta:T^n\to S^1$36 by a sequence of blowups along codimension-$\theta:T^n\to S^1$37 orbit closures; closures of layers are smooth toric subvarieties, and together with the toric boundary divisors they form an arrangement of subvarieties. Applying the MacPherson–Procesi–Li wonderful-model construction then produces a smooth projective compactification $\theta:T^n\to S^1$38 with simple normal crossings boundary. This model has property (S): odd integral cohomology vanishes, even cohomology is torsion-free, and the cycle map $\theta:T^n\to S^1$39 is an isomorphism (Concini et al., 2016).

6. Current formulations and related directions

A central fact about the present state of the subject is that the older foundational papers do not give a single universally adopted definition of “oriented toric hyperplane arrangement.” In the real-toric combinatorial literature, orientation is often reconstructed from lifts to $\theta:T^n\to S^1$40, convexity of lifted regions, and sign choices on normals; in the complex-algebraic literature it is reflected in signs in circuit relations, local orientations of layers, and sign patterns on cones of adapted fans. This suggests that the topic is best understood as a family of closely related formalisms rather than as a finished axiomatic theory (Bergerová, 2023, Callegaro et al., 2018, Concini et al., 2016).

Recent work sharpens this picture by providing an explicit oriented combinatorial model with direct consequences for toric geometry. For semiprojective toric varieties with simplicial fan $\theta:T^n\to S^1$41, the primitive ray generators determine a toric hyperplane arrangement on $\theta:T^n\to S^1$42, a half-open zonotope $\theta:T^n\to S^1$43, and the Bondal–Thomsen collection $\theta:T^n\to S^1$44. The $\theta:T^n\to S^1$45-strata of the oriented toric arrangement are in bijection with the lattice points of $\theta:T^n\to S^1$46, hence with the Bondal–Thomsen generators. If $\theta:T^n\to S^1$47 corresponds to a stratum $\theta:T^n\to S^1$48 and $\theta:T^n\to S^1$49 is the minimal face of the effective cone containing the image of $\theta:T^n\to S^1$50, then

$\theta:T^n\to S^1$51

The same result identifies $\theta:T^n\to S^1$52 with the effective cone of a lower-dimensional toric variety $\theta:T^n\to S^1$53, and the Bondal–Thomsen collection for $\theta:T^n\to S^1$54 with the subset of $\theta:T^n\to S^1$55 determined by larger incidence sets $\theta:T^n\to S^1$56 (Bauermeister et al., 18 Jul 2025).

Two further directions appear repeatedly. First, parameter spaces of toric line arrangements on $\theta:T^n\to S^1$57 can themselves be organized by toric hyperplane arrangements: allowing translations of hyperplanes while forbidding triple intersections produces a parameter-space arrangement, and the number of top-dimensional cells gives an upper bound on the number of equivalence classes of arrangements. This suggests an oriented moduli problem in which wall crossing records changes of oriented combinatorial type (Bergerová, 2023). Second, the arithmetic theory of characteristic quasi-polynomials shows that for arrangements over residually finite Dedekind domains the last constituent of the quasi-polynomial equals the characteristic polynomial of the associated torsion or toric arrangement. This provides an arithmetic counterpart to the ordinary-versus-toric distinction already visible in oriented and unoriented toric arrangement theory (Kuroda et al., 2022).

Taken together, these developments show that oriented toric hyperplane arrangements now occupy a position between several established theories: real arrangement combinatorics, toric arrangement complements, arithmetic matroids, toric compactifications, and derived categories. What is fully established is the underlying toric arrangement theory, the topology of complements, the fan and compactification technology, and the recent zonotope–strata correspondence. What remains only partially formalized is the global axiomatization of orientation itself. The available results nonetheless impose stringent constraints on any future theory: compatibility with lift-based sign data, the layer poset, arithmetic multiplicities, deletion–restriction, $\theta:T^n\to S^1$58-vector symmetry, and the zonotopal indexing of oriented strata.