arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1705.07276

Pencilled regular parallelisms

Hans Havlicek·Rolf Riesinger
View original source ↗Read source document ↗Export metadata ↓

Abstract

Over any field $\mathbb K$, there is a bijection between regular spreads of the projective space ${\rm PG}(3,{\mathbb K})$ and $0$-secant lines of the Klein quadric in ${\rm PG}(5,{\mathbb K})$. Under this bijection, regular parallelisms of ${\rm PG}(3,{\mathbb K})$ correspond to hyperflock determining line sets (hfd line sets) with respect to the Klein quadric. An hfd line set is defined to be \emph{pencilled} if it is composed of pencils of lines. We present a construction of pencilled hfd line sets, which is then shown to determine all such sets. Based on these results, we describe the corresponding regular parallelisms. These are also termed as being \emph{pencilled}. Any Clifford parallelism is regular and pencilled. From this, we derive necessary and sufficient algebraic conditions for the existence of pencilled hfd line sets.

Explore related subjects

math.AGmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hans Havlicek, Rolf Riesinger. 2017-05-20. Pencilled regular parallelisms. https://doi.org/10.1007/s10474-017-0742-2

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets

Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed using so-called pseudo-witness sets without computing a defining equation for the hypersurface. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all components of the real complement of the hypersurface.

math.AG↗
arXiv2026

On G-birational rigidity of projective spaces

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4,5,7$, we prove that $\mathbb{P}^n$ is $G$-birationally superrigid if $G$ is a primitive subgroup isomorphic to $\mathrm{PSp}_{4}(\mathbf{F}_3)$, $\mathrm{PSU}_4(\mathbf{F}_3)\rtimes\boldsymbolμ_2$, $\mathrm{O}_8^+(\mathbf{F}_2)\rtimes \boldsymbolμ_2$, respectively.

math.AG↗
arXiv2026

Topological String Blowup Equations via Stable Pairs

The blowup equations of Huang, Sun and Wang are bilinear relations satisfied by the refined topological string partition function of a local Calabi--Yau 3-fold. We prove the blowup equations for the local Hirzebruch surfaces \(\operatorname{Tot}_{\mathbb F_\ell}K_{\mathbb F_\ell}\), \(0\leq\ell\leq2\), as identities of torus-equivariant symmetrized \(K\)-theoretic stable pair invariants; for \(\ell=2\) the invariants are localized indices. The proof identifies the stable pair vertex sum, after division by the fibre contribution, with the equivariant Euler characteristic of \((\det\mathcal V)^\ell\) on the moduli space of framed rank \(2\) sheaves on \(\mathbb P^2\). The blowup formulas of Nakajima--Yoshioka for framed sheaves then yield the unity and vanishing equations. For local \(\mathbb P^2\) we obtain the blowup equations conditionally on two explicitly stated conjectures. We also state the Huang--Sun--Wang conjecture for general local Calabi--Yau 3-folds in the language of stable pairs, and formulate stable pair conjectures for the local rational elliptic surface involving the \(E_8\) lattice.

math.AG↗