# Algebraic Geometry (math.AG)

• We describe the topology of a general polynomial mapping $F=(f, g):X\to\Bbb C^2$, where $X$ is a complex plane or a complex sphere.
• Mar 29 2017 math.AG arXiv:1703.09644v1
Over any complex cubic hypersurface of dimension at least 2, the Chow group of 1-dimensional cycles is spanned by the lines lying on the hypersurface. The smooth case has already been given several other proofs. -- On montre que sur toute hypersurface cubique complexe de dimension au moins 2, le groupe de Chow des cycles de dimension 1 est engendré par les droites. Le cas lisse est un théorème connu. La démonstration ici donnée repose sur un résultat sur les surfaces géométriquement rationnelles sur un corps quelconque (1983), obtenu via la K-théorie algébrique.
• We classify supersingular and classical Enriques surfaces with finite automorphism group in characteristic 2 into 8 types according to their dual graphs of all $(-2)$-curves (nonsigular rational curves). We give examples of these Enriques surfaces together with their canonical coverings. It follows that the classification of all Enriques surfaces with finite automorphism group in any characteristics has been finished.
• Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding into the projectivization of a $G$-linearized vector bundle on an abelian variety, quotient of $G$. This generalizes a classical result of Sumihiro for actions of smooth connected affine algebraic groups.
• We define Deligne-Beilinson cycle maps for Lichtenbaum cohomology $H_L^m(X, \mathbb Z(n))$ and that with compact supports $H_{c,L}^m(X, \mathbb Z(n))$ of an arbitrary complex algebraic variety $X.$ When $(m,n)=(2,1),$ the homological part of our cycle map with compact supports gives a generalization of the Abel-Jacobi theorem and its projection to the Betti cohomology yields that of the Lefschetz theorem on $(1,1)$-cycles for arbitrary complex algebraic varieties. In general degrees $(m,n),$ we show that the Deligne-Beilinson cycle maps are always surjective on torsion and have torsion-free cokernels. If $m \leq 2n,$ the version with compact supports induces an isomorphism on torsion, and so does the one without compact supports if $min \{2m-1, 2 \dim X+1 \} \leq 2n.$ We also characterize the algebraic part of Griffiths's intermediate Jacobians with a universal property.
• We classify the pairs $(C,G)$ where $C$ is a seminormal curve over an arbitrary field $k$ and $G$ is a smooth connected algebraic group acting faithfully on $C$ with a dense orbit, and we determine the equivariant Picard group of $C$. We also give a partial classification when $C$ is no longer assumed to be seminormal.
• We give a moment map interpretation of some relatively balanced metrics. As an application, we extend a result of S. K. Donaldson on constant scalar curvature Kähler metrics to the case of extremal metrics. Namely, we show that a given extremal metric is the limit of some specific relatively balanced metrics. As a corollary, we recover uniqueness and splitting results for extremal metrics in the polarized case.
• Let $(R, \mathfrak m)$ be a Noetherian local ring and $I$ a $\mathfrak m$-primary ideal. In this paper, we study an inequality involving the number of generators, the Loewy length and the multiplicity of $I$. There is strong evidence that the inequality holds for all integrally closed ideals of finite colength if and only if $R$ has sufficiently nice singularities. We verify the inequality for regular local rings in all dimensions, for rational singularity in dimension $2$, and cDV singularities in dimension $3$. In addition, we can classify when the inequality always hold for a Cohen-Macaulay $R$ of dimension at most two. We also discuss relations to various topics: classical results on rings with minimal multiplicity and rational singularities, the recent work on $p_g$ ideals by Okuma-Watanabe-Yoshida, multiplicity of the fiber cone, and the $h$-vector of the associated graded ring.
• We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers.
• The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of a signed graphic arrangement that do not have a $B_2$ as sub-arrangement.
• Let $E_C$ be the hypergeometric system of differential equations satisfied by Lauricella's hypergeometric series $F_C$ of $m$ variables. We show that the monodromy representation of $E_C$ is irreducible under our assumption consisting of $2^{m+1}$ conditions for parameters. We also show that the monodromy representation is reducible if one of them is not satisfied.
• We introduce the notion of exact tilting objects, which are partial tilting objects $T$ inducing an equivalence between the abelian category generated by $T$ and the category of modules over the endomorphism algebra of $T$. Given a chain of sufficiently negative rational curves on a rational surface, we construct an exceptional sequence whose universal extension is an exact tilting object. For a chain of (-2)-curves, we obtain an equivalence with modules over a well known algebra.
• This paper is a contribution to the study of relative holonomic D-modules. Contrary to the absolute case, the standard t-structure on holonomic D-modules is not preserved by duality and hence the solution functor is no longer t-exact with respect to the canonical, resp. middle-perverse, t-structures. We provide an explicit description of these dual t-structures. When the parameter space is 1-dimensional, we use this description to prove that the solution functor as well as the relative Riemann-Hilbert functor are t-exact with respect to the dual t-structure and to the middle-perverse one while the de Rham functor is t-exact for the canonical, resp. middle-perverse, t-structures and their duals.
• We study the Grassmann manifold $G_k$ of all $k$-dimensional subspaces of ${\mathbb R}^n$. The Cartan embedding $G_k\subset O(n)$ realizes $G_k$ as a subspace of $Sl_n({\mathbb R})$ and we study the decomposition $G_k=\coprod_w (BwB\cap G_k)$ inherited from the classical Bruhat decomposition. We prove that this defines a CW structure on $G_k$ and determine the incidence numbers between cells.