Related papers: Homotopy transfer theorem and KZB connections

We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathcal{X}$. This recovers, up to…

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There…

Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…

Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum…

We generalise the variant of the Babylonian tower theorem for vector bundles on projective spaces proved by I. Coanda and G. Trautmann (2006) to the case of principal $G$-bundles over projective spaces, where $G$ is a linear algebraic group…

We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s…

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 show that after rationalization there is a homotopy fiber sequence BBU -> K(ku) -> K(Z). We interpret this as a correspondence between the virtual 2-vector bundles over a space X and their associated anomaly bundles over the free loop…

We study full counting statistics for transferred heat and entropy production between multi-terminal systems in absence of a finite junction. The systems are modelled as collections of coupled harmonic oscillators which are kept at…

We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid…

We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$…

In this article we introduce a framization of the Hecke algebra of type B. For this framization we construct a faithful tensorial representation and two linear bases. We finally construct a Markov trace on these algebras and from this trace…

The prime motivation behind this paper is to prove that any torus link can be realized as the union of the one-dimensional connected components of the set of critical values of the argument map restricted to a complex algebraic plane curve.…

We describe new families of the Knizhnik-Zamolodchikov-Bernard (KZB) equations related to the WZW-theory corresponding to the adjoint $G$-bundles of different topological types over complex curves $\Sigma_{g,n}$ of genus $g$ with $n$ marked…

Homotopy Brouwer theory is a tool to study the dynamics of surface homeomorphisms. We introduce and illustrate the main objects of homotopy Brouwer theory, and provide a proof of Handel's fixed point theorem. These are the notes of a…

In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element…

Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by…

Invariant torus are constructed under assumption that the homogeneous system admits an exponential dichotomy on the semi-axes. The main result is closely related with the well-known Palmer's lemma and results of Boichuk A.A., Samoilenko…

Beben and Theriault proved a theorem on the homotopy fiber of an extension of a map with respect to a cone attachment, which has produced several applications. We give a short and elementary proof of this theorem.

We explore heat transport across an ion Coulomb crystal beyond the harmonic regime by tuning it across the structural phase transition between the linear and zigzag configurations. This demonstrates that the control of the spatial ion…