To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this chapter, we use the Brouwer degree to define the index of a zero of a vector field on a smooth manifold. We briefly review the Euler characteristic of a topological space via singular homology and state the Poincaré—Hopf Index Theorem: the sum of the indices of the zeros of a vector field equals the Euler characteristic of the manifold. We explore some key consequences: manifolds admitting a non-vanishing vector field have Euler characteristic zero; even-dimensional spheres have Euler characteristic two; odd-dimensional manifolds have Euler characteristic zero. The theorem is proved in two steps: first, we show independence of the index sum from the choice of vector field by relating it to the degree of the Gauss map; then, using Morse theory and cell complexes, we construct a vector field whose index sum equals the Euler characteristic. Finally, we show that vanishing Euler characteristic implies the existence of a vector field without zeros.
In this article, we study Iwasawa theory for the Selmer group of an elliptic curve over a certain non-commutative p-adic Lie extension whose Galois group is isomorphic to an open subgroup of $\mathrm {PGL}_2(\mathbb {Z}_p)$. Unlike the classes of extension usually considered in non-commutative Iwasawa theory, this extension does not contain the cyclotomic $\mathbb {Z}_p$-extension. We give a formula for its Euler characteristic in this case. We also show that the dual Selmer group contains no nonzero pseudonull submodules, a result analogous to a theorem of Ochi and Venjakob for $\mathrm {GL}_2$-extensions. Finally, we provide an explicit formula computing the change in Iwasawa $\mu $-invariants of dual Selmer groups when two elliptic curves are isogenous; this in the same spirit as that of Howson’s result for the $\mathrm {GL}_2$-extension which extends results in the commutative case by Schneider and Perrin-Riou.
We prove an arithmetic refinement of the Yau–Zaslow formula by replacing the classical Euler characteristic in Beauville’s argument by a motivic Euler characteristic, related to the work of Levine. Our result implies similar formulas for other related invariants, including a generalisation of a formula of Kharlamov and Răsdeaconu on counting real rational curves on real K3 surfaces, and Saito’s determinant of cohomology.
In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is smooth and pure dimensional. Let ${\mathcal {P}}$ be a perverse sheaf on $A$ and let $B=g B_0$ be a generic translate of $B_0$. Then our theorem implies $(-1)^{\operatorname {codim} B}\chi (A\cap B, {\mathcal {P}}|_{A\cap B})\geq 0$. As an application, we prove in full generality a positivity conjecture about the signed Euler characteristic of generic triple intersections of Schubert cells. Such Euler characteristics are known to be the structure constants for the multiplication of the Segre–Schwartz–MacPherson classes of these Schubert cells.
A quiver representation assigns a vector space to each vertex, and a linear map to each arrow of a quiver. When one considers the category $\mathrm {Vect}(\mathbb {F}_1)$ of vector spaces “over $\mathbb {F}_1$” (the field with one element), one obtains $\mathbb {F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\mathrm {Rep}(Q,\mathbb {F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over Q. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of “$\mathbb {F}_1$-rational points” of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated with $\mathbb {F}_1$-representations. These techniques apply to a large class of $\mathbb {F}_1$-representations, which we call the $\mathbb {F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb {F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated with $\mathbb {F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb {F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated with representations with finite nice length, and compute them for certain families of quivers.
For a finite group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is determined by the Euler characteristic $\chi (F)$. (He also has similar results for compact Lie group actions.) We show that the analogous problem for $F$ to be the fixed point set of a finite $G$-CW-complex of some given homotopy type is still determined by the Euler characteristic. Using trace maps on $K_0$ [2, 7, 18], we also see that there are interesting roles for the fundamental group and the component structure of the fixed point set.
This study presents functional limit theorems for the Euler characteristic of Vietoris–Rips complexes. The points are drawn from a nonhomogeneous Poisson process on $\mathbb{R}^d$, and the connectivity radius governing the formation of simplices is taken as a function of the time parameter t, which allows us to treat the Euler characteristic as a stochastic process. The setting in which this takes place is that of the critical regime, in which the simplicial complexes are highly connected and have nontrivial topology. We establish two ‘functional-level’ limit theorems, a strong law of large numbers and a central limit theorem, for the appropriately normalized Euler characteristic process.
A deterministic application θ:ℝ2→ℝ2 deforms bijectively and regularly the plane and allows the construction of a deformed random field X∘θ:ℝ2→ℝ from a regular, stationary, and isotropic random field X:ℝ2→ℝ. The deformed field X∘θ is, in general, not isotropic (and not even stationary), however, we provide an explicit characterization of the deformations θ that preserve the isotropy. Further assuming that X is Gaussian, we introduce a weak form of isotropy of the field X∘θ, defined by an invariance property of the mean Euler characteristic of some of its excursion sets. We prove that deformed fields satisfying this property are strictly isotropic. In addition, we are able to identify θ, assuming that the mean Euler characteristic of excursion sets of X∘θ over some basic domain is known.
We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski–Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and closely related structures. The main result of the present paper is a canonical homomorphism between the Grothendieck semirings of certain categories of definable sets that are associated with the $\text{VF}$-sort and the $\text{RV}$-sort of the language ${\mathcal{L}}_{T\text{RV}}$. Many aspects of this homomorphism can be described explicitly. Since these categories do not carry volume forms, the formal groupification of the said homomorphism is understood as a universal additive invariant or a generalized Euler characteristic. It admits not just one, but two specializations to $\unicode[STIX]{x2124}$. The overall structure of the construction is modeled on that of the original Hrushovski–Kazhdan construction.
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 in arbitrary dimensions, subject only to the condition that the irreducible components of the branch and ramification locus have simple normal crossings.
Extending our previous work on eigenvalues of closed surfaces and work of Otal and Rosas, we show that a complete Riemannian surface $S$ of finite type and Euler characteristic $\unicode[STIX]{x1D712}(S)<0$ has at most $-\unicode[STIX]{x1D712}(S)$ small eigenvalues.
A famous conjecture of Hopf states that $\mathbb{S}^{2}\times \mathbb{S}^{2}$ does not admit a Riemannian metric with positive sectional curvature. In this article, we prove that no manifold product $N\times N$ can carry a metric of positive sectional curvature admitting a certain degree of torus symmetry.
Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be “additive”. When the category is “stable” in some sense, additivity along cofiber sequences is a question about the interaction of stability and the monoidal structure.
May proved such an additivity theorem when the stable structure is a triangulation, based on new axioms for monoidal triangulated categories. in this paper we use stable derivators instead, which are a different model for “stable homotopy theories”. We define and study monoidal structures on derivators, providing a context to describe the interplay between stability and monoidal structure using only ordinary category theory and universal properties. We can then perform May's proof of the additivity of traces in a closed monoidal stable derivator without needing extra axioms, as all the needed compatibility is automatic.
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 $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}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 varieties $X$ of maximal Albanese dimension, with holomorphic Euler characteristic $1$ and irregularity $2\dim X-1$.
We define and study the secondary Chern–Euler class for a general submanifold of a Riemannian manifold. Using this class, we define and study the index for a vector field with non-isolated singularities on a submanifold. As an application, we give conceptual proofs of a result of Chern.
Studying the geometry generated by Gaussian and Gaussian-related random fields via their excursion sets is now a well-developed and well-understood subject. The purely non-Gaussian scenario has, however, not been studied at all. In this paper we look at three classes of stable random fields, and obtain asymptotic formulae for the mean values of various geometric characteristics of their excursion sets over high levels. While the formulae are asymptotic, they contain enough information to show that not only do stable random fields exhibit geometric behaviour very different from that of Gaussian fields, but they also differ significantly among themselves.
Let K be a field. We study a class of left C-comodules over a basic left Euler coalgebra C by means of the Euler ℤ-bilinear form associated to C, the Euler characteristic χC(M,N) of left C-comodules M,N, and the defect ∂C(M,N) ∊ ℤ associated to any computable Euler pair (M,N) of left C-comodules. We show that (lgthM, lgthN) = χC(M,N) + ∂C(M,N), for any computable Euler pair (M,N) of comodules over a left Euler coalgebra C. One of the main results of the paper asserts that the defect ∂C(M,N) is zero and (lgthM,lgthN) = χC(M,N), if the comodules M,N are finite-dimensional.
We extend earlier work relating asphericity and Euler characteristics for finite complexes whose fundamental groups have nontrivial torsion free abelian normal subgroups. In particular a finitely presentable group which has a nontrivial elementary amenable subgroup whose finite subgroups have bounded order and with no nontrivial finite normal subgroup must have deficiency at most 1, and if it has a presentation of deficiency 1 then the corresponding 2-complex is aspherical. Similarly if the fundamental group of a closed 4-manifold with Euler characteristic 0 is virtually torsion free and elementary amenable then it either has 2 ends or is virtually an extension of Z by a subgroup of Q, or the manifold is asphencal and the group is virtually poly- Z of Hirsch length 4.
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.
Siegmund and Worsley (1995) considered the problem of testing for signals with unknown location and scale in a Gaussian random field defined on ℝN. The test statistic was the maximum of a Gaussian random field in an N+1 dimensional ‘scale space’, N dimensions for location and 1 dimension for the scale of a smoothing filter. Scale space is identical to a continuous wavelet transform with a kernel smoother as the wavelet, though the emphasis here is on signal detection rather than image compression or enhancement. Two methods were used to derive an approximate null distribution for N=2 and N=3: one based on the method of volumes of tubes, the other based on the expected Euler characteristic of the excursion set. The purpose of this paper is two-fold: to show how the latter method can be extended to higher dimensions, and to apply this more general result to χ2 fields. The result of Siegmund and Worsley (1995) then follows as a special case. In this paper the results are applied to the problem of searching for activation in brain images obtained by functional magnetic resonance imaging (fMRI).