Mathematics - Algebraic Geometry Publications (50)


Mathematics - Algebraic Geometry Publications

A semigroup prime of a commutative ring $R$ is a prime ideal of the semigroup $(R,\cdot)$. One of the purposes of this paper is to study, from a topological point of view, the space $\scal(R)$ of prime semigroups of $R$. We show that, under a natural topology introduced by B. Read More

We introduce and study a new way to catagorize supersingular abelian varieties defined over a finite field by classifying them as fully maximal, mixed, or fully minimal. The type of $A$ depends on the normalized Weil numbers of $A$ and its twists over its minimal field of definition. We analyze these types for supersingular abelian varieties and curves under conditions on the automorphism group. Read More

In this paper we construct explicit smooth solutions to the Strominger system on generalized Calabi-Gray manifolds, which are compact non-K\"ahler Calabi-Yau 3-folds with infinitely many distinct topological types and sets of Hodge numbers. Read More

This is a survey article on Newton-Okounkov bodies in projective geometry focusing on the relationship between positivity of divisors and Newton-Okounkov bodies. Read More

This paper is concerned with the description of the moduli space of semistable $G$-bundles on an elliptic curve for a reductive group $G$. We show that it can be described in terms of line bundles on the elliptic curve and a certain relative Weyl group. This generalizes the method of Laszlo \cite{Lasz} and recovers the (global) description of the moduli space due to Friedman, Morgan, Witten \cite{FM-I, FMW1}. Read More

We investigate Grothendieck rings appearing in real geometry, notably for arc-symmetric sets, and focus on the relative case in analogy with the properties of the ring of algebraically constructible functions defined by McCrory and Parusinski. We study in particular the duality and link operators, including its behaviour with respect to motivic Milnor fibres with signs. Read More

We determine the image of the (strongly) parabolic Hitchin map for all parabolics in classical groups and $G_2$. Surprisingly, we find that the image is isomorphic to an affine space in all cases, except for certain "bad parabolics" in type $D$, where the image can be singular. Read More

The number of Borel orbits in polarizations (the symmetric variety $SL(n)/S(GL(p)\times GL(q))$) is analyzed, various (bivariate) generating functions are found. Relations to lattice path combinatorics are explored. Read More

A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and fix an endomorphism $A(x) \in \text{End}(E_x)$ for every $x \in S$. It is natural to ask when there is a logarithmic connection on $E$ singular over $S$ with residue $A(x)$ at every $x \in S$. Read More

We lift the classical Hasse--Weil zeta function of varieties over a finite field to a map of spectra with domain the Grothendieck spectrum of varieties constructed by Campbell and Zakharevich. We use this map to prove that the Grothendieck spectrum of varieties contains nontrivial geometric information in its higher homotopy groups by showing that the map $\mathbb{S} \to K(Var_k)$ induced by the inclusion of $0$-dimensional varieties is not surjective on $\pi_1$ for a wide range of fields $k$. The methods used in this paper should generalize to lifting other motivic measures to maps of $K$-theory spectra. Read More

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. Read More

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\'e par les droites. Read More

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. Read More

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. Read More

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. Read More

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. Read More

We give a moment map interpretation of some relatively balanced metrics. As an application, we extend a result of S. K. Read More

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. Read More

We investigate the number of Galois Weierstrass points whose Weierstrass semigroups are generated by two positive integers. Read More

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. Read More

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. Read More

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. Read More

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. Read More

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. Read More

For the polynomial ring over an arbitrary field with twelve variables, there exists a prime ideal whose symbolic Rees algebra is not finitely generated. Read More

Higher rank Brill-Noether theory for genus 6 is especially interesting as, even in the general case, some unexpected phenomena arise which are absent in lower genus. Moreover, it is the first case for which there exist curves of Clifford dimension greater than 1 (smooth plane quintics). In all cases, we obtain new upper bounds for non-emptiness of Brill-Noether loci and construct many examples which approach these upper bounds more closely than those that are well known. Read More

In 2014, Pila and Tsimerman gave a proof of the Ax-Schanuel conjecture for the $j$-function and, with Mok, have recently announced a proof of its generalization to any (pure) Shimura variety. We refer to this generalization as the hyperbolic Ax-Schanuel conjecture. In this article, we seek to generalize the ideas of Habegger and Pila to show that, under a number of arithmetic hypotheses, the hyperbolic Ax-Schanuel conjecture can faciltate an extension of the Pila-Zannier strategy to the Zilber-Pink conjecture for Shimura varieties. Read More

We consider the question of how geometric structures of a Deligne-Mumford stack affect its Gromov-Witten invariants. The two geometric structures studied here are {\em gerbes} and {\em root constructions}. In both cases, we explain conjectures on Gromov-Witten theory for these stacks and survey some recent progress on these conjectures. Read More

We introduce and classify the objects that appear in the title of the paper Read More

Recent important and powerful frameworks for the study of differential forms by Huber-Joerder and Huber-Kebekus-Kelly based on Voevodsky's h-topology have greatly simplified and unified many approaches. This article builds towards the goal of putting Illusie's de Rham-Witt complex in the same framework by exploring the h-sheafification of the rational de Rham-Witt differentials. Assuming resolution of singularities in positive characteristic one recovers a complete cohomological h-descent for all terms of the complex. Read More

The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. Read More

