Related papers: Derived splinters in positive characteristic
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
A split of a polytope $P$ is a (regular) subdivision with exactly two maximal cells. It turns out that each weight function on the vertices of $P$ admits a unique decomposition as a linear combination of weight functions corresponding to…
In this survey paper we give an overview on some aspects of singularities of algebraic varieties over an algebraically closed field of arbitrary characteristic. We review in particular results on equisingularity of plane curve…
This paper seeks to prove the bijectivity of the "Nash mapping" from the set of irreducible components of the scheme parametrizing analytic arcs on an algebraic surface $X$ whose origin is a singular point, into the set of irreducible…
We describe an infinite set of smooth projective threefolds that have equivalent derived categories but are not isomorphic, contrary to a conjecture of Kawamata. These arise as blow-ups of $\mathbb P^3$ at various configurations of 8…
Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the…
Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some…
Let $k$ be an algebraically closed field, $S$ a variety over $k$ and m a nonnegative integer. There is a space $S_m$ over $S$ , called the jet scheme of $X$ of order $m$, parameterizing $m$-th jets on $S$. The fiber over the singular locus…
We characterise when the log arc scheme of a fine log scheme $(X, M)$, with $X$ a variety over a field of characteristic zero, is irreducible. This generalises the theorem of Kolchin that the (ordinary) arc scheme of $X$ is irreducible…
We investigate deformations of a skew group algebra that arise from a finite group acting on a polynomial ring. When the characteristic of the underlying field divides the order of the group, a new type of deformation emerges that does not…
An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…
A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…
This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a…
We show that Higher Hochschild complex associated to a connected pointed simplicial set commutes with localization of commutative algebras over a field of characteristic zero. Then, we define in two ways higher order Hochschild cohomology…
The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of some differentially closed field (of characteristic 0, with a…
In natural characteristic, smooth induction from an open subgroup does not always give an exact functor. In this article we initiate a study of the right derived functors, and we give applications to the non-existence of projective…
A differential form vanishing on the tangent space at smooth points of a reduced embedded analytic germ is called conormal. For proving that a conormal one--form of a hypersurface vanishes at its singularities we state a Bertini--type…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain…