Desingularization of generic symmetric and generic skew-symmetric determinantal singularities

Sabrina Alexandra Gaube,Bernd Schober

DOI: https://doi.org/10.1007/s00229-024-01544-4

2024-03-21

manuscripta mathematica

Abstract:We discuss how to resolve generic skew-symmetric and generic symmetric determinantal singularities. The key ingredients are (skew-) symmetry preserving matrix operations in order to deduce an inductive argument.

mathematics

What problem does this paper attempt to address?

Desingularization of generic symmetric and generic skew-symmetric determinantal singularities

Sabrina Alexandra Gaube,Bernd Schober

2024-03-16

Abstract:We discuss how to resolve generic skew-symmetric and generic symmetric determinantal singularities. The key ingredients are (skew-) symmetry preserving matrix operations in order to deduce an inductive argument.

Algebraic Geometry,Commutative Algebra
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
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
Formal Desingularization of Surfaces - The Jung Method Revisited -

T. Beck

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

2008-01-15

Abstract:In this paper we propose the concept of formal desingularizations as a substitute for the resolution of algebraic varieties. Though a usual resolution of algebraic varieties provides more information on the structure of singularities there is evidence that the weaker concept is enough for many computational purposes. We give a detailed study of the Jung method and show how it facilitates an efficient computation of formal desingularizations for projective surfaces over a field of characteristic zero, not necessarily algebraically closed. The paper includes a generalization of Duval's Theorem on rational Puiseux parametrizations to the multivariate case and a detailed description of a system for multivariate algebraic power series computations.

Algebraic Geometry
Generalized Diagonals in Positive Semi-Definite Matrices

Robert Angarone,Daniel Soskin

2024-09-17

Abstract:We describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.

Combinatorics
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
Desingularization of finitely smooth vector fields on the plane

A. Dukov

DOI: https://doi.org/10.1090/spmj/1828

2024-12-04

St Petersburg Mathematical Journal

Abstract:The paper is devoted to desingularization of finitely smooth vector fields on the plane. Let the difference of germs of a finitely smooth vector field and an analytic vector field be sufficiently flat at a common singular point. Then these vector fields share similar behavior under desingularization. In particular, the nice desingularizations of both vector fields are achieved in the same number of steps. Moreover, for any analytic vector field with a singular point of multiplicity μ 0 \mu _0 , nice desingularization of the finitely smooth vector field is achieved after μ 0 + 2 \mu _0+2 steps. In addition, a description is presented for topologically sufficient jets of finitely smooth vector fields at nonmonodromic singular points.

mathematics
Strong desingularization of semialgebraic sets and applications

Antonio Carbone,José F. Fernando

2024-10-09

