Questions tagged [euler-characteristics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
128 views

Noether's formula for real algebraic surfaces

Is there a version of Noether's formula for the Euler characteristic of a surface for Real algebraic surfaces? Specifically, given $X$ a real algebraic compact smooth surface, what is the relationship ...
Serge the Toaster's user avatar
4 votes
0 answers
166 views

Possible Euler characteristics of manifolds with tangential structures

Let $p:B\to BO$ be a fibration. We say that a manifold has a $B$-structure if its stable tangent bundle lifts to $B$. I am interested in the question of whether there exists, for a given even ...
Simona Vesela's user avatar
2 votes
0 answers
67 views

Is it known whether a homeomorphism close to the identity of a compact manifold with nonzero Euler characteristic necessarily has a fixed point?

I recently saw in Kirby's list of open problems that it isn't known if two commuting homeomorphisms of a compact manifold close to the identity necessarily share a common fixed point, when the ...
Ahmad Rafiqi's user avatar
3 votes
0 answers
135 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
191 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
69 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
95 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,854
5 votes
0 answers
201 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
  • 987
4 votes
0 answers
206 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,646
13 votes
2 answers
564 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
422 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
  • 1,147
7 votes
0 answers
176 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,646
3 votes
0 answers
125 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,986
8 votes
2 answers
255 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
392 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,205
7 votes
1 answer
488 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
  • 19.4k
12 votes
1 answer
518 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
627 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
66 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
93 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
122 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
439 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
466 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
234 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
285 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,197
1 vote
0 answers
412 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,197
3 votes
1 answer
252 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,149
7 votes
1 answer
611 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
353 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
747 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
  • 18.3k
1 vote
0 answers
477 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
  • 909
1 vote
0 answers
638 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
171 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
191 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
8 votes
1 answer
475 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
  • 3,007
12 votes
1 answer
800 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
  • 3,007
11 votes
3 answers
951 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,534
5 votes
1 answer
668 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
223 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
933 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
275 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
506 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
  • 137k
6 votes
0 answers
282 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
411 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
  • 111
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,643
10 votes
2 answers
689 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
11 votes
1 answer
928 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,643
9 votes
1 answer
553 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,192