Semiorthogonal decompositions of projective varieties with isolated rational singularities

Yuto Arai

2024-01-21

Abstract:We develop the method of inducing semiorthogonal decompositions of projective varieties with isolated rational singularities from those of small resolutions of singularities, which generalizes semiorthogonal decompositions for singular surfaces by Karmazyu-Kuznetsov-Shinder.

Algebraic Geometry

What problem does this paper attempt to address?

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Martin Kalck,Carlo Klapproth,Nebojsa Pavic

2024-06-18

Abstract:We show that odd-dimensional projective varieties with tilting objects and only ADE-hypersurface singularities are nodal, i.e. they only have $A_1$-singularities. This is a very special case of more general obstructions to the existence of semiorthogonal decompositions for projective Gorenstein varieties. More precisely, for many isolated hypersurface singularities, we show that Kuznetsov-Shinder's categorical absorptions of singularities cannot contain tilting objects. The key idea is to compare singularity categories of projective varieties to singularity categories of finite-dimensional associative Gorenstein algebras. The former often contain special generators, called cluster-tilting objects, which typically have loops and $2$-cycles in their quivers. In contrast, quivers of cluster-tilting objects in the latter categories, can never have loops or $2$-cycles.

Algebraic Geometry,Commutative Algebra,Representation Theory
Semiorthogonal decompositions in algebraic geometry

Alexander Kuznetsov

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

2014-04-11

Algebraic Geometry

Abstract:In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.
Semi-orthogonal decomposition and smoothing

Yujiro Kawamata

2024-10-20

Abstract:We investigate the behavior of semi-orthogonal decompositions of bounded derived categories of singular varieties under flat deformations to smooth varieties. We consider a Q-Gorenstein smoothing of a surface with a quotient singularity, and prove that a pretilting sheaf, which is constructed from a non-commutative deformation of a divisorial sheaf and generates a semi-orthogonal component of a bounded derived category, deforms to a direct sum of exceptional vector bundles which are mutually totally orthogonal.

Algebraic Geometry
Arithmetic and birational properties of linear spaces on intersections of two quadrics

Lena Ji,Fumiaki Suzuki

2024-02-29

Abstract:We study rationality questions for Fano schemes of linear spaces on smooth complete intersections of two quadrics, especially over non-closed fields. Our approach is to study hyperbolic reductions of the pencil of quadrics associated to $X$. We prove that the Fano schemes $F_r(X)$ of $r$-planes are birational to symmetric powers of hyperbolic reductions, generalizing results of Reid and Colliot-Th\'el\`ene--Sansuc--Swinnerton-Dyer, and we give several applications to rationality properties of $F_r(X)$. For instance, we show that if $X$ contains an $(r+1)$-plane over a field $k$, then $F_r(X)$ is rational over $k$. When $X$ has odd dimension, we show a partial converse for rationality of the Fano schemes of second maximal linear spaces, generalizing results of Hassett--Tschinkel and Benoist--Wittenberg. When $X$ has even dimension, the analogous result does not hold, and we further investigate this situation over the real numbers. In particular, we prove a rationality criterion for the Fano schemes of second maximal linear spaces on these even-dimensional complete intersections over $\mathbb R$; this may be viewed as extending work of Hassett--Koll\'ar--Tschinkel.

Algebraic Geometry
Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans,Shinnosuke Okawa,Andrea T. Ricolfi

2024-11-18

Abstract:For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. Using Artin's criterion, we show that this is an étale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. We generalise this to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions only, and conjecture it is an open and closed subspace.

Algebraic Geometry,Category Theory,K-Theory and Homology
A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Michael K. Brown,Mahrud Sayrafi

DOI: https://doi.org/10.2140/ant.2024.18.1923

2024-10-23

Abstract:Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.

Algebraic Geometry,Commutative Algebra
Semiorthogonal decompositions for generalized Severi-Brauer schemes

Ajneet Dhillon,Sayantan Roy Chowdhury

2024-05-01

Abstract:The purpose of this paper is to use conservative descent to study semi-orthogonal decompositions for some homogeneous varieties over general bases. We produce a semi-orthogonal decomposition for the bounded derived category of coherent sheaves on a generalized Severi-Brauer scheme. This extends known results for Sever-Brauer varieties and Grassmanianns. We use our results to construct semi-orthogonal decompositions for flag varieties over arbitrary bases. This generalises a result of Kapranov.

Algebraic Geometry
Singularities of secant varieties from a Hodge theoretic perspective

Sebastián Olano,Debaditya Raychaudhury,Lei Song

DOI: https://doi.org/10.1112/plms.12635

2024-09-19

Proceedings of the London Mathematical Society

Abstract:Abstract We study the singularities of secant varieties of smooth projective varieties using methods from birational geometry when the embedding line bundle is sufficiently positive. More precisely, we study the Du Bois complex of secant varieties and its relationship with the sheaves of differential forms. Through this analysis, we give a necessary and sufficient condition for these varieties to have ‐Du Bois singularities (in a sense that was proposed in Shen, Venkatesh, and Vo [On k‐Du Bois and k‐rational singularities, arXiv e‐prints (June 2023), arXiv:2306.03977]). In addition, we show that the singularities of these varieties are never higher rational, by giving a classification of the cases when they are pre‐1‐rational. From these results, we deduce several consequences, including a Kodaira–Akizuki–Nakano type vanishing result for the reflexive differential forms of the secant varieties.

