Search

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages

In this short paper, we construct a unipotent nearby cycle functor and show a p-adic analogue of Beilinson’s equivalence comparing two derived categories: the derived category of holonomic arithmetic $${\mathcal {D}}$$ -modules and the derived category of arithmetic $${\mathcal {D}}$$ -modules whose cohomologies are holonomic.

In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds., Comment: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent., Comment: The current paper (as well as the companion paper arXiv:2007.04740) has grown from arxiv:1908.08611. The conjectures stated in arXiv:1908.08611 are proved by A. Aggarwal in arXiv:2004.05042

In this paper, we study the algebraic relations satisfied by the solutions of q-difference equations and their transforms with respect to an auxiliary operator. Our main tools are the parametrized Galois theories developed in Hardouin and Singer (Math Ann 342(2):333–377, 2008) and Ovchinnikov and Wibmer (Int Math Res Not 12:3962–4018, 2015). The first part of this paper is concerned with the case where the auxiliary operator is a derivation, whereas the second part deals with a $$\mathbf {q}$$ -difference operator. In both cases, we give criteria to guarantee the algebraic independence of a series, solution of a q-difference equation, with either its successive derivatives or its $$\mathbf {q}$$ -transforms. We apply our results to q-hypergeometric series.

Any germ of a complex analytic space is equipped with two natural metrics: the {\it outer metric} induced by the hermitian metric of the ambient space and the {\it inner metric}, which is the associated riemannian metric on the germ. We show that minimal surface singularities are Lipschitz normally embedded (LNE), i.e., the identity map is a bilipschitz homeomorphism between outer and inner metrics, and that they are the only rational surface singularities with this property., This paper is a major revision of the 2015 version. It now builds on the paper arXiv:1806.11240 by the same authors which gives a general characterization of Lipschitz normally embedded surface singularities

Many papers are devoted to study logarithmic sheaves associated to reduced divisors, in particular logarithmic bundles associated to plane curves since forty years in differential and algebraic topology or geometry. An interesting family of these curves are the so-called free ones for which the associated logarithmic sheaf is the direct sum of two line bundles. When the curve is a finite set of distinct lines (i.e. a line arrangement), Terao conjectured thirty years ago that its freeness depends only on its combinatorics. A lot of efforts were done to prove it but at this time it is only proved up to 12 lines. If one wants to find a counter example to this conjecture a new family of curves arises naturally: the nearly free curves introduced by Dimca and Sticlaru. We prove here that the logarithmic bundle associated to a nearly free curve possesses a minimal non zero section that vanishes on one single point $P$, called jumping point, and that characterizes the bundle. Then we give a precise description of the behaviour of $P$. In particular we show, based on detailed examples, that the position of $P$ relatively to its corresponding nearly free arrangement of lines may or may not be a combinatorial invariant, depending on the chosen combinatorics., 24 pages, Comments are welcome. We improve the exposition of the paper with more details

International audience; In my paper at Inventiones 2009, we determine the cohomology of Lubin-Tate spaces globally using the comparison theorem of Berkovich by computing the fibers at supersingular points of the perverse sheaf of vanishing cycle Ψ of some Shimura variety of Kottwitz-Harris-Taylor type. The most difficult argument deals with the control of maps of the spectral sequences computing the sheaf cohomology of both Harris-Taylor perverse sheaves and those of Ψ. In this paper, we bypass these difficulties using the classical theory of representations of the mirabolic group and a simple geometric argument.; Dans [2], on détermine les groupes de cohomologie des espaces de Lubin-Tate par voie globale en calculant les fibres des faisceaux de cohomologie du faisceau pervers des cyclesévanescentscyclesévanescents Ψ d'une variété de Shimura de type Kottwitz-Harris-Taylor. L'ingrédient le plus complexe consistè a contrôler lesfì eches de deux suites spectrales calculant l'une les faisceaux de cohomologie des faisceaux pervers d'Harris-Taylor, et l'autre ceux de Ψ. Dans cet article, nous contournons ces difficultés en utilisant la théorie classique des représentations du groupe mirabolique ainsi qu'un argument géométrique simple. Abstract (Mirabolic group, ramified Newton stratification and cohomology of Lubin-Tate spaces) In [2], we determine the cohomology of Lubin-Tate spaces globally using the comparison theorem of Berkovich by computing the fibers at supersingular points of the perverse sheaf of vanishing cycle Ψ of some Shimura variety of Kottwitz-Harris-Taylor type. The most difficult argument deals with the control of maps of the spectral sequences computing the sheaf coho-mology of both Harris-Taylor perverse sheaves and those of Ψ. In this paper, we bypass these difficulties using the classical theory of representations of the mirabolic group and a simple geometric argument.

