Related papers: On the Smale Conjecture for Diff$(S^4)$
This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…
We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, \omega)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This…
We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly…
We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces.…
We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and…
The Coulomb dissociation of 8B, measured with high precision by the GSI group, is in excellent agreement with the astrophysical cross section factor (S17) measured by the Weizmann group with a 7Be target. The GSI and Weizmann data are in…
Consider a conformally covariant four-point function of identical scalar operators with a discrete spectrum, a twist gap, and compatible with the unitarity conditions. We give a mathematical proof confirming that the spectrum and OPE…
This paper develops our previous works concerning the classical Peterson hit problem for the polynomial algebra on five variables over the mod--2 Steenrod algebra $\mathscr A$ in a generic family of degrees, together with applications to…
It is conjectured that strongly coupled, spatially noncommutative $\mathcal{N}=4$ Yang-Mills theory has a dual description as a weakly coupled open string theory in a near critical electric field, and that this dual theory is fully…
We give an elementary proof of a weak variant of the homotopy type conjecture from [Gel04]. The proof relies on Belolipetskys estimate on the systole in terms of the volume which is a consequence of Prasads volume formula. In particular we…
This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…
We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a…
We present some results supporting the Iwase-Sakai conjecture about coincidence of the topological complexity $TC(X)$ and monoidal topological complexity $TC^M(X)$. Using these results we provide lower and upper bounds for the topological…
We classify compact oriented $5$-manifolds with free fundamental group and $\pi_{2}$ a torsion free abelian group in terms of the second homotopy group considered as $\pi_1$-module, the cup product on the second cohomology of the universal…
Let $(M,g)$ be a compact Ricci-flat 4-manifold. For $p \in M$ let $K_{max}(p)$ (respectively $K_{min}(p)$) denote the maximum (respectively the minimum) of sectional curvatures at $p$. We prove that if $$K_{max} (p) \le \ -c K_{min}(p)$$…
The Sp(4) gauge theory with two Dirac fundamental flavours provides a candidate for the microscopic origin of composite-Higgs models based on the SU(4)/Sp(4) coset. We employ a combination of two different, complementary strategies for the…
In [3] we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier's cut-free sequent calculus for minimal logic (HSC) [5] with the horizontal compressing in the corresponding minimal Prawitz-style…
We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
We study the isometry groups of compact spherical orientable $3$-orbifolds $S^3/G$, where $G$ is a finite subgroup of $\mathrm{SO}(4)$, by determining their isomorphism type. Moreover, we prove that the inclusion of $\mbox{Isom}(S^3/G)$…