Fact-checked by Grok 2 weeks ago

Lefschetz fixed-point theorem

The Lefschetz fixed-point theorem is a cornerstone result in algebraic topology that equates the algebraic count of fixed points of a continuous self-map on a compact triangulable space to a topological invariant called the Lefschetz number, thereby providing a criterion for the existence of such fixed points.^[1] Formally, for a continuous map f: X \to X, where X is a finite simplicial complex or compact triangulable space, the Lefschetz number is defined as \Lambda(f) = \sum_{i=0}^{\dim X} (-1)^i \Tr(f_{*i}), with f_{*i}: H_i(X; \mathbb{Q}) \to H_i(X; \mathbb{Q}) denoting the induced homomorphism on the ith singular homology group with rational coefficients and \Tr the trace; if the fixed points of f are isolated and finite in number, then \Lambda(f) equals the sum of their local fixed-point indices, and if \Lambda(f) \neq 0, then f must have at least one fixed point.^[2]^[3] Named after mathematician Solomon Lefschetz, who introduced the theorem in 1923 for continuous transformations of closed orientable manifolds—building on intersection theory in the manifold of point pairs—the result was rapidly generalized in his 1926 and 1927 works to manifolds with boundary via relative homology and to arbitrary finite cell complexes.^[4]^[5] By 1936, Lefschetz extended it further to locally connected topological spaces, establishing it as a powerful tool beyond smooth manifolds.^[5] The theorem generalizes the Brouwer fixed-point theorem—which guarantees fixed points for continuous maps of the closed unit ball to itself—by replacing the degree with the more versatile Lefschetz number, applicable to non-simply connected spaces with nontrivial homology.^[2] It implies key corollaries, such as the no-retraction theorem (no continuous retraction from a closed ball to its boundary) and the hairy ball theorem (continuous tangent vector fields on even-dimensional spheres have zeros), and extends to equivariant settings and cohomology via the Lefschetz–Hopf trace formula for detecting periodic points in dynamics.^[3]^[2] In modern contexts, it applies to smooth projective varieties using Weil cohomology and influences areas like algebraic geometry and symplectic topology.^[3]

Statement and Proof

Formal Statement

The Lefschetz fixed-point theorem is stated in the framework of singular homology with rational coefficients. For a topological space X, the k-th singular homology group H_k(X; \mathbb{Q}) is a finite-dimensional vector space over \mathbb{Q} when X is a compact triangulable space, and a continuous map f: X \to X induces linear endomorphisms f_*: H_k(X; \mathbb{Q}) \to H_k(X; \mathbb{Q}) on each of these groups.^[6] The Lefschetz number of such a map f is defined as

\Lambda_f = \sum_{k \geq 0} (-1)^k \operatorname{tr}(f_* \mid H_k(X; \mathbb{Q})),

where \operatorname{tr} denotes the trace of the linear map.^[6] The theorem asserts that if \Lambda_f \neq 0, then f has at least one fixed point. This result was first established by Solomon Lefschetz in 1923 for maps on compact orientable manifolds and extended in 1926 to maps on compact polyhedra.^[6]^[5] Furthermore, \Lambda_f is invariant under homotopy: if f and g are homotopic maps from X to itself, then \Lambda_f = \Lambda_g, since the induced maps on homology are homotopic invariants.^[6] The converse of the theorem does not hold in general. For example, the identity map on the odd-dimensional sphere S^{2m+1} satisfies \Lambda_{\mathrm{id}} = 0, as the Euler characteristic of S^{2m+1} is zero, yet every point is a fixed point.^[6]

Sketch of Proof

