Related papers: The topological trace formula
We formulate a conjectural Lefschetz formula for locally symmetric spaces of finite volume. The formula can be verified in the compact case and for Riemann surfaces.
A general Lefschetz formula for the geodesic action on locally symmetric spaces is proven.
We consider Smale spaces, a particular class of hyperbolic topological dynamical systems, which include the basic sets for Smale's Axiom A systems. We present a homology theory for such systems which is based on the dimension group in the…
For every Hecke C*-algebra of right-angled, hyperbolic type, we construct a smooth subalgebra to which traces associated with arbitrary conjugacy classes in the associated Coxeter group extend. We calculate the pairing with K-theory of the…
We consider the trace map associated with the Fibonacci Hamiltonian as a diffeomorphism on the invariant surface associated with a given coupling constant and prove that the non-wandering set of this map is hyperbolic if the coupling is…
We prove a relative Lefschetz-Verdier theorem for locally acyclic objects over a Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$-category of cohomological correspondences. We show that local…
There exists a well-known Lefschetz formula for the number of fixed points in algebraic topology. In algebraic geometry, there exist cohomologies of coherent sheaves. It is natural to consider the same alternated sum of traces as in…
A hyperelliptic broken Lefschetz fibration is a generalization of a hyperelliptic Lefschetz fibration. We construct and compute a local signature of hyperelliptic directed broken Lefschetz fibrations by generalizing Endo's local signature…
A trace formula for Toeplitz operators was proved by Boutet de Monvel and Guillemin in the setting of general Toeplitz structures. Here we give a local version of this result for a class of Toeplitz operators related to continuous groups of…
By extending the new supersymmetric localization principle introduced in \cite{Choi:2021yuz}, we present a path integral derivation of the Selberg trace formula on arbitrary compact Riemann surfaces, including the case of arbitrary…
In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible…
Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…
We derive a formula for the regularized trace of operators with compact spectrum which act on the space of square integrable functions on the quotient of a semisimple Liegroup of real rank one by a convex-cocompact subgroup. The sum of…
Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…
In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety. Our main tool is…
The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth…
We show local and cocycle rigidity for $\R^k \times \Z^l$ partially hyperbolic translation actions on homogeneous spaces $\mc G/ \Lambda$. We consider a large class of actions whose geometric properties are more complicated than previously…
We study Lefschetz fixed point formulas for constructible sheaves with higher-dimensional fixed point sets. Under fairly weak assumptions, we prove that the local contributions from them are expressed by some constructible functions…
Let X be a locally symmetric space associated to a reductive algebraic group G defined over Q. L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of X; they were introduced in…
Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion \'etale cohomology under certain…