We studied an enhanced adjoint action of the general linear group on a product of its Lie algebra and a vector space consisting of several copies of defining representations and its duals. We determined regular semisimple orbits (i.e. Read More

Let $G:=\widehat{SL_2}$ denote the affine Kac-Moody group associated to $SL_2$ and $\bar{\mathcal{X}}$ the associated affine Grassmanian. We determine an inductive formula for the Schubert basis structure constants in the torus-equivariant Grothendieck group of $\bar{\mathcal{X}}$. In the case of ordinary (non-equivariant) $K$-theory we find an explicit closed form for the structure constants. Read More

Let Bun_G be the moduli space of G-bundles on a smooth complex projective curve. Motivated by a study of boundary conditions in mirror symmetry, D. Gaiotto associated to any symplectic representation of G a Lagrangian subvariety of the cotangent bundle of Bun_G. Read More

In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the boundedness of the number of the blow-ups to obtain a prime divisor which computes the Mather-Jacobian minimal log discrepancy. Read More

We complete the classification of maximal representations of uniform complex hyperbolic lattices in Hermitian Lie groups by dealing with the exceptional groups ${\rm E}_6$ and ${\rm E}_7$. We prove that if $\rho$ is a maximal representation of a uniform complex hyperbolic lattice $\Gamma\subset{\rm SU}(1,n)$, $n>1$, in an exceptional Hermitian group $G$, then $n=2$ and $G={\rm E}_6$, and we describe completely the representation $\rho$. The case of classical Hermitian target groups was treated by Vincent Koziarz and the second named author (arxiv:1506. Read More

Let $X$ be a quasi-affine algebraic variety isomorphic either to $\SL_n$ or to the complement of a closed subvariety of dimension at most $n-3$ in $\C^n$. We find some conditions under which an isomorphism of two closed subvarieties of $X$ can be extended to an automorphism of $X$. Read More

We classify Enriques surfaces with smooth K3 cover and finite automorphism group in arbitrary positive characteristic. The classification is the same as over the complex numbers except that some types are missing in small characteristics. Moreover, we give a complete description of the moduli of these surfaces. Read More

In this note, we reveal that our solution of Demailly's strong openness conjecture implies a matrix version of the conjecture; our solutions of two conjectures of Demailly-Koll\'{a}r and Jonsson-Mustat\u{a} implies the truth of twisted versions of the strong openness conjecture; our optimal $L^{2}$ extension implies Berndtsson's positivity of vector bundles associated to holomorphic fibrations over a unit disc. Read More

A complex projective manifold is rationally connected if every finite subset is connected by a rational curve. For a "rationally simply connected" manifold, the spaces parameterizing these connecting rational curves are themselves rationally connected. We prove that a projective scheme over a global function field with vanishing "elementary obstruction" has a rational point if it deforms to a rationally simply connected variety in characteristic 0. Read More

An irreducible smooth projective curve over $\mathbb{F}\_q$ is called \textit{pointless} if it has no $\mathbb{F}\_q$-rational points. In this paper we study the lower existence bound on the genus of such a curve over a fixed finite field $\mathbb{F}\_q$. Using some explicit constructions of hyperelliptic curves, we establish two new bounds that depend linearly on the number $q$. Read More

Algebraic geometry has many connections with physics: string theory, enumerative geometry, and mirror symmetry, among others. In particular, within the topological study of algebraic varieties physicists focus on aspects involving symmetry and non-commutativity. In this paper, we study a family of classical algebraic curves, the hypocycloids, which have links to physics via the bifurcation theory. Read More

We prove a version of weakly functorial big Cohen-Macaulay algebras that suffices to establish Hochster-Huneke's vanishing conjecture for maps of Tor in mixed characteristic. As a corollary, we prove an analog of Boutot's theorem that direct summands of regular rings are pseudo-rational in mixed characteristic. Our proof uses perfectoid spaces and is inspired by the recent breakthroughs on the direct summand conjecture by Andr\'{e} and Bhatt. Read More

In the paper \cite{Lau16}, it was shown that the restriction of a pseudoeffective divisor $D$ to a subvariety $Y$ with nef normal bundle is pseudoeffective. Assuming the normal bundle is ample and that $D|_Y$ is not big, we prove that the numerical dimension of $D$ is bounded above by that of its restriction, i.e. Read More

Let X(F, G) be the G-character variety of F where G is a rank 1 complex affine algebraic group and F is a finitely presentable discrete group. We describe an algorithm, which we implement in "Mathematica," that takes a finite presentation for F and produces a finite presentation of the coordinate ring of X(F,G). The main results in this paper are not new, although we hope that as a well-referenced exposition with a companion computer program, it will be useful. Read More

This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is used in analysis of functions of one variable, definable in the language of Denef--Pas, to obtain a theorem on existence of the limit, proven over rank one valued fields in one of our recent papers. Read More

The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete mapping polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by I\c s\i k, Topuzo\u glu and Winterhof in terms of the Carlitz rank of $f$. Cohen, Mullen and Shiue generalized the Chowla-Zassenhaus-Cohen Theorem significantly in 1995, by considering differences of permutation polynomials. Read More

These lectures discuss recent advances on syzygies on algebraic curves, especially concerning the Green, the Prym-Green and the Green-Lazarsfeld Secant Conjectures. The methods used are largely geometric and variational, with a special emphasis on examples and explicit calculations. The notes are based on series of lectures given in Daejeon (March 2013), Rome (November-December 2015) and Guanajuato (February 2016). Read More

Let X be a closed symplectic manifold equipped a Lagrangian torus fibration. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space, which can be considered as a variant of the T-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of X embeds fully faithfully in the derived category of coherent sheaves on the rigid analytic dual, under the technical assumption that the second homotopy group of X vanishes (all known examples satisfy this assumption). Read More

Let $p$ be a prime and let $K$ be a finite extension of $\mathbb{Q}_p$. Let $E/K$ be an elliptic curve with additive reduction. In this paper, we study the topological group structure of the set of points of good reduction of $E(K)$. Read More