Involution surface bundles over surfaces

Andrew Kresch,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.1807.01592

2018-07-04

Abstract:We construct models of involution surface bundles over algebraic surfaces, degenerating over normal crossing divisors, and with controlled singularities of the total space.

Algebraic Geometry

What problem does this paper attempt to address?

Inseparable Kummer surfaces

Yuya Matsumoto

2024-03-05

Abstract:We introduce an inseparable version of Kummer surfaces. It is defined as a supersingular K3 surface in characteristic 2 with 16 smooth rational curves forming a certain configuration and satisfying a suitable divisibility condition. The main result is that such a surface admits an inseparable double covering by a non-normal surface $A$ that is similar to abelian surfaces in two aspects: its numerical invariants are the same as abelian surfaces, and its smooth locus admits an abelian group structure.

Algebraic Geometry
Involutions on K3 surfaces and derived equivalence

Brendan Hassett,Yuri Tschinkel

2024-08-01

Abstract:We study involutions on K3 surfaces under conjugation by derived equivalence and more general relations, together with applications to equivariant birational geometry.

Algebraic Geometry
Enriques surfaces with trivial Brauer map and involutions on hyperkähler manifolds

Fabian Reede

2024-02-12

Abstract:Let $X$ be an Enriques surface. Using Beauville's result about the triviality of the Brauer map of $X$, we define a new involution on the category of coherent sheaves on the canonically covering K3 surface $\overline{X}$. We relate the fixed locus of this involution to certain Picard schemes of the noncommutative pair $(X,\mathcal{A})$, where $\mathcal{A}$ is an Azumaya algebra on $X$ defined by the nontrivial element in the Brauer group of $X$.

Algebraic Geometry
Surface quotient singularities and bigness of the cotangent bundle: Part II

Yohannes D. Asega,Bruno De Oliveira,Michael Weiss

2023-12-06

Abstract:In two parts, we present a bigness criterion for the cotangent bundle of resolutions of orbifold surfaces of general type. As a corollary, we obtain the \textit{canonical model singularities} (CMS) criterion that can be applied to determine when a birational class of surfaces has smooth representatives with big cotangent bundle and compare it with other known criteria. We then apply this criterion to the problem of finding the minimal degrees $d$ for which the deformation equivalence class of a smooth hypersurface of degree d in $\PP^3$ has a representative with big cotangent bundle; applications to the minimal resolutions of cyclic covers of $\PP^2$ branched along line arrangements in general position are also obtained. The CMS criterion involves invariants of canonical singularities whose values were unknown. In this part of the work, we describe a method of finding these invariants and obtain formulas for $A_n$-singularities. We also use our approach to derive several extension results for symmetric differentials on the complement of the exceptional locus $E$ of the minimal resolution of an $A_n$-singularity; namely, we characterize the precise extent to which the poles along $E$ of symmetric differentials on the complement are milder than logarithmic poles.

Algebraic Geometry
Singularity categories of normal crossings surfaces, descent, and mirror symmetry

James Pascaleff,Nicolò Sibilla

DOI: https://doi.org/10.48550/arXiv.2208.03896

2022-08-08

Abstract:Given a smooth 3-fold $Y$, a line bundle $L \to Y$, and a section $s$ of $L$ such that the vanishing locus of $s$ is a normal crossings surface $X$ with graph-like singular locus, we present a way to reconstruct the singularity category of $X$ as a homotopy limit of several copies of the category of matrix factorizations of $xyz : \mathbb{A}^{3} \to \mathbb{A}^{1}$ (the mirror to the Fukaya category of the pair of pants). This extends our previous result for the case where $L$ is trivialized. The key technique is the classification of non-two-periodic autoequivalences of the category of matrix factorizations. We also present a conjectural mirror for these singularity categories in terms of the Rabinowitz wrapped Fukaya categories of Ganatra-Gao-Venkatesh for certain symplectic four-manifolds, and relate this construction to work of Lekili-Ueda and Jeffs.

Algebraic Geometry,Symplectic Geometry
Invariants of Non-Isolated Singularities of Hypersurfaces

Yotam Svoray

2023-06-11

Abstract:In this paper we generalize some results by Siersma, Pellikaan, and de Jong regarding morsifications of singular hypersurfaces whose singular locus is a smooth curve, and present some applications to the study of Yomdin-type isolated singularities. In order to prove these results, we discuss the transversal discriminant of such singularities and how it relates to other algebraic and topological invariants.

Algebraic Geometry,Commutative Algebra
Canonical tilting bundles: the first nonabelian examples

Wei Tseu

2024-10-29

Abstract:We give an explicit construction of tilting bundles on the cotangent bundles of Grassmannians of 2-planes, featuring an invariance property under the derived equivalence for the stratified Mukai flop via the geometric categorical sl(2) action.

