Images of the Polar maps for Hypersurfaces

Luis E. Lopez

DOI: https://doi.org/10.48550/arXiv.0811.0754

2008-11-05

Algebraic Geometry

Abstract:For a projective hypersurface $X \subset \P^n$, the images of the polar maps of degree $k$ are studied. The cohomology class defined by these maps is calculated and classical results on dual varieties are presented as applications.

What problem does this paper attempt to address?

The polarized degree of irrationality of $K3$ surfaces

Federico Moretti

2023-04-27

Abstract:Given a polarized variety $(X,L)$ we use an elementary observation to produce projections of low degree $ X\subset \mathbb{P}(H^0(L^\vee)) \dashrightarrow \mathbb P ^r $ via vector bundles. For surfaces this observation can be used to show that maps of the degree at most $d$ move in families. In the case of polarized $K3$ surfaces we study projections of the lowest possible degree up to genus $6$ and we give a new upper bound for higher genera. As a different application of our construction we exhibit new rational maps of low degree for some hyper-Kähler varieties, abelian varieties and Gushel-Mukai threefolds.

Algebraic Geometry
Toric polar maps and characteristic classes

Thiago Fassarella,Nivaldo Medeiros,Rodrigo Salomão

DOI: https://doi.org/10.48550/arXiv.2205.03957

2022-05-08

Algebraic Geometry

Abstract:Given a hypersurface in a complex projective space, we prove that the multidegrees of its toric polar map agree, up to sign, with the coefficients of the Chern-Schwartz-MacPherson class of a distinguished open set, namely the complement of the union of the hypersurface and the coordinate hyperplanes. In particular, the degree of the toric polar map is given by the signed topological Euler characteristic of the distinguished open set. For plane curves, a precise formula for the degree of the toric polar map is obtained in terms of local invariants. Finally, we construct families, in arbitrary dimension, of irreducible hypersurfaces whose toric polar map is birational.
Lipschitz-Killing curvatures and polar images

Nicolas Dutertre

DOI: https://doi.org/10.48550/arXiv.1512.02780

2015-12-09

Abstract:We relate the Lipschitz-Killing measures of a definable set $X \subset \mathbb{R}^n$ in an o-minimal structure to the volumes of generic polar images. For smooth submanifolds of $\mathbb{R}^n$, such results were established by Langevin and Shifrin.Then we give infinitesimal versions of these results. As a corollary, we obtain a relation between the polar invariants of Comte and Merle and the densities of generic polar images.

Algebraic Geometry,Differential Geometry,Geometric Topology
Polarized interpolation and normal postulation for curves on Fano hypersurfaces

Ziv Ran

2023-08-04

Abstract:A general hypersurface $X$ of degree $\leq n$ in projective space contains curves $C$ of any genus $g\geq 0$ and sufficiently large degree depnding on $g$ whose normal and conormal bundles have good postulation or natural cohomology in the sense that each twist has either $H^0=0$ or $H^1=0$. This implies a polarized version of the interpolation property for $C$ on $X$.

Algebraic Geometry
On Huh's conjectures for the polar degree

Dirk Siersma,Joseph Steenbrink,Mihai Tibar

DOI: https://doi.org/10.48550/arXiv.1805.08175

2018-05-21

Algebraic Geometry

Abstract:We prove a precise version of a general conjecture on the polar degree stated by June Huh. We confirm Huh's conjectural list of all projective hypersurfaces with isolated singularities and polar degree equal to 2.
Higher Gaussian Maps on K3 surfaces

Angel David Rios Ortiz

2023-07-04

Abstract:We give necessary conditions for the surjectivity of the higher Gaussian maps on a polarized K3 surface. As an application, we show that the higher $k$-th Gauss map for a general curve of genus $g$ (that depends quadratically with $k$) is surjective.

Algebraic Geometry
Polarized K3 surfaces of genus thirteen and curves of genus three

Akihiro Kanemitsu,Shigeru Mukai

2023-10-03

Abstract:We describe a general (primitively) polarized K3 surface $(S,h)$ with $(h^2)=24$ as a complete intersection variety with respect to vector bundles on the $6$-dimensional moduli space $\mathcal{N}^-$ of the stable vector bundles of rank two with fixed odd determinant on a curve $C$ of genus $3$. If the curve $C$ is hyperelliptic, then $\mathcal{N}^-$ is a subvariety of the $12$-dimensional Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$ defined by a pencil of quadric forms. In this case, our description implies that a general $(S,h)$ is the intersection of two (7-dimensional) contact homogeneous varieties of $\operatorname{Spin}(7)$ in the Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$.

Algebraic Geometry
Polar actions on certain principal bundles over symmetric spaces of compact type

Marco Mucha

DOI: https://doi.org/10.1090/s0002-9939-2011-10868-2

IF: 0.9709

2011-02-04

Proceedings of the American Mathematical Society

