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

We study the classification of $\mathbb{Z}$-DGAs with polynomial homology $\mathbb{F}_p[x]$ with $\lvert x \rvert >0$, motivated by computations in algebraic $K$-theory. This classification problem was left open in work of Dwyer, Greenlees,…

It is known that no length or time measurements are possible in sub-Planckian regions of spacetime. The Volovich hypothesis postulates that the micro-geometry of spacetime may therefore be assumed to be non-archimedean. In this letter, the…

Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We…

In this paper we study the topology of the spaces Hol(M,P{n},k) of (basepoint preserving) holomorphic maps of a given degree k from a Riemann surface M of genus g>0 into the n-th complex projective space P{n}, n>0. Using symmetric products…

We introduce the Cox homotopy algorithm for solving a sparse system of polynomial equations on a compact toric variety $X_\Sigma$. The algorithm lends its name from a construction, described by Cox, of $X_\Sigma$ as a GIT quotient $X_\Sigma…

The aim of this paper is two-fold. First, we give a fully geometric description of the HOMFLYPT homology of Khovanov-Rozansky. Our method is to construct this invariant in terms of the cohomology of various sheaves on certain algebraic…

We show that for each fixed $k$, the problem of finding $k$ pairwise vertex-disjoint directed paths between given source-sink pairs in a planar directed graph is solvable in polynomial time. In fact, it suffices to fix the number of faces…

We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding…

Multimarginal Optimal Transport (MOT) has attracted significant interest due to applications in machine learning, statistics, and the sciences. However, in most applications, the success of MOT is severely limited by a lack of efficient…

In this paper, we introduce a simplicial analog of classifying spaces for commutativity which classify principal bundles with commutativity structure on their transition functions. Our construction $\overline W(\tau,K)$, which takes as…

We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(k\rho )$, of lines inside…

Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the Andr\'{e}-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$…

A topological invariant of a polynomial map $p:X\to B$ from a complex surface containing a curve $C\subset X$ to a one-dimensional base is given by a rational second homology class in the compactification of the moduli space of genus $g$…

Primary cohomology operations, i.e., elements of the Steenrod algebra, are given by homotopy classes of maps between Eilenberg--MacLane spectra. Such maps (before taking homotopy classes) form the topological version of the Steenrod…

Let K be a compact semi-simple Lie group. We classify K-invariant Kaehler structures on the space Kc/(P,P), where Kc is the complexification of K, P is a parabolic subgroup of Kc, and (P,P) the commutator subgroup. For each Kaehler…

Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…

This essay summarizes the efforts required to build a program of a unified, low-dimension topology that allows characterizing all these flat space-times. Since spatiotemporal manifolds are topological spaces equipped with metrics, their…

In this contribution we present a general procedure that allows the construction of noncommutative spaces with quantum group invariance as the quantization of their associated coisotropic Poisson homogeneous spaces coming from a coboundary…

The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existing algorithms unipotent elements are found by random search…

For complex projective manifolds we introduce polar homology groups, which are holomorphic analogues of the homology groups in topology. The polar k-chains are subvarieties of complex dimension k with meromorphic forms on them, while the…