Algebraic Geometry,Representation Theory
Differential geometric global smoothings of simple normal crossing complex surfaces with trivial canonical bundle

Mamoru Doi,Naoto Yotsutani

DOI: https://doi.org/10.1515/coma-2022-0143

2023-01-01

Complex Manifolds

Abstract:Abstract Let X X be a simple normal crossing (SNC) compact complex surface with trivial canonical bundle which includes triple intersections. We prove that if X X is d d -semistable, then there exists a family of smoothings in a differential geometric sense. This can be interpreted as a differential geometric analogue of the smoothability results due to Friedman, Kawamata-Namikawa, Felten-Filip-Ruddat, Chan-Leung-Ma, and others in algebraic geometry. The proof is based on an explicit construction of local smoothings around the singular locus of X X , and the first author’s existence result of holomorphic volume forms on global smoothings of X X . In particular, these volume forms are given as solutions of a nonlinear elliptic partial differential equation. As an application, we provide several examples of d d -semistable SNC complex surfaces with trivial canonical bundle including double curves, which are smoothable to complex tori, primary Kodaira surfaces, and K 3 K3 surfaces. We also provide several examples of such complex surfaces including triple points, which are smoothable to K 3 K3 surfaces.

English Else
Atoroidal surface bundles

Autumn E. Kent,Christopher J. Leininger

2024-05-20

Abstract:We show that there is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary, we obtain infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces. This gives the first examples of compact atoroidal surface bundles over surfaces.

Geometric Topology,Group Theory
A smooth but non-symplectic moduli of sheaves on a hyperkähler variety

Andreas Krug,Fabian Reede,Ziyu Zhang

2024-09-14

Abstract:For an abelian surface $A$, we consider stable vector bundles on a generalized Kummer variety $K_n(A)$ with $n>1$. We prove that the connected component of the moduli space which contains the tautological bundles associated to line bundles of degree $0$ is isomorphic to the blowup of the dual abelian surface in one point. We believe that this is the first explicit example of a component which is smooth with a non-trivial canonical bundle.

Algebraic Geometry
Invariants of the singularities of secant varieties of curves

Daniel Brogan

2024-10-13

Abstract:Consider a smooth projective curve and a given embedding into projective space via a sufficiently positive line bundle. We can form the secant variety of $k$-planes through the curve. These are singular varieties, with each secant variety being singular along the last. We study invariants of the singularities for these varieties. In the case of an arbitrary curve, we compute the intersection cohomology in terms of the cohomology of the curve. We then turn our attention to rational normal curves. In this setting, we prove that all of the secant varieties are rational homology manifolds, meaning their singular cohomology satisfies Poincaré duality. We then compute the nearby and vanishing cycles for the largest nontrivial secant variety, which is a projective hypersurface.

Algebraic Geometry
Involution Generators of the Big Mapping Class Group

Tulin Altunoz,Mehmetcik Pamuk,Oguz Yildiz

2023-08-09

Abstract:Let S = S(n) denote the infinite surface with n ends, n \in N, accumulated by genus. For n \geq 6, we show that the mapping class group of S is topologically generated by five involutions. When n \geq 3, it is topologically generated by six involutions.

Geometric Topology
Bordism and resolution of singularities

Mohammed Abouzaid,Shaoyun Bai

2024-12-06

Abstract:We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable homotopy theory, our techniques yield a splitting of homology theories for the map from bordism to the equivariant bordism theory of a finite group $\Gamma$, given by assigning to a manifold its product with $\Gamma$. In symplectic topology, and using recent work of Abouzaid-McLean-Smith and Hirshi-Swaminathan, we conclude that one can define complex cobordism-valued Gromov-Witten invariant for arbirary (closed) symplectic manifolds. We apply our results to constrain the topology of the space of Hamiltonian fibrations over $S^2$. The methods we develop apply to normally complex orbifolds, and will hence lead to applications in symplectic topology that rely on moduli spaces of holomorphic curves with Lagrangian boundary conditions.

Algebraic Topology,Algebraic Geometry,Symplectic Geometry
Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Alvaro Gonzalez-Hernandez

2024-10-09

Abstract:We study the birational geometry of the Kummer surfaces associated to the Jacobian varieties of genus two curves, with a particular focus on fields of characteristic two. In order to do so, we explicitly compute a projective embedding of the Jacobian of a general genus two curve and, from this, we construct its associated Kummer surface. This explicit construction produces a model for desingularised Kummer surfaces over any field of characteristic not two, and specialising these equations to characteristic two provides a model of a partial desingularisation. Adapting the classic description of the Picard lattice in terms of tropes, we also describe how to explicitly find completely desingularised models of Kummer surfaces whenever the $p$-rank is not zero. In the final section of this paper, we compute an example of a Kummer surface with everywhere good reduction over a quadratic number field, and draw connections between the models we computed and a criterion that determines when a Kummer surface has good reduction at two.

