As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [euler-characteristics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
0 answers
110 views

Grothendieck ring of varieties in positive characteristic, away from the characteristic

In "The universal Euler characteristic for varieties of characteristic zero", Bittner shows that over a field $k$ of characteristic zero, the Grothendieck ring $K_{0}(Var_{k})$ of varieties ...
Piotr Pstrągowski's user avatar
4 votes
0 answers
176 views

Fibrations and Euler characteristics with bad fundamental group

Consider a fibration $F\to E\to B$ where $H^i(F;\mathbb{Q})$ and $H^i(B;\mathbb{Q})$ are finite-dimensional, and they vanish for $i\gg 0$, and $B$ is connected. However, we do not assume that $B$ is ...
Neil Strickland's user avatar
1 vote
0 answers
59 views

Polynomiality of the equivariant Euler characteristic of a sheaf tensored with a standard line bundle on the flag variety

Let ${\mathcal B}=Fl(V)$ be the variety of complete flags in an $(m+2n)$-dimensional vector space $V$ over $\mathbb C$. Then we have the standard line bundles $\mathcal{O}(\lambda)$ on $\mathcal B$ ...
IntegrableSystemsEnthusiast's user avatar
4 votes
0 answers
88 views

When can the trace on cohomology be computed as the Euler characteristic of fixed points?

In this question all groups are finite, and all spaces are nice (eg, simplicial sets). Given a $G$ space $X$, which we assume has finitely many nonzero cohomology groups, we can compute the trace of ...
Chris H's user avatar
  • 1,607
5 votes
0 answers
117 views

Does the (Poincare) dual complex represent the same topology?

To start with, consider some abstract $3$-dimensional simplicial complex $\Delta$ representing a manifold without boundary, for simplicity. Then, there is this well-known construction of the "(...
B.Hueber's user avatar
  • 701
4 votes
0 answers
190 views

Signed number of pieces in a decomposition in the Grothendieck ring of varieties

Let $X/k$ be a (geometrically integral and connected) variety over $k$ either a field of characteristic $0$ or a finite field. Let $[X] = \sum_{i\in I}[Y_i] - \sum_{j\in J}[Z_j]$ be a decomposition ...
Asvin's user avatar
  • 7,302
13 votes
2 answers
528 views

When are bundles of odd and even differential forms isomorphic?

Let $M$ be a compact oriented $n$-manifold. Denote $\Omega^k := {\bigwedge}^k T^*M$ the vector bundle of differential $k$-forms, and let $\Omega^{\text{odd}} := \bigoplus_{\text{$k$ odd}} \Omega^k$ ...
Ceka's user avatar
  • 501
3 votes
1 answer
268 views

Euler characteristic of pseudomanifolds with boundary

It is a well-known fact that for every compact oriented odd-dimensional manifold $\mathcal{M}$ with boundary it holds that $$\chi(\mathcal{M})=\frac{1}{2}\chi(\partial\mathcal{M}).$$ In particular, if ...
G. Blaickner's user avatar
7 votes
0 answers
170 views

In what sense do the real and complex places correspond to setting q equal to 1 or -1?

It often happens that if we have a scheme $X/\mathbb Z$ (or an open subset thereof) and we denote by $p(q) = X(\mathbb F_q)$, then $p(1)$ and $p(-1)$ compute the euler characteristic of $X(\mathbb C)$ ...
Asvin's user avatar
  • 7,302
3 votes
0 answers
107 views

Is the secondary Euler characteristic a categorical trace?

Context: The ordinary Euler characteristic of a complex (satisfying appropriate finiteness conditions so that all cohomology groups are finite-dimensional over some field ''k'', say, and only finitely ...
Jakob's user avatar
  • 1,824
8 votes
2 answers
239 views

Euler characteristic of the simplicial complex of sets of elements in a semilattice with non-zero meet

In a combinatorial computation, I came across the following quantity: Consider a finite meet semilattice $L$, that is, a finite poset which is closed under $\min$. Denote the least element of $L$ by $...
Christian Gorski's user avatar
3 votes
1 answer
356 views

Variation of Euler characteristic when the sheaf is not flat

Let $f:X \to Y$ be a flat, projective morphism with $Y$ integral and every fiber of $f$ normal and integral. Let $F$ be a torsion-free, coherent sheaf on $X$ (not necessarily flat over $Y$). Then, is ...
user45397's user avatar
  • 2,013
7 votes
1 answer
473 views

Refined Euler characteristic

Is there a refinement of Euler characteristic that distinguishes between the torus $S^1 \times S^1$ and the cylinder $S^1 \times [0,1]$? (The intuition here is that $\chi$ is multiplicative, so that $...
James Propp's user avatar
  • 18.8k
12 votes
1 answer
514 views

Source of a quote by Ferdinand Rudio

I am looking for the source and context of this quote, found e.g. at St Andrews: Only with the greatest difficulty is one able to follow the writings of any author preceding Euler, because it was ...
Francois Ziegler's user avatar
11 votes
0 answers
623 views

Can this be interpreted as one Euler characteristic?

Let $[n]:=\{1,\cdots,n\}$. It is known that $\{\log(p) \mid p \text{ is prime }\}$ is linearly independent over $\mathbb{Q}$. For a subset $A \subset [n]$ we can consider the matrix $L(A):=(\log(x) \...
user avatar
2 votes
0 answers
59 views

A version of Hurwitz' theorem in terms of Euler characteristic

Page 203 of Farb and Margalit's Primer on Mapping Class Groups contains the result: Let $g ≥ 2$. The order of any finite subgroup of $MCG(S_g)$ is at most $84(g − 1)$. I've been told by my ...
Yossarian's user avatar
2 votes
0 answers
84 views

Compact $G$-ENR's and Euler characteristic computed with Alexander-Spanier cohomology with compact support

Let $(Z,A)$ a compact ENR pair, then $$\chi(Z)=\chi_c(Z-A)+\chi(A)$$ where $\chi_c$ is the Euler characteristic taken in Alexander-Spanier cohomology with compact support (ENR means euclidean ...
Victor TC's user avatar
  • 795
3 votes
0 answers
118 views

Properties of a generalization (regularization) of the Euler characteristic?

Intro: This question is about a version of the Euler characteristic for infinite dimensional chain complexes. I have no idea if this is a pre-existing concept, that's essentially what my query is ...
Julian Chaidez's user avatar
2 votes
1 answer
407 views

Euler Characteristic of $SL_m(\mathbb{C})/SO_m(\mathbb{C})$

As described in the title, what is the (topological) Euler characteristic of the homogeneous space $SL_m(\mathbb{C})/SO_m(\mathbb{C})$?
Winnie_XP's user avatar
  • 287
3 votes
1 answer
446 views

Is this line of thought (using linear algebra to get number theoretic results) already being pursued in the literature?

Let $Log(n) = \sum_{i=1}^r \alpha_i \cdot e_i$, where $n = \prod_{i=1}^r p_i^{\alpha_i}$ and $p_i$ is the $i$-th prime, $\alpha_i \ge 0$, $e_i$ is the $i$-th standard basis vector. For example $6 = 2\...
user avatar
8 votes
1 answer
230 views

Compact simply-connected homogeneous symplectic manifold

I was reading a paper in which the authors use the fact that any compact simply-connected homogeneous symplectic manifold has non-zero Euler characteristic. They prove it by quoting a theorem by ...
Valentino's user avatar
  • 369
0 votes
1 answer
254 views

On the notion of multiplicity of a fixed point [closed]

I am trying to understand the notion of multiplicity of a fixed point of a map $f: M \to M$, say, $M$ being a smooth closed manifold, and $f$ being a smooth diffeomorphism. There is a notion of ...
BrianT's user avatar
  • 1,167
1 vote
0 answers
395 views

On Lefschetz theorem and sum of Betti numbers as lower bounds for fixed points

Let $M$ be a closed manifold with holomorphic cell decomposition (if it is complex), or at least with only even cohomology. In particular, its Euler characteristic is equal to the sum of its Betti ...
BrianT's user avatar
  • 1,167
3 votes
1 answer
222 views

Intuition for the Euler form in a finitary category

Suppose that $\mathcal{C}$ is a finitary category, so for any two objects $A$ and $B$ we have that $|\mathrm{Ext}^i(A,B)| < \infty$ for $i\geq 0$, suppose $\mathcal{C}$ has finite global dimension, ...
Mike Pierce's user avatar
  • 1,129
7 votes
1 answer
587 views

Compactification of open manifolds in the form of a manifold( with zero Euler characteristic)

Edit: According to the interesting comments of Michael Albanese and Nick L we revise the question as follows: By manifold compactification of a manifold $M$ we mean a compact manifold $\tilde{M}$ ...
Ali Taghavi's user avatar
3 votes
0 answers
324 views

Integral of Gaussian curvature multiplied by mean curvature

Let $M$ be a 3-manifold with positive definite metric $g$, and let $S\subset M$ be an oriented 2-surface. For $x\in S$ let $K(x)$ be the Gaussian curvature and $H(x)$ be the mean curvature of $S$ at ...
Josh Kirklin's user avatar
5 votes
1 answer
676 views

Euler characteristic of local system depends only on rank?

Let $X$ be a proper variety over a finite field $k$ of characteristic $p>0$, and let $\mathcal F$ be a finite rank $\mathbb F_\ell$ local system on (the etale site of) $X$. Is it true (and, if so, ...
John Pardon's user avatar
  • 17.9k
1 vote
0 answers
441 views

Invariance of combinatorial/geometric euler characteristic

I am trying to read and understand the paper: TARGET ENUMERATION VIA EULER CHARACTERISTIC INTEGRALS by YULIY BARYSHNIKOV AND ROBERT GHRIST. And I am having trouble with a statement. First of all, ...
D1811994's user avatar
  • 879
1 vote
0 answers
532 views

What is the significance of the $-1$-simplex?

The number of $k$-simplex elements in an $n$-simplex is counted by the binomial coefficient $\binom{n+1}{k+1}$. For example, the $3$-simplex is the tetrahedron, which has the following elements: $4$ ...
Andrius Kulikauskas's user avatar
3 votes
0 answers
169 views

Non-multiplicative Euler-Poincaré Characteristics

Are there known examples of a non-multiplicative Euler-Poincaré characteristic on varieties? Let $\mathbf{Var}/k$ be the category of varieties over a filed $k$, i.e. the category of reduced separated ...
user337830's user avatar
0 votes
1 answer
190 views

Triviality of certain vector bundles

Let $M$ be a smooth manifold and let $SM$ be the bundle of symmetric bi-linear forms on $TM.$ Riemannian metrics are a particular kind of sections in this bundle. Since any manifold admits a global ...
Mike Cocos's user avatar
7 votes
1 answer
458 views

Generalized Euler characteristics of non-motivic origin

By a generalized Euler characteristic $\chi$, I mean an isomorphism invariant $\chi(V)$ inside some abelian group $A$, defined for every varietiy $V$ over a field $k$, with the property that, for all ...
Dominik's user avatar
  • 2,957
12 votes
1 answer
775 views

Does the Grothendieck ring of varieties contain torsion?

Let $K_0(Var_k)$ be the abelian group generated by the isomorphism classes of varieties over the field $k$ with the relations $$[X]=[U]+[X\setminus U]$$ for every variety $X$ and open subvariety $U$. ...
Dominik's user avatar
  • 2,957
11 votes
3 answers
877 views

In Gromov-Witten theory, why is the string coupling constant weighted by $2g-2$?

Let $X$ be a Calabi-Yau threefold and let us fix a homology class $\beta\in H_2(X,\mathbb Z)$, just for simplicity. The generating series of Gromov-Witten invariants of $X$ in class $\beta$, $$\mathsf ...
Brenin's user avatar
  • 1,484
5 votes
1 answer
651 views

What is the Euler characteristic of a mapping space?

Suppose that $A$ and $B$ are topological spaces homotopy equivalent to finite cell complexes, and let $B^A = \mathrm{maps}(A,B)$ denote the space of maps from $A$ to $B$. Is it there a formula for ...
Theo Johnson-Freyd's user avatar
2 votes
0 answers
202 views

The Euler characteristic of Hilbert series

The Hilbert series of a graded vector space $V=\bigoplus_{n\mathbb Z}V_n$ is the (ordinary) generating function of the dimensions of its homogeneous components, $h_V(t)=\sum_{n\in\mathbb Z}t^n\dim V_n$...
Mariano Suárez-Álvarez's user avatar
5 votes
1 answer
880 views

The Gauss-Bonnet theorem for Sheaves

Euler Characteristic of Sheaves and the Generalized Gauss-Bonnet Theorem Consider a sheaf $\mathscr{F}$ over a site $\mathscr{(C,J)}$, where $\mathscr{C}$ is a small category with a coverage $\mathscr{...
user avatar
4 votes
1 answer
262 views

Euler number for base change of a K3 surface

Suppose you have a K3 surface $S$ containing a smooth rational curve $C$ and suppose you have an elliptic fibration $S \rightarrow \mathbb P^1$ that restricts to a morphism $C \rightarrow \mathbb P^1$ ...
Davide Cesare Veniani's user avatar
6 votes
1 answer
473 views

Are there perverse sheaves on abelian varieties with small Euler characteristic?

Let $A$ be a simple abelian variety of dimension $g$. Let $K$ be an irreducible perverse sheaf on $A$. We know that $\chi(A,K)\geq 0$. (Corollary 1.4 of Franecki and Kapranov.) How small can $\chi(A,K)...
Will Sawin's user avatar
  • 126k
6 votes
0 answers
272 views

Is Euler-characteristic of a simplicial complex on $n$ vertices and $f$ facets at most $n^{O(\log f)}$?

(Definition: Facet = Maximal Face) This question is a continuation of the previous one that I had asked a couple of years ago: Is Euler characteristic of a simplicial complex upper bounded by a ...
Raghav Kulkarni's user avatar
2 votes
0 answers
1k views

What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$. I am ...
Mehmet Ozan Kabak's user avatar
32 votes
3 answers
4k views

Did ancient mathematicians know Euler's characteristic for convex polyhedra?

The formula $V-E+F=2$ is so simple that I can't believe that it was really Euler (or perhaps Descartes) who first observed it (I mean the formula itself in some generality, not necessarily a valid ...
Jochen Wengenroth's user avatar
1 vote
0 answers
405 views

How to show the Euler Characteristic is equal to self-intersection number of zero-section [duplicate]

myThe definition of the Euler characteristic (given in Guillemin and Pollack's "Differential Topology") of a compact oriented manifold $X$ is the self-intersection number of the diagonal $\Delta$ in $...
Spanky's user avatar
  • 11
25 votes
0 answers
1k views

Status of the Euler characteristic in characteristic p

In the introduction to the Asterisque 82-83 volume on `Caractérisque d'Euler-Poincaré, Verdier writes: Enfin signalons que la situation en caractéristique positive est loin d'être aussi ...
Vivek Shende's user avatar
  • 8,613
10 votes
2 answers
674 views

When does an even-dimensional manifold fiber over an odd-dimensional manifold?

Are there simple necessary and sufficient conditions for an (oriented) even-dimensional compact smooth manifold to fiber over an (oriented) odd-dimensional manifold (with oriented fibers)? For ...
Theo Johnson-Freyd's user avatar
12 votes
1 answer
879 views

Chern numbers via Euler characteristics?

Let $X$ be a space good enough to have a fundamental class, and $E$ a complex vector bundle on $X$. Let $P$ be some polynomial expression, and say I want to evaluate $P(c_i(E)) \cap [X]$. Is ...
Vivek Shende's user avatar
  • 8,613
9 votes
1 answer
537 views

"Mathai-Quillen-type" form on $M\times M$?

Let $(M,g)$ be a compact, oriented, $(2n)$-dimensional Riemannian manifold. I'm wondering whether there is a "canonical" construction of a $(2n)$-form $\eta_g$ on $M\times M$, such that $\eta_g$ is ...
macbeth's user avatar
  • 3,122
5 votes
2 answers
674 views

Top chern class under finite, unramified, dominant morphism

Situation: Let $\Bbbk$ be an algebraically closed field. Assume that $\pi:Y\to X$ is an finite, dominant, unramified morphism between nonsingular varieties of dimensions $n$. Let $d=\deg(\pi)$. What ...
Jesko Hüttenhain's user avatar
3 votes
1 answer
367 views

Euler characteristics and the difference bundle construction

I am reading on K theory in Lawson and Michelson (Spin Geometry). One has the "exact sequence spaces" $L(X,Y)$ and there is the theorem that there is a unique equivalence of functors $\chi$ between $L$...
Matthias Ludewig's user avatar
3 votes
1 answer
622 views

Higher Euler characteristics (possible generalizations)

Let $X$ be projective and Gorenstein (over $\mathbb{C}$), of dimension $n$, then $\chi(\mathcal{O}_X)=(-1)^n\chi(\omega_X)$. Hence a "generalization": $\chi(\omega^{\otimes k}_X)$. I'd like ...
Dmitry Kerner's user avatar