Search

We compute periods of perturbations of a Fermat variety. This allows us to consider a subspace of the Hodge cycles defined by "simple" arithmetic conditions. We explore some examples and give an upper bound for the dimension of this subspace. As an application, we find explicit expressions involving some Gauss' hypergeometric functions which are algebraic over the field of rational functions in one variable., 26 pages. Notations have been improved. Final version to appear in Journal of Number Theory

We extend the block filtration, defined by Brown based on the work of Charlton, to all motivic multiple zeta values, and study relations compatible with this filtration. We construct a Lie algebra describing relations among motivic multiple zeta values modulo terms of lower block degree, proving Charlton's cyclic insertion conjecture in this structure, and showing the existence of a `block shuffle' relation, and a previously unknown dihedral symmetry and differential relation., Comment: 23 pages, based on work in the author's doctoral thesis. Typo in statement of Corollary 2.9 corrected

Let $k$ be a perfect field of positive characteristic and $Z$ an effective Cartier divisor in the projective line over $k$ with complement $U$. In this note, we establish some results about the formal deformation theory of overconvergent isocrystals on $U$ with fixed "local monodromy" along $Z$. En route, we show that a Hochschild cochain complex governs deformations of a module over an arbitrary associative algebra. We also relate this Hochschild cochain complex to a de Rham complex in order to understand the deformation theory of a differential module over a differential ring., 59 pages; fixed typos, improved exposition; comments welcome!

We consider a family of smooth del Pezzo surfaces of degree four and study the geometry and arithmetic of a genus one fibration with two reducible fibres for which a Brauer element is vertical., Comment: 17 pages. arXiv admin note: substantial text overlap with arXiv:2002.11539

We show that given an ideal I generated by regular functions f_1,...,f_r on the smooth complex variety X, the Bernstein-Sato polynomial of I is equal to the reduced Bernstein-Sato polynomial of the function g=\sum_{i=1}^rf_iy_i on the product of X with an r-dimensional affine space. By combining this with results from [BMS], we relate invariants and properties of I to those of g. We also use the result on Bernstein-Sato polynomials to show that the Strong Monodromy Conjecture for Igusa zeta functions of principal ideals implies a similar statement for arbitrary ideals., Comment: 7 pages; v.2: inaccuracy at the end of the proof of Theorem 1.4 corrected

A theorem due to Kazhdan and Ziegler implies that, by substituting linear forms for its variables, a homogeneous polynomial of sufficiently high strength specialises to any given polynomial of the same degree in a bounded number of variables. Using entirely different techniques, we extend this theorem to arbitrary polynomial functors. As a corollary of our work, we show that specialisation induces a quasi-order on elements in polynomial functors, and that among the elements with a dense orbit there are unique smallest and largest equivalence classes in this quasi-order., Comment: 19 pages

In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish., Comment: Comments Welcome! figure taken from arxiv::1606.09618; v2 minor revisions

We show that for smooth and proper varieties over local fields with no non-trivial vector fields, good reduction descends over purely inseparable extensions. We use this to extend the Neron-Ogg-Shafarevich criterion for K3 surfaces to the equicharacteristic $p>0$ case., 15 pages, comments welcome!

Given a compact K\"ahler manifold $X$ it is interesting to ask whether it admits a constant scalar curvature K\"ahler (cscK) metric. In this short note we show that there always exist cscK metrics on compact K\"ahler manifolds with nef canonical bundle, thus on all smooth minimal models, and also on the blowup of any such manifold. This confirms an expectation of Jian-Shi-Song \cite{JianShiSong} and extends their main result from $K_X$ semi-ample to $K_X$ nef, with a direct proof that does not appeal to the Abundance conjecture. As a byproduct we obtain that the connected component $\mathrm{Aut}_0(X)$ of a compact K\"ahler manifold with $K_X$ nef is either trivial or a complex torus., Comment: 9 pages, new result added (Corollary 2). Accepted in Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze

Let F be a holomorphic map whose components satisfy some polynomial relations. We present an algorithm for constructing Nash maps locally approximating F, whose components satisfy the same relations., Comment: 44 pages; presentation of the results improved

