Mathematics - Algebraic Geometry Publications (50)


Mathematics - Algebraic Geometry Publications

The moduli space $M_g^{trop}$ of tropical curves of genus $g$ is a generalized cone complex that parametrizes metric vertex-weighted graphs of genus $g$. For each such graph $\Gamma$, the associated canonical linear system $\vert K_\Gamma\vert$ has the structure of a polyhedral complex. In this article we propose a tropical analogue of the Hodge bundle on $M_g^{trop}$ and study its basic combinatorial properties. Read More

For a dominant rational self-map on a smooth projective variety defined over a number field, Kawaguchi and Silverman conjectured that the (first) dynamical degree is equal to the arithmetic degree at a rational point whose forward orbit is well-defined and Zariski dense. We prove this conjecture for surjective endomorphisms on smooth projective surfaces. For surjective endomorphisms on any smooth projective varieties, we show the existence of rational points whose arithmetic degrees are equal to the dynamical degree. Read More

We introduce a "workable" notion of degree for non-homogeneous polynomial ideals and formulate and prove ideal theoretic B\'ezout Inequalities for the sum of two ideals in terms of this notion of degree and the degree of generators. We compute probabilistically the degree of an equidimensional ideal. Read More

We establish the vanishing of the third unramified cohomology group for many types of Fano hypersurfaces in projective space over an algebraically closed field of arbitrary characteristic, and over a finite field. For cubic hypersurfaces over a finite field, the case of fourfolds remains open. --- Sur un corps alg\'ebriquement clos et sur un corps fini, on \'etablit de nouveaux r\'esultats d'annulation pour la cohomologie non ramifi\'ee de degr\'e 3 pour de nombreux types d'hypersurfaces de Fano. Read More

This paper proves a combinatorial relationship between two well-studied subvarieties of the flag variety: certain Hessenberg varieties, which are a family of subvarieties of the flag variety that includes Springer fibers, and Schubert varieties, which induce a well-known basis for the cohomology of the flag variety. The main result shows that the Betti numbers of parabolic Hessenberg varieties decompose into a combination of those of Springer fibers and Schubert varieties associated to the parabolic. As a corollary we show that the Betti numbers of some parabolic Hessenberg varieties in Lie type A are equal to those of a specific union of Schubert varieties. Read More

We study K-equivalent birational maps which are resolved by a single blowup. Examples of such maps include standard flops and twisted Mukai flops. We give a criterion for such maps to be a standard flop or a twisted Mukai flop. Read More

The Aluffi algebra is algebraic definition of characteristic cycles of a hypersurface in intersection theory. In this paper we focus on the Aluffi algebra of quasi-homogeneous and locally Eulerian hypersurface with isolated singularities. We prove that the Jacobian ideal of an affine hypersurfac with isolated singularities is of linear type if and only if it is locally Eulerian. Read More

In this note, we shall compute the categorical entropy of an autoequivalence on a generic abelian surface. Read More

Connected components of real algebraic varieties invariant under the $CB_{n}$-Coxeter group are investigated. In particular, we consider their maximal number and their geometric and topological properties. This provides a decomposition for the space of $CB_{n}$-algebraic varieties. Read More

We introduce toric $b$-divisors on complete smooth toric varieties and a notion of integrability of such divisors. We show that under some positivity assumptions toric $b$-divisors are integrable and that their degree is given as the volume of a convex set. Moreover, we show that the dimension of the space of global sections of a nef toric $b$-divisor is equal to the number of lattice points in this convex set and we give a Hilbert--Samuel type formula for its asymptotic growth. Read More