The proof of the Lefschetz fixed-point theorem proceeds by reducing the problem to the combinatorial setting of simplicial maps on finite triangulations, leveraging algebraic tools from homology theory. Given a continuous map f: X \to X on a compact triangulable space X, the simplicial approximation theorem guarantees that f is homotopic to a simplicial map g: K \to K on a sufficiently fine triangulation K of X.^[6] This homotopy preserves the induced maps on homology, so the Lefschetz number \Lambda_f equals \Lambda_g. Thus, it suffices to prove the theorem for simplicial maps, where fixed points correspond to simplices mapped into themselves.^[2] To connect fixed points to the Lefschetz number, the proof invokes the Hopf trace formula, which equates \Lambda_f to the alternating sum of traces of the induced chain map on the simplicial chain complex: \Lambda_f = \sum_n (-1)^n \operatorname{tr}(f_\#: C_n(K) \to C_n(K)).^[6] This equality holds because the trace is invariant under chain homotopy and additive over short exact sequences in the homology long exact sequence, ensuring the boundary terms cancel in the alternating sum.^[2] Consequently, if \Lambda_f \neq 0, the chain-level trace cannot vanish, implying the existence of fixed points. The key reduction assumes f is fixed-point-free and shows \Lambda_f = 0. For a fixed-point-free simplicial map g: K \to K, a fine subdivision K' of K can be chosen such that no simplex \sigma in K' satisfies g(\sigma) \cap \sigma \neq \emptyset, by ensuring the geometric realization separates points from their images.^[6] In this subdivision, the matrix representation of the induced chain map g_\#: C_n(K') \to C_n(K') (with respect to the ordered basis of oriented simplices) has zero diagonal entries, as no basis simplex maps to a multiple of itself.^[2] The trace of such a matrix is therefore zero in each dimension, yielding \Lambda_g = 0 by the Hopf trace formula. Hence, a non-zero \Lambda_f precludes the map from being fixed-point-free.^[6]

Algebraic and Index Versions

Lefschetz–Hopf Theorem

The Lefschetz–Hopf theorem refines the global Lefschetz fixed-point theorem by establishing an equality between the Lefschetz number and the algebraic sum of local contributions at each fixed point. For a continuous self-map f: X \to X on a compact triangulable topological space X that admits a finite triangulation and possesses only finitely many fixed points, the theorem asserts that

\Lambda_f = \sum_{x \in \Fix(f)} \ind(f, x),

where \Fix(f) denotes the set of fixed points of f and \ind(f, x) is the local fixed-point index at x. This equality holds under the assumption that the fixed points are isolated, allowing the local indices to capture the "multiplicity" or topological behavior near each point in a manner consistent with the global trace formula for the induced maps on homology. The local fixed-point index \ind(f, x) at an isolated fixed point x is defined topologically as the degree of the normalized map on a small sphere surrounding x. Specifically, if U is a small open neighborhood of x homeomorphic to a ball such that f(y) \neq y for all y \in \partial U \setminus \{x\}, then \ind(f, x) equals the Brouwer degree of the map \partial U \to S^{\dim X - 1} given by y \mapsto \frac{f(y) - x}{\|f(y) - x\|}, where the sphere S^{\dim X - 1} is the unit sphere in the ambient Euclidean space. This degree measures the winding number or orientational effect of f near x, and it is independent of the choice of neighborhood U provided the fixed point remains isolated. This formulation draws a direct connection to the Hopf index theorem for vector fields on manifolds, where the zeros of a vector field correspond analogously to fixed points of the associated flow map. In particular, considering the vector field v(y) = f(y) - y, the zeros of v are precisely the fixed points of f, and the local index \ind(f, x) coincides with the Poincaré-Hopf index of v at its zero x. The Hopf theorem, which equates the sum of these indices to the Euler characteristic for a vector field with isolated zeros on a compact manifold, thus aligns with the Lefschetz–Hopf equality when the Lefschetz number reduces to the Euler characteristic (as for the identity map). The theorem applies to compact manifolds or more generally to finite polyhedra and absolute neighborhood retracts (ANRs) with isolated fixed points, ensuring the existence of suitable triangulations and local neighborhoods for defining indices. For cases with non-isolated fixed points, such as continua of fixed points, the theorem extends via generalized fixed-point indices defined over invariant sets, replacing pointwise sums with integrals or traces over the set, though this requires additional smoothness or compactness assumptions on the fixed-point set.

Relation to Fixed-Point Indices

The local fixed-point index \ind(f, x) at an isolated fixed point x of a continuous self-map f: M \to M on a compact manifold M is defined as the Brouwer degree of the map h = f - \id: B \to \mathbb{R}^n, where B is a small open ball centered at x with no other fixed points in B, taken relative to the boundary sphere \partial B \cong S^{n-1}. Specifically, \ind(f, x) = \deg(h, \partial B, 0), and this integer is independent of the choice of B provided f(B) \subset B and the fixed point remains isolated.^[7] This index satisfies additivity: for disjoint open neighborhoods U_i of isolated fixed points x_i covering the fixed-point set, the total index over a larger isolating neighborhood U = \bigcup U_i is \ind(f, U) = \sum_i \ind(f, x_i). It is also invariant under homotopy: if f_t is a continuous homotopy from f_0 = f to f_1 such that each f_t has the same isolated fixed points in the interior of a neighborhood with no fixed points on the boundary, then \ind(f_t, x) = \ind(f, x) for each x. In dynamical systems, for example, an attracting fixed point x where all eigenvalues of Df(x) have absolute value less than 1 yields \ind(f, x) = +1, reflecting the contractive behavior on a small sphere.^[7] The fixed-point index relates closely to vector fields via the Poincaré-Hopf index. For the vector field v = f - \id on M, its zeros coincide with the fixed points of f; the local Poincaré-Hopf index of v at a zero x is \ind_{PH}(v, x) = \deg(v / \|v\|, S^{n-1}, *), the Brouwer degree of the normalized field on a small sphere S^{n-1} around x (with * a basepoint on S^{n-1}). For the time-t flow \phi_t generated by v, when t > 0 is small, \ind(\phi_t, x) = \ind_{PH}(v, x), as the linear approximation \phi_t(y) \approx y + t v(y) preserves the degree computation near x.^[8] For non-isolated fixed points, the index can be generalized over an isolating neighborhood of a compact component of the fixed-point set by approximating the map via finite polyhedra or using partitions of unity to decompose the neighborhood into subregions with isolated fixed points, then summing the local indices; alternatively, resolution techniques embed the set into a manifold where indices are well-defined. This extends the additivity property to the total contribution from non-isolated components while maintaining homotopy invariance under suitable conditions.^[9]^[7]

Topological Relations

Relation to the Euler Characteristic

A key special case of the Lefschetz fixed-point theorem arises when considering the identity map \operatorname{id}_X: X \to X on a compact triangulable space X, where the Lefschetz number simplifies to \Lambda_{\operatorname{id}_X} = \sum_{k \geq 0} (-1)^k \operatorname{rank}(H_k(X; \mathbb{Q})).^[6] This expression equals the Euler characteristic \chi(X) of X, providing a direct link between fixed-point invariants and a fundamental topological quantity.^[6] The Euler characteristic is defined as \chi(X) = \sum_{k \geq 0} (-1)^k b_k, where the Betti numbers b_k = \operatorname{rank}(H_k(X; \mathbb{Q})) measure the dimensions of the rational homology groups.^[6] For the identity map, every point in X is a fixed point, and the theorem's fixed-point index sum aligns with \chi(X), which is nonzero precisely when X is not homologically trivial in an alternating sense.^[6] More significantly, since maps homotopic to the identity induce the same endomorphisms on homology, their Lefschetz numbers also equal \chi(X); thus, if \chi(X) \neq 0, any such map must have at least one fixed point.^[6] This connection highlights the theorem's role in distinguishing spaces with nontrivial topology. For example, the n-sphere S^n has \chi(S^n) = 1 + (-1)^n, yielding \chi(S^n) = 2 for even n and \chi(S^n) = 0 for odd n.^[6] Consequently, maps on even-dimensional spheres homotopic to the identity always possess fixed points, whereas odd-dimensional spheres admit fixed-point-free maps homotopic to the identity, such as suitable rotations, consistent with the vanishing Lefschetz number.^[6]

Relation to the Brouwer Fixed-Point Theorem

The Brouwer fixed-point theorem states that every continuous map f: D^n \to D^n, where D^n denotes the n-dimensional closed ball, has at least one fixed point.^[6] This result follows directly as a special case of the Lefschetz fixed-point theorem. The singular homology groups of D^n with rational coefficients satisfy H_k(D^n; \mathbb{Q}) \cong \mathbb{Q} for k=0 and H_k(D^n; \mathbb{Q}) = 0 otherwise. Thus, for any continuous f: D^n \to D^n, the Lefschetz number simplifies to \Lambda_f = (-1)^0 \operatorname{tr}(f_*: H_0(D^n; \mathbb{Q}) \to H_0(D^n; \mathbb{Q})) = 1, since f_* induces the identity on H_0 for connected spaces. As \Lambda_f \neq 0, the Lefschetz theorem guarantees a fixed point.^[6] More generally, the argument extends to any contractible compact polyhedron X with Euler characteristic \chi(X) = 1, where the homology is concentrated in degree 0 with rank 1, yielding \Lambda_f = 1 \neq 0 and ensuring fixed points for continuous self-maps.^[6] Brouwer established his theorem in 1912 using topological arguments based on the non-retractability of the boundary sphere from the ball, while Lefschetz's 1926 formulation provides a homological unification that encompasses Brouwer's result alongside broader classes of fixed-point theorems.^[5]^[6]

Historical Context

Origins in Coincidence Theory

The origins of coincidence theory in topology trace back to early efforts to quantify intersections between geometric objects algebraically. In 1887, Henri Poincaré introduced the concept of an index for the intersection points of two curves in the plane, defined in terms of residues of double integrals. This index provided an invariant measure of the number of intersections, robust under continuous deformations as long as the curves did not pass through singularities, thus laying the groundwork for treating intersections topologically rather than purely geometrically. Luitzen Egbertus Jan Brouwer extended Poincaré's ideas to higher dimensions in the early 1910s, developing a degree theory for continuous maps between oriented manifolds that generalized the intersection index. Brouwer's degree captured the algebraic count of preimages under a map, assuming generic or transverse conditions. His 1911 fixed-point theorem, which asserts that every continuous self-map of an n-dimensional disk has at least one fixed point, relied on this degree theory applied to the boundary sphere; the theorem can be interpreted as a coincidence result when one map is the identity.^[10] The 1920s saw significant advancements in homology theory, which supplied the algebraic framework needed for intersection and coincidence invariants. Emmy Noether, in a 1925 report and subsequent lectures, advocated conceptualizing homology not merely as numerical Betti numbers but as abelian groups, incorporating torsion and enabling more sophisticated computations of topological invariants.^[11] This shift facilitated the study of intersection numbers beyond simple counts. Georges de Rham contributed to this evolution through his early work on currents and differential forms in the late 1920s, bridging analysis and topology, while Eduard Čech's later refinements in the early 1930s formalized abstract simplicial homology, allowing intersection theory to apply to broader classes of spaces.^[11] These developments were driven by the desire for a robust formula to enumerate coincidences—points where two continuous maps f, g: X \to Y agree—without requiring transversality, which assumes intersections are isolated and of expected dimension for direct counting. Homological tools enabled an algebraic "degree" or index for such coincidences, invariant under homotopy, addressing limitations in earlier geometric approaches.^[11]

Lefschetz's Contributions

In 1923, Solomon Lefschetz introduced the fixed-point theorem for continuous transformations of closed orientable manifolds in his paper "Continuous Transformations of Manifolds," building on intersection theory in the manifold of point pairs.^[4] In 1926, he published his seminal paper "Intersections and Transformations of Complexes and Manifolds," where he introduced the concept of the coincidence index for continuous maps f, g: M \to N between compact oriented manifolds of the same dimension.^[12] This index quantifies the algebraic number of coincidence points, i.e., points x \in M such that f(x) = g(x), generalizing earlier intersection theories to transformations of polyhedral complexes and manifolds.^[12] Lefschetz defined the coincidence number \Lambda_{f,g} through an intersection-theoretic approach, approximating the maps by simplicial ones and assigning indices to isolated intersections.^[12] The key formula for the coincidence number is \Lambda_{f,g} = \sum_k (-1)^k \operatorname{tr}(f^* \circ g_* \mid H^k(M; \mathbb{Q})), where f^* and g_* are the induced maps on cohomology and homology groups with rational coefficients, and \operatorname{tr} denotes the trace.^[13] This expression arises from the topological intersection pairing in the homology of the product space, capturing the global algebraic count of coincidences independent of specific approximations.^[13] A special case occurs when M = N and g is the identity map, reducing \Lambda_{f,g} to \Lambda_f = \sum_k (-1)^k \operatorname{tr}(f_* \mid H_k(N; \mathbb{Q})), now known as the Lefschetz number, which equals the signed sum of fixed-point indices for a self-map f: N \to N.^[13] If \Lambda_f \neq 0, then f has at least one fixed point.^[12] Lefschetz's formulation unified and generalized L.E.J. Brouwer's earlier fixed-point theorems for simplicial complexes and spheres by embedding them in a broader homological framework.^[14] At the time, Lefschetz was a professor at Princeton University, where he had joined in 1920 and emerged as a central figure in the development of algebraic topology, leveraging his expertise in algebraic geometry to innovate topological methods.^[5] His work at Princeton laid foundational tools for modern topology, influencing subsequent refinements like the modern Lefschetz number in singular homology.^[5]

Applications

Frobenius Endomorphism in Algebraic Geometry

In algebraic geometry, the Frobenius endomorphism F_q plays a central role in applying the Lefschetz fixed-point theorem to varieties over finite fields. For a scheme X of finite type over the finite field \mathbb{F}_q, the absolute Frobenius morphism F_q: X \to X is defined by raising the coordinates of points to the q-th power on the affine pieces, while acting as the identity on the topology; more precisely, on the structure sheaf \mathcal{O}_X, it sends a section f to f^q.^[15] This endomorphism induces an action on the étale site of X, compatible with the geometric structure. The fixed points of F_q on X precisely correspond to the \mathbb{F}_q-rational points X(\mathbb{F}_q), as a point defined over \mathbb{F}_q remains unchanged under the q-power map, while points over extensions are moved.^[15] To count these points using cohomological methods, one considers the base change \overline{X} = X \times_{\mathbb{F}_q} \overline{\mathbb{F}}_q, the geometric fiber over the algebraic closure \overline{\mathbb{F}}_q. The Lefschetz fixed-point theorem extends to this setting via étale cohomology with \ell-adic coefficients \mathbb{Q}_\ell (where \ell \neq \mathrm{char}(\mathbb{F}_q)), where F_q acts on the cohomology groups through its induced pullback F_q^*. The resulting Lefschetz trace formula states that

\# X(\mathbb{F}_q) = \sum_i (-1)^i \operatorname{tr}(F_q^* \mid H_c^i(\overline{X}, \mathbb{Q}_\ell)),

where H_c^i denotes compact support étale cohomology, essential for handling non-proper varieties like open subschemes, as it ensures the formula captures the global fixed-point count even when X is not projective.^[15] This formulation, known as the Grothendieck-Lefschetz trace formula, leverages the six functor formalism in étale cohomology to relate the Euler characteristic in the derived category to the trace of the endomorphism. For proper smooth varieties, the compact support cohomology coincides with the usual étale cohomology H^i(\overline{X}, \mathbb{Q}_\ell), simplifying the expression while preserving the alternating trace sum.^[15]

Point Counting over Finite Fields

In the arithmetic setting, the Lefschetz fixed-point theorem manifests through the Grothendieck trace formula in étale cohomology, which computes the number of \mathbb{F}_q-points on a smooth proper variety X over a finite field \mathbb{F}_q. The arithmetic Frobenius \Phi_q, defined as the inverse of the geometric Frobenius F_q, acts on the étale cohomology groups H^i(\overline{X}, \mathbb{Q}_\ell), where \overline{X} is the base change to the algebraic closure \overline{\mathbb{F}}_q and \ell \neq \operatorname{[char](/page/Char)}(\mathbb{F}_q). The point count is given by

\# X(\mathbb{F}_q) = \sum_{i=0}^{2\dim X} (-1)^i \operatorname{tr}\bigl( \Phi_q^* \bigm| H^i(\overline{X}, \mathbb{Q}_\ell) \bigr),

where \Phi_q^* denotes the induced action on cohomology.^[16] A prominent example arises for elliptic curves E over \mathbb{F}_q, where the formula simplifies due to the vanishing of odd-degree cohomology except in degree 1. Here, \# E(\mathbb{F}_q) = q + 1 - \operatorname{tr}(\Phi_q^* \mid H^1(\overline{E}, \mathbb{Q}_\ell)), and the trace relates directly to the Hasse-Weil zeta function Z(E, T) = \exp\left( \sum_{n=1}^\infty \frac{\# E(\mathbb{F}_{q^n}) T^n}{n} \right) = \frac{1 - a T + q T^2}{(1-T)(1-qT)}, with a = \operatorname{tr}(\Phi_q^* \mid H^1). This connection underpins Hasse's theorem, bounding |a| \leq 2\sqrt{q}, which ensures the group order is suitable for cryptographic applications.^[17]^[18] Pierre Deligne's 1974 proof of the Weil conjectures established the Riemann hypothesis for these zeta functions over finite fields, relying on the étale cohomological framework and the Lefschetz trace formula to control the eigenvalues of \Phi_q^*. Extensions of the formula apply to more general objects, including algebraic stacks via Behrend's trace formula, which adapts the alternating trace sum to the stack's coarse moduli space while accounting for automorphisms. For non-smooth schemes, versions using intersection cohomology or virtual fundamental classes preserve the fixed-point count under suitable properness assumptions.^[19]^[20]^[21] Modern applications leverage these point-counting techniques in cryptography, where efficient algorithms like Schoof's for elliptic curve group orders enable secure elliptic curve cryptography over finite fields. In coding theory, the formula aids in constructing and analyzing algebraic-geometric codes from curves over \mathbb{F}_q, optimizing parameters via zeta function evaluations. Recent developments in arithmetic statistics use the trace formula to study average point counts over families of varieties, revealing distribution patterns for Frobenius traces that inform conjectures on elliptic curve ranks and L-functions.^[22]^[23]^[24]

References

[1]
[2207.00384] Lefschetz fixed point theorems for correspondences
Jul 1, 2022 · The classical Lefschetz fixed point theorem states that the number of fixed points, counted with multiplicity \pm 1, of a smooth map f from a ...
[2]
[PDF] an overview and proof of the lefschetz fixed-point theorem
The Lefschetz Fixed-Point Theorem provides a method of proving the existence of a fixed-point for self-maps on simplicial complexes. In this paper we prove the ...Missing: original | Show results with:original
[3]
[PDF] The Lefschetz fixed point theorem - Universiteit Leiden
Using singular cohomology instead of singular homology it is also possible to prove a stronger version of the Lefschetz fixed point theorem for smooth compact.
[4]
Continuous Transformations of Manifolds - PNAS
Continuous Transformations of Manifolds. Solomon LefschetzAuthors Info & Affiliations. March 15, 1923. 9 (3) 90-93. https://doi.org/10.1073/pnas.9.3.90. 347 ...
[5]
Solomon Lefschetz | Biographical Memoirs: Volume 61
In his first proof of the fixed-point theorem in 1923 (1923, 1), Lefschetz made the additional assumption that X is an orientable closed n-manifold. One can ...
[6]
[PDF] Algebraic Topology - Cornell Mathematics
This book was written to be a readable introduction to algebraic topology with rather broad coverage of the subject. The viewpoint is quite classical in ...
[7]
[PDF] Degree and fixed point index. An account - Morfismos
There we give a conceptual proof of a Lefschetz-Hopf trace formula for computing the index of a globally defined fixed point situation. We prove the following.
[8]
Relationship between the zeros of a vector field and the fixed points of its flow
### Summary of Fixed-Point Index for Flows from Math StackExchange Post
[9]
[PDF] Asymptotic Fixed Point Theory and the Beer Barrel Theorem
Sep 22, 2008 · By our definition of the generalized fixed point index, iX(f, U) ... Brouwer degree: deg(I − fp,V, 0) ≡ deg(I − f, V, 0) mod p. (5.2).
[10]
[PDF] BROUWER'S FIXED-POINT THEOREM IN PLANE GEOMETRY
This study is about the proof of the theorem known as the first basic Fixed-Point Theorem found by L. E. J. Brouwer between the year 1909 and 1913 in plane ...
[11]
[PDF] HISTORY OF HOMOLOGICAL ALGEBRA Charles A. Weibel ...
Until the mid 1920's, topologists studied homology via incidence matrices, which they could manipulate to determine the Betti numbers and torsion coefficients.
[12]
Intersections and Transformations of Complexes and Manifolds - jstor
If the approximating complexes intersect in isolated points there is a definite Kronecker index independent of the mode of approximation. The independence from ...
[13]
[PDF] An Introduction to Lefschetz Coincidence Theory with an Application ...
Jun 7, 2011 · One of the most famous theorems regarding the Lefschetz number is the Lefschetz-Hopf. Fixed Point Theorem, first stated in 1926 in [12].
[14]
Solomon Lefschetz - Biography - MacTutor - University of St Andrews
He did further work on fixed point theorems studying the case of any finite complex in 1927 and any locally connected space in 1936. On Alexander's ...
[15]
[PDF] Lectures on etale cohomology - James Milne
Then G acts on the étale cohomology groups of X, and the Lefschetz fixed point formula can be applied to compute the traces of these representations. Page ...
[16]
[PDF] The Grothendieck-Lefschetz trace formula - Mathematics
Apr 19, 2017 · . To summarize, a version of the Lefschetz trace formula in étale cohomology would say: for a smooth proper variety X/Fq,. #X(Fq) = X i. (−1) ...
[17]
[PDF] Joseph H. Silverman - The Arithmetic of Elliptic Curves
In the preface to the first edition of this book I remarked on the paucity of intro- ductory texts devoted to the arithmetic of elliptic curves. That ...
[18]
[PDF] J.S. Milne: Elliptic Curves
Oct 30, 2006 · In early 1996, I taught a course on elliptic curves. Since this was not long after. Wiles had proved Fermat's Last Theorem and I promised to ...
[19]
[PDF] La conjecture de Weil : I - Numdam
Dans cet article, je démontre la conjecture de Weil sur les valeurs propres des endomorphismes de Frobenius. Un énoncé précis est donné en (i. 6).
[20]
The Lefschetz trace formula for algebraic stacks
In this section we study the Leray spectral sequence of a morphism of algebraic stacks, whose general form is given in Theorem 1.2.5. It rests heavily on the.
[21]
[PDF] The Trace Formula - Stacks Project
defines a Weil cohomology theory on smooth projective varieties over k. Then the trace formula. V (φ) = 2. X i=0. (−1)iTr(φ∗|Hi(C,Qℓ)) is a formal ...
[22]
[PDF] Counting the Number of Points on Elliptic Curves over Finite Fields
Cryptographic schemes using elliptic curves over finite fields require the computation of the cardinality of the curves. Dramatic progress have been achieved ...
[23]
[PDF] Elliptic curves over finite fields and applications to cryptography
May 29, 2018 · 7 Point counting. We have seen earlier that the points on an elliptic curve over Fq can be counted by brute force, using the. Legendre symbol ...
[24]
[PDF] variation in the number of points on elliptic curves and applications ...
Nov 30, 2005 · For one-parameter families of elliptic curves with j(T) non-constant, Michel [Mic] proves A2,E (p) = p2 + O(p3/2) by using the Lefschetz- ...