We complete the proof of a theorem we announced and partly proved in [Math. Nachr. 271 (2004), 69-90, math.AG/0111299]. The theorem concerns a family of curves on a family of surfaces. It has two parts. The first was proved in that paper. It describes a natural cycle that enumerates the curves in the family with precisely $r$ ordinary nodes. The second part is proved here. It asserts that, for $r\le 8$, the class of this cycle is given by a computable universal polynomial in the pushdowns to the parameter space of products of the Chern classes of the family.
We combine classical Vinberg's algorithms with the lattice-theoretic/arithmetic approach from arXiv:1706.05734 [math.AG] to give a method of classifying large line configurations on complex quasi-polarized K3-surfaces. We apply our method to classify all complex K3-octic surfaces with at worst Du Val singularities and at least 32 lines. The upper bound on the number of lines is 36, as in the smooth case, with at most 32 lines if the singular locus is non-empty.
This is the part II of the series under the same title. In part I, using the approach developed by Catanese--Pignatelli arXiv:math/0503294, we gave a structure theorem for hyperelliptic genus 3 fibrations all of whose fibers are 2-connected (arXiv:1209.6278 [math.AG]). In this part II, we shall give a structure theorem for smooth deformation families of these to non-hyperelliptic genus 3 fibrations. As an application, we shall give a set of sufficient conditions for our genus 3 hyperelliptic fibration above to allow deformation to non-hyperelliptic fibrations, and use this to study certain minimal regular surfaces with first Chern number 8 and geometric genus 4: we shall find in the moduli space two strata M_0^{sharp} and M_0^{flat}$ (each of dimensions 32 and 30, respectively), and show that Bauer--Pingatelli's stratum M_0 (arXiv:math/0603094) and its 26-dimensional substratum are at the boundary of these new strata M_0^{sharp} and M_0^{flat}, respectively.
The paper is a second step in the study of $\overline{M}_{0,n}$ started in arXiv:1006.0987 [math.AG]. We study fiber type morphisms of this moduli space via Kapranov's beautiful description. Our final goal is to understand if any dominant morphism $f: \overline{M}_{0,n} \to X$ with positive dimensional fibers factors through forgetful morphisms. We prove that this is true if either $n \leq 7$ or $\rm {dim} X \leq 2$ or the rational map induced on $P^{n-3}$ has linear general fibers. Along the way we give examples of forgetful morphisms whose fibers are connected curves of arbitrarily high positive genus, for $n>>0$.
The construction of double point cobordism groups of vector bundles on varieties in the work [Lee-P] (arXiv:1002.1500 [math.AG]) of Yuan-Pin Lee and Rahul Pandharipande gives immediately double point cobordism groups of filtered vector bundles on varieties. We note also that among the four basic operations – direct sum, tensor product, dual, and Hom – on vector bundles on varieties, only taking dual is compatible with double point cobordisms of vector bundles on varieties in general, by a demonstration on an example of vector bundles on Calabi-Yau 3-folds. A question on refined and/or higher algebraic cobordisms of vector bundles on varieties is posed in the end.
In arXiv:1109.6438v1 [math.AG] we introduced and studied a notion of algebraic entropy. In this paper we will give an application of algebraic entropy in proving Kunz Regularity Criterion for all contracting self-maps of finite length of Noetherian local rings in arbitrary characteristic. Some conditions of Kunz Criterion have already been extended to the general case by Avramov, Iyengar and Miller in arXiv:math/0312412v2 [math.AC], using different methods.
We approximate the infinite Grassmannian by finite-dimensional cutoffs, and define a family of fermionic vertex operators as the limit of geometric correspondences on the equivariant cohomology groups, with respect to a one-dimensional torus action. We prove that in the localization basis, these are the well-known fermionic vertex operators on the infinite wedge representation. Furthermore, the boson-fermion correspondence, locality, and intertwining properties with the Virasoro algebra are the limits of relations on the finite-dimensional cutoff spaces, which are true for geometric reasons. We then show that these operators are also, almost by definition, the vertex operators defined by Okounkov and the author in Carlsson and Okounkov (http://arXiv.org/abs/0801.2565v2 [math.AG], 2009), on the equivariant cohomology groups of the Hilbert scheme of points on $${\mathbb C^2}$$ , with respect to a special torus action.
Given a suitable action on a complex projective variety X of a non-reductive affine algebraic group H, this paper considers how to choose a reductive group G containing H and a projective completion of G x_H X which is a reductive envelope in the sense of math.AG/0703131. In particular it studies the family of examples given by moduli spaces of hypersurfaces in the weighted projective plane P(1,1,2) obtained as quotients by linear actions of the (non-reductive) automorphism group of P(1,1,2).
In this paper we continue the study of algebraic fundamentale group of minimal surfaces of general type S satisfying K_S^2<3\chi(S). We show that, if K_S^2= 3\chi(S)-1 and the algebraic fundamental group of S has order 8, then S is a Campedelli surface. In view of the results of math.AG/0512483 and math.AG/0605733, this implies that the fundamental group of a surface with K^2<3\chi that has no irregular etale cover has order at most 9, and if it has order 8 or 9, then S is a Campedelli surface. To obtain this result we establish some classification results for minimal surfaces of general type such that K^2=3p_g-5 and such that the canonical map is a birational morphism. We also study rational surfaces with a Z_2^3-action.
We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In this paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties in our previous paper math.AG/0607130.