Abstract:We study polar actions with horizontal sections on the total space of certain principal bundles G/K→G/HG/K\to G/H with base a symmetric space of compact type. We classify such actions up to orbit equivalence in many cases. In particular, we exhibit examples of hyperpolar actions with cohomogeneity greater than one on locally irreducible homogeneous spaces with nonnegative curvature which are not homeomorphic to symmetric spaces.

mathematics, applied
Polar actions on the complex hyperbolic plane

Jurgen Berndt,J. Carlos Diaz-Ramos

DOI: https://doi.org/10.48550/arXiv.1108.0543

2011-08-02

Abstract:We classify the polar actions on the complex hyperbolic plane up to orbit equivalence. Apart from the trivial and transitive polar actions, there are five polar actions of cohomogeneity one and four polar actions of cohomogeneity two.

Differential Geometry
Geometry of Polarised Varieties

Birkar Caucher

DOI: https://doi.org/10.1007/s10240-022-00136-w

2023-01-01

Abstract:In this paper, we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $\epsilon $ -lc singularities for $\epsilon >0$ , and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_{X}$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,\epsilon $ . This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessarily nef) on a klt Calabi-Yau variety of dimension $d$ , then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d$ . It also gives new proofs of some known results, for example, if $X$ is an $\epsilon $ -lc Fano variety of dimension $d$ then taking $N=-K_{X}$ we recover birationality of $|-mK_{X}|$ for bounded $m$ . We prove similar birational boundedness results for nef and big Weil divisors $N$ on projective klt varieties $X$ when both $K_{X}$ and $N-K_{X}$ are pseudo-effective (here $X$ is not assumed $\epsilon $ -lc). Using the above, we show boundedness of polarised varieties under some natural conditions. We extend these to boundedness of semi-log canonical Calabi-Yau pairs polarised by effective ample Weil divisors not containing lc centres. We will briefly discuss applications to existence of projective coarse moduli spaces of such polarised Calabi-Yau pairs.
Moduli Space of Quasi-Polarized K3 Surfaces of Degree 6 and 8

Li Zhiyuan,Tian Zhiyu

DOI: https://doi.org/10.1007/s11401-021-0267-4

2021-01-01

Abstract:In this paper, the authors study the moduli space of quasi-polarized complex K3 surfaces of degree 6 and 8 via geometric invariant theory. The general members in such moduli spaces are complete intersections in projective spaces and they have natural GIT constructions for the corresponding moduli spaces and they show that the K3 surfaces with at worst ADE singularities are GIT stable. They give a concrete description of boundary of the compactification of the degree 6 case via the Hilbert-Mumford criterion. They compute the Picard group via Noether-Lefschetz theory and discuss the connection to the Looijenga’s compactifications from arithmetic perspective. One of the main ingredients is the study of the projective models of K3 surfaces in terms of Noether-Lefschetz divisors.
Algebroid maps and hyperbolicity of symmetric powers

Natalia Garcia-Fritz,Hector Pasten

2024-06-03

Abstract:Given a complex projective algebraic variety $X$ we define $ h(X)$ as the largest $n$ such that the $n$-th symmetric power of $X$ is (Brody) hyperbolic. Using Nevanlinna theory for algebroid maps, we give non-trivial lower bounds for $ h(X)$. From an arithmetic point of view, the problem is closely related to the finiteness of algebraic points of bounded degree in varieties over number fields. We provide explicit applications of our results in the case of curves embedded in surfaces and in the case of subvarieties of abelian varieties.

Algebraic Geometry,Number Theory
On the degree of irrationality of low genus $K3$ surfaces

Federico Moretti,Andrés Rojas

2024-01-08

Abstract:Given a general polarized $K3$ surface $S\subset \mathbb P^g$ of genus $g\le 14$, we study projections $S\hookrightarrow \mathbb P^g\dashrightarrow \mathbb P^2$ of minimal degree and their variational structure. In particular, we prove that the degree of irrationality of all such surfaces is at most $4$, and that for $g=7,8,9,11$ there are no rational maps $S\dashrightarrow \mathbb P^2$ of degree $3$ induced by the primitive linear system. Our methods combine vector bundle techniques à la Lazarsfeld with derived category tools, and also make use of the rich theory of singular curves on $K3$ surfaces.

Algebraic Geometry
Gauss-Prym maps on Enriques surfaces

Dario Faro,Irene Spelta

DOI: https://doi.org/10.1002/mana.202200287

2023-07-27

Abstract:We prove that the $k$-th Gaussian map $\gamma^k_{H}$ is surjective on a polarized unnodal Enriques surface $(S, H)$ with $\phi(H)>2k+4$. In particular, as a consequence, when $\phi(H)>4(k+2)$, we obtain the surjectivity of the $k$-th Gauss-Prym map $\gamma^k_{\omega_C\otimes\alpha}$ on smooth hyperplane sections $C\in \vert H\vert.$ In case $k=1$ it is sufficient to ask $\phi(H)>6$.