We investigate the possible values for geometric genera of subvarieties in a smooth projective variety. Values which are not attained are called gaps. For curves on a very general surface in $\mathbb{P}^3$, the initial gap interval was found by Xu (see [7] in References), and the next one in our previous paper (see [4] in References), where also the finiteness of the set of gaps was established and an asymptotic upper bound of this set was found. In the present paper we extend some of these results to smooth projective varieties of arbitrary dimension using a different approach., 9 pages, submitted preprint

Gromov's compactness theorem for pseudo-holomorphic curves is a foundational result in symplectic geometry. It controls the compactness of the moduli space of pseudo-holomorphic curves with bounded area in a symplectic manifold. In this paper, we prove the analog of Gromov's compactness theorem in non-archimedean analytic geometry. We work in the framework of Berkovich spaces. First, we introduce a notion of K\"ahler structure in non-archimedean analytic geometry using metrizations of virtual line bundles. Second, we introduce formal stacks and non-archimedean analytic stacks. Then we construct the moduli stack of non-archimedean analytic stable maps using formal models, Artin's representability criterion and the geometry of stable curves. Finally, we reduce the non-archimedean problem to the known compactness results in algebraic geometry. The motivation of this paper is to provide the foundations for non-archimedean enumerative geometry., Comment: Improved presentation

An affine algebraic variety X of dimension at least 2 is called flexible if the subgroup SAut(X) in Aut(X) generated by the one-parameter unipotent subgroups acts m-transitively on reg(X) for any m $\ge$ 1. In the previous paper we proved that any nondegenerate toric affine variety X is flexible. In the present paper we show that one can find a subgroup of SAut(X) generated by a finite number of one-parameter unipotent subgroups which has the same transitivity property, provided the toric variety X is smooth in codimension 2. For X=$\mathbb{A}^n$ with n$\ge$2, three such subgroups suffice., 25 pages

The germ of the universal isomonodromic deformation of a logarithmic connection on a stable n-pointed genus g curve always exists in the analytic category. The first part of this paper investigates under which conditions it is the analytic germification of an algebraic isomonodromic deformation. Up to some minor technical conditions, this turns out to be the case if and only if the monodromy of the connection has finite orbit under the action of the mapping class group. The second part of this paper studies the dynamics of this action in the particular case of reducible rank 2 representations and genus g > 0, allowing to classify all finite orbits. Both of these results extend recent ones concerning the genus 0 case., Comment: Final version, 39 pages. To appear in Journal de l'Institut de Math\'ematiques de Jussieu

In 1980, Gizatullin classified rational surfaces endowed with an automorphism whose action on the Neron-Severi group is parabolic: these surfaces are endowed with an elliptic fibration invariant by the automorphism. The aim of this expository paper is to present for non-experts the details of Gizatullin's original proof, and to provide an introduction to a recent paper by Cantat and Dolgachev., Minor corrections

The flag variety of a complex reductive linear algebraic group G is by definition the quotient G/B by a Borel subgroup. It can be regarded as the set of Borel subalgebras of Lie(G). Given a nilpotent element e in Lie(G), one calls Springer fiber the subvariety formed by the Borel subalgebras which contain e. Springer fibers have in general a complicated structure (not irreducible, singular). Nevertheless, a theorem by C. De Concini, G. Lusztig, and C. Procesi asserts that, when G is classical, a Springer fiber can always be paved by finitely many subvarieties isomorphic to affine spaces. In this paper, we study varieties generalizing the Springer fibers to the context of partial flag varieties, that is, subvarieties of the quotient G/P by a parabolic subgroup (instead of a Borel subgroup). The main result of the paper is a generalization of De Concini, Lusztig, and Procesi's theorem to this context., Comment: 39 pages, v2: fixed some mistakes, revision of Section 8

