The (homogeneous) Essentially Isolated Determinantal Variety is the natural generalization of generic determinantal variety, and is fundamental example to study non-isolated singularities. In this paper we study the characteristic classes on these varieties. We give explicit formulas of their Chern-Schwartz-MacPherson classes and Chern-Mather classes via standard Schubert calculus. As corollaries we obtain formulas for their (generic) sectional Euler characteristics, characteristic cycles and polar classes.
We study the Euler obstruction of essentially isolated determinantal singularities (EIDS). The EIDS were defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We obtain some formulas to calculate the Euler obstruction for the determinantal varieties with singular set an ICIS.
This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local Euler obstruction and Gaffney's $m_{d}$ multiplicity.
A more general class than complete intersection singularities is the class of determinantal singularities. They are defined by the vanishing of all the minors of a certain size of a $m\times n$-matrix. In this note, we consider $\mathcal{G}$-finite determinacy of matrices defining a special class of determinantal varieties. They are called essentially isolated determinantal singularities (EIDS) and were defined by Ebeling and Gusein-Zade. In this note, we prove that matrices parametrized by generic homogeneous forms of degree $d$ define EIDS. It follows that $\mathcal{G}$-finite determinacy of…
We compute the minimal log discrepancies of determinantal varieties of square matrices, and more generally of pairs $\bigl(D^k,\sum α_i D^{k_i}\bigr)$ consisting of a determinantal variety (of square matrices) and an $\mathbb R$-linear sum of determinantal subvarieties. Our result implies the semicontinuity conjecture for minimal log discrepancies of such pairs. For these computations, we use the description of minimal log discrepancies via codimensions of cylinders in the space of jets; this necessitates the computations of an explicit generator for the canonical differential forms and the Na…
Linear projections from P^k to P^h appear in computer vision as models of images of dynamic or segmented scenes. Given multiple projections of the same scene, the identification of many enough correspondences between the images allows, in principle, to reconstruct the position of the projected objects. A critical locus for the reconstruction problem is a variety in P^k containing the set of points for which the reconstruction fails. Critical loci turn out to be determinantal varieties. In this paper we determine and classify all the smooth critical loci, showing that they are classical project…
We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.
There are close relations between tripartite tensors with bounded geometric ranks and linear determinantal varieties with bounded codimensions. We study linear determinantal varieties with bounded codimensions, and prove upper bounds of the dimensions of the ambient spaces. Using those results, we classify tensors with geometric rank 3, find upper bounds of multilinear ranks of primitive tensors with geometric rank 4, and prove the existence of such upper bounds in general. We extend results of tripartite tensors to n-part tensors, showing the equivalence between geometric rank 1 and partition…
We prove that semialgebraic sets of rectangular matrices of a fixed rank, of skew-symmetric matrices of a fixed rank and of real symmetric matrices whose eigenvalues have prescribed multiplicities are minimal submanifolds of the space of real matrices of a given size.
From a block-diagonal $(n+1) \times (m+1) \times (m+1)$ tensor symmetric in the last two entries one obtains two varieties: an intersection of symmetric determinantal hypersurfaces $X$ in $n$-dimensional projective space, and an intersection of quadrics $\mathfrak{C}$ in $m$-dimensional projective space. Under mild technical assumptions, we characterize the accidental singularities of $X$ in terms of $\mathfrak{C}$. We apply our methods to algebraic curves and show how to construct theta characteristics of certain canonical curves of genera 3, 4, and 5, generalizing a classical construction of…
In this paper we prove Homological Projective Duality for crepant categorical resolutions of several classes of linear determinantal varieties. By this we mean varieties that are cut out by the minors of a given rank of a n x m matrix of linear forms on a given projective space. As applications, we obtain pairs of derived-equivalent Calabi-Yau manifolds, and address a question by A. Bondal asking whether the derived category of any smooth projective variety can be fully faithfully embedded in the derived category of a smooth Fano variety. Moreover we discuss the relation between rationality an…
Let Y be the variety of (skew) symmetric nxn-matrices of rank less than or equal to r. In paper we construct a full faithful embedding between the derived category of a non-commutative resolution of Y, constructed earlier by the authors, and the derived category of the classical Springer resolution of Y.
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaff…
We employ the inductive structure of determinantal varieties to calculate the mixed Hodge module structure of local cohomology modules with determinantal support. We show that the weight of a simple composition factor is uniquely determined by its support and cohomological degree. As a consequence, we obtain the equivariant structure of the Hodge filtration on each local cohomology module. Finally, as an application, we provide a formula for the generation level of the Hodge filtration on these modules.
We record an observation about the Witten indices in two families of gauged linear sigma models: the U(2) model for linear sections of Grassmannians, and the U(1) model for quadric complete intersections. We describe how the Witten indices are related to the Euler characteristics of the singular skew-symmetric or symmetric determinantal varieties featuring in the analysis of their opposite phases, and we discuss the extent to which these relationships can be reconciled with standard Born-Oppenheimer arguments.
We study the essentially isolated determinantal singularities (EIDS), defined by W. Ebeling and S. Gusein-Zade, as a generalization of isolated singularity. We prove in dimension $3$ a minimality theorem for the Milnor number of a generic hyperplane section of an EIDS, generalizing previous results by J. Snoussi in dimension $2$. We define strongly generic hyperplane sections of an EIDS and show that they are still EIDS. Using strongly general hyperplanes, we extend a result of Lê D. T. concerning constancy of the Milnor number.
A variety of minimal degree is one of the basic objects in projective algebraic geometry and has been classified and characterized in many aspects. On the other hand, there are also minimal objects in the category of higher secant varieties, and their algebraic and geometric structures seem to share many similarities with those of varieties of minimal degree. We prove in this paper that higher secant varieties of minimal degree have determinantal presentation of two types, i.e. scroll type and Veronese type. Our result generalizes the del Pezzo-Bertini classification for varieties of minimal d…
We study the equisingularity of a family of function germs $\{f_t\colon(X_t,0)\to (\mathbb{C},0)\}$, where $(X_t,0)$ are $d$-dimensional isolated determinantal singularities. We define the $(d-1)$th polar multiplicity of the fibers $X_t\cap f_t^{-1}(0)$ and we show how the constancy of the polar multiplicities is related to the constancy of the Milnor number of $f_t$ and the Whitney equisingularity of the family.
We determine the number of ${\mathbb{F}}_q$-rational points of hyperplane sections of classical determinantal varieties defined by the vanishing of minors of a fixed size of a generic matrix, and identify sections giving the maximum number of ${\mathbb{F}}_q$-rational points. Further we consider similar questions for sections by linear subvarieties of a fixed codimension in the ambient projective space. This is closely related to the study of linear codes associated to determinantal varieties, and the determination of their weight distribution, minimum distance and generalized Hamming weights.…
We examine a class of Calabi-Yau varieties of the determinantal type in Grassmannians and clarify what kind of examples can be constructed explicitly. We also demonstrate how to compute their genus-0 Gromov-Witten invariants from the analysis of the Givental $I$-functions. By constructing $I$-functions from the supersymmetric localization formula for the two dimensional gauged linear sigma models, we describe an algorithm to evaluate the genus-0 A-model correlation functions appropriately. We also check that our results for the Gromov-Witten invariants are consistent with previous results for …
The bi-Lipschitz geometry is one of the main subjects in the modern approach of Singularity Theory. However, it rises from works of important mathematicians of the last century, especially Zariski. In this work we investigate the Bi-Lipschitz equisingularity of families of Essentially Isolated Determinantal Singularities inspired by the approach of Mostowski and Gaffney.
Ladder determinantal varieties and their symbolic blowups
Università degli Studi di Genova（热那亚大学）；Arizona State University（亚利桑那州立大学）；Centro de Investigación en Matemáticas（数学研究中心）；Max Planck Institute for Mathematics in the Sciences（马克斯·普朗克科学促进研究所数学系）
This paper proves that when the $r \times r$ minors of an $m \times n$ matrix of indeterminates are not a tropical basis then the tropical prevariety has greater dimension than the tropical variety. It proves the same for the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates when r > 4.
We introduce certain quiver analogue of the determinantal variety. We study the Kempf-Lascoux-Weyman's complex associated to a line bundle on the variety. In the case of generalized Kronecker quivers, we give a sufficient condition on when the complex resolves a maximal Cohen-Macaulay module supported on the quiver determinantal variety. This allows us to find the set-theoretical defining equations of these varieties. When the variety has codimension one, the only irreducible polynomial function is a relative tensor invariant. As a by-product, we find some vanishing condition for the Kronecker…
We compute the rational Borel-Moore homology groups for affine determinantal varieties in the spaces of general, symmetric, and skew-symmetric matrices, solving a problem suggested by the work of Pragacz and Ratajski. The main ingredient is the relation with Hartshorne's algebraic de Rham homology theory, and the calculation of the singular cohomology of matrix orbits, using the methods of Cartan and Borel. We also establish the degeneration of the Čech-de Rham spectral sequence for determinantal varieties, and compute explicitly the dimensions of de Rham cohomology groups of local cohomology …
This work is entirely devoted to construct huge families of indecomposable arithmetically Cohen-Macaulay (resp. Ulrich) sheaves E of arbitrary high rank on a general standard (resp. linear) determinantal scheme X\subset \PP^n of codimension c \ge 1, n-c \ge 1 and defined by the maximal minors of a t \times (t+c-1) homogeneous matrix A. The sheaves E are constructed as iterated extensions of sheaves of lower rank. As applications: (1) we prove that any general standard determinantal scheme X\subset \PP^n is of wild representation type provided the degrees of the entries of the matrix A satisfy …
For $m\geq n$, Let $K$ be an algebraic closed base field, and define $τ_{m,n,k}$ to be the set of $m\times n$ matrices over $K$ with kernel dimension $\geq k$. This is a projective subvariety of $\mathbb{P}^{mn-1}$, and is usually called determinantal variety. In most cases $τ_{m,n,k}$ is singular with singular locus $τ_{m,n,k+1}$. In this paper we compute the local Euler obstruction of $τ_{m,n,k}$, and we prove that the characteristic cycle of the intersection cohomology complex of $τ_{m,n,k}$ is irreducible. We also give an explicit formula for the Chern-Mather class of $τ_{m,n,k}$ as a clas…
Let X be a standard determinantal scheme X \subset \PP^n of codimension c, i.e. a scheme defined by the maximal minors of a t \times (t+c-1) homogeneous polynomial matrix A. In this paper, we study the main features of its normal sheaf \shN_X. We prove that under some mild restrictions: (1) there exists a line bundle \shL on X \setminus Sing(X) such that \shN_X \otimes \shL is arithmetically Cohen-Macaulay and, even more, it is Ulrich whenever the entries of A are linear forms, (2) \shN_X is simple (hence, indecomposable) and, finally, (3) \shN_X is μ-(semi)stable provided the entries of A are…
