Related papers: Swan modules and homotopy types after a single sta…

Let $g$ be a finite dimensional simple Lie algebra. Denote by $\mathcal B$ the category of all bounded weight $g$-modules, i.e. those which are direct sum of their weight spaces and have uniformly bounded weight multiplicities. A result of…

The constraint satisfaction problem (CSP) can be formulated as a homomorphism problem between relational structures: given a structure $\mathcal{A}$, for any structure $\mathcal{X}$, whether there exists a homomorphism from $\mathcal{X}$ to…

This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

We classify all homomorphisms between Weyl modules for SL_3(k) when k is an algebraically closed field of characteristic at least three, and show that the Hom-spaces are all at most one-dimensional. As a corollary we obtain all…

We introduce new times in the monodromy preserving equations. While the usual times related to the moduli of complex structures of Riemann curves such as coordinates of marked points, we consider the moduli of generalized complex structures…

We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The…

We prove that Whitehead's algorithm for solving the automorphism problem in a fixed free group $F_k$ has strongly linear time generic-case complexity. This is done by showing that the ``hard'' part of the algorithm terminates in linear time…

We show that certain subrings of the cohomology of a finite p-group P may be realised as the images of restriction from suitable virtually free groups. We deduce that the cohomology of P is a finite module for any such subring. Examples…

An original non-standard approach to describing the structure of a column stabilizer in a group of $n \times n$ matrices over a polynomial ring or a Laurent polynomial ring of $n$ variables is presented. The stabilizer is described as an…

For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

In this paper, the homotopy groups of Chow variety $C_{p,d}(P^n)$ of effective $p$-cycles of degree $d$ is proved to be stable in the sense that $p$ or $n$ increases. We also obtain a negative answer to a question by Lawson and Michelsohn…

We study moduli stabilisation in four-dimensional $N=1$ supergravity theories which originate from compactifications of the heterotic string on certain manifolds with $SU(3)$ structure. These theories have a non-trivial superpotential…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove…

Answering a question of Hatcher-Vogtmann, we prove that the top homology group of the free factor complex is not the dualizing module for $\text{Aut}(F_n)$, at least for $n = 5$.

In the early 1980's the author proved G.W. Whitehead's conjecture about stable homotopy groups and symmetric products. In the mid 1990's, Arone and Mahowald showed that the Goodwillie tower of the identity had remarkably good properties…