Algebraic Topology (math.AT)

  • PDF
    We prove that the Tate, Beilinson and Parshin conjectures are invariant under Homological Projective Duality (=HPD). As an application, we obtain a proof of these celebrated conjectures (as well as of the strong form of the Tate conjecture) in the new cases of linear sections of determinantal varieties and complete intersections of two quadrics. Furthermore, we extend the original conjectures of Tate, Beilinson and Parshin from schemes to stacks and prove these extended conjectures for certain low-dimensional global orbifolds.
  • PDF
    This paper shows a mathematical formalization, algorithms and computation software of volume optimal cycles, which are useful to understand geometric features shown in a persistence diagram. Volume optimal cycles give us concrete and optimal homologous structures, such as rings or cavities, on a given data. The key idea is the optimality on $(q + 1)$-chain complex for a $q$th homology generator. This optimality formalization is suitable for persistent homology. We can solve the optimization problem using linear programming. For an alpha filtration on $\mathbb{R}^n$, volume optimal cycles on an $(n-1)$-th persistence diagram is more efficiently computable using merge-tree algorithm. The merge-tree algorithm also gives us a tree structure on the diagram and the structure has richer information. The key mathematical idea is Alexander duality.
  • PDF
    Let $\Sigma_g$ denote the closed orientable surface of genus $g$ and fix an arbitrary simplicial triangulation of $\Sigma_g$. We construct and study a natural surjective group homomorphism from the surface braid group on $n$ strands on $\Sigma_g$ to the first singular homology group of $\Sigma_g$ with integral coefficients. In particular, we show that the kernel of this homomorphism is generated by canonical braids which arise from the triangulation of $\Sigma_g$. This provides a simple description of natural subgroups of surface braid groups which are closely tied to the homology groups of the surfaces $\Sigma_g$.
  • PDF
    Define a $\mathcal V^{(d)}$-algebra as an associative algebra with a symmetric and invariant co-inner product of degree $d$. Here, we consider $\mathcal V^{(d)}$ as a dioperad which includes operations with zero inputs. We show that the quadratic dual of $\mathcal V^{(d)}$ is $(\mathcal V^{(d)})^!=\mathcal V^{(-d)}$ and prove that $\mathcal V^{(d)}$ is Koszul. We also show that the corresponding properad is not Koszul contractible.