We study the negative $K$-theory of singular varieties over a field of positive characteristic and in particular, prove the vanishing of $K_i(X)$ for $i < -d-2$ for a $k$-variety of dimension $d$.
We compute the Euler characteristics of tautological vector bundles and their exterior powers over the Quot schemes of curves. We give closed-form expressions over punctual Quot schemes in all genera. For higher rank quotients of a trivial vector bundle, we obtain answers in genus zero. We also study the Euler characteristics of the symmetric powers of the tautological bundles, for rank zero quotients.
We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces.
We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\PP^r$. In this article, we show that for low genus $g$ outside the Brill-Noether range, the Hilbert scheme $\mathcal{H}_{g+1,g,4}$ is non-empty whenever $g\ge 9$ and irreducible whose only component generically consists of linearly normal curves unless $g=9$ or $g=12$. This complements the validity of the original assertion of Severi regarding the irreducibility of $\mathcal{H}_…
This paper summarizes the results at the present moment about singularities with respect to the Mather-Jacobian log discrepancies over algebraically closed field of arbitrary characteristic. The basic point is the Inversion of Adjunction with respect to Mather-Jacobian discrepancies holds in arbitrary characteristic. Based on this fact we will reduce many geometric properties of the singularities into the problem on jet schemes and try to avoid discussions which are distinctive for characteristic 0.
We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent of the base field, secant varieties to high degree Veronese reembeddings behave well with respect to the intersection and they are defined by minors of catalecticants whenever a suitable smoothability …
In this paper we show that the l^n-torsion part of the cohomological Brauer groups of certain schemes associated to symmetric powers of a projective smooth curve over a separably closed field k are isomorphic, when `l is invertible in k. The schemes considered are the Symmetric powers themselves, then the corresponding Picard schemes and also certain Quot-schemes. We also obtain similar results for Prym varieties associated to certain finite covers of such curves: we prove such results only for curves defined over the field of complex numbers.
We compute tautological integrals over Quot schemes on curves and surfaces. After obtaining several explicit formulas over Quot schemes of dimension 0 quotients on curves (and finding a new symmetry), we apply the results to tautological integrals against the virtual fundamental classes of Quot schemes of dimension 0 and 1 quotients on surfaces (using also universality, torus localization, and cosection localization). The virtual Euler characteristics of Quot schemes of surfaces, a new theory parallel to the Vafa-Witten Euler characteristics of the moduli of bundles, is defined and studied. Co…
We give explicit blowups of the projective plane in positive characteristic that contain smooth rational curves of arbitrarily negative self-intersection, showing that the Bounded Negativity Conjecture fails even for rational surfaces in positive characteristic.
We consider the problem of existence of Neron models for a family of abelian varieties over a base of dimension greater than 1. We show that when S is of equicharacteristic zero, the condition of toric additivity introduced in [Ore18] is sufficient for the existence of a Neron model, and also necessary under some extra assumptions. Furthermore, we give an equivalent formulation of toric additivity in terms of monodromy action on the l-adic Tate module.
Let $\mathbb K$ be an algebraically closed field of characteristic $0$. A curve of $(\mathbb K^*)^2$ arising from a Laurent polynomial in two variables is {\em intrinsic negative} if its tropical compactification has negative self-intersection. The aim of this note is to start a systematic study of these curves and to relate them with the problem of computing Seshadri constants of toric surfaces.
We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of $\mathfrak{X}$ is exactly $p$, then the full De Rham complex is decomposable. Along the way we establish the Cartier isomorphism associated to a smooth morphism of positive characteristic noetherian formal schemes.
The Euler characteristic of a semialgebraic set can be considered as a generalization of the cardinality of a finite set. An advantage of semialgebraic sets is that we can define "negative sets" to be the sets with negative Euler characteristics. Applying this idea to posets, we introduce the notion of semialgebraic posets. Using "negative posets", we establish Stanley's reciprocity theorems for order polynomials at the level of Euler characteristics. We also formulate the Euler characteristic reciprocities for chromatic and flow polynomials.
We show that Hilbert schemes of points on supersingular Enriques surface in characteristic 2 are simply connected, symplectic varieties but are not irreducible symplectic as the hodge number $h^{2,0} > 1$, even though a supersingular Enriques surface is an irreducible symplectic variety. These are the classes of varieties which appear only in characteristic 2 and they show that the hodge number formula for Göttsche-Soergel does not hold over characteristic 2. It also gives examples of varieties with trivial canonical class which are neither irreducible symplectic nor Calabi-Yau, thereby showin…
We present some simple examples of smooth projective varieties in positive characteristic, arising from linear algebra, which do not admit a lifting neither to characteristic zero, nor to the ring of second Witt vectors. Our first construction is the blow-up of the graph of the Frobenius morphism of a homogeneous space. The second example is a blow-up of $\mathbb{P}^3$ in a 'purely characteristic-$p$' configuration of points and lines.
We extend the recent classification of Hilbert schemes with two Borel-fixed points to arbitrary characteristic. We accomplish this by synthesizing Reeves' algorithm for generating strongly stable ideals with the basic properties of Borel-fixed ideals and our previous work classifying Hilbert schemes with unique Borel-fixed points.
We provide a formula to compute the big Cohen-Macaulay test ideal for triples $((R,Δ),\mathfrak{a}^{t})$ where $R$ is a mixed characteristic toric ring and $\mathfrak{a}$ is a monomial ideal. Of particular interest is that this result is consistent with the formulas for test ideals in positive characteristic and multiplier ideals in characteristic zero.
In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$ then $K_{-n}(f)=0$ for $n> d+1$ and the natural map $K_{-n}(f) \to K_{-n}(f \times \mathbb{A}^{r})$ is an isomorphism for all $r>0$ and $n>d.$ We also prove a vanishing result for relative negative K-groups of a subintegral map.
We construct characteristic classes for singular algebraic varieties in motivic Borel-Moore homology, extending the motivic Euler class of the tangent bundle defined for smooth varieties. The two classes we define refine, in the setting of motivic homotopy theory, the top degree of the class constructed by Brasselet-Schuermann-Yokura in G-theory, and the top degree of the pro-CSM class constructed by Aluffi in pro-Chow groups. We deduce an extension of the motivic Gauss-Bonnet formula to non-smooth proper varieties.
We study divided power structures on finitely generated $k$-algebras, where $k$ is a field of positive characteristic $p$. As an application we show examples of $0$-dimensional Gorenstein $k$-schemes that do not lift to a fixed noetherian local ring of non-equal characteristic. We also show that Frobenius neighbourhoods of a singular point of a general hypersurface of large dimension have no liftings to mildly ramified rings of non-equal characteristic.
We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.
We study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the (equivariant) Hilbert scheme of the orbifold into affine space strata indexed by a certain combinatorial set, the set of Young walls. The generating series of Euler characteristics of Hilbert schemes of points of the singular surface of type A or D is computed in terms of an explicit formula involving a specialized character of the basic representation of the corr…