Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.
Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Eule…
In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the local Euler obstructions of quadratic hypersurfaces and ordinary determinantal varieties to illustrate our method.
This work has two complementary parts, in the first part we compute the local Euler obstruction of generic determinantal varieties and apply this result to compute the Chern--Schwartz--MacPherson class of such varieties. In the second part we compute the Euler characteristic of the stabilization of an essentially isolated determinantal singularity (EIDS). The formula is given in terms of the local Euler obstruction and Gaffney's $m_{d}$ multiplicity.
We continue our study on smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying $χ(X, ω_X)=0$. We formulate a conjectural characterization of such varieties and prove this conjecture when the Albanese variety has only three simple factors.
Let $\mathbb{G}_a$ be the additive group of the field of complex numbers $\mathbb{C}$. We say that an irreducible algebraic variety $X$ of dimension $n$ admits an additive action if there is a regular action of the group $\mathbb{G}_a^n = \mathbb{G}_a \times \ldots \times \mathbb{G}_a$ ($n$ times) on $X$ with an open orbit. In 2017 Baohua Fu and Jun-Muk Hwang introduced a class of Euler-symmetric varieties. They gave a classification of Euler-symmetric varieties and proved that any Euler-symmetric variety admits an additive action. In this paper we show that in the case of projective toric var…
We give explicit formulas for the dimensions and the degrees of $A$-discriminant varieties introduced by Gelfand-Kapranov-Zelevinsky. Our formulas can be applied also to the case where the $A$-discriminant varieties are higher-codimensional and their degrees are described by the geometry of the configurations $A$. Moreover combinatorial formulas for the Euler obstructions of general (not necessarily normal) toric varieties will be also given.
A conjecture of J. Huh and B. Sturmfels predicts that the sign of the Euler characteristic of a complex very affine variety depends only on the parity of the dimension. The conjecture is true for locally complete intersections. Beyond this case, we construct counterexamples with arbitrarily bad failure.
The notion of the orbifold Euler characteristic came from physics at the end of 80's. There were defined higher order versions of the orbifold Euler characteristic and generalized ("motivic") versions of them. In a previous paper the authors defined a notion of the Grothendieck ring $K_0^{\rm fGr}(Var)$ of varieties with actions of finite groups on which the orbifold Euler characteristic and its higher order versions are homomorphisms to the ring of integers. Here we define the generalized orbifold Euler characteristic and higher order versions of it as ring homomorphisms from $K_0^{\rm fGr}(V…
Let X be a complete toric variety and let Y be a smooth projective variety with Picard number one. We prove that, if there exists a surjective morphism from X to Y, then Y is a projective space.
We use Matsui and Takeuchi's formula for toric A-discriminants to give algorithms for computing local Euler obstructions and dual degrees of toric surfaces and 3-folds. In particular, we consider weighted projective spaces. As an application we give counterexamples to a conjecture by Matsui and Takeuchi. As another application we recover the well-known fact that the only defective normal toric surfaces are cones.
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's theorem.
We study smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying with vanishing holomorphic Euler characteristic. We prove that the Albanese variety of $X$ has at least three simple factors. Examples were constructed by Ein and Lazarsfeld, and we prove that in dimension 3, these examples are (up to abelian étale covers) the only ones. By results of Ueno, another source of examples is provided by varieties $X$ of maximal Albanese dimension and of general type with $p_g(X)=1$. Examples were constructed by Chen and Hacon, and again, we prove that in di…
In this note we studied the primitive varieties of general type with $q(X) = dim(X)$ and non-birational bicanonical maps. Let $X$ be such a variety. We bounded the degree of its bicanonical map. If moreover the Albanese variety $Alb(X)$ is simple, we proved that the Euler number $χ(ω_X) = 1$, and $|2K_X|$ separates the points mapped to the same general point via the Albanese map.
It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, el…
We present an algorithm for the symbolic and numerical computation of the degrees of the Chern-Schwartz-MacPherson classes of a closed subvariety of projective space P^n. As the degree of the top Chern-Schwartz-MacPherson class is the topological Euler characteristic, this also yields a method to compute the topological Euler characteristic of projective varieties. The method is based on Aluffi's symbolic algorithm to compute degrees of Chern-Schwartz-MacPherson classes, a symbolic method to compute degrees of Segre classes, and the regenerative cascade by Hauenstein, Sommese and Wampler. The …
The goal of this note is to explain a derivation of the formulas for the local Euler obstructions of determinantal varieties of general, symmetric and skew-symmetric matrices, by studying the invariant de Rham complex and using character formulas for simple equivariant $D$-modules. These calculations are then combined with standard arguments involving Kashiwara's local index formula and the description of characteristic cycles of simple equivariant $D$-modules. The formulas are implicit in the work of Boe and Fu, and in the case of general matrices they have also been obtained recently by Gaff…
It is well-known that the Eulerian polynomials, which count permutations in $S_n$ by their number of descents, give the $h$-polynomial/$h$-vector of the simple polytopes known as permutohedra, the convex hull of the $S_n$-orbit for a generic weight in the weight lattice of $S_n$. Therefore the Eulerian polynomials give the Betti numbers for certain smooth toric varieties associated with the permutohedra. In this paper we derive recurrences for the $h$-vectors of a family of polytopes generalizing this. The simple polytopes we consider arise as the orbit of a non-generic weight, namely a weight…
We define a Grothendieck ring of varieties with finite groups actions and show that the orbifold Euler characteristic and the Euler characteristics of higher orders can be defined as homomorphisms from this ring to the ring of integers. We describe two natural $λ$-structures on the ring and the corresponding power structures over it and show that one of these power structures is effective. We define a Grothendieck ring of varieties with equivariant vector bundles and show that the generalized ("motivic") Euler characteristics of higher orders can be defined as homomorphisms from this ring to t…
A theorem due to D. Bernstein states that Euler characteristic of a hypersurface defined by a polynomial f in (C\{0})^n is equal (upto a sign) to n! times volume of the Newton polyhedron of f. This result is related to algebaric torus actions and toric varieties. In this thesis, I prove that one can generalize the above result to actions of reductive groups with spherical orbits. That is, if a reductive group acts linearly on a vector space such that generic orbits are spherical, one can compute the Euler characteristic of generic hyperplane sections of a generic orbit in terms of combinatoria…
Several authors have proved Lefschetz type formulae for the local Euler obstruction. In particular, a result of this type is proved in [BLS].The formula proved in that paper turns out to be equivalent to saying that the local Euler obstruction, as a constructible function, satisfies the local Euler condition (in bivariant theory) with respect to general linear forms. The purpose of this work is to understand what prevents the local Euler obstruction of satisfying the local Euler condition with respect to functions which are singular at the considered point. This is measured by an invariant (or…
We are interested in stringy invariants of singular projective algebraic varieties satisfying a strict monotonicity with respect to elementary birational modifications in the Mori program. We conjecture that the algebraic stringy Euler number is one of such invariants. In the present paper, we prove this conjecture for varieties having an action of a connected algebraic group G and admitting equivariant desingularizations with only finitely many G-orbits. In particular, we prove our conjecture for arbitrary projective spherical varieties.
This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae comparing these two kinds of Euler characteristics. The main results are direct consequences of the calculus of constructible functions and Grothendieck groups of constructible sheaves. Similar formulae for Hodge theoretic invariants of algebraic varieties under morphisms were announced by the first and third authors in \cite{CS1, S}.
Let X be a smooth proper variety over the quotient field of a Henselian discrete valuation ring with algebraically closed residue field of characteristic p. We show that for any coherent sheaf E on X, the index of X divides the Euler-Poincaré characteristic χ(X,E) if p=0 or p>dim(X)+1. If 0<p\leq dim(X)+1, the prime-to-p part of the index of X divides χ(X,E). Combining this with the Hattori-Stong theorem yields an analogous result concerning the divisibility of the cobordism class of X by the index of X. As a corollary, rationally connected varieties over the maximal unramified extension of a …
We apply the Yau-Zaslow-Beauville method to compute the Euler characteristic of the generalized Kummer varieties attached to a complex abelian surface (a calculation also done by Goettsche and Soergel by different methods). It is related to the number of genus 2 curves on an abelian surface.
We show how to calculate the Euler characteristic of a local system associated to an irreducible representation of the symplectic group of genus 3 on the moduli space of curves of genus 3 and the moduli space of principally polarized abelian varieties of dimension 3.
A motivic height zeta function associated to a family of varieties parametrised by a curve is the generating series of the classes, in the Grothendieck ring of varieties, of moduli spaces of sections of this family with varying degrees. This text is devoted to the study of the motivic height zeta function associated to a family of varieties with generic fiber having the structure of an equivariant compactification of a vector group. Our main theorem describes the convergence of this motivic height zeta function with respect to a topology on the Grothendieck ring of varieties coming from the th…
There is a mysterious connection between the multiple polylogarithms at N-th roots of unity and modular varieties. In this paper we "explain" it in the simplest case of the double logarithm. We introduce an Euler complex data on modular curves. It includes a length two complex on every modular curve. Their second cohomology groups recover the Beilinson-Kato Euler system in K_2 of modular curves. We show that the above connection in the double logarithm case is provided by the specialization at a cusp of the Euler complex data on the modular curve Y_1(N). Furthermore, specializing the Euler com…
We prove that the sheaf Euler characteristic of the product of a Schubert class and an opposite Schubert class in the quantum $K$-theory ring of a (generalized) flag variety $G/P$ is equal to $q^d$, where $d$ is the smallest degree of a rational curve joining the two Schubert varieties. This implies that the sum of the structure constants of any product of Schubert classes is equal to 1. Along the way, we provide a description of the smallest degree $d$ in terms of its projections to flag varieties defined by maximal parabolic subgroups.
The Euler characteristic of all the Chow varieties, of a fixed projective variety, can be collected in a formal power series called the Euler-Chow series. This series coincides with the Hilbert series when the Picard group is a finite generated free abelian group. It is an interesting open problem to find for which varieties this series is rational. A few cases have been computed, and it is suspected that the series is not rational for the blow up of P^2 at nine points in general position. It is very natural to extend this series to Chow motives and ask the question if the series is rational o…
For $m\geq n$, Let $K$ be an algebraic closed base field, and define $τ_{m,n,k}$ to be the set of $m\times n$ matrices over $K$ with kernel dimension $\geq k$. This is a projective subvariety of $\mathbb{P}^{mn-1}$, and is usually called determinantal variety. In most cases $τ_{m,n,k}$ is singular with singular locus $τ_{m,n,k+1}$. In this paper we compute the local Euler obstruction of $τ_{m,n,k}$, and we prove that the characteristic cycle of the intersection cohomology complex of $τ_{m,n,k}$ is irreducible. We also give an explicit formula for the Chern-Mather class of $τ_{m,n,k}$ as a clas…
We study Grothedieck groups of triangulated categories using weight structures, weight complexes, and the corresponding pure (co)homological functors. We prove some general statements on $K_0$ of weighted categories and apply it to Voevodsky motives endowed with so-called Chow weight structures. We obtain certain "motivic substitutes" for smooth compactifications of smooth varieties over arbitrary perfect fields; this enables us to make certain unramified cohomology and Euler characteristic calculations that are closely related to results of T. Ekedahl and B. Kahn.
We prove an enumerative formula for the algebraic Euler characteristic of Brill-Noether varieties, parametrizing degree d and rank r linear series on a general genus g curve, with ramification profiles specified at up to two general points. Up to sign, this Euler characteristic is the number of standard set-valued tableaux of a certain skew shape with g labels. We use a flat degeneration via the Eisenbud-Harris theory of limit linear series, relying on moduli-theoretic advances of Osserman and Murray-Osserman; the count of set-valued tableaux is an explicit enumeration of strata of this degene…
Compactly supported $\mathbb{A}^1$-Euler characteristics of symmetric powers of cellular varieties
University of Bristol（布里斯托大学）；Heilbronn Institute for Mathematical Research（希尔布龙数学研究所）；Universität Duisburg-Essen（杜伊斯堡-埃森大学）；Leibniz Universität Hannover（汉诺威莱布尼茨大学）
This note proves the existence of universal rational parametrizations. The description involves homogeneous coordinates on a toric variety coming from a lattice polytope. We first describe how smooth toric varieties lead to universal rational parametrizations of certain projective varieties. We give numerous examples and then discuss what happens in the singular case. We also describe rational maps to smooth toric varieties.
Let $V$ be a possibly singular scheme-theoretic complete intersection subscheme of $\mathbb{P}^n$ over an algebraically closed field of characteristic zero. Using a recent result of Fullwood ("On Milnor classes via invariants of singular subschemes", Journal of Singularities) we develop an algorithm to compute the Chern-Schwartz-MacPherson class and Euler characteristic of $V$. This algorithm complements existing algorithms by providing performance improvements in the computation of the Chern-Schwartz-MacPherson class and Euler characteristic for certain types of complete intersection subschem…
Given a projective algebraic variety $X$, let $Π_p(X)$ denote the monoid of effective algebraic equivalence classes of effective algebraic cycles on $X$. The $p$-th Euler-Chow series of $X$ is an element in the formal monoid-ring $Z[[Π_p(X)]]$ defined in terms of Euler characteristics of the Chow varieties $\cvpd{p}α{X}$ of $X$, with $α\inΠ_p(X)$. We provide a systematic treatment of such series, and give projective bundle formulas which generalize previous results by B. Lawson and S.S.Yau and Elizondo. The techniques used involve the Chow quotients introduced by Kapranov, and this allows the …
We prove the structure theorem of the intersection complexes of toric varieties in the category of mixed Hodge modules. This theorem is due to Bernstein, Khovanskii and MacPherson for the underlying complexes with rational coefficients. As a corollary the Euler characteristic Hodge numbers of non-degenerate toric hypersurface can be determined by the Euler characteristic subtotal Hodge numbers together with combinatorial data of Newton polyhedra. This is used implicitly in an explicit formula by Batyrev--Borisov. Note that a formula for the Euler characteristic subtotal Hodge numbers in terms …
We prove the irreducibility of universal Severi varieties parametrizing irreducible, reduced, nodal hyperplane sections of primitive K3 surfaces of genus g, with 3 \le g \le 11, g \neq 10.
We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, étale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.
We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic 1. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of maximal Albanese dimension varieties X with holomorphic Euler characteristic 1 and irregularity 2dim X-1.
We compute the Picard group of the universal abelian variety over the moduli stack $\mathscr A_{g,n}$ of principally polarized abelian varieties over $\mathbb{C}$ with a symplectic principal level $n$-structure. We then prove that over $\mathbb{C}$ the statement of the Franchetta conjecture holds in a suitable form for $\mathscr A_{g,n}$.
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
Following Skorobogatov and Serganova we construct the embeddings of universal torsors over del Pezzo surfaces in the cones over flag varieties, considered as the closed orbits in the projectivization of quasiminiscule representations. We give the approach that allows us to construct the embeddings of universal torsors over del Pezzo surfaces of the degree one. This approach uses the Mumford stability and slightly differs from the approach of the authors named above.
We prove an analogue of the Riemann-Hurwitz theorem for computing Euler characteristics of pullbacks of coherent sheaves through finite maps of smooth projective varieties, subject only to the condition that the irreducible components of the branch and ramification locus have simple normal crossings.
This article contains a new argument which proves vanishing of the first cohomology for negative vector bundles over a complex projective variety if the rank of the bundle is smaller than the dimension of the base. Similar argument is applied to the construction of holomorphic functions on the universal covering of the complex projective variety .
The aim of this note is to use elementary methods to give a large class of examples of projective varieties $ Y \subseteq \mathbb{P}^d_k$ over a field $k$ with the property that $Y$ is not isomorphic to a hypersurface $H\subseteq \mathbb{P}^N_k$ in projective space $\mathbb{P}^N_k$ with $N:=dim(Y)+1$. We apply this construction to the study of the arithmetic genus $p_a(Y)$ of $Y$ and the problem of determining if $p_a(Y)$ is a birational invariant of $Y$ in general. We give an infinite number of examples of pairs of projective varieties $(Y, Y')$ in any dimension $dim(Y)=dim(Y')\geq 4$ where $…