The local multiplicities of the Maxwell sets in the spaces of versal deformations of Pham holomorphic function singularities are calculated. A similar calculation for some other bifurcation sets (generalized Stokes' sets) defined by more complicated relations between the critical values is given. Aplications to the complexity of algorithms enumerating topologically distinct morsifications of complicated real function singularities are discussed. Read More

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that its closure is compact and the metric on the image induced by d is extended to a definable metric on the closure if and only if the limit of d(r(t);r(t)) is 0 as t converges to 0 for any definable continuous curve r from (0, 1] to X (Theorem 1). Read More

The multi-image variety is a subvariety of Gr(1,P^3)^n that models taking pictures with n rational cameras. We compute its cohomology class in the cohomology of Gr(1,P^3)^n, and from there its multidegree as a subvariety of (P^5)^n under the Pl\"ucker embedding. Read More

We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$, assuming $k$ has characteristic 0, and for any elliptic curve $A$ in any characteristic. Read More

A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective 3-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. Read More

In this expository paper we present a proof of the equivalence of the standard definition of descent data on schemes with another one mentioned in the literature that involves certain cartesian diagrams. The case of Galois descent is discussed in detail. Read More

This is an appendix to the recent paper of Favacchio and Guardo. In these notes we describe explicitly a minimal bigraded free resolution and the bigraded Hilbert function of a set of 3 fat points whose support is an almost complete intersection (ACI) in $\mathbb{P}^1\times\mathbb{P}^1.$ This solve the interpolation problem for three points with an ACI support. Read More

We provide an algorithm that computes a set of generators for the integral closureof any ideal $\mathfrak{a} \subseteq \mathbb{C}\{x,y\}$. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of $\mathfrak{a}$. Read More

It is shown that the Orlik-Terao algebra is graded isomorphic to the special fiber of the ideal $I$ generated by the $(n-1)$-fold products of the members of a central arrangement of size $n$. This momentum is carried over to the Rees algebra (blowup) of $I$ and it is shown that this algebra is of fiber-type and Cohen-Macaulay. It follows by a result of Simis-Vasconcelos that the special fiber of $I$ is Cohen-Macaulay, thus giving another proof of a result of Proudfoot-Speyer about the Cohen-Macauleyness of the Orlik-Terao algebra. Read More

The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. Read More

In this note we are going to understand two questions. One is the fiber of the natural map from a projective algebraic group $G$ to $G/\Gamma$, where $\Gamma$ denotes the $\Gamma$-equivalence on $G$. The other one is to define a natural map from Hilbert scheme of the generic fiber of a fibration $X\to S$ to the Chow group of relative zero cycles on $X\to S$ and to understand the fibers of this map. Read More

All Gizatullin surfaces that admit such a $\mathbb{C}^+$-action for which the quotient is a $\mathbb{C}^1$-fibration with a reduced degenerate fibre, have the density property. We also give a description of the identity component of the group of holomorphic automorphisms of these surfaces. Read More

Several kinds of differential relations for polynomial components of almost Belyi maps are presented. Saito's theory of free divisors give particularly interesting (yet conjectural) logarithmic action of vector fields. The differential relations implied by Kitaev's construction of algebraic Painleve VI solutions through pull-back transformations are used to compute almost Belyi maps for the pull-backs giving all genus 0 and 1 Painleve VI solutions in the Lisovyy-Tykhyy classification. Read More

We study threefolds fibred by K3 surfaces admitting a lattice polarization by a certain class of rank 19 lattices. We begin by showing that any family of such K3 surfaces is completely determined by a map from the base of the family to the appropriate K3 moduli space, which we call the generalized functional invariant. Then we show that if the threefold total space is a smooth Calabi-Yau, there are only finitely many possibilities for the polarizing lattice and the form of the generalized functional invariant. Read More

We prove that up to scaling there are only finitely many integral lattices L of signature (2,n) with n>20 or n=17 such that the modular variety defined by the orthogonal group of L is not of general type. In particular, when n>107, every modular variety defined by an arithmetic group for a rational quadratic form of signature (2,n) is of general type. We also obtain similar finiteness in n>8 for the stable orthogonal groups. Read More

We explain an algorithm to calculate Arthur's weighted orbital integral in terms of the number of rational points on the fundamental domain of the associated affine Springer fiber. The strategy is to count the number of rational points of the truncated affine Springer fibers in two ways: by the Arthur-Kottwitz reduction and by the Harder-Narasimhan reduction. A comparison of results obtained from these two approaches gives us recurrence relations between the number of rational points on the fundamental domains of the affine Springer fibers and Arthur's weighted orbital integrals. Read More

We provide a closed formula for the degree of $\text{SO}(n)$ over an algebraically closed field of characteristic zero. In addition, we describe symbolic and numerical techniques which can also be used to compute the degree of $\text{SO}(n)$ for small values of $n$. As an application of our results, we give a formula for the number of critical points of a low-rank semidefinite programming optimization problem. Read More

We prove that every connected affine scheme of positive characteristic is a K(pi, 1) space for the etale topology. The main ingredient is the special case of the affine space over a field k. This is dealt with by induction on n, using a key "Bertini-type"' statement regarding the wild ramification of l-adic local systems on affine spaces, which might be of independent interest. Read More

Given a curve defined over an algebraically closed field which is complete with respect to a nontrivial valuation, we study its tropical Jacobian. This is done by first tropicalizing the curve, and then computing the Jacobian of the resulting weighted metric graph. In general, it is not known how to find the abstract tropicalization of a curve defined by polynomial equations, since an embedded tropicalization may not be faithful, and there is no known algorithm for carrying out semistable reduction in practice. Read More

We study Minkowski sums and Hadamard products of algebraic varieties. Specifically we explore when these are varieties and examine their properties in terms of those of the original varieties. Read More

We formulate a two-parameter generalization of the geometric Langlands correspondence, which we prove for all simply-laced Lie algebras. It identifies the q-conformal blocks of the quantum affine algebra and the deformed W-algebra associated to two Langlands dual Lie algebras. Our proof relies on recent results in quantum K-theory of the Nakajima quiver varieties. Read More

Let $G$ be a smooth connected linear algebraic group over a field $k$, and let $X$ be a $G$-torsor. Totaro asked: if $X$ admits a zero-cycle of degree $d \geq 1$, then does $X$ have a closed \'etale point of degree dividing $d$? We give an affirmative answer for absolutely simple classical adjoint groups of types $A_{1}$ and $A_{2n}$ over fields of characteristic $\neq 2$. Read More

We prove that the Hilbert scheme of 11 points on a smooth threefold is irreducible. In the course of the proof, we present several known and new techniques for producing curves on the Hilbert scheme. Read More

In this paper we show that the derived category of Brauer--Severi curves satisfies the Jordan--H\"older property and cannot have quasi-phantoms, phantoms or universal phantoms. In this way we obtain that quasi-phantoms, phantoms or universal phantoms cannot exist in the derived category of smooth projective curves over a field $k$. Moreover, we show that a $n$-dimensional Brauer--Severi variety is completely characterized by the existence of a full weak exceptional collection of pure vector bundles of length $n+1$, at least in characteristic zero. Read More

Let $K$ be a $p$-adic field and let $X$ be a K3 surface over $K$. Assuming potential semi-stable reduction, we show that the ${\rm Gal}(\overline{K}/K)$-representation on $H^2_{\rm et}(X_{\overline{K}},{\mathbb Q}_p)$ is crystalline if and only if $X$ has good reduction after a finite and unramified extension of $K$. However, $X$ usually does not have good reduction over $K$ in this case, but it admits a model over ${\mathcal O}_K$, whose special fiber ${\cal X}_0$ has canonical singularities. Read More

Recently, the singular support and the characteristic cycle of a constructible sheaf on a smooth variety over an arbitrary perfect field are constructed by Beilinson and Saito, respectively. Saito also defines the characteristic class of a constructible sheaf as the intersection of the characteristic cycle and the zero section of the cotangent bundle. In this paper, based on their theory, we prove a twist formula for the $\varepsilon$-factor of a constructible sheaf on a projective smooth variety over a finite field in terms of characteristic class of the sheaf, This formula was conjectured by Kato and Saito in \cite[Conjecture 4. Read More

In this paper we give detailed construction of $G$-equivariant Kuranishi chart of moduli spaces of pseudo-holomorphic curves to a symplectic manifold with $G$-action, for an arbitrary compact Lie group $G$. The proof is based on the deformation theory of {\it unstable} marked curves using the language of Lie groupoid (which is {\it not} necessary etale) and the Riemannnian center of mass technique. This proof is actually similar to [FOn,Sections 13 and 15] except the usage of the language of Lie groupoid makes the argument more transparent. Read More

In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface. Read More

We develop interval pattern avoidance and Mars-Springer ideals to study singularities of symmetric orbit closures in a flag variety. This paper focuses on the case of the Levi subgroup GL_p x GL_q acting on the classical flag variety. We prove that all reasonable singularity properties can be classified in terms of interval patterns of clans. Read More

We prove a conjecture of Kurdyka stating that every arc-symmetric semialgebraic set is precisely the zero locus of an arc-analytic semialgebraic function. This implies, in particular, that arc-symmetric semialgebraic sets are in one-to-one correspondence with radical ideals of the ring of arc-analytic semialgebraic functions. Read More

This article is concerned with the asymptotic behavior of certain sequences of ideals in rings of prime characteristic. These sequences, which we call $p$-families of ideals, are ubiquitous in prime characteristic commutative algebra (e.g. Read More

We introduce the notion of the relative singular locus Sing$(T/S)$ of a closed subscheme $T$ of a Noetherian scheme $S$, and for a separated Noetherian scheme $X$ with an ample family of line bundles and a non-zero-divisor $W\in\Gamma(X,L)$ of a line bundle $L$ on $X$, we classify certain thick subcategories of the derived matrix factorization category DMF$(X,L,W)$ by means of specialization-closed subsets of the relative singular locus Sing$(X_0/X)$ of the zero scheme $X_0:=W^{-1}(0)\subset X$. Furthermore, we show that the spectrum of the tensor triangulated category (DMF$(X,L,W)$, $\otimes^{\frac{1}{2}}$) is homeomorphic to the relative singular locus Sing$(X_0/X)$ by using the classification result and the theory of Balmer's tensor triangular geometry. Read More

We prove that the Hilbert scheme of points on a normal quasi-projective surface with at worst rational double point singularities is irreducible. Read More

We discuss the classical problem of counting planes tangent to general canonical sextic curves at three points. We determine the number of real tritangents when such a curve is real. We then revisit a curve constructed by Emch with the greatest known number of real tritangents, and conversely construct a curve with very few real tritangents. Read More

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of valued root groups, thanks to Bruhat-Tits theory. In this context, it becomes possible to compute explicitly a minimal generating set of the (all conjugated) maximal pro-p-subgroups thanks to parametrizations of a suitable maximal torus and of corresponding root groups. Read More

Let $\mathbb{K}$ be the algebraic closure of a finite field $\mathbb{F}_q$ of odd characteristic $p$. For a positive integer $m$ prime to $p$, let $F=\mathbb{K}(x,y)$ be the transcendency degree $1$ function field defined by $y^q+y=x^m+x^{-m}$. Let $t=x^{m(q-1)}$ and $H=\mathbb{K}(t)$. Read More

In this paper, we are interested in the decomposition of the tensor product of two representations of a symmetrizable Kac-Moody Lie algebra $\mathfrak g$. Let $P\_+$ be the set of dominant integral weights. For $\lambda\in P\_+$ , $L(\lambda)$ denotes the irreducible, integrable, highest weight representation of g with highest weight $\lambda$. Read More

The \emph{Orbit Problem} consists of determining, given a linear transformation $A$ on $\mathbb{Q}^d$, together with vectors $x$ and $y$, whether the orbit of $x$ under repeated applications of $A$ can ever reach $y$. This problem was famously shown to be decidable by Kannan and Lipton in the 1980s. In this paper, we are concerned with the problem of synthesising suitable \emph{invariants} $\mathcal{P} \subseteq \mathbb{R}^d$, \emph{i. Read More

We generalize the Fujita--Zucker--Kawamata semipositivity theorem from the analytic viewpoint. Read More

We study the conductor of Picard curves over $\mathbb{Q}$, which is a product of local factors. Our results are based on previous results on stable reduction of superelliptic curves that allow to compute the conductor exponent $f_p$ at the primes $p$ of bad reduction. A careful analysis of the possibilities of the stable reduction at $p$ yields restrictions on the conductor exponent $f_p$. Read More