Related papers: On Formality and Combinatorial Formality for hyper…
In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for…
We prove that the ordered configuration space of 4 or more points in the plane has a non-formal singular cochain algebra in characteristic two. This is proved by constructing an explicit non trivial obstruction class in the Hochschild…
Terao's factorization theorem shows that if an arrangement is free, then its characteristic polynomial factors into the product of linear polynomials over the integer ring. This is not a necessary condition, but there are not so many…
The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that…
The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A in C^n; it is the quotient of an exterior algebra E(V) on |A| generators. Orlik and Terao introduced a commutative analog S(V)/I of the…
Discriminantal arrangements are hyperplane arrangements, which are generalized braid ones. They are constructed from given hyperplane arrangements, but their combinatorics are not invariant under combinatorial equivalence. However, it is…
We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient…
A Frobenius manifold is a manifold with a flat metric and a Frobenius algebra structure on tangent spaces at points of the manifold such that the structure constants of multiplication are given by third derivatives of a potential function…
Canonical formulation of higher order theory of gravity can only be accomplished associating additional degrees of freedom, which are extrinsic curvature tensor. Consequently, to match Cauchy data with the boundary data, terms in addition…
This paper begins by extending the notion of a combinatorial configuration of points and lines to a combinatorial configuration of points and planes that we refer to as configurations of order $2$. We then proceed to investigate a further…
It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…
The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…
We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.
Characteristic elements of the Tits algebra of a real hyperplane arrangement carry information about the characteristic polynomial. We present this notion and its basic properties, and apply it to derive various results about the…
We consider the triple $(\mathcal{A},\mathcal{A}',\mathcal{A}^H)$ of hyperplane arrangements and the division of their characteristic polynomials. We show that the freeness of $\mathcal{A}^H$ and the division of $\chi(\mathcal{A};t)$ by…
We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric…
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…
A hyperplane arrangement is said to satisfy the ``Riemann hypothesis'' if all roots of its characteristic polynomial have the same real part. This property was conjectured by Postnikov and Stanley for certain families of arrangements which…
Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…