We determine relations between the Euler obstruction of a map f and the Chern obstruction of a collection of 1-forms associated to f . We obtain explicit applications in singularity theory. On one hand, in [10], Grulha defines a generalization of the Euler obstruction of a holomorphic function to the case of a map-germ f : (V, 0) → (C, 0) where (V, 0) is the germ of a reduced equidimensional complex analytic variety of dimension d ≥ p. The main result in that paper is a formula that computes the Euler obstruction of f in terms of the Euler obstruction for p-frames as defined by Brasselet, Seade and Suwa in [3]. On the other hand, Ebeling and Gusein-Zade introduced in [4] the notion of Chern obstruction for singular spaces using collections of differential 1-forms. This number is well defined for any germ of reduced equidimensional complex analytic space, and the authors provide a formula for the Chern obstruction in terms of intersection number. One of the main results of the present paper is that the Euler obstruction of a map can be written as a Chern obstruction, therefore as an intersection multiplicity.

Let (X, O) be a germ of a normal surface singularity, π: → X be the minimal resolution of singularities and let A = (ai,j) be the n × n symmetrical intersection matrix of the exceptional set of In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme , and defines a map from the set of irreducible components of to the set of exceptional components of the minimal resolution of singularities of (X,O). He proved that this map is injective and ask if it is surjective. In this paper we consider the canonical decomposition •For any couple (Ei,Ej) of distinct exceptional components, we define Numerical Nash condition (NN(i,j)). We have that (NN(i,j)) implies In this paper we prove that (NN(i,j)) is always true for at least the half of couples (i,j).•The condition (NN(i,j)) is true for all couples (i,j) with i ≠ j, characterizes a certain class of negative definite matrices, that we call Nash matrices. If A is a Nash matrix then the Nash map N is bijective. In particular our results depend only on A and not on the topological type of the exceptional set.•We recover and improve considerably almost all results known on this topic and our proofs are new and elementary.•We give infinitely many other classes of singularities where Nash Conjecture is true.The proofs are based on my old work [8] and in Plenat [10].

Let $\mathbf{G}$ be one of the ind-groups $GL(\infty)$, $O(\infty)$, $Sp(\infty)$ and $\mathbf{P}\subset \mathbf{G}$ be a splitting parabolic ind-subgroup. The ind-variety $\mathbf{G}/\mathbf{P}$ has been identified with an ind-variety of generalized flags in the paper "Ind-varieties of generalized flags as homogeneous spaces for classical ind-groups" (Int. Math. Res. Not. 2004, no. 55, 2935--2953) by I. Dimitrov and I. Penkov. In the present paper we define a Schubert cell on $\mathbf{G}/\mathbf{P}$ as a $\mathbf{B}$-orbit on $\mathbf{G}/\mathbf{P}$, where $\mathbf{B}$ is any Borel ind-subgroup of $\mathbf{G}$ which intersects $\mathbf{P}$ in a maximal ind-torus. A significant difference with the finite-dimensional case is that in general $\mathbf{B}$ is not conjugate to an ind-subgroup of $\mathbf{P}$, whence $\mathbf{G}/\mathbf{P}$ admits many non-conjugate Schubert decompositions. We study the basic properties of the Schubert cells, proving in particular that they are usual finite-dimensional cells or are isomorphic to affine ind-spaces. We then define Schubert ind-varieties as closures of Schubert cells and study the smoothness of Schubert ind-varieties. Our approach to Schubert ind-varieties differs from an earlier approach by H. Salmasian in "Direct limits of Schubert varieties and global sections of line bundles" (J. Algebra 320 (2008), 3187--3198)., Keywords: Classical ind-group, Bruhat decomposition, Schubert decomposition, generalized flag, homogeneous ind-variety. [26 pages]

Let $K$ be a local field with algebraically closed residue field and $X_K$ a torsor under an elliptic curve $J_K$ over $K$. Let $X$ be a proper minimal regular model of $X_K$ over the ring of integers of $K$ and $J$ the identity component of the N\'eron model of $J_K$. We study the canonical morphism $q\colon \mathrm{Pic}^{0}_{X/S}\to J$ which extends the biduality isomorphism on generic fibres. We show that $q$ is pro-algebraic in nature with a construction that recalls Serre's work on local class field theory. Furthermore we interpret our results in relation to Shafarevich's duality theory for torsors under abelian varieties., Comment: This paper arises from the confluence and the comparison of the results contained in the preprints arXiv:1106.1540v2 and arXiv:1005.0462v1 of the two authors. Final version and to appear in Math. Zeit. We thank the referee for the very detail review of our paper

