Related papers: On proper splinters in positive characteristic
The geproci property is a recent development in the world of geometry. We call a set of points $Z\subseteq\mathbb{P}_k^3$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$…
Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…
Let $F$ be a non-archimedean local field of characteristic different from $2$ and $G$ be either an odd special orthogonal group ${\rm SO}_{2r+1}(F)$ or a symplectic group ${\rm Sp}_{2r}(F)$. In this paper, we establish the local converse…
The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…
For any family of principal bundles with a reductive structure group G on a family X/S of smooth projective varieties in characteristic zero, it is known that the parameter scheme S has a set theoretic stratification by locally closed…
Let C be a smooth projective curve over an algebraically closed field of arbitrary characteristic. Let M_{r,L}^{ss} denote the projective coarse moduli scheme of semistable rank r vector bundles over C with fixed determinant L. We prove…
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…
By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…
We make quantitative improvements to recently obtained results on the structure of the image of a large difference set under certain quadratic forms and other homogeneous polynomials. Previous proofs used deep results of Benoist-Quint on…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
Invariants with respect to recollements of the stable category of Gorenstein projective A-modules over an algebra A and stable equivalences are investigated. Specifically, the Gorenstein rigidity dimension is introduced. It is shown that…
The existence of the Gorenstein projective precovers over arbitrary rings is an open question. In this paper, we make use of three diferent techniques addressing intrinsic and homological properties of several classes of relative Gorenstein…
We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated…
Kodaira embedding theorem provides an effective characterization of projectivity of a K\"ahler manifold in terms the second cohomology. Recently X. Yang [21] proved that any compact K\"ahler manifold with positive holomorphic sectional…
The $F$-signature of a local ring of prime characteristic is a numerical invariant that detects many interesting properties. For example, this invariant detects (non)singularity and strong $F$-regularity. However, it is very difficult to…
In this paper we prove a generalization of a theorem of Schneider, which gives a criterion for a projective surface over the complex numbers to have an ample cotangent bundle. After reviewing different notions of positivity, we introduce a…
We prove that in characteristic zero the multiplication of sections of dominant line bundles on a complete symmetric variety $X=\bar{G/H}$ is a surjective map. As a consequence the cone defined by a complete linear system over $X$, or over…
We list the irreducible reduced and not degenerate normal projective varieties $X\subset\mathbb{P}^N$ of dimension $n$ and degree five defined over an algebraically closed field $k$ of char$(k) = 0$. In the smooth case, or when $n = 2$, we…
By a result of Biswas and Dos Santos, on a smooth and projective variety over an algebraically closed field, a vector bundle trivialized by a proper and surjective map is essentially finite, that is it corresponds to a representation of the…