Related papers: The Samelson Product and Rational Homotopy for Gau…

Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It…

If P, B, H are the algebras of the total space, the base space, and the structure group of a locally trivial principal fibre bundle (QPFB), left (right) gauge transformations are defined as automorphisms of the left (right) B-module P which…

We prove that "unitary deformation K-theory" takes products of finitely generated groups to coproducts of algebra spectra over ku, the connective K-theory spectrum. Additionally, we give spectral sequences for computing the homotopy groups…

Let $Y$ be a CW-complex with a single 0-cell, let $K$ be its Kan group, a free simplicial group whose realization is a model for the space $\Omega Y$ of based loops on $Y$, and let $G$ be a Lie group, not necessarily connected. By means of…

The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…

The Seifert-van Kampen theorem computes the fundamental group of a space from the fundamental groups of its constituents. We develop a modular SVK framework within the setting of computational paths - an approach to equality where witnesses…

Each loop $\psi$ in the group $\text{Ham}(M)$ of Hamiltonian diffeomorphisms of a symplectic manifold $M$ determines a fibration $E$ on $S^2$, whose coupling class \cite{G-L-S} is denoted by $c$. If $VTE$ is the vertical tangent bundle of…

Let $Y$ be a CW-complex with a single 0-cell, $K$ its Kan group, a model for the loop space of $Y$, and let $G$ be a compact, connected Lie group. We give an explicit finite dimensional construction of generators of the equivariant…

We study the units in a tensor product of rings. For example, let k be an algebraically closed field. Let A and B be reduced rings containing k, having connected spectra. Let u \in A tensor_k B be a unit. Then u = a tensor_k b for some…

Let $T$ be a maximal torus of a semisimple complex algebraic group, $\mathrm{BS}(s)$ be the Bott-Samelson variety for a sequence of simple reflections $s$ and $\mathrm{BS}(s)^T$ be the set of $T$-fixed points of $\mathrm{BS}(s)$. We prove…

In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the…

This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next,…

A finite abstract simplicial complex G defines the Barycentric refinement graph phi(G) = (G,{ (a,b), a subset b or b subset a }) and the connection graph psi(G) = (G,{ (a,b), a intersected with b not empty }). We note here that both…

We show that for each aspherical compact complex surface $X$ whose fundamental group $\pi$ fits into a short exact sequence $$ 1\to K \to \pi \to \pi_1(S) \to 1 $$ where $S$ is a compact hyperbolic Riemann surface and the group $K$ is…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

We study gauge symmetry in F-theory in light of global aspects. For this, we consider not only a simple (local) group, but also a semi-simple group with Abelian factors. Once we specify the complete gauge group by decomposing the…

The classical fiber product in algebraic geometry provides a powerful tool for studying loci where two morphisms to a base scheme, $\phi: X \to S$ and $\psi: Y \to S$, coincide exactly. This condition of strict equality, however, is…

We describe $K(BS_4)$ and make a connection of the order of the bundle induced from the standart representation over the four dimensional skeleton of $BS_4$ with the stable homotopy group $\pi_3^s=Z_{24}$ explaining the reasons of this…

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…

Computations based on explicit 4-periodic resolutions are given for the cohomology of the finite groups G known to act freely on S^3, as well as the cohomology rings of the associated 3-manifolds (spherical space forms) M = S^3/G. Chain…