Related papers: Introduction to Framed Correspondences
We describe the relation of $r$-similarity and finite-order invariants on the homotopy set $[S^1,Y]=\pi_1(Y)$.
The notion of conformal algebras was introduced by Victor G. Kac using the axiomatic description of the operator product expansion of chiral fields in conformal field theory. The structure theory, representations and cohomology of Lie and…
Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…
We introduce loop spaces (in the sense of derived algebraic geometry) into the representation theory of reductive groups. In particular, we apply the theory developed in our previous paper arXiv:1002.3636 to flag varieties, and obtain new…
We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and…
In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a…
We study the homotopy of loops in a fixed path-connected Polish space from a descriptive set-theoretic viewpoint. We show that many analytic equivalence relations arise this way, and many do not. We also study the "free group" over an…
We give a new coalgebraic semantics for intuitionistic modal logic with $\Box$. In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames and of intuitonistic modal Kripke frames based on image-finite…
We introduce a generalization of Joyce's motivic Hall algebra by combining it with Green's parabolic induction product, as well as a non-archimedean variant of it. In the construction, we follow Dyckerhoff-Kapranov's formalism of 2-Segal…
We give an elementary introduction to our papers relating the geometry of rational homogeneous varieties to representation theory. We also describe related work and recent progress.
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based…
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
We consider more general framework than the corresponding one considered in our previous work on the Hodge-Iwasawa theory. In our current consideration we consider the corresponding more general base spaces, namely the analytic adic spaces…
This paper studies recurrence phenomena in iterative holomorphic dynamics of certain multi-valued maps. In particular, we prove an analogue of the Poincar\'e recurrence theorem for meromorphic correspondences with respect to certain…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
We revisit the classical two-dimensional McKay correspondence in two respects: The first one, which is the main point of this work, is that we take into account of the multiplicative structure given by the orbifold product; second, instead…
Ren\'e Thom's remarkable and far-reaching concept of transversality has found numerous powerful applications. Most importantly, it allowed Thom to develop cobordism theory, which led to a piercing insight into the topology of smooth…
The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop…
Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In particular, the correspondence between…