Related papers: Polynomial-time homology for simplicial Eilenberg-…

This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology…

We introduce a notion of holonomy in twistor space and construct a holonomy operator by use of a spinor-momenta formalism in twistor space. The holonomy operator gives a monodromy representation of the Knizhnik-Zamolodchikov (KZ) equation,…

Using the Witten deformation and localization algebra techniques, we compute the $G$-equivariant $K$-homology class of the de Rham operator on a proper cocompact $G$-spin manifold, where $G$ is an almost connected Lie group. By applying a…

We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between…

We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is…

We compute the p-torsion and p-adic etale cohomologies with compact support of period domains over local fields in the case of basic isocrystals for quasi-split reductive groups. For the p-torsion case, we follow the method used by Orlik in…

Let $A$ be a Cartan matrix and $G(A)$ be the Kac-Moody group associated to Cartan matrix $A$. In this paper, we discuss the computation of the rank $i_k$ of homotopy group $\pi_k(G(A))$. For a large class of Kac-Moody groups, we construct…

The moduli space for polarized hyperk\"ahler manifolds of $\mathrm{K3}^{[m]}$-type or $\mathrm{Kum}_m$-type with a given polarization type is not necessarily connected, which is a phenomenon that only happens for $m$ large. The period map…

Multipersistence homology modules were introduced by G.Carlsson and A.Zomorodian which gave, together with G.Singh, an algorithm to compute their Groebner bases. Although their algorithm has polynomial complexity when the chain modules are…

A simplicial complement P is a sequence of subsets of [m] and the simplicial complement P corresponds to a unique simplicial complex K with vertices in [m]. In this paper, we defined the homology of a simplicial complement…

The computational cost of simulating quantum many-body systems can often be reduced by taking advantage of physical symmetries. While methods exist for specific symmetry classes, a general algorithm to find the full permutation symmetry…

In this paper we show a new way of constructing deterministic polynomial-time approximation algorithms for computing complex-valued evaluations of a large class of graph polynomials on bounded degree graphs. In particular, our approach…

Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we…

We say that a space X admits a homology exponent if there exists an exponent for the torsion subgroup of the integral homology. Our main result states if an H-space of finite type admits a homology exponent, then either it is, up to…

This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…

We give the first near-linear time $(1+\eps)$-approximation algorithm for $k$-median clustering of polygonal trajectories under the discrete Fr\'{e}chet distance, and the first polynomial time $(1+\eps)$-approximation algorithm for…

We extend the concept of polynomial time approximation algorithms to apply to problems for hierarchically specified graphs, many of which are PSPACE-complete. Assuming P != PSPACE, the existence or nonexistence of such efficient…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

For a smooth spacetime $X$, based on the timelike homotopy classes of its timelike paths, we define a topology on $X$ that refines the Alexandrov topology and always coincides with the manifold topology. The space of timelike or causal…

We study three different topologies on the moduli space $\mathscr{H}^{\rm loc}_m$ of equivariant isometry classes of $m$-dimensional locally homogeneous Riemannian spaces. As an application, we provide the first examples of locally…