In the present paper we introduce and study the push pull operators on the formal affine Demazure algebra and its dual. As an application we provide a non-degenerate pairing on the dual of the formal affine Demazure algebra which serves as an algebraic counterpart of the natural pairing on the T-equivariant oriented cohomology of G/B induced by multiplication and push-forward to a point. This paper can be viewed as the next step towards the `algebraization program' for equivariant oriented cohomology theories started in arXiv:0905.1341 and continued in arXiv:1208.4114 and arXiv:1209.1676; the general idea being to match cohomology rings of algebraic varieties and elements of classical interest in them (such as classes of Schubert varieties) with algebraic and combinatorial objects that can be introduced in the spirit of [Demazure, Invariants sym\'etriques entiers des groupes de Weyl et torsion, Invent. Math. 21:287-301, 1973] and [Kostant, Kumar, The nil Hecke ring and cohomology of G/P for a Kac-Moody group G, Advances in Math. 62:187-237, 1986]., Comment: 34 pages; some material has been added since the last version, mainly in the parabolic case

In this paper we extend to the singular setting the theory of Fano foliations developed in our previous paper. A Q-Fano foliation on a complex projective variety X is a foliation F whose anti-canonical class is an ample Q-Cartier divisor. In the spirit of Kobayashi-Ochiai Theorem, we prove that under some conditions the index i of a Q-Fano foliation is bounded by the rank r of F, and classify the cases in which i=r. Next we consider Q-Fano foliations F for which i=r-1. These are called del Pezzo foliations. We classify codimension 1 del Pezzo foliations on mildly singular varieties., Comment: 20 pages, to appear in Mathematische Annalen

In this paper we prove that if the r-th tensor power of the tangent bundle of a smooth projective variety X contains the determinant of an ample vector bundle of rank at least r, then X is isomorphic either to a projective space or to a smooth quadric hypersurface., Comment: Supersedes the paper arXiv:1009.1247v2 by the second named author

(Submitted on 20 Jul 2005 (v1), last revised 27 Jul 2006 (this version, v4)); International audience; We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the positivity of N_X(-1) (where N_X is the normal bundle of X in P^n). We get a series of (n-3) inequalities; the first one of which being in the paper of Ellingsrud-Peskine, the second was obtained in a preliminary version (arXiv:math.AG/0406497) by an essentially equivalent but more geometric argument. Then we first derive two consequences: 1) roughly speaking, (Thm. 2.1, Remark 2.2) the family of "biliaison classes" of smooth subvarieties of P^5 lying on a hypersurface of degree s is limited; 2) the family of smooth codimension two subvarieties of P^6 lying on a hypersurface of degree s is limited (Thm. 1.4). The result quoted in 1) is not effective, but 2) is. In the last section we try to obtain precise inequalities connecting the usual numerical invariants of a smooth subcanonical subvariety X of P^n, n\geq 5 (the degree d, the speciality index e, the least degree, s, of an hypersurface containing X). In particular we prove (Thm. 3.12): s\geq n+1.

This paper deals with some classical problems about the projective geometry of complex algebraic curves. We call \textit{locally toric} a projective curve that in a neighbourhood of every point has a local analytical parametrization of type $(t^{a_1},...,t^{a_n})$, with $a_1,..., a_n$ relatively prime positive integers. In this paper we prove that the general tangent line to a locally toric curve in $\bP^3$ meets the curve only at the point of tangency. This result extends and simplifies those of the paper \cite{kaji} by H.Kaji where the same result is proven for any curve in $\bP^3$ such that every branch is smooth. More generally, under mild hypotesis, up to a finite number of anomalous parametrizations $(t^{a_1},...,t^{a_n})$, the general osculating 2-space to a locally toric curve of genus $g, 23 pages

This paper has been withdrawn by the author due to its publication, This paper has been withdrawn

We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related objects. Our study focuses on the so-called "nonarchimedean Milnor fiber" that was introduced by Hrushovski and Loeser, and our thesis is that it is a richer embodiment of the underlying philosophy of the Milnor construction. The said narrative is first developed in the more natural complex environment, and is then extended to the real one via descent. In the process of doing so, we are able to provide more illuminating new proofs, free of resolution of singularities, of a few pivotal results in the literature, both complex and real. To begin with, the real motivic zeta function is shown to be rational, which yields the real motivic Milnor fiber; this is an analogue of the Hrushovski-Loeser construction. We also establish, in a much more intuitive manner, a new Thom-Sebastiani formula, which can be specialized to the one given by Guibert, Loeser, and Merle. Finally, applying $T$-convex integration after descent, matching the Euler Characteristics of the topological Milnor fiber and the motivic Milnor fiber becomes a matter of simple computation, which is not only free of resolution of singularities as in the Hrushovski-Loeser proof, but is also free of other sophisticated algebro-geometric machineries.

We introduce a notion of stable spherical variety which includes the spherical varieties under a reductive group $G$ and their flat equivariant degenerations. Given any projective space $\bP$ where $G$ acts linearly, we construct a moduli space for stable spherical varieties over $\bP$, that is, pairs $(X,f)$, where $X$ is a stable spherical variety and $f : X \to \bP$ is a finite equivariant morphism. This space is projective, and its irreducible components are rational. It generalizes the moduli space of pairs $(X,D)$, where $X$ is a stable toric variety and $D$ is an effective ample Cartier divisor on $X$ which contains no orbit. The equivariant automorphism group of $\bP$ acts on our moduli space; the spherical varieties over $\bP$ and their stable limits form only finitely many orbits. A variant of this moduli space gives another view to the compactifications of quotients of thin Schubert cells constructed by Kapranov and Lafforgue., 50 pages

A first aim of this paper is to answer, in the case of real ruled surfaces $X_l$ of base $\mathbb{C}P^1$, with $l \geq 2$, a question of V. A. Rokhlin: is it true that the equivariant isotopy class does not suffice to distinguish the connected components of the space of smooth real algebraic curves of $X_l$? A second aim is to prove that there exist in these surfaces some real schemes realized by real flexible curves but not by smooth real algebraic curves. These two results of real algebraic geometry are deduced from the following comparison theorem: when $m = l + 2k$, with $k > 0$, the discriminants of the surface $X_m$ are deduced from those of the surface $X_l$ via weighted homotheties. All these results are obtained from a study of a deformation of ruled surfaces.The paper is written in French.2000 Mathematical Subject Classification: 14H10, 14J26, 14P25.

The present paper is related to a conjecture made by Green and Lazarsfeld concerning 1-linear syzygies of curves embedded by complete linear systems of sufficiently large degrees. Given a smooth, irreducible, complex, projective curve $X$, we prove that the least integer $q$ for which the property $(M_q)$ fails for a line bundle $L$ on $X$ does not depend on $L$ as soon as its degree becomes sufficiently large. Consequently, this number is an invariant of the curve, and the statement of Green-Lazarsfeld's conjecture is equivalent to saying that this invariant equals the gonality of the curve. We verify the conjecture for plane curves, curves lying on Hirzebruch surfaces, and for generic curves having the genus sufficiently large compared to the gonality. We conclude the paper by proving that Green's canonical conjecture holds for curves lying on Hirzebruch surfaces., to appear in Math. Z

International audience; Orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers as varieties of isotropic flags and van Leeuwen's parametrization of their components in terms of domino tableaux. In the exceptional cases, smooth orbital varieties do not arise in every nilpotent orbit, as already noted by Spaltenstein. We however give a (nonexhaustive) list of nilpotent orbits which have this property. Our treatment of exceptional cases relies on an induction procedure for orbital varieties, similar to the induction procedure for nilpotent orbits.

Version incluant des corrections mineures à la version publiée. Ajout d'une note à la fin.; International audience; This paper is a continuation of the papers "Moduli spaces of decomposable morphims of sheaves and quotients by non-reductive groups" and "Espace abstraits de morphismes et mutations". I show here that the method used in the first paper to construct moduli spaces of morphisms and the one used in the second paper to extend the results of the first are particular cases of a more general method of construction of algebraic quotients. It is based on the notion of quasi-isomorphism. Let G, G' algebraic groups acting on algebraic varieties X, X' respectively. A quasi-morphism is a map $X/G\longrightarrow X'/G'$ that can be everywhere locally lifted to morphisms from open subsets of X to X' (plus some additional technical conditions...). A quasi-isomorphism is a quasi-morphism which is bijective and whose inverse is also a quasi-morphism. If there is a quasi-isomorphism between X and X'it is possible to deduce the existence of algebraic quotients of open subsets of X from the existence of quotients of the corresponding open subsets of X'. The method used to construct moduli spaces of morphisms is extended in this paper to complexes of decomposables sheaves.

The goal of this paper is the study of simple rank 2 parabolic vector bundles over a 2 2 -punctured elliptic curve C C . We show that the moduli space of these bundles is a non-separated gluing of two charts isomorphic to P 1 × P 1 \mathbb {P}^1 \times \mathbb {P}^1 . We also showcase a special curve Γ \Gamma isomorphic to C C embedded in this space, and this way we prove a Torelli theorem. This moduli space is related to the moduli space of semistable parabolic bundles over P 1 \mathbb {P}^1 via a modular map which turns out to be the 2:1 cover ramified in Γ \Gamma . We recover the geometry of del Pezzo surfaces of degree 4 and we reconstruct all their automorphisms via elementary transformations of parabolic vector bundles.

Let $C$ be a hyperelliptic curve of genus $g\geq 3$. In this paper we give a new geometric description of the theta map for moduli spaces of rank 2 semistable vector bundles on $C$ with trivial determinant. In order to do this, we describe a fibration of (a birational model of) the moduli space, whose fibers are GIT quotients $(\mathbb{P}^1)^{2g}//PGL(2)$. Then, we identify the restriction of the theta map to these GIT quotients with some explicit degree two osculating projection. As a corollary of this construction, we obtain a birational inclusion of a fibration in Kummer $(g-1)$-folds over $\mathbb{P}^g$ inside the ramification locus of the theta map., Comment: 22 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1802.00654

In this paper, we study and relate Calabi-Yau subHodge structures of Fano subvarieties of different Grassmannians. In particular, we construct isomorphisms between Calabi- Yau subHodge structures of hyperplane sections of Gr(3; n) and those of other varieties arising from symplectic Grassmannians and congruences of lines or planes. We describe in details the case of the hyperplane sections of Gr(3; 10), which are Fano varieties of K3 type whose K3 Hodge structures are isomorphic with those of other Fano varieties such as the Peskine variety. These isomorphisms are obtained via the study of geometrical correspondences between different Grassmannians, such as projections and jumps via two-step flags. We also show how these correspondences allow to construct crepant categorical resolutions of the Coble cubics. Finally, we prove a generalization of Orlov's formula on semiorthogonal decompositions for blow-ups, which provides conjectural categorical counterparts of our Hodge-theoretical results.

We study a single-valued integration pairing between differential forms and dual differential forms which subsumes some classical constructions in mathematics and physics. It can be interpreted as a $p$-adic period pairing at the infinite prime. The single-valued integration pairing is defined by transporting the action of complex conjugation from singular to de Rham cohomology via the comparison isomorphism. We show how quite general families of period integrals admit canonical single-valued versions and prove some general formulas for them. This implies an elementary 'double copy' formula expressing certain singular volume integrals over the complex points of a smooth projective variety as a quadratic expression in ordinary period integrals of half the dimension. We provide several examples, including non-holomorphic modular forms, archimedean N\'{e}ron-Tate heights on curves, single-valued multiple zeta values and polylogarithms. In a sequel to this paper we apply this formalism to the moduli space of curves of genus zero with marked points, to deduce a recent conjecture due to Stieberger in string perturbation theory, which states that closed string amplitudes are the single-valued projections of open string amplitudes., Comment: The results are unchanged. We made some minor corrections and added several remarks and clarifications

We prove a quantitative version of the curve selection lemma. Denoting by $s,d,k$ a bound on the number, the degree and the number of variables of the polynomials describing a semi-algebraic set $S$ and a point $x$ in $\bar S$, we find a semi-algebraic path starting at $x$ and entering in $S$ with a description of degree $(O(d)^{3k+3},O(d)^{k})$ (using a precise definition of the description of a semi-algebraic path and its degree given in the paper). As a consequence, we prove that there exists a semi-algebraic path starting at $x$ and entering in $S$, such that the degree of the Zariski closure of the image of this path is bounded by $O(d)^{4k+3}$, improving a result of Jelonek and Kurdyka. We also give an algorithm for describing the real isolated points of $S$ whose complexity is bounded by $s^{2 k+1}d^{O(k)}$ improving a result of Le, Safey el Din, and de Wolff., Comment: Final version to appear in Mathematische Zeitschrift

In this paper, we give an example of an autoequivalence with positive categorical entropy (in the sense of Dimitrov, Haiden, Katzarkov and Kontsevich) for any surface containing a (-2)-curve. Then we show that this equivalence gives another counter-example to a conjecture proposed by Kikuta and Takahashi. In a second part, we study the action on cohomology induced by spherical twists composed with standard autoequivalences on a surface S and show that their spectral radii correspond to the topological entropy of the corresponding automorphisms of S., v2: minor correction, published in the Moscow Mathematical Journal

International audience; The aim of this paper is to put a nice analytic structure on the higher-dimensional Teichm\"uller and Riemann spaces, which are only defined as topological spaces. We show that they can be described as Artin analytic stacks of families of complex manifolds, that is admitting a presentation as a groupoid whose objects and morphisms form a finite-dimensional analytic space and whose source and target maps are smooth morphisms. This is achieved under the sole condition that the dimension of the automorphism group of each structure is bounded by a fixed integer. The main point here is the existence of a global (multi)-foliated structure on the space of complex operators whose holonomy data encodes how to glue the local Kuranishi spaces to obtain a groupoid presentation of the Teichm\"uller space.

The interplay of symmetry of algebraic structures in a space and the corresponding topological properties of the space provides interesting insights. This paper proposes the formation of a predicate evaluated P-separation of the subspace of a topological (C, R) space, where the P-separations form countable and finite number of connected components. The Noetherian P-separated subspaces within the respective components admit triangulated planar convexes. The vertices of triangulated planar convexes in the topological (C, R) space are not in the interior of the Noetherian P-separated open subspaces. However, the P-separation points are interior to the respective locally dense planar triangulated convexes. The Noetherian P-separated subspaces are surjectively identified in another topological (C, R) space maintaining the corresponding local homeomorphism. The surjective identification of two triangulated planar convexes generates a quasiloop–quasigroupoid hybrid algebraic variety. However, the prime order of the two surjectively identified triangulated convexes allows the formation of a cyclic group structure in a countable discrete set under bijection. The surjectively identified topological subspace containing the quasiloop–quasigroupoid hybrid admits linear translation operation, where the right-identity element of the quasiloop–quasigroupoid hybrid structure preserves the symmetry of distribution of other elements. Interestingly, the vertices of a triangulated planar convex form the oriented multiplicative group structures. The surjectively identified planar triangulated convexes in a locally homeomorphic subspace maintain path-connection, where the right-identity element of the quasiloop–quasigroupoid hybrid behaves as a point of separation. Surjectively identified topological subspaces admitting multiple triangulated planar convexes preserve an alternative form of topological chained intersection property.

International audience; We list combinatorial criteria of some singularities, which appear in the Minimal Model Program or in the study of (singular) Fano varieties, for spherical varieties. Most of the results of this paper are already known or are quite easy corollary of known results. We collect these results, we precise some proofs and add few results to get a coherent and complete survey.

Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. These two metrics are in general nonequivalent up to bilipschitz homeomorphism. We give a necessary and sufficient condition for a normal surface singularity to be Lipschitz normally embedded (LNE), i.e., to have bilipschitz equivalent outer and inner metrics. In a partner paper [15] we apply it to prove that rational surface singularities are LNE if and only if they are minimal., 30 pages

In this paper, we give a survey of the known results concerning the tensor rank of multiplication in finite extensions of finite fields, enriched with some unpublished recent results, and we analyze these to enhance the qualitative understanding of the research area. In particular, we identify and clarify certain partially proved results and emphasise links with open problems in number theory, algebraic geometry, and coding theory. Bibliography: 92 titles.

Due to the work of many authors in the last decades, given an algebraic orbifold (smooth proper Deligne-Mumford stack with trivial generic stabilizer), one can construct its orbifold Chow ring and orbifold Grothendieck ring, and relate them by the orbifold Chern character map, generalizing the fundamental work of Chen-Ruan on orbifold cohomology. In this paper, we extend this theory naturally to higher Chow groups and higher algebraic K-theory, mainly following the work of Jarvis-Kaufmann-Kimura and Edidin-Jarvis-Kimura., Comment: Final version to appear in Documenta Mathematica

Let $S$ be a normal base scheme. The aim of this paper is to study the line bundles on 1-motives defined over $S$. We first compute a d\'evissage of the Picard group of a 1-motive $M$ according to the weight filtration of $M$. This d\'evissage allows us to associate, to each line bundle $L$ on $M$, a linear morphism $\varphi_{L}: M \rightarrow M^*$ from $M$ to its Cartier dual. This yields a group homomorphism $\Phi : Pic(M) / Pic(S) \to Hom(M,M^*)$. We also prove the Theorem of the Cube for 1-motives, which furnishes another construction of the group homomorphism $\Phi : Pic(M) / Pic(S) \to Hom(M,M^*)$. Finally we prove that these two independent constructions of linear morphisms $M \to M^*$ using line bundles on $M$ coincide. However, the first construction, involving the d\'evissage of $Pic(M)$, is more explicit and geometric and it furnishes the motivic origin of some linear morphisms between 1-motives. The second construction, involving the Theorem of the Cube, is more abstract but perhaps also more enlightening., Comment: 29 pages. To appear in IMRN. Final version, including the remarks of the referee. Modified the numberings of the sections to match the published version

Let $\mathcal{X}$ be a complex projective manifold of dimension $n$ defined over the reals and let $M$ be its real locus. We study the vanishing locus $Z\_{s\_d}$ in $M$ of a random real holomorphic section $s\_d$ of $\mathcal{E} \otimes \mathcal{L}^d$, where $\mathcal{L} \to \mathcal{X}$ is an ample line bundle and $\mathcal{E} \to \mathcal{X}$ is a rank $r$ Hermitian bundle, $r \in \{1,\dots, n\}$. We establish the asymptotic of the variance of the linear statistics associated with $Z\_{s\_d}$, as $d$ goes to infinity. This asymptotic is of order $d^{r-\frac{n}{2}}$. As a special case, we get the asymptotic variance of the volume of $Z\_{s\_d}$. The present paper extends the results of [20], by the first-named author, in essentially two ways. First, our main theorem covers the case of maximal codimension ($r = n$), which was left out in [20]. And second, we show that the leading constant in our asymptotic is positive. This last result is proved by studying the Wiener--It{\=o} expansion of the linear statistics associated with the common zero set in $\mathbb{RP}^n$ of $r$ independent Kostlan--Shub--Smale polynomials., Comment: Final version, published in Indiana Math. Univ. J

In [3] we introduced orbital degeneracy loci as generalizations of degeneracy loci of morphisms between vector bundles. Orbital degeneracy loci can be constructed from any stable subvariety of a representation of an algebraic group. In this paper we show that their canonical bundles can be conveniently controlled in the case where the affine coordinate ring of the subvariety is Gorenstein. We then study in a systematic way the subvarieties obtained as orbit closures in representations with finitely many orbits, and we determine the canonical bundles of the corresponding orbital degeneracy loci in the Gorenstein cases. Applications are given to the construction of low-dimensional varieties with negative or trivial canonical bundle.

Moser's theorem (1965) states that the diffeomorphism group of a compact manifold acts transitively on the space of all smooth positive densities with fixed volume. Here we describe the extension of this result to manifolds with corners. In particular we obtain Moser's theorem on simplices. The proof is based on Banyaga's paper (1974), where Moser's theorem is proven for manifolds with boundary. A cohomological interpretation of Banyaga's operator is given, which allows a proof of Lefschetz duality using differential forms., 9 pages; mistakes corrected, final accepted version

Any germ of a complex analytic space is equipped with two natural metrics: the outer metric induced by the hermitian metric of the ambient space and the inner metric, which is the associated riemannian metric on the germ. A complex analytic germ is said Lipschitz normally embedded (LNE) if its outer and inner metrics are bilipschitz equivalent. LNE seems to be fairly rare among surface singularities; the only known LNE surface germs outside the trivial case (straight cones) are the minimal singularities. In this paper, we show that a superisolated hypersurface singularity is LNE if and only if its projectivized tangent cone has only ordinary singularities. This provides an infinite family of LNE singularities which is radically different from the class of minimal singularities., 17 pages, 8 figures. Minor errors and misprints corrected. Comments are welcome!

We prove that a double covering of P^3 branched along a very general sextic surface is not stably rational., A reference to the paper of Iliev-Katzarkov-Przyjalkowski added, and a small inaccuracy corrected

In this paper we classify mildly singular Fano varieties with maximal Picard number whose effective divisors are numerically eventually free., Comment: A few typos and an issue in Lemma 4.6 are fixed

We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author., Comment: 39 pages, related to arXiv:1708.04942