Related papers: The Chess conjecture

We investigate the equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids and derive their Morita invariance. For this, we use the tools developed by McCarthy for $k$-linear categories and subsequently by Kaygun and…

We introduce the entangled quantum polynomial hierarchy $\mathsf{QEPH}$ as the class of problems that are efficiently verifiable given alternating quantum proofs that may be entangled with each other. We prove $\mathsf{QEPH}$ collapses to…

Let $E/\mathbf{Q}$ be an elliptic curve and $p\geq 3$ be a prime. We prove the $p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes (i.e., such that the residual representation $E[p]$ is…

We show that whenever a closed symplectic manifold admits a Hamiltonian diffeomorphism with finitely many simple periodic orbits, the manifold has a spherical homology class of degree two with positive symplectic area and positive integral…

We solve the conjecture by R. Fenn, C. Rourke and B. Sanderson that the rack homology of dihedral quandles satisfies H_3^R(R_p) = Z \oplus Z_p for p odd prime. We also show that H_n^R(R_p) contains Z_p for n>2. Furthermore, we show that the…

The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. Liu and Osserman studied the Ehrhart quasi-polynomials of polytopes naturally associated to…

On d\'emontre une conjecture due \'a N. Kuhn concernant la cohomologie singuli\'ere \'a coefficients mod p des espaces, comme module instable sur l'alg\'ebre de Steenrod. Notre d\'emonstration de ce r\'esultat, d\'ej\'a connu en…

We introduce a higher-order version of the tangent map of a morphism and find a matrix representation. We then apply this matrix to solve a conjecture by T. Yasuda regarding the semigroup of the higher Nash blowup of formal curves. We first…

We study the geometry of the $p$-adic Siegel eigenvariety $\mathcal{E}$ of paramodular tame level at certain Saito-Kurokawa points having a critical slope. For $k \geq 2$ let $f$ be a cuspidal new eigenform of…

We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…

We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients…

We classify in terms of Hopf-type properties mapping tori of residually finite Poincar\'e Duality groups with non-zero Euler characteristic. This generalises and gives a new proof of the analogous classification for fibered 3-manifolds.…

By studying periodic points for rational maps on $\bm{C}^d$ with $p$ invariants, we show that they form an invariant variety of dimension $p$ if the periodicity conditions are `fully correlated', and a set of isolated points if the…

Let $p$ be an odd prime. We prove the cyclotomic Iwasawa Main Conjecture of K.Kato for the motive attached to an eigencuspform $f\in S_{k}(\Gamma_{0}(N))$ with arbitrary reduction type at $p$ under mild assumptions on the residual Galois…

Let $A$ be a commutative noetherian ring, containing a field $k$, with $1/2\in k$, $\dim A=d$, and let $P$ be a projective $A$-module or $rank(P)=n$. In continuation of \cite{MM}, we study Homotopy obstructions for $P$ to split off a free…

Let $\mathsf{E}/\mathbb{Q}$ be an elliptic curve. By the modularity theorem, it admits a surjection from a modular curve $X_0(N) \to \mathsf{E}$, and the minimal degree among such maps is called the modular degree of $\mathsf{E}$. By the…

We show that every finite-dimensional pointed Hopf algebra over a finite simple Chevalley group, different from $PSL_2(q)$ with q= 3 mod 4 (and from $PSL_3(2)\simeq PSL_2(7)$), is isomorphic to the corresponding group algebra. To do this,…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

Using Watson's terminating $_8\phi_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019),…

We show that every component of the locus of smooth supersingular curves of genus $4$ in characteristic $p>2$ has a trivial generic automorphism group. As a result, we prove Oort's conjecture about automorphism groups of supersingular…