Papers by Piotr Pokora
41 paper(s) by this author
· All BibTeX
Simplicial arrangements in real projective three-space revisited
In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.
On the Numerical Terao Conjecture
We prove that the Numerical Terao Conjecture holds for even-degree conic-line arrangements having only ADE singularities. We then show that the conjecture fails in the broader quasi-homogeneous setting once ordinary quadruple points are admitted, by constructing a degree-nine counterexample, each consisting of seven lines and one smooth conic, with the same weak combinatorics \[ W(\mathcal{CL}) = (7,1;\,8A_1+D_4+4X_9). \] We show that one curve is free with exponents $(4,4)$, whereas the other is nearly free with exponents $(3,6)$. This yields a counterexample to the strongest known formulation of the Numerical Terao Conjecture.
A counterexample to Purdy's inequality for hyperplane arrangements in projective three-space
We record an explicit counterexample to a refined form of Purdy's inequality for essential hyperplane arrangements in projective three-space. Let $\mathcal{A}$ be an arrangement of $n$ hyperplanes in $\mathbb{P}^3_{\mathbb{C}}$. Let $\ell$ be the number of distinct intersection lines of $\mathcal{A}$, and let $p$ be the number of intersection points, where an intersection point means a point at which at least three hyperplanes meet. The expected inequality is \[
p-\ell+n+2\geq 0. \] The classical obstruction is the rank $2+2$ product arrangement, or dually a configuration of points contained in two skew lines. We explain this obstruction first, and then show that it is not the only one. The reflection-arrangement search leads naturally to a subarrangement of the monomial reflection arrangement of type $G(3,3,4)$. Looking dually, this configuration is not contained in two skew lines, and has \[
f_0(S)=12,\qquad f_1(S)=58,\qquad f_2(S)=43. \] Therefore its dual arrangement has \[
n=12,\qquad \ell=58,\qquad p=43, \] and hence \[
p-\ell+n+2=-1. \] Thus the refined statement excluding only the two-skew-lines obstruction is false.
A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations
We construct two arrangements of nine lines in the complex projective plane with isomorphic intersection lattices but with different minimal degrees of Jacobian relations. The common weak combinatorics is \[ (n_2,n_3,n_4)=(9,7,1), \] so the example is not the classical Ziegler-Yuzvinsky pair, whose weak combinatorics is $(n_{2},n_{3}) = (18,6)$. For the two defining equations $f$ and $g$ we prove \[ {\rm mdr}(f)=4,\qquad {\rm mdr}(g)=5. \] Since the degree is $d=9$, the first equality gives ${\rm mdr}(f)<d/2$. Hence the pair gives a counterexample to the Generalized Terao Conjecture.
On Ziegler pairs of line arrangements: from non-existence to abundance
We study Ziegler pairs of line arrangements from both numerical and homological perspectives. First, we show that for arrangements of $d<9$ lines the intersection lattice determines the exponent data considered here. Then we list six distinct Ziegler pair with $d=10$. In particular, we construct higher-degree examples with the same intersection lattice, the same minimal degree of a Jacobian relation, and the same Hilbert function of the Milnor algebra, but with different minimal graded free resolutions.
On combinatorial bounds for the total Tjurina numbers of certain curves and surfaces with isolated singularities
We investigate combinatorial bounds for the total Tjurina numbers of plane curve arrangements. Focusing on arrangements of lines and conics in $\mathbb{P}^2$ that admit only ordinary quasi-homogeneous singularities, we derive new structural inequalities governing the distribution of multiple intersection points. As a consequence, we establish sharp lower bounds for the total Tjurina numbers of free line arrangements with bounded maximal multiplicity and, more generally, for free conic-line arrangements. In particular, we show that for a free arrangement of $d$ lines and $k$ conics, the total Tjurina number grows at least quadratically in $d$ and $k$, and we demonstrate that this bound is sharp. As an application of these planar results, we construct a family of surfaces in $\mathbb{P}^{3}$ with only isolated singularities and arbitrarily large total Tjurina numbers.This provides new lower bounds for the total Tjurina numbers of certain hypersurfaces that are independent of detailed homological data.
On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities
In this paper, we study combinatorial aspects of reduced plane curves known as $\mathscr{M}$-curves. This notation is a natural generalization of maximizing plane curves which are well-known in the theory of algebraic surfaces. We focus here on $\mathscr{M}$-arrangements of conics and lines with ordinary singularities of multiplicity less than five and we provide various numerical constraints on their existence, particularly in terms of their weak combinatorics. Moreover, we study in detail the scenario when our $\mathscr{M}$-arrangements consist of lines and just one conic.
Addition theorems for Ziegler pairs of hyperplane arrangements
Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.
On plus-one generated arrangements of plane conics
Published in Geom Dedicata 220: Art. Id. 10 (2026)
• View Publication
• BIB
In this paper, we examine the combinatorial properties of conic arrangements in the complex projective plane that possess certain quasi-homogeneous singularities. First, we introduce a new tool that enables us to characterize the property of being plus-one generated within the class of conic arrangements with some naturally chosen quasi-homogeneous singularities. Next, we present a classification result on plus-one generated conic arrangements admitting only nodes and tacnodes as singularities. Building on results regarding conic arrangements with nodes and tacnodes, we present new examples of strong Ziegler pairs of conic-line arrangements -- that is, arrangements having the same strong combinatorics but distinct derivation modules.
Free line arrangements with low maximal multiplicity
Let $\mathcal{A}$ be a free arrangement of $d$ lines in the complex projective plane, with exponents $d_1\leq d_2$. Let $m$ be the maximal multiplicity of points in $\mathcal{A}$. In this note, we describe first the simple cases $d_1 \leq m$. Then we study the case $d_1=m+1$, and describe which line arrangements can occur by deleting or adding a line to $\mathcal{A}$. When $d \leq 14$, there are only two free arrangements with $d_1=m+2$, namely one with degree $13$ and the other with degree $14$. We study their geometries in order to deepen our understanding of the structure of free line arrangements in general.
On homological properties of some Cynk-Szemberg octic hyperplane arrangements
In this paper we study Cynk-Szemberg octic hyperplane arrangements from the perspective of homological properties of their derivation modules. In particular, we define the notion of the type of hyperplane arrangements that will be used in our characterization of rigid Cynk-Szemberg octic hyperplane arrangements. Moreover, we deliver a combinatorial non-freeness criterion for essential hyperplane arrangements in $\mathbb{C}^{4}$.
On the geography of log-surfaces
Published in EMS Surv. Math. Sci. (2026)
• View Publication
• BIB
This survey focuses on the geometric problem of log-surfaces, which are pairs consisting of a smooth projective surface and a reduced non-empty boundary divisor. In the first part, we focus on the geography problem for complex log-surfaces associated with pairs of the form $(\mathbb{P}^{2}, C)$, where $C$ is an arrangement of smooth plane curves admitting ordinary singularities. Specifically, we focus on the case in which $C$ is an arrangement consisting of smooth rational curves as its irreducible components. In the second part, containing original new results, we study log-surfaces constructed as pairs consisting of a complex projective $K3$ surface and a rational curve arrangement. In particular, we provide some combinatorial conditions for such pairs to have the log-Chern slope equal to $3$. Our survey is illustrated with many explicit examples of log-surfaces.
On Poincaré polynomials for plane curves with quasi-homogeneous singularities
Published in Bulletin of the London Mathematical Society 57(8): 2549 - 2560 (2025)
• View Publication
• BIB
We define a combinatorial object that can be associated with any conic-line arrangement with ordinary singularities, which we call the combinatorial Poincaré polynomial. We prove a Terao-type factorization statement on the splitting of such a polynomial over the rationals under the assumption that our conic-line arrangements are free and admit ordinary quasi-homogeneous singularities. Then we focus on the so-called $d$-arrangements in the plane. In particular, we provide a combinatorial constraint for free $d$-arrangements admitting ordinary quasi-homogeneous singularities.
On the numerical Terao's conjecture and Ziegler pairs for line arrangements
In this paper we present a smallest possible counterexample to the Numerical Terao's Conjecture in the class of line arrangements in the complex projective plane. Our example consists of a pair of two arrangements with $13$ lines. Moreover, we use the newly discovered singular matroid realization spaces to construct new examples of pairs of line arrangements having the same underlying matroid but different free resolutions of the Milnor algebras. Such rare arrangements are called Ziegler pairs in the literature.
Construction of free arrangements using point-line operators
We construct new examples of free curve arrangements in the complex projective plane using point-line operators recently defined by the second author. In particular, we construct a new example of a conic-line arrangement with ordinary quasi-homogeneous singularities that has non-trivial monodromy.
Singular plane curves: freeness and combinatorics
Published in Innovations in Incidence Geometry - Algebraic, Topological and Combinatorial 22(1): 47 - 65 (2025)
• View Publication
• BIB
In this paper we focus on various aspects of singular complex plane curves, mostly in the context of their homological properties and the associated combinatorial structures. We formulate some challenging open problems that can point to new directions in research, for example by introducing weak Ziegler pairs of curve arrangements. Moreover, we construct new examples of different Ziegler pairs, in both the classical and the weak sense, and present new geometric approaches to construction problems of singular plane curves.
Bounds for characteristic numbers of conic-line arrangements in the plane
Published in Collectanea Mathematica (2025)
• View Publication
• BIB
The main aim of the note is to provide an upper-bound for the characteristic number of conic-line arrangements with ordinary singularities in the complex projective plane.
Freeness of arrangements of lines and one conic with ordinary quasi-homogeneous singularities
Published in Taiwanese Journal of Mathematics 29(6): 1651 - 1666 (2025)
• View Publication
• BIB
The main purpose of the present paper is to provide a partial classification, performed with respect the weak-combinatorics, of free arrangements consisting of lines and one smooth conic with quasi-homogeneous ordinary singularities.
Construction of free curves by adding osculating conics to a given cubic curve
Published in International Mathematical Research Notices Vol. 2025(1): Art Id. rnae273, 12 pages (2025)
• View Publication
• BIB
In the present article we construct new families of free and nearly free curves starting from a plane cubic curve $C$ and adding some of its hyperosculating conics. We present results that involve nodal cubic curves and the Fermat cubic. In addition, we provide new insight into the geometry of the $27$ hyperosculating conics of the Fermat cubic curve using well-chosen group actions.
On plus-one generated conic-line arrangements with simple singularities
Published in Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 35(3): 349 - 364 (2024)
• View Publication
• BIB
In this paper we study plus-one generated arrangements of conics and lines in the complex projective plane with simple singularities. We provide several degree-wise classification results that allow us to construct explicit examples of such arrangements.