Table of Contents
Fetching ...

Symmetric matrices defined by plane vector sequences

Mikiya Masuda

TL;DR

The paper studies a construction that associates a symmetric matrix $A$ to a plane-vector sequence $v$ and derives a combinatorial formula for its signature: $\mathrm{Sign}(A)=4R(v)-S(v)$, where $R(v)$ is the rotation number and $S(v)=1+\sum_{i=0}^n\mathrm{sgn}(\det(v_i,v_{i+1}))$. It provides an explicit expression for $A^{-1}$ as a tridiagonal matrix with entries determined from $v$, and interprets the inverse in a geometric/topological setting by linking $A^{-1}$ to intersection pairings on an associated omnioriented quasitoric orbifold $X$. The paper further proves a general relation, via Poincaré duality, that in a 4-dimensional PD space the matrix formed by cup products of Kronecker-dual classes and the matrix formed by Poincaré-dual cup products are inverses, and it gives a geometric realization of $A$ and $A^{-1}$ through the topology of $X$, with $A^{-1}$ serving as the intersection matrix of the characteristic suborbifolds. Overall, the work connects a combinatorial matrix signature formula to explicit inverse computation and to a rich geometric/topological interpretation in toric/quasitoric settings.

Abstract

Motivated by a work of Fu-So-Song, we associate a symmetric matrix $A$ to a plane vector sequence $v$ and give a formula to find the signature of $A$ in terms of the sequence $v$. When $A$ is nonsingular, we interpret the relation between $A$ and $A^{-1}$ from a topological viewpoint. Finally, we associate an omnioriented quasitoric orbifold $X$ of real dimension four to the sequence $v$ and show that $A^{-1}$ is the intersection matrix of the characteristic suborbifolds of $X$.

Symmetric matrices defined by plane vector sequences

TL;DR

The paper studies a construction that associates a symmetric matrix to a plane-vector sequence and derives a combinatorial formula for its signature: , where is the rotation number and . It provides an explicit expression for as a tridiagonal matrix with entries determined from , and interprets the inverse in a geometric/topological setting by linking to intersection pairings on an associated omnioriented quasitoric orbifold . The paper further proves a general relation, via Poincaré duality, that in a 4-dimensional PD space the matrix formed by cup products of Kronecker-dual classes and the matrix formed by Poincaré-dual cup products are inverses, and it gives a geometric realization of and through the topology of , with serving as the intersection matrix of the characteristic suborbifolds. Overall, the work connects a combinatorial matrix signature formula to explicit inverse computation and to a rich geometric/topological interpretation in toric/quasitoric settings.

Abstract

Motivated by a work of Fu-So-Song, we associate a symmetric matrix to a plane vector sequence and give a formula to find the signature of in terms of the sequence . When is nonsingular, we interpret the relation between and from a topological viewpoint. Finally, we associate an omnioriented quasitoric orbifold of real dimension four to the sequence and show that is the intersection matrix of the characteristic suborbifolds of .

Paper Structure

This paper contains 5 sections, 13 theorems, 55 equations, 2 figures.

Key Result

Theorem 1.1

$\mathop{\mathrm{Sign}}\nolimits(A)=4R(v)-S(v)$.

Figures (2)

  • Figure 1: The case $n=3$. Type ${\rm I}_0$, ${\rm II}_1$, ${\rm I}_1$, ${\rm II}_2$ from the left.
  • Figure 2: The case $n=4$. Type ${\rm I}_0$, ${\rm II}_1$, ${\rm I}_1$, ${\rm II}_2$, ${\rm I}_2$ from the left.

Theorems & Definitions (28)

  • Theorem 1.1
  • Remark
  • Example 1.2
  • Corollary 1.3
  • proof
  • Theorem 1.4
  • Lemma 2.1
  • proof
  • Theorem 2.2: Sylvester
  • proof : Proof of Theorem
  • ...and 18 more