Related papers: Homotopy of vector states

A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…

We show that for any C*-algebra $A$, a sufficiently large Hilbert space $H$ and a unit vector $\xi \in H$, the natural application $rep(A:H) \to Q(A)$, $\pi \mapsto \langle \pi(-)\xi,\xi \rangle$ is a topological quotient, where $rep(A:H)$…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Let $\Hol_{x_0}^{{\bf n}} (\C\P^1, X)$ be the space of based holomorphic maps of degree ${\bf n}$ from $\C\P^1$ into a simply connected algebraic variety $X$. Under some condition we prove that the map $\map \Hol_{x_0}^{{\bf n}} (\C\P^1,…

We consider the compact convex set of all bi-partite states of Schmidt number less than or equal to $k$, together with that of $k$-blockpositive matrices of trace one, which play the roles of Schmidt number witnesses. In this note, we look…

For a given compact Hausdorff space $X$, we construct the space $OS_{f}(X)$ of normed, order-preserving, weakly additive, positively homogeneous and semi-additive functionals (for brevity, semi-additive functionals) and it is proved that…

In this paper, we introduce the notion of bi-homotopy between subsets of continuous functions. A map $\phi$ from $A$ to $B$ is called an $h$-map if, for each two homotopic maps $f, g\in A$, their image (i.e., $\phi(f), \phi(g)$) are…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

Recent progress on the question of the size of the class of connected and hyperconnected geometric morphisms from a given topos has led to the definition of {\em local state classifier}. We discuss a historical precedent which leads to the…

One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a…

Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…

We show that the base space of a homotopy cofibration is locally hyperbolic under various conditions. In particular, if these manifolds admit a rationally elliptic closure, then almost all punctured manifolds and almost all manifolds with…

We show a Gottlieb element in the rational homotopy of a simply connected space $X$ implies a structural result for the Sullivan minimal model, with different results depending on parity. In the even-degree case, we prove a rational…

In this paper we study $\mathcal M(X)$, the set of diffeomorphism classes of smooth manifolds with the simple homotopy type of $X$, via a map $\Psi$ from $\mathcal M(X)$ into the quotient of $K(X)=[X,BSO]$ by the action of the group of…

Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $\rho$ of the fundamental group $\pi_{1}(X^{*})$ with unipotent local monodromy, where…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

The set of all subracks $\mathcal{R}(X)$ of a finite rack $X$ form a lattice under inclusion. We prove that if a rack $X$ satisfies a certain condition then the homotopy type of the order complex of $\mathcal{R}(X)$ is a $(m-2)$-sphere,…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

Given a complex space $X$, we cosidered the problem of finding a {\it hyperbolic model} of $X$. This is an object $\ip(X)$ with a morphism $i:X\to \ip(X)$ in such a way that $\ip(X)$ is ``hyperbolic'' in a suitable sense and $i$ is as close…

We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$…