Related papers: Frobenius rigidity in $\mathbb A^1$-homotopy theor…
In this note, we establish the dihedral rigidity phenomenon for a collection of parabolic polyhedrons enclosed by horospheres in hyperbolic manifolds, extending Gromov's comparison theory to metrics with negative scalar curvature lower…
This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…
We give simple and unified proofs of the known stability and rigidity results for Lie algebras, Lie subalgebras and Lie algebra homomorphisms. Moreover, we investigate when a Lie algebra homomorphism is stable under all automorphisms of the…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category…
Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…
Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…
Let $A$ be a non-CM simple abelian variety over a number field $K$. For a place $v$ of $K$ such that $A$ has good reduction at $v$, let $F(A,v)$ denote the Frobenius field generated by the corresponding Frobenius eigenvalues. Assuming $A$…
For any algebraically closed field $K$ and any endomorphism $f$ of $\mathbb{P}^1(K)$ of degree at least 2, the automorphisms of $f$ are the M\"obius transformations that commute with $f$, and these form a finite subgroup of…
We show that the category of finite-dimensional modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category is equivalent to the Gabriel-Zisman localisation of the category with respect to a certain class…
Here we present a rigidity result in a global (semi-global, homotopy) setting for a restrictive class of polytopes, those that can be inscribed in a unit sphere, with some additional conditions. The proof of the rigidity result for cabled…
We show that mapping spaces in the p-local motivic stable category over an Fp-scheme are strictly commutative monoids (whence HZ-modules) in a canonical way.
We investigate the local dynamics of antiholomorphic diffeomorphisms around a parabolic fixed point. We first give a normal form. Then we give a complete classification including a modulus space for antiholomorphic germs with a parabolic…
We consider mappings between Carnot groups. In this paper, which is a continuation of "Pansu pullback and rigidity of mappings between Carnot groups" (arXiv:2004.09271), we focus on Carnot groups which are nonrigid in the sense of…
We develop the technique of compactified correspondences and homotopies over one-dimensional base schemes, and illuminate the perfectness and the inverting of characteristic assumptions from the celebrating Voevodsky's strict homotopy…
It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. Considering the Foata normal form metric on trace monoids and uniformly continuous endomorphisms, a…
We show that if two singular points $x' \in X'$ and $x \in X$ on schemes over a field $k$ of characteristic $p > 0$ are contact equivalent then the rigid cohomology spaces $H^{\bullet}_{rig, \{x\}}(X)$ and $H^{\bullet}_{rig, \{x'\}}(X')$…
This is the first in a series of papers in which we construct and study a new $p$-adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$. This will be a version of rigid cohomology, taking values…
We consider area preserving maps of surfaces and extend Mather's result on the equality of the closure of the four branches of saddles. He assumed elliptic fixed points to be Moser stable, while we require only that the derivative at this…
If $f:[a,b]\to \mathbb{R}$, with $a<b$, is continuous and such that $a$ and $b$ are mapped in opposite directions by $f$, then $f$ has a fixed point in $I$. Suppose that $f:\mathbb{C}\to\mathbb{C}$ is map and $X$ is a continuum. We extend…