Algebraic Geometry,Number Theory
Normal Crossings Singularities for Symplectic Topology: Structures

Mohammad Farajzadeh-Tehrani,Mark Mclean,Aleksey Zinger

DOI: https://doi.org/10.1007/s10114-024-2042-4

2024-01-06

Acta Mathematica Sinica English Series

Abstract:Our previous papers introduce topological notions of normal crossings symplectic divisor and variety, show that they are equivalent, in a suitable sense, to the corresponding geometric notions, and establish a topological smoothability criterion for normal crossings symplectic varieties. The present paper constructs a blowup, a complex line bundle, and a logarithmic tangent bundle naturally associated with a normal crossings symplectic divisor and determines the Chern class of the last bundle. These structures have applications in constructions and analysis of various moduli spaces. As a corollary of the Chern class formula for the logarithmic tangent bundle, we refine Aluffi's formula for the Chern class of the tangent bundle of the blowup at a complete intersection to account for the torsion and extend it to the blowup at the deepest stratum of an arbitrary normal crossings divisor.

mathematics, applied
Canonical Involution on Double Jet Bundles

Hulya Kadioglu

DOI: https://doi.org/10.48550/arXiv.1601.04334

2016-01-18

Abstract:In this study, we generalize double tangent bundles to double jet bundles. We present a secondary vector bundle structure on a 1-jet of a vector bundle. We show that 1-jet of a vector bundle carries two vector bundle structures, namely primary and secondary structures. We also show that the manifold charts induced by primary and secondary structures belong to the same atlas. We prove that double jet bundles can be considered as a quotient of second order jet bundle. We show that there exists a natural involution that interchanges between primary and secondary vector bundle structures on double jet bundles.

Differential Geometry
Tschirnhausen bundles of covers of the projective line

Ravi Vakil,Sameera Vemulapalli

2024-10-30

Abstract:A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\mathbb{P}^1$ contain such covers? (In the language of many previous papers: what are the scrollar invariants of the cover?) We give a complete answer in degree $4$, which exhibits the expected pathologies. We describe a polytope (one per degree) which we propose gives the complete answer for primitive covers, i.e. covers that don't factor through a subcover. We show that all such bundles (for primitive covers) lie in this polytope, and that a ``positive proportion'' of the polytope arises from smooth covers. Moreover, we show the necessity of the primitivity assumption. Finally, we show that the map from the Hurwitz space of smooth covers to the space of bundles is not flat (for $d>3$ and $g \gg_d 0$).

Algebraic Geometry,Number Theory
I-surfaces from surfaces with one exceptional unimodal point

Sönke Rollenske,Diana Torres

2024-01-29

Abstract:We complement recent work of Gallardo, Pearlstein, Schaffler, and Zhang, showing that the stable surfaces with $K_X^2 =1$ and $\chi(\mathcal O_X) = 3$ they construct are indeed the only ones arising from imposing an exceptional unimodal double point. In addition, we explicitly describe the birational type of the surfaces constructed from singularities of type $E_{12}$, $E_{13}$, and $E_{14}$.

Algebraic Geometry
More Morphisms between Bundle Gerbes

Konrad Waldorf

DOI: https://doi.org/10.48550/arXiv.math/0702652

2007-02-22

Category Theory

Abstract:Usually bundle gerbes are considered as objects of a 2-groupoid, whose 1-morphisms, called stable isomorphisms, are all invertible. I introduce new 1-morphisms which include stable isomorphisms, trivializations and bundle gerbe modules. They fit into the structure of a 2-category of bundle gerbes, and lead to natural definitions of surface holonomy for closed surfaces, surfaces with boundary, and unoriented closed surfaces.

Involution surface bundles over surfaces

Inseparable Kummer surfaces

Involutions on K3 surfaces and derived equivalence

Enriques surfaces with trivial Brauer map and involutions on hyperkähler manifolds

Surface quotient singularities and bigness of the cotangent bundle: Part II

Singularity categories of normal crossings surfaces, descent, and mirror symmetry

Invariants of Non-Isolated Singularities of Hypersurfaces

Canonical tilting bundles: the first nonabelian examples

Differential geometric global smoothings of simple normal crossing complex surfaces with trivial canonical bundle

Atoroidal surface bundles

A smooth but non-symplectic moduli of sheaves on a hyperkähler variety

Invariants of the singularities of secant varieties of curves

Involution Generators of the Big Mapping Class Group

Bordism and resolution of singularities

Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Normal Crossings Singularities for Symplectic Topology: Structures

Canonical Involution on Double Jet Bundles

Tschirnhausen bundles of covers of the projective line

I-surfaces from surfaces with one exceptional unimodal point

More Morphisms between Bundle Gerbes