mathematics
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
Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Martin Kalck,Osamu Iyama,Michael Wemyss,Dong Yang

DOI: https://doi.org/10.1112/s0010437x14007647

2014-01-01

Compositio Mathematica

Abstract:We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga-Gorenstein rings of finite GP type. We also apply our method to representation theory, obtaining Auslander-Solberg and Kong type results.
Triangulated characterizations of singularities

Pat Lank,Sridhar Venkatesh

2024-05-10

Abstract:This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories.

Algebraic Geometry,Commutative Algebra
Equivariant Hodge modules and rational singularities

Donu Arapura,Scott Hiatt

2024-03-25

Abstract:We define a notion of Hodge modules with rational singularities. A variety has rational singularities in the usual sense, if it is normal and the Hodge module related to intersection cohomology has rational singularities in the present sense. Our main result is a generalization of Boutot's theorem that if a reductive group acts on an affine variety with a stable point, and $H$ is an equivariant Hodge module with rational singularities, then the induced module on the GIT quotient also has rational singularities.

Algebraic Geometry
Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces

Cong Ding

DOI: https://doi.org/10.1093/imrn/rnae045

2024-03-13

International Mathematics Research Notices

Abstract:Abstract We construct a sequence of explicit blow-ups and blow-downs on an irreducible compact Hermitian symmetric spaces $X$ which transforms it into a projective space of the same dimension. Moreover, this resolves a birational map given by Landsberg and Manivel. Centers of the blow-ups for $X$ are constructed by loci of chains of minimal rational curves and centers of the blow-ups for the projective space are constructed from the variety of minimal rational tangents of $X$ and its higher secant varieties. The result was known in the special case where $X$ is of rank 2 and could be found in Zak’s monograph “Tangents and secants of algebraic varieties.”

mathematics
Bounding Projective Hypersurface Singularities

B. Castor

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

2024-01-31

Abstract:We compare several different methods involving Hodge-theoretic spectra of singularities which produce constraints on the number and type of isolated singularities on projective hypersurfaces of fixed degree. In particular, we introduce a method based on the spectrum of the nonisolated singularity at the origin of the affine cone on such a hypersurface, and relate the resulting explicit formula to Varchenko's bound.

Algebraic Geometry
On rational homology projective planes with quotient singularities of small indices

Woohyeok Jo,Jongil Park,Kyungbae Park

2024-10-30

Abstract:In this article, we study the effects of topological and smooth obstructions on the existence of rational homology complex projective planes that admit quotient singularities of small indices. In particular, we provide a classification of the types of quotient singularities that can be realized on rational homology complex projective planes with indices up to three, whose smooth loci have trivial first integral homology group.

Geometric Topology,Algebraic Geometry
Projectivity of the moduli of equidimensional branchvarieties

Daniel Halpern-Leistner,Andres Fernandez Herrero,Trevor Jones,Ritvik Ramkumar

2024-10-15

Abstract:We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective moduli spaces of reduced equidimensional varieties equipped with ample linear series and subject to a semistability condition.

Algebraic Geometry
On Projective Varieties with Very Large Canonical Volume

Meng Chen,Zhi Jiang

2015-01-01

Abstract:We study the canonical stability index of nonsingular projective varieties of general type with either large canonical volume or large geometric genus. As applications of a general extension theorem established in the first part, we prove some optimal results in dimensions 4 and 5, which are parallel to some well-known results on surfaces and 3-folds.
Singularities of orthogonal and symplectic determinantal varieties

András Cristian Lőrincz

2023-11-14

Abstract:Let either $GL(E)\times SO(F)$ or $GL(E)\times Sp(F)$ act naturally on the space of matrices $E\otimes F$. There are only finitely many orbits, and the orbit closures are orthogonal and symplectic generalizations of determinantal varieties, which can be described similarly using rank conditions. In this paper, we study the singularities of these varieties and describe their defining equations. We prove that in the symplectic case, the orbit closures are normal with good filtrations, and in characteristic $0$ have rational singularities. In the orthogonal case we show that most orbit closures will have the same properties, and determine precisely the exceptions to this.

Algebraic Geometry,Commutative Algebra,Representation Theory
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

Semiorthogonal decompositions of projective varieties with isolated rational singularities

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Semiorthogonal decompositions in algebraic geometry

Semi-orthogonal decomposition and smoothing

Arithmetic and birational properties of linear spaces on intersections of two quadrics

Moduli spaces of semiorthogonal decompositions in families

A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Semiorthogonal decompositions for generalized Severi-Brauer schemes

Singularities of secant varieties from a Hodge theoretic perspective

Invariants of the singularities of secant varieties of curves

Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

Triangulated characterizations of singularities

Equivariant Hodge modules and rational singularities

Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces

Bounding Projective Hypersurface Singularities

On rational homology projective planes with quotient singularities of small indices

Projectivity of the moduli of equidimensional branchvarieties

On Projective Varieties with Very Large Canonical Volume

Singularities of orthogonal and symplectic determinantal varieties

Explicit desingularisation of Kummer surfaces in characteristic two via specialisation