Related papers: Overconvergent F-isocrystals and differential over…

In this article, for the finite field $\mathbb{F}_q$, we show that the $\mathbb{F}_q$-algebra $\mathbb{F}_q[x]/\langle f(x) \rangle$ is isomorphic to the product ring $\mathbb{F}_q^{\deg f(x)}$ if and only if $f(x)$ splits over…

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the…

For a hypersurface V of a conformal space, we introduce a conformal differential invariant I = h^2/g, where g and h are the first and the second fundamental forms of V connected by the apolarity condition. This invariant is called the…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

We characterise those objects in the derived category of a scheme which are a sheaf supported on a closed subscheme in terms of Koszul complexes. This is applied to generalize to arbitrary schemes the fully faithfullness criteria of an…

Let $K$ be a field of characteristic $p>0$, $A=K[[Y]]$ be a power series ring in one variable and $Q(A)$ be the field of fraction of $A$. Suppose that $R=A[X_1,\ldots,X_n]$ is a standard $\mathbb{N}^n$-graded polynomial ring over $A$, i.e.,…

We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More…

We give a new construction of $(\varphi, \hat G)$-modules using the theory of prisms developed by Bhatt and Scholze. As an application, we give a new proof about the equivalence between the category of prismatic $F$-crystals in finite…

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also…

In this article we study F-pure thresholds (and, more generally, F-thresholds) of homogeneous polynomials in two variables over a field of characteristic p>0. Passing to a field extension, we factor such a polynomial into a product of…

When strained beyond the linear regime, soft colloidal glasses yield to steady-state plastic flow in a way that is similar to the deformation of conventional amorphous solids. Due to the much larger size of the colloidal particles with…

Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…

We provide a uniform bound for the index of cohomology classes in $H^i(F, \mu_\ell^{\otimes i-1})$ when $F$ is a semiglobal field (i.e., a one-variable function field over a complete discretely valued field $K$). The bound is given in terms…

Given a simply connected manifold M such that its cochain algebra, C^\star(M), is a pure Sullivan dga, this paper considers curved deformations of the algebra C_\star({\Omega}M) and consider when the category of curved modules over these…

We study the category of $\mathbf{P}$-equivariant modules over the infinite variable polynomial ring, where $\mathbf{P}$ denotes the subgroup of the infinite general linear group $\mathbf{GL}(\mathbf{C}^\infty)$ consisting of elements…

We compute the coherent cohomology of the structure sheaf of complex periplectic Grassmannians. In particular, we show that it can be decomposed as a tensor product of the singular cohomology ring of a Grassmannian for either the symplectic…

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

We prove that for any discrete group $G$ with finite $\mathfrak{F}$-cohomological dimension, the Gorenstein cohomological dimension equals the $\mathfrak{F}$-cohomological dimension. This is achieved by constructing a long exact sequence of…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…