Algebraic Geometry
Hochschild Cohomology of Projective Hypersurfaces

Liyu Liu,Wendy Lowen

DOI: https://doi.org/10.1093/imrn/rnx216

2017-01-01

International Mathematics Research Notices

Abstract:We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with deformations. We show that a projective hypersurface is smooth if and only if the classical HKR decomposition holds for this group. In general, the first Hodge component describing scheme deformations has an interesting inner structure corresponding to the various ways in which first order deformations can be realized: deforming local multiplications, deforming restriction maps, or deforming both. We make our computations precise in the case of quartic hypersurfaces, and compute explicit dimensions in many examples.
Scanning the moduli of smooth hypersurfaces

Alexis Aumonier

2024-02-08

Abstract:We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an isomorphism in integral homology in a range of degrees growing with the ampleness of the hypersurfaces. When the ambient variety is a curve, this recovers a result of McDuff about configuration spaces. We compute the rational cohomology of the section space and exhibit a phenomenon of homological stability for hypersurfaces with first Chern class going to infinity. For simply connected varieties, the rational cohomology is shown to agree with the stable cohomology of a moduli space of hypersurfaces, with a peculiar tangential structure, as studied by Galatius and Randal-Williams.

Algebraic Geometry,Algebraic Topology
On Harder-Narasimhan slopes of direct images

Siarhei Finski

2024-02-20

Abstract:For a polarized family of complex projective manifolds, we study the asymptotic distribution of Harder-Narasimhan slopes of direct image sheaves associated with high tensor powers of the polarization. We establish a theorem of Mehta-Ramanathan type, showing that this asymptotic distribution can be recovered from the analogous asymptotic distributions associated with base changes of the family over generic curves.

Algebraic Geometry,Differential Geometry
Humbert surfaces and the moduli of lattice polarized K3 surfaces

Charles F Doran, Andrew Harder, Hossein Movasati, Ursula Whitcher

2014-01-01

Abstract:In this article we introduce a collection of partial differential equations in the moduli of lattice polarized K3 surfaces whose algebraic solutions are the loci of K3 surfaces with lattice polarizations of higher rank. In the special case of rank 17 polarization such loci encode the well-known Humbert surfaces. The differential equations treated in the present article are directly derived from the Gauss-Manin connection of families of lattice polarized K3 surfaces. We also introduce some techniques to calculate the Gauss-Manin connection with the presence of isolated singularities.
Fermat Varieties and the Periods of Some Hypersurfaces

Eduard Looijenga

DOI: https://doi.org/10.2969/aspm/05810047

2019-01-01

Abstract:The variety of all smooth hypersurfaces of given degree and dimension has the Fermat hypersurface as a natural base point. In order to study the period map for such varieties, we first determine the integral polarized Hodge structure of the primitive cohomology of a Fermat hypersurface (as a module over the automorphism group of the hypersurface). We then focus on the degree 3 case and show that the period map for cubic fourfolds as analyzed by R. Laza and the author gives complete information about the period map for cubic hypersurfaces of lower dimension dimension. In particular, we thus recover the results of Allcock-Carlson-Toledo on the cubic surface case.
On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type

Yajnaseni Dutta,Dominique Mattei,Yulieth Prieto-Montañez

DOI: https://doi.org/10.1093/imrn/rnae112

2023-11-15

Abstract:We prove that projective hyperkähler manifolds of K3$^{[n]}$-type admitting a non-trivial symplectic birational self-map of finite order are isomorphic to moduli spaces of stable (twisted) coherent sheaves on K3 surfaces. Motivated by this result, we analyze the reflections on the movable cone of moduli spaces of sheaves and determine when they come from a birational involution.

Algebraic Geometry

Images of the Polar maps for Hypersurfaces

The polarized degree of irrationality of $K3$ surfaces

Toric polar maps and characteristic classes

Lipschitz-Killing curvatures and polar images

Polarized interpolation and normal postulation for curves on Fano hypersurfaces

On Huh's conjectures for the polar degree

Higher Gaussian Maps on K3 surfaces

Polarized K3 surfaces of genus thirteen and curves of genus three

Polar actions on certain principal bundles over symmetric spaces of compact type

Polar actions on the complex hyperbolic plane

Geometry of Polarised Varieties

Moduli Space of Quasi-Polarized K3 Surfaces of Degree 6 and 8

Algebroid maps and hyperbolicity of symmetric powers

On the degree of irrationality of low genus $K3$ surfaces

Gauss-Prym maps on Enriques surfaces

Hochschild Cohomology of Projective Hypersurfaces

Scanning the moduli of smooth hypersurfaces

On Harder-Narasimhan slopes of direct images

Humbert surfaces and the moduli of lattice polarized K3 surfaces

Fermat Varieties and the Periods of Some Hypersurfaces

On symplectic birational self-maps of projective hyperkähler manifolds of K3$^{[n]}$-type