Euler defect identity for a projective line arrangement

ID: euler-defect-identity-for-a-projective-line-arrangement

Let count vertices where lines meet and count faces with sides in a nonpencil projective line arrangement. Using Euler characteristic one, , , and gives . Thus few double vertices control both high-multiplicity vertices and nontriangular faces. Discarding the face term gives the usual arrangement form of the ordinary-line inequality.

New to topics? Read the docs here!