Abstract:Hironaka's resolution of singularities is a celebrated discipline that has many applications in many areas of Mathematics. In this work we approach the desingularization of semialgebraic sets ${\mathcal S}\subset{\mathbb R}^n$. We prove the counterpart to `Hironaka's desingularization of real algebraic sets' in the semialgebraic setting. It involves Nash manifolds with corners instead of non-singular real algebraic sets. The obtained results are optimal when ${\mathcal S}$ is a closed semialgebraic set. The main tools involved are: Hironaka's desingularization of real algebraic sets, Hironaka's embedded desingularization of real algebraic subsets of non-singular real algebraic sets and drilling blow-ups of Nash manifolds with centers closed Nash submanifolds. We show how to `build' a Nash manifold with corners ${\mathcal Q}\subset{\mathbb R}^n$ from a suitable Nash manifold $M\subset{\mathbb R}^n$ (of its same dimension), which contains ${\mathcal Q}$ as a closed subset, by folding $M$ along the irreducible components of a normal-crossings divisor of $M$, which is the smallest Nash subset of $M$ that contains the boundary $\partial{\mathcal Q}$ of ${\mathcal Q}$. One can choose as the Nash manifold $M$ the Nash `double' $D({\mathcal Q})$ of ${\mathcal Q}$, which is analogous to the Nash double of a Nash manifold with boundary, but $D({\mathcal Q})$ takes into account the peculiarities of the boundary of a Nash manifold with corners. We include several applications: (1) Weak desingularization of closed semialgebraic sets using Nash manifolds with boundary, (2) Representation of compact semialgebraic sets connected by analytic paths as images under Nash maps of closed unit balls, (3) Construction of Nash models for compact orientable smooth surfaces of genus $g\geq0$, and (4) Nash approximation of continuous semialgebraic maps whose target spaces are Nash manifolds with corners.

Algebraic Geometry
Desingularization of arithmetic surfaces: algorithmic aspects

Anne Frühbis-Krüger,Stefan Wewers

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

2017-01-05

Algebraic Geometry

Abstract:The quest for regular models of arithmetic surfaces allows different viewpoints and approaches: using valuations or a covering by charts. In this article, we sketch both approaches and then show in a concrete example, how surprisingly beneficial it can be to exploit properties and techniques from both worlds simultaneously.
On the desingularisation of moduli of principal bundles

Vikraman Balaji

2024-07-25

Abstract:In \cite{nr} Narasimhan and Ramanan and in \cite{desing}, Seshadri constructed desingularisations of the moduli space $M^{ss}_{_{\text{SL}(2)}}$ of semistable $\SL(2)$-bundles on a smooth projective curve $C$ of genus $g \geq 3$. Seshadri's construction was even modular and canonical. In this paper, we construct a smooth modular compactification of the moduli of stable principal $H$-bundles when $H$ is a simply connected almost simple algebraic group of type ${\tt B}_{_\ell}, {\tt D}_{_\ell}, {\tt G}_{_2}, {\tt F}_{_4}~~or~~{\tt C}_{_3}$. These spaces give canonical desingularisations of the moduli space $M^{ss}_{_H}$ of semistable principal $H$-bundles and thereby, a comprehensive generalisation of \cite{desing}.

Algebraic Geometry,Representation Theory
A Jacobian criterion for nonsingularity in mixed characteristic

Melvin Hochster,Jack Jeffries

2024-09-16

Abstract:We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $\Gamma$-construction, and apply this to give additional nonsingularity criteria.

Commutative Algebra
Newton Polyhedra and Whitney Equisingularity for Isolated Determinantal Singularities

Thaís M. Dalbelo,Luiz Hartmann,Maicom Varella

2023-06-25

Abstract:Using Newton polyhedra and non-degeneracy of matrices we present conditions which guarantee the Whitney equisingularity of families of isolated determinantal singularities.

Algebraic Geometry,Algebraic Topology
Symplectic singularities arising from algebras of symmetric tensors

Baohua Fu,Jie Liu

2024-09-11

Abstract:The algebra of symmetric tensors $S(X):= H^0(X, \sf{S}^{\bullet} T_X)$ of a projective manifold $X$ leads to a natural dominant affinization morphism $$ \varphi_X: T^*X \longrightarrow \mathcal{Z}_X:= \text{Spec} S(X). $$ It is shown that $\varphi_X$ is birational if and only if $T_X$ is big. We prove that if $\varphi_X$ is birational, then $\mathcal{Z}_X$ is a symplectic variety endowed with the Schouten--Nijenhuis bracket if and only if $\mathbb{P} T_X$ is of Fano type, which is the case for smooth projective toric varieties, smooth horospherical varieties with small boundary and the quintic del Pezzo threefold. These give examples of a distinguished class of conical symplectic varieties, which we call symplectic orbifold cones.

Algebraic Geometry
A note on the singular value decomposition of (skew-)involutory and (skew-)coninvolutory matrices

Heike Faßbender,Martin Halwaß

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

2019-07-29

Abstract:The singular values $\sigma >1$ of an $n \times n$ involutory matrix $A$ appear in pairs $(\sigma, \frac{1}{\sigma}),$ while the singular values $\sigma = 1$ may appear in pairs $(1,1)$ or by themselves. The left and right singular vectors of pairs of singular values are closely connected. This link is used to reformulate the singular value decomposition (SVD) of an involutory matrix as an eigendecomposition. This displays an interesting relation between the singular values of an involutory matrix and its eigenvalues. Similar observations hold for the SVD, the singular values and the coneigenvalues of (skew-)coninvolutory matrices.

Numerical Analysis
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
Determinantal expressions of certain integrals on symmetric spaces

Salem Said,Cyrus Mostajeran

2023-06-18

Abstract:The integral of a function $f$ defined on a symmetric space $M \simeq G/K$ may be expressed in the form of a determinant (or Pfaffian), when $f$ is $K$-invariant and, in a certain sense, a tensor power of a positive function of a single variable. The paper presents a few examples of this idea and discusses future extensions. Specifically, the examples involve symmetric cones, Grassmann manifolds, and classical domains.

Differential Geometry
Minor identities for Sklyanin determinants

Naihuan Jing,Jian Zhang

DOI: https://doi.org/10.1016/j.aim.2024.109569

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:We explore the invariant theory of quantum symmetric spaces of orthogonal and symplectic types by employing R-matrix techniques. Our focus involves establishing connections among the quantum determinant, Sklyanin determinants associated with the orthogonal and symplectic cases, and the quantum Pfaffians over the symplectic quantum space. Drawing inspiration from twisted Yangians, we not only demonstrate but also extend the applicability of q-Jacobi identities, q-Cayley's complementary identities, q-Sylvester identities, and Muir's theorem to Sklyanin minors in both orthogonal and symplectic types, along with q-Pfaffian analogs in the symplectic scenario. Furthermore, we present expressions for Sklyanin determinants and quantum Pfaffians in terms of quasideterminants.

mathematics
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
Real and Positive Tropicalizations of Symmetric Determinantal Varieties

Abeer Al Ahmadieh,May Cai,Josephine Yu

2024-09-26

Abstract:We study real and positive tropicalizations of the varieties of low rank symmetric matrices over real or complex Puiseux series. We show that real tropicalization coincides with complex tropicalization for rank two and corank one cases. We also show that the two notions of positive tropicalization introduced by Speyer and Williams coincide for symmetric rank two matrices, but they differ for symmetric corank one matrices.

Algebraic Geometry,Combinatorics
Noncommutative resolution of $SU_C(2)$

Elias Sink,Jenia Tevelev

2024-05-15

Abstract:We study the derived category of the moduli space $SU_C(2)$ of rank $2$ vector bundles on a smooth projective curve $C$ of genus $g\ge 2$ with trivial determinant. This generalizes the recent work by Tevelev and Torres on the case with fixed odd determinant. Since $SU_C(2)$ is singular, we work with its resolution of singularities, specifically with the noncommutative resolution constructed by Pădurariu and Špenko-Van den Bergh (in the more general setting of symmetric stacks). We show that this noncommutative resolution admits a semiorthogonal decomposition into derived categories of symmetric powers $Sym^{2k}C$ for $2k\le g-1$. In the case of even genus, each block appears four times. This is also true in the case of odd genus, except that the top symmetric power $Sym^{g-1}C$ appears twice. In the case of even genus, the noncommutative resolution is strongly crepant in the sense of Kuznetsov and categorifies the intersection cohomology of $SU_C(2)$. Since all of its components are ``geometric,'' our semiorthogonal decomposition provides evidence for the expectation, which dates back to the work of Newstead and Tyurin, that $SU_C(2)$ is a rational variety.

Algebraic Geometry

Desingularization of generic symmetric and generic skew-symmetric determinantal singularities

Desingularization of generic symmetric and generic skew-symmetric determinantal singularities

Singularities of orthogonal and symplectic determinantal varieties

Triangulated characterizations of singularities

Formal Desingularization of Surfaces - The Jung Method Revisited -

Generalized Diagonals in Positive Semi-Definite Matrices

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

Desingularization of finitely smooth vector fields on the plane

Strong desingularization of semialgebraic sets and applications

Desingularization of arithmetic surfaces: algorithmic aspects

On the desingularisation of moduli of principal bundles

A Jacobian criterion for nonsingularity in mixed characteristic

Newton Polyhedra and Whitney Equisingularity for Isolated Determinantal Singularities

Symplectic singularities arising from algebras of symmetric tensors

A note on the singular value decomposition of (skew-)involutory and (skew-)coninvolutory matrices

Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Determinantal expressions of certain integrals on symmetric spaces

Minor identities for Sklyanin determinants

Semiorthogonal decompositions of projective varieties with isolated rational singularities

Real and Positive Tropicalizations of Symmetric Determinantal Varieties

Noncommutative resolution of $SU_C(2)$