Conjectures of Suciu relate the fundamental group of the complement M = C^n\A of a hyperplane arrangement A to the first resonance variety of H^*(M,Z). We describe a connection between the first resonance variety and the Orlik-Terao algebra C(A) of the arrangement. In particular, we show that non-local components of R^1(A) give rise to determinantal syzygies of C(A). As a result, Proj(C(A)) lies on a scroll, placing geometric constraints on R^1(A). The key observation is that C(A) is the homogeneous coordinate ring associated to a nef but not ample divisor on the blowup of P^2 at the singular points of A.
We determine the equations of the blowup of $\mathbb{P}^n$ along a $d$-fold rational normal scroll $S$, and we prove that the Rees ring and special fiber ring of $S \subseteq \mathbb{P}^n$ are Koszul algebras.
We study the degeneracy loci of general bundle morphisms from the direct sum of m copies of the structural sheaf on $P^n$ to $Ω(2)$, also from the point of view of the classical geometrical interpretation of the sections of $Ω(2)$ as linear line complexes. We consider in particular the case of $P^5$ with m=2, 3. For n=5 and m=3 we give an explicit description of the Hilbert scheme H of elliptic normal scrolls in $P^5$, by defining a natural rational map from the Grassmannian G(2,14) to H, which results to be dominant with general fibre of degree four.
This short note solves the following problem: Given a map of normal toric varieties corresponding to a coherent subdivision of a cone, find an ideal such that the given map is the blowup of that ideal.
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher order data associated to the variety at non-singular points. In the case of normal toric varieties we give a combinatorial description of the higher Nash blowup in terms of a Gröbner fan. This description will allow us to prove the analogue of Nobile's theorem on the usual Nash blowup in this context. More precisely, we prove that for a normal toric variety, the higher Nash blowup is an isomorphism if and only if the variety is non-singular.
We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero.
On a Computational Approach to the Nash Blowup Problem
Centro de Investigación en Matemáticas（数学研究中心）；Centro de Ciencias Matematicas, UNAM（墨西哥国立自治大学数学科学中心）；Instituto de Matemáticas, Universidad de Talca（塔尔卡大学数学研究所）
One of the simplest examples of a smooth, non degenerate surface in P^4 is the quintic elliptic scroll. It can be constructed from an elliptic normal curve E by joining every point on E with the translation of this point by a non-zero 2-torsion point. The same construction can be applied when E is replaced by a (lineaerly normally embedded) abelian variety A. In this paper we ask the question when the resulting scroll Y is smooth. If A is an abelian surface embedded by a line bundle L of type (d_1,d_2) and r=d_1d_2, then we prove that for general A the scroll Y is smooth if r is at least 7 wit…
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-inva…
We initiate the study of Nash blowups in prime characteristic. First, we show that a normal variety is non-singular if and only if its Nash blowup is an isomorphism, extending a theorem by A. Nobile. We also study higher Nash blowups, as defined by T. Yasuda. Specifically, we give a characteristic-free proof of a higher version of Nobile's Theorem for quotient varieties and hypersurfaces. We also prove a weaker version for $F$-pure varieties.
To complete the classification theory and the structure theory of varieties of almost minimal degree, that is of non-degenerate irreducible projective varieties whose degree exceeds the codimension by precisely 2, a natural approach is to investigate simple projections of varieties of minimal degree. Let $\tilde X \subset {\mathbb P}^{r+1}_K$ be a variety of minimal degree and of codimension at least 2, and consider $X_p = π_p (\tilde X) \subset {\mathbb P}^r_K$ where $p \in {\mathbb P}^{r+1}_K \backslash \tilde X$. By \cite{B-Sche}, it turns out that the cohomological and local properties of …
We compute the cones of effective divisors on blowups of $\mathbb{P}^1 \times \mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^3$ in up to 6 points. We also show that all these varieties are log Fano, giving a conceptual explanation for the fact that all the cones we compute are rational polyhedral.
We apply Vojta's conjecture to blowups and deduce a number of deep statements regarding (generalized) greatest common divisors on varieties, in particular on projective space and on abelian varieties. Special cases of these statements generalize earlier results and conjectures. We also discuss the relationship between generalized greatest common divisors and the divisibility sequences attached to algebraic groups, and we apply Vojta's conjecture to obtain a strong bound on the divisibility sequences attached to abelian varieties of dimension at least two.
We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields SYZ mirrors to affine conic bundles, as well as a Landau-Ginzburg model which can be naturally viewed as a mirror to $H$. The main applications concern affine hypersurfaces of general type, for which…
For an irreducible projective variety X, we study the family of h-planes contained in the secant variety Sec_k(X), for 0<h<k. These families have an expected dimension and we study varieties for which the expected dimension is not attained; for these varieties, making general consecutive projections to lower dimensional spaces, we do not get the expected singularities. In particular, we examine the family G of lines sitting in 3-secant planes to a surface S. We show that the actual dimension of G is equal to the expected dimension unless S is a cone or a rational normal scroll of degree 4 in P…
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 article shall serve as a quick reference for somebody who needs precise information on concepts and results related to resolution of singularities. As such, it is more a technical manual than a bedtime story. Topics which are covered: Singular and regular points of varieties and schemes; various definitions of blowups and their mutual relations; properties of blowups; transforms of varieties, schemes and ideals; exceptional divisors; Cartier and normal crossings divisors; transversality; hypersurfaces of maximal contact; flags; coefficient ideals; resolution invariants; order of ideals; H…
We study smoothness of toric quiver varieties. When a quiver $Q$ is defined with the identity dimension vector, the corresponding quiver variety is also a toric variety. So it has both fan representation and quiver representation. We work only on quivers with canonical weight and we classify smooth such toric quiver varieties. We show that a variety corresponding to a quiver with the identity dimension vector and the canonical weight is smooth if and only if it is a product of projective spaces or their blowups.
In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms and moreover we characterise varieties with "small" higher fundamental forms as contained in scrolls.
For a smooth projective variety $X\subset ¶^r$ embedded by the complete linear system, Property $N_p$ has been studied for a long time. On the other hand, Castelnuovo-Mumford regularity conjecture and related problems have been focused for a projective variety which is not necessarily linearly normal. This paper aims to explain the influence of Property $N_p$ on higher normality and defining equations of a smooth variety embedded by sub-linear system. Also we prove a claim about Property $N_p$ of surface scrolls which is a generalization of Green's work in \cite{Green} about Property $N_p$ for…
A construction of smooth varieties admitting small contractions
Graduate School of Mathematical Sciences, the University of Tokyo（东京大学数学科学研究生院）；Department of Mathematics, School of Science and Engineering, Waseda University（早稻田大学理工学术院数学系）
We use a concise method to construct pseudo-automorphisms f_n of the first dynamical degree d_1(f_n) > 1 on the blowups of the projective n-space for all n > 1 and more generally on the blowups of products of projective spaces. These f_n, for n = 3 have positive entropy, and for n > 3 seem to be the first examples of pseudo-automorphisms with d_1(f_n) > 1 (and of non-product type) on rational varieties of higher dimensions.
We establish a new fundamental class of varieties in nonnoetherian algebraic geometry related to the central geometry of dimer algebras. Specifically, given an affine algebraic variety $X$ and a finite collection of non-intersecting positive dimensional algebraic sets $Y_i \subset X$, we construct a nonnoetherian coordinate ring whose variety coincides with $X$ except that each $Y_i$ is identified as a distinct positive dimensional closed point. We then show that the noncommutative blowup of such a singularity is a noncommutative desingularization, in a suitable geometric sense.
We give a geometric interpretation of cluster varieties in terms of blowups of toric varieties. This enables us to provide, among other results, an elementary geometric proof of the Laurent phenomenon for cluster algebras (of geometric type), extend Speyer's example of an upper cluster algebra which is not finitely generated, and show that the Fock-Goncharov dual basis conjecture is usually false.
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…
Let G be an algebraic group and let X be a generically free G-variety. We show that X can be transformed, by a sequence of blowups with smooth G-equivariant centers, into a G-variety X' with the following property: the stabilizer of every point of X' is isomorphic to a semidirect product of a unipotent group U and a diagonalizable group A. As an application of this and related results, we prove new lower bounds on essential dimensions of some algebraic groups. We also show that certain polynomials in one variable cannot be simplified by a Tschirnhaus transformation.
We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve contained in $G(1,n)$.
The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We prove a local version of the strong factorization conjecture for toric varieties. Combining this result with the monomialization theorem of S.D.Cutkosky, we obtain a strong factorization theorem for local rings dominated by a valuation.
We study the maximum likelihood degree (ML degree) of toric varieties, known as discrete exponential models in statistics. By introducing scaling coefficients to the monomial parameterization of the toric variety, one can change the ML degree. We show that the ML degree is equal to the degree of the toric variety for generic scalings, while it drops if and only if the scaling vector is in the locus of the principal $A$-determinant. We also illustrate how to compute the ML estimate of a toric variety numerically via homotopy continuation from a scaled toric variety with low ML degree. Throughou…
We study a graded algebra D=D(L,G) defined by a finite lattice L and a subset G in L, a so-called building set. This algebra is a generalization of the cohomology algebras of hyperplane arrangement compactifications found in work of De Concini and Procesi. Our main result is a representation of D, for an arbitrary atomic lattice L, as the Chow ring of a smooth toric variety that we construct from L and G. We describe this variety both by its fan and geometrically by a series of blowups and orbit removal. Also we find a Groebner basis of the relation ideal of D and a monomial basis of D over Z.
We study the arithmetic properties of projective varieties of almost minimal degree, that is of non-degenerate irreducible projective varieties whose degree exceeds the codimension by precisely 2. We notably show, that such a variety $X \subset {\mathbb P}^r$ is either arithmetically normal (and arithmetically Gorenstein) or a projection of a variety of minimal degree $\tilde {X} \subset {\mathbb P}^{r + 1}$ from an appropriate point $p \in {\mathbb P}^{r + 1} \setminus \tilde {X}$. We focus on the latter situation and study $X$ by means of the projection $\tilde {X} \to X$. If $X$ is not arit…
