The Euler number of a $C^*$-invariant subvariety in $P^n$

Wenchuan Hu

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

2017-10-20

Algebraic Geometry

Abstract:In this note we show that the Euler number of a projective variety $C^*$-equivariantly embedded into a projective space $P^n$ is bounded by $n+1$, as conjectured by Carrell and Sommese.

What problem does this paper attempt to address?

The ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs

Michael Borinsky,Jos Vermaseren

2024-09-30

Abstract:We prove a formula for the ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs $\mathcal{MG}_{g,n}$. Moreover, we prove that the rational ${\mathbb S}_n$-invariant cohomology of $\mathcal{MG}_{g,n}$ stabilizes for large $n$. That means, if $n \geq g \geq 2$, then there are isomorphisms $H^k(\mathcal{MG}_{g,n};\mathbb{Q})^{{\mathbb S}_n} \rightarrow H^k(\mathcal{MG}_{g,n+1};\mathbb{Q})^{{\mathbb S}_{n+1}}$ for all $k$.

Algebraic Topology,High Energy Physics - Theory,Mathematical Physics,Group Theory
Higher Euler characteristics

Niranjan Ramachandran

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

2015-09-17

Abstract:We provide a natural interpretation of the secondary Euler characteristic and introduce higher Euler characteristics. For a compact oriented manifold of odd dimension, the secondary Euler characteristic recovers the Kervaire semi-characteristic. We prove basic properties of the higher invariants and illustrate their use. We also introduce motivic variants.

K-Theory and Homology,Algebraic Geometry
A Variety of Euler's Conjecture

Tianxin Cai,Yong Zhang

2013-01-01

Abstract:We consider a variety of Euler's conjecture, i.e., whether the Diophantine system n=a_1+a_2+⋯+a_s-1, a_1a_2⋯ a_s-1(a_1+a_2+⋯+a_s-1)=b^s has solutions n,b,a_i∈ℤ^+,i=1,2,…,s-1,s≥ 3. By using the theory of elliptic curves, we prove that it has no solutions n,b,a_i∈ℤ^+ for s=3, but for s=4 it has infinitely many solutions n,b,a_i∈ℤ^+ and for s≥ 5 there are infinitely many polynomial solutions n,b,a_i∈ℤ[t_1,t_2,…,t_s-3] with positive value satisfying this Diophantine system.
Equivariant enumerative geometry

Thomas Brazelton

2024-07-08

