Related papers: The Structure of F-Quasigroups
Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homotopy theory. The category theory and homotopy theory suggest…
Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…
We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…
A loop identity is of Bol-Moufang type if two of its three variables occur once on each side, the third variable occurs twice on each side, and the order in which the variables appear on both sides is the same, viz. $((xy)x)z=x(y(xz))$.…
A \emph{loop} $(B,\cdot)$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\cdot x$ and $R_{a}:B\to B: x \mapsto x\cdot a$ are…
In the proof of Crew's parabolicity conjecture, we established a key property concerning the slopes of $\dagger$-hulls of $F$-isocrystals, extending a result of Tsuzuki. This article presents an alternative proof of this theorem for a…
On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ -…
A 1930s conjecture of Hopf states that an even-dimensional compact Riemannian manifold with positive sectional curvature has positive Euler characteristic. We prove this conjecture under the additional assumption that the isometry group has…
We introduce a general notion of quantum universal enveloping algebroids (QUE algebroids), or quantum groupoids, as a unification of quantum groups and star-products. Some basic properties are studied including the twist construction and…
Let $ G^\tau $ be a connected simply connected semisimple algebraic group, endowed with generalized Sklyanin-Drinfel'd structure of Poisson group, let $ H^\tau $ be its dual Poisson group. By means of quantum double construction and…
We study the MSSM in F-theory. Its group is the commutant to a structure group SU(5) x U(1)_Y of a gauge bundle in E_8. The spectrum contains three generations of quarks and leptons plus vectorlike electroweak and colored Higgses. The…
We establish an analogue of Ratner's orbit closure theorem for any connected closed subgroup generated by unipotent elements in $\operatorname{SO}(d,1)$ acting on the space $\Gamma\backslash \operatorname{SO}(d,1)$, assuming that the…
We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…
By using twist construction, we obtain a quantum groupoid $\cald\ot_{q}\uqg$ for any simple Lie algebra $\frakg$. The underlying Hopf algebroid structure encodes all the information of the corresponding elliptic quantum group-the quasi-Hopf…
If g is a quasitriangular Lie bialgebra, one can asks what is the geometrical meaning of its r-matrix. A first answer was given in a paper by Weinstein and Xu, using purely geometrical means: roughly, one has that the formal Poisson group…
For a saturated fusion system $\mathcal F$ on a $p$-group $S$, we study the Burnside ring of the fusion system $B(\mathcal F)$, as defined by Matthew Gelvin and Sune Reeh, which is a subring of the Burnside ring $B(S)$. We give criteria for…
State-of-the-art multi-reference energy density functional calculations require the computation of norm overlaps between different Bogoliubov quasiparticle many-body states. It is only recently that the efficient and unambiguous calculation…
In this survey, we gather together various results on the action of a real form of a complex semisimple Lie group on its flag manifolds. We start with the finiteness theorem of J.Wolf implying that at least one of the orbits is open. We…
The tight-binding model of quantum particles on a honeycomb lattice is investigated in the presence of homogeneous magnetic field. Provided the magnetic flux per unit hexagon is rational of the elementary flux, the one-particle Hamiltonian…
We recall the notion of a Hopf (co)quasigroup defined in \cite{Kl09} and define integration and Fourier Transforms on these objects analogous to those in the theory of Hopf algebras. Using the general Hopf module theory for Hopf…