# Algebraic Geometry (math.AG)

• Apr 26 2018 math.CV math.AG arXiv:1804.09414v1
We define the extra-nice dimensions and prove that the subset of locally stable 1-parameter families in $C^{\infty}(N\times[0,1],P)$, also known as pseudo-isotopies, is dense if and only if the pair of dimensions $(\dim N, \dim P)$ is in the extra-nice dimensions. This result is parallel to Mather's characterization of the nice dimensions as the pairs $(n,p)$ for which stable maps are dense. The extra-nice dimensions are characterized by the property that discriminants of stable germs in one dimension higher have $\mathcal A_e$-codimension 1 hyperplane sections. They are also related to the simplicity of $\mathcal A_e$-codimension 2 germs. We give a sufficient condition for any $\mathscr A_e$-codimension 2 germ to be simple and give an example of a corank 2 codimension 2 germ in the nice dimensions which is not simple. Then we establish the boundary of the extra-nice dimensions. Finally we answer a question posed by Wall about the codimension of non-simple maps.
• We compute the weighted Euler characteristic, equivariant with respect to the action of the symplectic group of degree six over the field of two elements, of the moduli space of principally polarized abelian threefolds together with a level two structure.
• We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.
• Let $R$ be a semilocal Dedekind domain with fraction field $F$. We show that two hereditary $R$-orders in central simple $F$-algebras which become isomorphic after tensoring with $F$ and with some faithfully flat étale $R$-algebra are isomorphic. On the other hand, this fails for hereditary orders with involution. The latter stands in contrast to a result of the first two authors, who proved this statement for hermitian forms over hereditary $R$-orders with involution. The results can be restated by means of étale cohomology and can be seen as variations of the Grothendieck--Serre conjecture on principal homogeneous bundles of reductive group schemes. Connections with Bruhat--Tits theory are also discussed.
• Circuit polynomials are polynomials supported on circuits. The nonnegativity of circuit polynomials is easy to check. Representing polynomials as sums of nonnegative circuit polynomials is a certificate of the nonnegativity of polynomials. For a polynomial with a simplex Newton polytope satisfying certain conditions, it is nonnegative if and only if it is a sum of nonnegative circuit polynomials. In this paper, we generalize this conclusion to polynomials with general Newton polytopes. Moreover, we put the problem to decide if a polynomial can be written as a sum of nonnegative circuit polynomials down to the feasibility of a relative entropy program. Since relative entropy programs are convex, they can be checked very efficiently.
• In this note we derive from deep results due to Clozel-Ullmo the density of Noether-Lefschetz loci inside the moduli space of marked (polarized) irreducible holomorphic symplectic (IHS) varieties. In particular we obtain the density of Hilbert schemes of points on projective $K3$ surfaces and of projective generalized Kummer varieties in their moduli spaces. We present applications to the existence of rational curves on projective deformations of such varieties, to the study of relevant cones of divisors, and a refinement of Hassett's result on cubic fourfolds whose Fano variety of lines is isomorphic to a Hilbert scheme of 2 points on a K3 surface. We also discuss Voisin's conjecture on the existence of coisotropic subvarieties on IHS varieties and relate it to a stronger statement on Noether-Lefschetz loci in their moduli spaces.
• In this paper we examine the saturation conjecture on decompositions of tensor products of irreducible representations for complex semisimple algebraic groups of type $D$ (the even spin groups: Spin$(2n)$ for $n\ge 4$ an integer), extending work done by Kumar-Kapovich-Millson on Spin(8). Our main theorem is that the saturation conjecture holds for Spin(10): for all triples of dominants weights $\lambda,\mu,\nu$ such that $\lambda+\mu+\nu$ is in the root lattice, and for any $N>0$, $$\left(V(\lambda)⊗V(\mu)⊗V(\nu)\right)^\operatornameSpin(10) \ne 0$$ if and only if $$\left(V(N\lambda)⊗V(N\mu)⊗V(N\nu)\right)^\operatornameSpin(10) \ne 0.$$ Some preliminary results are also obtained for Spin(12), and a question is formulated regarding the Hilbert basis of the saturated tensor cone for all Spin$(2n)$. Some related results for groups of other types are listed as well.
• We construct new Eagon-Northcott cycles of arbitrary codimension on Hurwitz space and compare their classes to Kleiman's multiple point loci. We further apply this construction towards the classification of Betti tables of canonical curves. We find that the value of the extremal Betti number records the number of minimal pencils, under natural transversality hypotheses equivalent to these virtual cycles having a geometric interpretation. We further analyse the classically studied case of two minimal pencils, showing that, in this case, the transversality hypotheses hold generically.
• This paper considers real forms of closed algebraic $\mathbb{C}^*$-embeddings in $\mathbb{C}^2$. The classification of such embeddings was recently completed by Cassou-Nogues, Koras, Palka and Russell. Based on their classification, this paper shows that, up to an algebraic change of coordinates, there is only one polynomial embedding of the real 1-sphere $\mathbb{S}^1$ in the affine plane $\mathbb{R}^2$.
• Suppose $P^n_m$ is the blow up of $\mathbb{P}^n$ at a linear subspace of dimension $m$, $\mathcal{L}=\{L_1,\ldots,L_r\}$ is a (not necessarily full) strong exceptional collection of line bundles on $P^n_m$. Let $Q$ be the quiver associated to this collection. One might wonder when is $P^n_m$ the moduli space of representations of $Q$ with dimension vector $(1,\ldots,1)$ for a suitably chosen stability condition $\theta$: $S\cong M_\theta$. In this paper, we achieve such isomorphism using $\mathcal{L}$ of length $3$. As a result, $P^n_m$ is the moduli space of representations of a very simple quiver. Moreover, we realize the blow up as morphism of moduli spaces for the same quiver.