Abstract:We formulate an equivariant conservation of number, which proves that a generalized Euler number of a complex equivariant vector bundle can be computed as a sum of local indices of an arbitrary section. This involves an expansion of the Pontryagin--Thom transfer in the equivariant setting. We leverage this result to commence a study of enumerative geometry in the presence of a group action. As an illustration of the power of this machinery, we prove that any smooth complex cubic surface defined by a symmetric polynomial has 27 lines whose orbit types under the $S_4$-action on $\mathbb{C}P^3$ are given by $[S_4/C_2]+[S_4/C_2'] + [S_4/D_8]$, where $C_2$ and $C_2'$ denote two non-conjugate cyclic subgroups of order two. As a consequence we demonstrate that a real symmetric cubic surface can only contain 3 or 27 real lines.

Algebraic Topology,Algebraic Geometry
Characterization of projective spaces by Seshadri constants

Yuchen Liu,Ziquan Zhuang

DOI: https://doi.org/10.1007/s00209-017-1941-9

2017-07-11

Abstract:We prove that an $n$-dimensional complex projective variety is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$. We also classify complex projective varieties with Seshadri constants equal to $n$.

Algebraic Geometry
Perverse sheaves on varieties with large fundamental groups

Donu Arapura,Botong Wang

2023-09-26

Abstract:We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map.

Algebraic Geometry,Differential Geometry
Euler-symmetric complete intersection in projective space

Zhijun Luo

DOI: https://doi.org/10.1016/j.jalgebra.2023.02.026

2022-08-19

Abstract:Euler-symmetric projective varieties, introduced by Baohua Fu and Jun-Muk Hwang in 2020, are nondegenerate projective varieties admitting many $\mathbb{C}^{\times}$-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. In this paper, we study complete intersections in projective spaces which are Euler-symmetric. It is proven that such varieties are complete intersections of hyperquadrics and the base locus of the second fundamental form at a general point is again a complete intersection.

Algebraic Geometry
Euclidean distance degree of projective varieties

Laurentiu G. Maxim,Jose Israel Rodriguez,Botong Wang

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

2019-01-29

Abstract:We give a positive answer to a conjecture of Aluffi-Harris on the computation of the Euclidean distance degree of a possibly singular projective variety in terms of the local Euler obstruction function.

Algebraic Geometry,Algebraic Topology
The signed Euler characteristic of very affine varieties

Nero Budur,Botong Wang

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

2014-06-11

Abstract: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.

Algebraic Geometry
Equidistribution of varieties for endomorphisms of projective spaces

Tien-Cuong Dinh,Nessim Sibony

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

2011-09-12

Abstract:Let f be a non-invertible holomorphic endomorphism of the complex projective space P^k and f^n its iterate of order n. Let V be an algebraic subvariety of P^k which is generic in the Zariski sense. We give here a survey on the asymptotic equidistribution of the sequence $f^{-n}(V)$ when n goes to infinity.

Dynamical Systems,Complex Variables
On Euler number of symplectic hyperbolic manifold

Teng Huang

2023-12-05

Abstract:In this article, we introduce a class of closed $2n$-dimensional almost Kähler manifold $X$ which called the special symplectic hyperbolic manifold. Those manifolds include Kähler hyperbolic manifolds. We study the spaces of $L^{2}$-harmonic forms on the universal covering space of $X$. We then prove the Singer conjecture on special symplectic hyperbolic case. As an application, we can show that the Euler number of a special symplectic manifold satisfies the inequality $(-1)^{n}\chi(X)>0$.

Differential Geometry,Symplectic Geometry
A geometric realization of Catalan functions

Syu Kato

2024-04-20

Abstract:We construct a smooth projective algebraic variety $X_{\Psi}$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety of $\mathop{GL} ( n )$ (corresponding to a root ideal $\Psi$). The variety $X_\Psi$ carries natural class of line bundles whose spaces of global sections realize the Catalan functions defined in Chen-Haiman [thesis, UCBerkeley] and studied in Blasiak-Morse-Pun-Summers [J. Amer. Math. Soc. (2019), Invent. Math. (2024)]. We prove the vanishing conjectures of Chen-Haiman and (the tame cases of these of) Blasiak-Morse-Pun, as well as the monotonicity conjectures of Shimozono-Weyman [Electronic J. Combin. (2000)] using the geometry of $X_\Psi$.

Algebraic Geometry,Combinatorics,Representation Theory
The Euler characteristic of the moduli space of graphs

Michael Borinsky,Karen Vogtmann

DOI: https://doi.org/10.1016/j.aim.2023.109290

2023-08-25

Abstract:The moduli space of rank $n$ graphs, the outer automorphism group of the free group of rank $n$ and Kontsevich's Lie graph complex have the same rational cohomology. We show that the associated Euler characteristic grows like $-e^{-1/4}\,(n/e)^n/(n\log n)^2$ as $n$ goes to infinity, and thereby prove that the total dimension of this cohomology grows rapidly with $n$.

Algebraic Topology,Mathematical Physics,Group Theory
Sumsets and Projective Curves

J. Elias

DOI: https://doi.org/10.1007/s00009-022-02108-0

2022-06-26

Mediterranean Journal of Mathematics

Abstract:The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers a monomial projective curve such that the Hilbert function of and the cardinalities of agree. The singularities of determines the asymptotic behaviour of | sA |, equivalently the Hilbert polynomial of , and the asymptotic structure of sA . We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics.

mathematics, applied
A geometric $C_2$-equivariant Bézout Theorem

Steven R. Costenoble,Thomas Hudson

2023-12-01

Abstract:Classically, Bézout's theorem says that an intersection of hypersurfaces in a projective space is rationally equivalent to a number of copies of a smaller projective space, the number depending on the degrees of the hypersurfaces. We give a generalization of that result to the context of $C_2$-equivariant hypersurfaces in $C_2$-equivariant linear projective space, expressing the intersection as a linear combination of equivariant Schubert varieties.

Algebraic Topology,Algebraic Geometry
Enumeration of Rational Cuspidal Curves via the WDVV equation

Indranil Biswas,Apratim Choudhury,Ritwik Mukherjee,Anantadulal Paul

2024-09-16

Abstract:We give a conjectural formula for the characteristic number of rational cuspidal curves in the projective plane by extending the idea of Kontsevich's recursion formula (namely, pulling back the equality of two divisors in the four pointed moduli space). The key geometric input that is needed here is that in the closure of rational cuspidal curves, there are two component rational curves which are tangent to each other at the nodal point. While this fact is geometrically quite believable, we haven't as yet proved it; hence our formula is for the moment conjectural. The answers that we obtain agree with what has been computed earlier Ran, Pandharipande, Zinger and Ernstrom and Kennedy. We extend this technique (modulo another conjecture) to obtain the characteristic number of rational quartics with an E6 singularity.

Algebraic Geometry,Differential Geometry
Euler's Theorem for Regular CW-Complexes

Richard H. Hammack,Paul C. Kainen

2023-12-30

Abstract:For strongly connected, pure $n$-dimensional regular CW-complexes, we show that {\it evenness} (each $(n{-}1)$-cell is contained in an even number of $n$-cells) is equivalent to generalizations of both cycle decomposition and traversability.

Geometric Topology
Equivariant Chern Numbers and the Number of Fixed Points for Unitary Torus Manifolds

Zhi Lu,Qiangbo Tan

DOI: https://doi.org/10.4310/mrl.2011.v18.n6.a19

2011-01-01

Mathematical Research Letters

Abstract:Let $M^{2n}$ be a unitary torus $(2n)$-manifold, i.e., a $(2n)$-dimensional oriented stable complex connected closed $T^n$-manifold having a nonempty fixed set. In this paper we show that $M$ bounds equivariantly if and only if the equivariant Chern numbers $< (c_1^{T^n})^i(c_2^{T^n})^j, [M]>=0$ for all $i, j\in {\Bbb N}$, where $c_l^{T^n}$ denotes the $l$th equivariant Chern class of $M$. As a consequence, we also show that if $M$ does not bound equivariantly then the number of fixed points is at least $\lceil{n\over2}\rceil+1$.
Algebraic Multiplicity and the Poincar\'{e} Problem

Jinzhi Lei,Lijun Yang

DOI: https://doi.org/10.1007/3-7643-7429-2_9

2023-01-01

Abstract: In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the system at the singular points. A method for computing the algebraic multiplicity using Newton polygon is also presented.

The Euler number of a $C^*$-invariant subvariety in $P^n$

The ${\mathbb S}_n$-equivariant Euler characteristic of the moduli space of graphs

Higher Euler characteristics

A Variety of Euler's Conjecture

Equivariant enumerative geometry

Characterization of projective spaces by Seshadri constants

Perverse sheaves on varieties with large fundamental groups

Euler-symmetric complete intersection in projective space

Euclidean distance degree of projective varieties

The signed Euler characteristic of very affine varieties

Equidistribution of varieties for endomorphisms of projective spaces

On Euler number of symplectic hyperbolic manifold

A geometric realization of Catalan functions

The Euler characteristic of the moduli space of graphs

Sumsets and Projective Curves

A geometric $C_2$-equivariant Bézout Theorem

Enumeration of Rational Cuspidal Curves via the WDVV equation

Euler's Theorem for Regular CW-Complexes

Equivariant Chern Numbers and the Number of Fixed Points for Unitary Torus Manifolds

Algebraic Multiplicity and the Poincar\'{e} Problem