相关论文: Rational obstruction theory and rational homotopy …
We show that a perfect obstruction theory for a $\mathbb{G}_\text{m}$-gerbe determines a semi-perfect obstruction theory for its base, which is perfect if the gerbe is quasi-compact and affine-pointed. These results streamline the…
We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…
The orbifold construction $A\mapsto A^G$ for a finite group $G$ is fundamental in rational conformal field theory. The construction of $Rep(A^G)$ from $Rep(A)$ on the categorical level, often called gauging, is also prominent in the study…
In this paper we relate triangulated category structures to the cohomology of small categories and define initial obstructions to the existence of an algebraic or topological enhancement. We show that these obstructions do not vanish in an…
We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…
The Gromov-Lawson-Rosenberg conjecture for a group G states that a compact spin manifold with fundamental group G admits a metric of positive scalar curvature if and only if a certain topological obstruction vanishes. It is known to be true…
Since Quillen proved his famous equivalences of homotopy categories in 1969, much work has been done towards classifying the rational homotopy types of simply connected topological places. The majority of this work has focused on rational…
Given a $\{ 0, 1, \ast \}$-matrix $M$, a minimal $M$-obstruction is a digraph $D$ such that $D$ is not $M$-partitionable, but every proper induced subdigraph of $D$ is. In this note we present a list of all the $M$-obstructions for every $2…
A covariant functor from the category of mapping tori to a category of AF-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding AF-algebras. We use this functor…
The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…
We construct examples of nonresolvable generalized $n$-manifolds, $n\geq 6$, with arbitrary resolution obstruction, homotopy equivalent to any simply connected, closed $n$-manifold. We further investigate the structure of generalized…
We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…
We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathcal{F}$ consists of undirected graphs, a full description of…
We study cohomological obstructions to the existence of global conserved quantities. In particular, we show that, if a given local variational problem is supposed to admit global solutions, certain cohomology classes cannot appear as…
In this work we relate the known results about the homotopy type of classifying spaces for smooth foliations, with the homology and cohomology of the discrete group of diffeomorphisms of a smooth compact connected oriented manifold. The…
In 1969 Artin and Mazur defined the \'etale homotopy type of an algebraic variety \cite{AMa69}. In this paper we define various obstructions to the local-global principle on a variety $X$ over a global field using the \'etale homotopy type…
Given two real algebraic varieties X and Y, we denote by R(X,Y) the set of all regular maps from X to Y. The set R(X,Y) is regarded as a topological subspace of the space C(X,Y) of all continuous maps from X to Y endowed with the…
We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead…
Consider a family $\mathcal F$ of $C_{2r+1}$-free graphs, where $r\geq 2$. Suppose that each graph in $\mathcal F$ has minimum degree linear in its number of vertices. Thomassen showed that such a family has bounded chromatic number, or,…
First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…