相关论文: Categorical traces and a relative Lefschetz-Verdie…
In this note, we give an elementary proof of the result given by Schenzel that there are functorial isomorphisms between local cohomology groups and \v{C}ech cohomology groups, by using weakly proregular sequences. In [Sch03], he used…
For the group G = PGL(2) we prove nonstandard matching and the fundamental lemma between two relative trace formulas: on one hand, the relative trace formula of Jacquet for the quotient T\G/T, where T is a nontrivial torus; on the other,…
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
Motivated by the study of periods of automorphic forms and relative trace formulae, we develop the theory of descent necessary to study orbital integrals arising in the fundamental lemma for a general class of symmetric spaces over a…
We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$.…
We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a Q-linear tensor category with a tensor functor to super vector…
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…
In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of…
We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…
The familiar trace of a square matrix generalizes to a trace of an endomorphism of a dualizable object in a symmetric monoidal category. To extend these ideas to other settings, such as modules over non-commutative rings, the trace can be…
We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive…
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we…
For a conformal vector field on a closed, real-analytic, Lorentzian manifold we prove that the flow is locally isometric -- that it preserves a metric in the conformal class on a neighborhood of any point -- or the metric is everywhere…
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…
We continue the investigation of twisted homology theories in the context of dimension drop phenomena. This work unifies previous equivariant index calculations in twisted cyclic cohomology. We do this by proving the existence of the…
In the category of motions preserving the angular momentum's direction, Gorringe and Leach exhibited two classes of differential equations having elliptical orbits. After enlarging slightly these classes, we show that they are related by a…
We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally…
We develop a model structure on presheaves of small simplicially enriched categories on a site $\mathscr{C}$, for which the weak equivalences are 'stalkwise' weak equivalences for the Bergner model structure. This model structure is right…
Duality is one of the oldest known symmetries of Maxwell equations. In recent years the significance of duality symmetry has been recognized in superstrings and high energy physics and there has been a renewed interest on the question of…
We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…