Related papers: Higher homotopy normalities in topological groups

We define the notion of higher-order colocally weakly differentiable maps from a manifold $M$ to a manifold $N$. When $M$ and $N$ are endowed with Riemannian metrics, $p\ge 1$ and $k\ge 2$, this allows us to define the intrinsic…

Constrained KP and super-KP hierarchies of integrable equations (generalized NLS hierarchies) are systematically produced through a Lie algebraic AKS-matrix framework associated to the homogeneous grading. The role played by different…

A group homomorphism eta:H-->G is called a localization of H if every homomorphism phi:H-->G can be `extended uniquely' to a homomorphism Phi:G-->G in the sense that Phi eta=phi. Libman showed that a localization of a finite group need not…

Let $\mathcal{G}_{k,n}$ be the gauge group of the principal $\mathrm{Sp}(n)$-bundle over $S^4$ corresponding to $k\in\mathbb{Z}\cong\pi_3(\mathrm{Sp}(n))$. We refine the result of Sutherland on the homotopy types of $\mathcal{G}_{k,n}$ and…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

We consider the `unstable Boardman map' (homomorphism if $k>0$) $$b:\pi^{m+k}\Sigma^k\Omega^lS^{n+l}\simeq[\Omega^lS^{n+l},\Omega^kS^{m+k}]\longrightarrow \mathrm{Hom}(H_*\Omega^lS^{n+l},H_*\Omega^kS^{m+k})$$ defined by $h(f)=f_*$. We work…

Univalent homotopy type theory (HoTT) may be seen as a language for the category of $\infty$-groupoids. It is being developed as a new foundation for mathematics and as an internal language for (elementary) higher toposes. We develop the…

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

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…

In this paper, we give a concrete description of the higher homotopy groups (n>0) of the mapping space Map_{Alg}(R,S) for R and S unbounded differential graded algebras (DGA) over a commutative ring k. In the connective case, we describe…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

The paper begins by exploring the various definitions of norms on semigroups and then presents a new definition of a normed semigroup. The properties of normed semigroups in the new sense are investigated. The new definition of the norm is…

Let $G_{n,k}$ denote the complex Grassmann manifold of $k$-dimensional vector subspaces of $\mathbb{C}^n$. Assume $l,k\le \lfloor n/2\rfloor$. We show that, for sufficiently large $n$, any continuous map $h:G_{n,l}\to G_{n,k}$ is rationally…

We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…

We give a geometric description of the set of holes in a non-normal affine monoid $Q$. The set of holes turns out to be related to the non-trivial graded components of the local cohomology of $k[Q]$. From this, we see how various properties…

An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on…

The purpose of this paper is to give some solutions for the classification problem in fibration theory by using the homotopy sequences of fibrations (sequences of $n$-th homotopy groups $ \pi_{n}(S,s_{o}) $ of total spaces of fibrations).…

Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…