We introduce the persistent homotopy type distance dHT to compare real valued functions defined on possibly different homotopy equivalent topological spaces. The underlying idea in the definition of dHT is to measure the minimal shift that is necessary to apply to one of the two functions in order that the sublevel sets of the two functions become homotopically equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that dHT still provides an upper bound for the bottleneck distance between the persistence diagrams of the intervening functions. Moreover, because homotopy equivalences are weaker than homeomorphisms, this implies a lifting of the standard stability results provided by the L-infty distance and the natural pseudo-distance dNP. From a different standpoint, we prove that dHT extends the L-infty distance and dNP in two ways. First, we show that, appropriately restricting the category of objects to which dHT applies, it can be made to coincide with the other two distances. Finally, we show that dHT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.

B. Totaro showed \citetotaro that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of the configuration space into the Cartesian power. In this note we show that the isomorphism can be chosen to be compatible with the mixed Hodge structures. In particular, we prove that the mixed Hodge structures on the configuration spaces of smooth complex projective varieties are direct sums of pure Hodge structures.

In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of Bn with a representation of Bn+1. In this paper, we prove that this construction is functorial: it gives an endofunctor, called the Long-Moody functor, between the category of functors from the homogeneous category associated with the braid groupoid to a module category. Then we study the effect of the Long-Moody functor on strong polynomial functors: we prove that it increases by one the degree of strong polynomiality.

Feb 28 2017

math.AT arXiv:1702.08119v1

We extend the Cisinski-Moerdijk-Weiss theory of $\infty$-operads to the equivariant setting to obtain a notion of $G$-$\infty$-operads that encode "equivariant operads with norm maps" up to homotopy. At the root of this work is the identification of a suitable category of $G$-trees together with a notion of $G$-inner horns capable of encoding the compositions of norm maps. Additionally, we follow Blumberg and Hill by constructing suitable variants associated to each of the indexing systems featured in their work.

We define an elliptic version of the stable envelope of Maulik and Okounkov for the equivariant elliptic cohomology of cotangent bundles of Grassmannian. It is a version of the construction proposed by Aganagic and Okounkov and is based on weight functions and shuffle products. We construct an action of the elliptic dynamical quantum group associated with gl_2 on the equivariant elliptic cohomology of the union of cotangent bundles of Grassmannians. The generators of the elliptic quantum groups act as difference operators on sections of admissible bundles, a notion introduced in this paper.

We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a generalized Noether normalization. Under various assumptions we give intrinsic characterizations of the category we obtain, proving that, under Gorenstein hypotheses (applying for example to C^*(BG) for a compact Lie group G), it is independent of the chosen normalization. Based on this we introduce singularity and cosingularity categories measuring the failure of regularity and coregularity as well as proving a Koszul duality statement relating them. A special case is the BGG equivalence D_sg(Exterior (t_0, ..., t_n))=D^b(P^n). Numerous examples from algebra, modular representation theory and homotopy theory illustrate the various phenomena considered.

Feb 28 2017

math.AT arXiv:1702.07882v1

In this short paper we compute the values of Dijkgraaf-Witten invariants over $Z_2$ for all orientable Seifert manifolds with orientable bases.

Feb 28 2017

math.AT arXiv:1702.07794v1

We give a Quillen equivalence between May and Sigurdsson's model category of parametrized spectra over BG, and Mandell, May, Schwede, and Shipley's model category of modules over the orthogonal ring spectrum \Sigma^\infty_+ G, for each topological group G. More generally, for a topological category C we introduce an "aggregate" model structure on the category of diagrams of spectra indexed by C, and prove that it is Quillen equivalent to spectra over BC. This lifts several earlier results, and leads to a complete characterization of the dualizable parametrized spectra, answering a question of May and Sigurdsson.

Feb 28 2017

math.AT arXiv:1702.07774v1

The work of Hausel proves that the Białynicki-Birula stratification of the moduli space of rank two Higgs bundles coincides with its Shatz stratification. He uses that to estimate some homotopy groups of the moduli space of $k$-Higgs bundles of rank two. Unfortunately, those two stratifications do not coincide in general. Here, the objective is to present a different proof of the stabilization of the homotopy groups of $\mathcal{M}^k(2,d)$, and generalize it to $\mathcal{M}^k(3,d)$, the moduli spaces of $k$-Higgs bundles of degree $d$, and ranks two and three respectively, using the results from the works of Hausel and Thaddeus, among other tools.

Feb 28 2017

math.AT arXiv:1702.07751v1

We survey results on the topological complexity of classical configuration spaces of distinct ordered points in orientable surfaces and related spaces, including certain orbit configuration spaces and Eilenberg-Mac Lane spaces associated to certain discrete groups.