Related papers: Rational homotopy -- Sullivan models
We construct E-infinity cell algebra models for the cochain algebras of the free and based loop spaces on a simply-connected topological space. Techniques from rational homotopy theory are exploited throughout.
We present a systematic approach to studying the geometric aspects of Vinberg theta-representations. The main idea is to use the Borel-Weil construction for representations of reductive groups as sections of homogeneous bundles on…
We show that the moduli space of regular affine vortices, which are solutions of the symplectic vortex equation over the complex plane, has the structure of a smooth manifold. The construction uses Ziltener's Fredholm theory results [31].…
The purpose of this article is to describe connections between the loop space of the 2-sphere, Artin's braid groups, a choice of simplicial group whose homotopy groups are given by modules called Lie(n), as well as work of Milnor, and…
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same…
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by…
Freedman proposes a family of Hamiltonians $H_{0,l}$ which define quantum loop gas models on any celluated compact surface. We study the simplest nontrivial cases: celluations of the torus. Our numerical data support Freedman's conjecture,…
We show that that classical rational homotopy theory in the sense of Sullivan [6] can be extended compactly supported setting. This presents a simplicial version of the compactly supported de Rham complex in characteristic zero, and proving…
We prove two homotopy decomposition theorems for the loops on co-H-spaces, including a generalization of the Hilton-Milnor Theorem. These are applied to problems arising in algebra, representation theory, toric topology, and the study of…
We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of arithmetic genus 3 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the…
We calculate certain homotopy groups of the moduli spaces for representations of a compact oriented surface in the Lie groups GL(n,C) and U(p,q). Our approach relies on the interpretation of these representations in terms of Higgs bundles…
A new method to derive presentations of skein modules is developed. For the case of homotopy skein modules it will be shown how the topology of a 3-manifold is reflected in the structure of the module. The freeness problem for q-homotopy…
In this paper, we prove a version of the arithmetic Bertini theorem asserting that there exists a strictly small and generically smooth section of a given arithmetically free graded arithmetic linear series.
We introduce tautological system defined by prehomogenous actions of reductive algebraic groups. If the complement of the open orbit is a linear free divisor satisfying a certain finiteness condition, we show that these systems underly…
We compute the Betti numbers of the geometric spaces associated to nonrational simple convex polytopes and find that they depend on the combinatorial type of the polytope exactly as in the rational case. This shows that the combinatorial…
We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…
We survey recent work on moduli spaces of manifolds with an emphasis on the role played by (stable and unstable) homotopy theory. The theory is illustrated with several worked examples.
Assume that the field $K$ is $p$-rational. We study the freeness of the $\Lambda(G_{\infty,S})$-module $\mathcal{X}=\mathcal{H}^{ab}=\mathrm{\mathrm{G}al}(K_{S\cup S_p}/K_{\infty,S})^{ab}$. For numerical evidence to our result we consider…
We construct a zig-zag from the once delooped space of pseudoisotopies of a closed $2n$-disc to the once looped algebraic $K$-theory space of the integers and show that the maps involved are $p$-locally $(2n-4)$-connected for $n>3$ and…
We point out a gap in the proof of the Davis--Januszkiewicz theorem on cohomology of small covers of simple polytopes, and give a correction to this proof. We use this theorem to compute explicitly the Betti numbers for a wide class of…