The purpose of the present paper is to give an effective version of the noncritical $p$-tame Belyi theorem. That is to say, we compute explicitly an upper bound of the minimal degree of tamely ramified Belyi maps in positive characteristic which are unramified at a prescribed finite set of points., Comment: 16 pages

We show that a complex planar curve homeomorphic to the projective line has at most four singular points. If it has exactly four then it has degree five and is unique up to a projective equivalence., 35 pages

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces., Comment: Final version. To appear in I.M.R.N

The Chabauty-Coleman method is a $p$-adic method for finding all rational points on curves of genus $g$ whose Jacobians have Mordell-Weil rank $r < g$. Recently, Edixhoven and Lido developed a geometric quadratic Chabauty method that was adapted by Spelier to cover the case of geometric linear Chabauty. We compare the geometric linear Chabauty method and the Chabauty-Coleman method and show that geometric linear Chabauty can outperform Chabauty-Coleman in certain cases. However, as Chabauty-Coleman remains more practical for general computations, we discuss how to strengthen Chabauty-Coleman to make it theoretically equivalent to geometric linear Chabauty. We apply these methods to genus 2 and genus 3 curves., fixed minor issues and updated exposition; to appear in Acta Arithmetica

Given an autonomous first order algebraic ordinary differential equation F ( y , y ′ ) = 0 , we prove that every formal Puiseux series solution of F ( y , y ′ ) = 0 , expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide an algorithm to describe all such Puiseux series solutions. Moreover, we show that for any point in the complex plane there exists a solution of the differential equation which defines an analytic curve passing through this point.

Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are interested in the structure of the negative curve. We shall prove that negative curves are rational in many cases. We also see that the Cox ring of the blow-up of a toric variety at the point (1,1,...,1) coincides with the extended symbolic Rees ring of an ideal of a polynomial ring. For example, Roberts' second counterexample to Cowsik's question (and Hilbert's 14th problem) coincides with the Cox ring of some normal projective variety., Comment: 24 pages

We prove that for every positive integer $d$, there are no nonzero regular differential $d$-forms on every smooth irreducible projective algebraic variety birationally isomorphic to the variety of flexes of plane cubics., 3 pages

In this paper, we extend the recent theorem of G. Heier and A. Levin [arXiv:1712.02456] on the generalization of Schmidt's subspace theorem and Cartan's Second Main Theorem in Nevanlinna theory to closed subschemes located in $l$-subgeneral position, using the generic linear combination technique due to Quang., Comment: 17 pages

This paper focuses on the spherical fixed point set of a circle action on an ALE space endowed with Kronheimer's hyperkaehler metric. The induced metric on the sphere is described by using the algebraic geometry of rational curves on algebraic surfaces, in particular the lines on a cubic., Dedicated to the memory of Michael Atiyah

Let $\mathrm{k}_{0}$ be a field and $W$ a finite orthogonal reflection group over $\mathrm{k}_{0}$. We prove Serre's splitting principle for cohomological invariants of $W$ with values in Rost's cycle modules (over $\mathrm{k}_{0}$) if the characteristic of $\mathrm{k}_{0}$ is coprime to $|W|$. We then show that this principle for such groups holds also for Witt- and Milnor-Witt $K$-theory invariants., 20 pages

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141

The Donaldson-Fujiki K\"ahler reduction of the space of compatible almost complex structures, leading to the interpretation of the scalar curvature of K\"ahler metrics as a moment map, can be lifted canonically to a hyperk\"ahler reduction. Donaldson proposed to consider the corresponding vanishing moment map conditions as (fully nonlinear) analogues of Hitchin's equations, for which the underlying bundle is replaced by a polarised manifold. However this construction is well understood only in the case of complex curves. In this paper we study Donaldson's hyperk\"ahler reduction on abelian varieties and toric manifolds. We obtain a decoupling result, a variational characterisation, a relation to $K$-stability in the toric case, and prove existence and uniqueness under suitable assumptions on the ``Higgs tensor''. We also discuss some aspects of the analogy with Higgs bundles., Comment: 43 pages. Accepted version. Upgraded the previous results to consider uniform toric K-stability

Extending (Smirnov and Vishik, Subtle Characteristic Classes,arXiv:1401.6661), we obtain a complete description of the motivic cohomology with$${{\,\mathrm{\mathbb {Z}}\,}}/2$$Z/2-coefficients of the Nisnevich classifying space of the spin group$$Spin_n$$Spinnassociated to the standard split quadratic form. This provides us with very simple relations among subtle Stiefel–Whitney classes in the motivic cohomology of Čech simplicial schemes associated to quadratic forms from$$I^3$$I3, which are closely related to$$Spin_n$$Spinn-torsors over the point. These relations come from the action of the motivic Steenrod algebra on the second subtle Stiefel–Whitney class. Moreover, exploiting the relation between$$Spin_7$$Spin7and$$G_2$$G2, we describe completely the motivic cohomology ring of the Nisnevich classifying space of$$G_2$$G2. The result in topology was obtained by Quillen (Math Ann 194:197–212, 1971).

We prove Kawaguchi-Silverman conjecture for all surjective endomorphisms on every smooth rationally connected variety admitting an int-amplified endomorphism., Comment: 25 pages

We give examples of infinitely extendable (not as cones) arithmetically Cohen–Macaulay and arithmetically Gorenstein subvarieties of projective spaces and which are not complete intersections. The proof uses the computation of the dimension of the Hilbert scheme of codimension 2 subschemes of projective spaces due to G. Ellingsrud and of arithmetically Gorenstein codimension 3 subschemes due to J. O. Kleppe and R.-M. Miró-Roig.

In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$. In this process, we establish the decomposition of Chow groups for the cases of Cayley's trick and standard flips. Moreover, we apply these results to study the Chow groups of symmetric powers of curves, nested Hilbert schemes of surfaces, and the varieties resolving Voisin maps for cubic fourfolds., Comment: v2. Many grammatical problems fixed. References updated

We prove a conjecture of Lehmann-Tanimoto about the behaviour of the Fujita invariant (or $a$-constant appearing in Manin's conjecture) under pull-back to generically finite covers. As a consequence we obtain results about geometric consistency of Manin's conjecture., Typos corrected

We consider Hessenberg varieties in the flag variety of $GL_n(\mathbb{C})$ with the property that the corresponding Hessenberg function defines an ad-nilpotent ideal. Each such Hessenberg variety is contained in a Springer fiber. We extend a theorem of Tymoczko to this setting, showing that these varieties have an affine paving obtained by intersecting with Schubert cells. Our method of proof constructs an an affine paving for each Springer fiber that restricts to an affine paving of the Hessenberg variety. We use the combinatorial properties of this paving to prove that Hessenberg varieties of this kind are connected., Comment: 21 pages

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R contains a field. We prove the conjecture for a large class of regular local rings not containing fields in the case when G is split., Comment: The final version to be published in Transactions of the AMS. Results about quadratic forms are strengthened. In the section on Bertini type theorems a correction in the case of a non-perfect residue field is made. Other minor corrections and improvements

We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also study the functorial properties of base change with respect to the parameter space., We corrected several typos, clarified some points following referee's report and slightly improved the presentation of section 3.6

In this paper, we establish a deformation theory for Dolbeault cohomology classes valued in holomorphic tensor bundles. We prove the extension equation which will play the role of Maurer-Cartan equation. Following the classical theory of Kodaira-Spencer-Kuranishi, we construct a canonical complete family of deformations by using the power series method. We also prove a simple relation between the existence of deformations and the varying of the dimensions of Dolbeault cohomology. The deformations of $(p,q)$-forms is shown to be unobstructed under some mild conditions. By analyzing Nakamura's example of complex parallelizable manifolds, we will see that the deformation theory developed in this work provides precise explanations to the jumping phenomenon of Dolbeault cohomology., 46 pages, published version (https://doi.org/10.1007/s00209-021-02900-w)

We construct stable vector bundles on the space of symmetric forms of degree d in n+1 variables which are equivariant for the action of SL_{n+1}(C), and admit an equivariant free resolution of length 2. For n=1, we obtain new examples of stable vector bundles of rank d-1 on P^d, which are moreover equivariant for SL_2(C). The presentation matrix of these bundles attains Westwick's upper bound for the dimension of vector spaces of matrices of constant rank and fixed size., Comment: Ancillary file containing M2 package available at http://www.paololella.it/EN/Publications_files/SLnEquivariantMatrices.m2

We study unbendable rational curves, i.e., nonsingular rational curves in a complex manifold of dimension $n$ with normal bundles isomorphic to $\mathcal{O}_{\mathbb{P}^1}(1)^{\oplus p} \oplus \mathcal{O}_{\mathbb{P}^1}^{\oplus (n-1-p)}$ for some nonnegative integer $p$. Well-known examples arise from algebraic geometry as general minimal rational curves of uniruled projective manifolds. After describing the relations between the differential geometric properties of the natural distributions on the deformation spaces of unbendable rational curves and the projective geometric properties of their varieties of minimal rational tangents, we concentrate on the case of $p=1$ and $n \leq 5$, which is the simplest nontrivial situation. In this case, the families of unbendable rational curves fall essentially into two classes: Goursat type or Cartan type. Those of Goursat type arise from ordinary differential equations and those of Cartan type have special features related to contact geometry. We show that the family of lines on any nonsingular cubic 4-fold is of Goursat type, whereas the family of lines on a general quartic 5-fold is of Cartan type, in the proof of which the projective geometry of varieties of minimal rational tangents plays a key role., Comment: To appear in Journal de Math\'ematiques Pures et Appliqu\'ees

We study BPS spectra of D-branes on local Calabi-Yau threefolds O(-p)circle plus O(p-2) -> P-1 with p = 0,1, corresponding to C-3/Z(2) and the resolved conifold. Nonabelianization for exponential networks is applied to compute directly unframed BPS indices counting states with D2 and D0 brane charges. Known results on these BPS spectra are correctly reproduced by computing new types of BPS invariants of 3d-5d BPS states, encoded by nonabelianization, through their wall-crossing. We also develop the notion of exponential BPS graphs for the simplest toric examples, and show that they encode both the quiver and the potential associated to the Calabi-Yau via geometric engineering., Communications in Mathematical Physics, 388, ISSN:1432-0916, ISSN:0010-3616

To each variety $X$ and a nonnegative integer $m$, there is a space $X_m$ over $X$, called the jet scheme of $X$ of order $m$, parametrizing $m$-th jets on $X$. Its fiber over a singular point of $X$ is called a singular fiber. For a surface with a rational double point, Mourtada gave a one-to-one correspondence between the irreducible components of the singular fiber of $X_m$ and the exceptional curves of the minimal resolution of $X$ for $m \gg 0$. In this paper, for a surface $X$ over complex number with a singularity of $A_n$ or $D_4$-type, we study the intersections of irreducible components of the singular fiber and construct a graph using this information. The vertices of the graph correspond to irreducible components of the singular fiber and two vertices are connected when the intersection of the corresponding components is maximal for the inclusion relation. In the case of $A_n$ or $D_4$-type singularity, we show that this graph is isomorphic to the resolution graph for $m \gg 0$., 18 pages

We compute an explicit formula for the first Chern class of the Hodge Bundle over the space of admissible cyclic $\mathbb{Z}/3\mathbb{Z}$ covers of $n$-pointed rational stable curves as a linear combination of boundary strata. We then apply this formula to give a recursive formula for calculating certain Hodge integrals containing $\lambda_1$. We also consider covers with a ${\mathbb{Z}}/{2\mathbb{Z}}$ action for which we compute $\lambda_2$ as a linear combination of codimension two boundary strata.

We determine all complex hyperelliptic curves with many automorphisms and decide which of their jacobians have complex multiplication., 17 pages

Seshadri constants on abelian surfaces are fully understood in the case of Picard number one. Little is known so far for simple abelian surfaces of higher Picard number. In this paper we investigate principally polarized abelian surfaces with real multiplication. They are of Picard number two and might be considered the next natural case to be studied. The challenge is to not only determine the Seshadri constants of individual line bundles, but to understand the whole Seshadri function on these surfaces. Our results show on the one hand that this function is surprisingly complex: on surfaces with real multiplication in $$\mathbb {Z}[\sqrt{e}]$$ Z [ e ] it consists of linear segments that are never adjacent to each other—it behaves like the Cantor function. On the other hand, we prove that the Seshadri function is invariant under an infinite group of automorphisms, which shows that it does have interesting regular behavior globally.

We prove a result which describes, for each $n\ge 1$, all linear dependencies among $n$ images in elliptic curves of special points in modular or Shimura curves under parameterizations (or correspondences). Our result unifies and improves in certain aspects previous work of Rosen-Silverman--K\"uhne and Buium-Poonen., Comment: 18 pages, comments welcome!

We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton., 16 pages

We prove a certain transcendence property of the unipotent Albanese map of a smooth variety, conditional on the Ax-Schanuel conjecture for variations of mixed Hodge structure. We show that this property allows the Chabauty-Kim method to be generalized to higher-dimensional varieties. In particular, we conditionally generalize several of the main Diophantine finiteness results in Chabauty-Kim theory to arbitrary number fields., 14 pages

We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular., Comment: 57 pages, Example 3.28 added, some proofs in Section 4 expanded

For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces of $X$ are embedded into their spectra as topological spaces., 20 pages

A Beauville group acts freely on the product of two compact Riemann surfaces and faithfully on each one of them. In this paper, we consider higher products and present {\it{generalised Beauville groups}}: for $d \geq 2$, $d$ is the minimal value for which the same action can be defined on the product of $d$ compact Riemann surfaces., Comment: 15 pages, 6 tables, all comments welcome

Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and hence of pure codimension 2 within the full space; this had been previously established by Andre in the case of a smooth polar divisor. We also construct an irregularity sheaf and its associated b-divisor, which measure irregularity along divisors on blowups of the original space; this generalizes another result of Andre on the semicontinuity of irregularity in a curve fibration. One concrete consequence of these refinements is a process for resolution of turning points which is functorial with respect to regular morphisms of excellent schemes; this allows us to transfer the result from schemes to formal schemes, complex analytic varieties, and nonarchimedean analytic varieties., 27 pages; v4: refereed version; some technical edits in 2.2

Let $C$ be a smooth projective curve over $\mathbb C$. Let $n,d\geq 1$. Let $\mathcal Q$ be the Quot scheme parameterizing torsion quotients of the vector bundle $\mathcal O^n_C$ of degree $d$. In this article we study the nef cone of $\mathcal Q$. We give a complete description of the nef cone in the case of elliptic curves. We compute it in the case when $d=2$ and $C$ very general, in terms of the nef cone of the second symmetric product of $C$. In the case when $n\geq d$ and $C$ very general, we give upper and lower bounds for the Nef cone. In general, we give a necessary and sufficient criterion for a divisor on $\mathcal Q$ to be nef., Comment: Comments are welcome

We prove some sufficient conditions in order that a root of the Bernstein-Sato polynomial contributes to a difference between certain D-modules generated by rational powers of a holomorphic function; for instance, this holds in the case of isolated singularities with semisimple Milnor monodromies. We then construct an example where a root does not contribute to a difference. This also solves an old open problem about the relation between the Milnor monodromy and the exponential of the residue of the Gauss-Manin connection on the saturation of the Brieskorn lattice. This shows that the structure of Brieskorn lattices can be more complicated than one might imagine., Comment: 17 pages, to appear in Publ. RIMS

We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirkovi\'c, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution., Comment: V2: 31 pages; exposition changes throughout

In this note, we give a necessary and sufficient condition for the properness of moment maps for representations of quivers. We show that the moment map for the representations of a quiver is proper if and only if the quiver is acyclic, that is, it does not contain any oriented cycle., Comment: Section 1 of this article recalls the definitions and notations from arxiv:1711.04108, of which the author is a joint author. Therefore, there is some text overlap between this article and arxiv:1711.04108

A complex K3 surface or an algebraic K3 surface in characteristics distinct from $2$ cannot have more than $16$ disjoint nodal curves., A complex K3 surface or an algebraic K3 surface in characteristics distinct from 2 cannot have more than 16 disjoint nodal curves.