Related papers: Straight homotopy invariants

On an open, connected symplectic manifold $(M,\omega)$, the group of Hamiltonian diffeomorphisms forms an infinite-dimensional Fr\'echet Lie group with Lie algebra $C^{\infty}_c(M)$ and adjoint action given by pullbacks. We prove that this…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

This book introduces a new context for global homotopy theory, i.e., equivariant homotopy theory with universal symmetries. Many important equivariant theories naturally exist not just for a particular group, but in a uniform way for all…

Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically…

Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X\rightarrow Y$ is said to be $(\alpha,\gamma)$-stable (with respect to $T:L(f)\equiv\overline{{\rm span}}f(X)\rightarrow X$ for some $\alpha,…

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of…

Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

We determine the v1-periodic homotopy groups of all irreducible p-compact groups (BX,X). In the most difficult, modular, cases, we follow a direct path from their associated invariant polynomials to these homotopy groups. We show that, if p…

Consider a morphism between connected locally Noetherian normal schemes. In this paper, we discuss when the sequence of the etale fundamental groups associated to the morphism is exact. Moreover, we give a characterization of when the…

A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In \cite{DR2} we gave characterizations of monomorphisms (resp. epimorphisms) in arbitrary pro-categories, pro-(C), where (C) has…

We study the structure of Lie groups admitting left invariant abelian complex structures in terms of commutative associative algebras. If, in addition, the Lie group is equipped with a left invariant Hermitian structure, it turns out that…

Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved…

We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth…

We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

Let $Q$ be an inverse semigroup. A subsemigroup $S$ of $Q$ is a left I-order in $Q$ and $Q$ is a semigroup of left I-quotients of $S$ if every element in $Q$ can be written as $a^{-1}b$, where $a, b \in S$ and $a^{-1}$ is the inverse of $a$…

Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…

The stable systolic category of a closed manifold M indicates the complexity in the sense of volume. This is a homotopy invariant, even though it is defined by some relations between homological volumes on M. We show an equality of the…