Related papers: Lefschetz fixed-object and fixed-morphism theorems…
We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…
Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of…
A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…
We present a constructive proof of Tychonoff's fixed point theorem in a locally convex space for sequentially locally non-constant functions, As a corollary to this theorem we also present Schauder's fixed point theorem in a Banach space…
We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
We consider the Fukaya category associated to a basis of vanishing cycles in a Lefschetz fibration. We show that each element of the Floer cohomology of the monodromy around infinity gives rise to a natural transformation from the Serre…
We arrange morphisms and comorphisms of sites as the horizontal and vertical cells of a double category of sites; using the formalism of extensions and restrictions of presheaves, we explains how one can define a sheafification double…
We prove the strong Lefschetz property for certain complete intersections defined by products of linear forms, using a characterization of the strong Lefschetz property in terms of central simple modules.
Let $S$ be a complex projective surface. Lefschetz originally proved Lefschetz $(1, 1)$--Theorem by studying a Lefschetz pencil of hyperplane sections of $S$ and the Abel--Jacobi mapping. In this paper, we attack Lefschetz $(1, 1)$--Theorem…
In this article, we discuss the Lefschetz trace formula for an adic space which is separated smooth of finite type but not necessarily proper over an algebraically closed non-archimedean field. Under a certain condition on the absence of…
Let $\mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $\mathscr{A} \subset \mathscr{F}$ an $n$-extension closed, additive and full subcategory with $\operatorname{Hom}_{\mathscr{F}}(\Sigma_n \mathscr{A}, \mathscr{A}) = 0$.…
Let $n$ be a non-negative integer. {Motivated by the universal property of the stable category of Frobenius categories, the authors in \cite{bfss} extended the stabilization of Frobenius categories to $n$-Frobenius categories, and called it…
We prove a version of the Lefschetz fixed point theorem for multivalued maps $F:X\multimap X$ in which $X$ is a finite $T_0$ space.
In the context of tvs-cone metric spaces, we prove a Bishop-Phelps and a Caristi's type theorem. These results allow us to prove a fixed point theorem for $(\delta, L)$-weak contraction according to a pseudo Hausdorff metric defined by…
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains…
A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…
In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…
In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover the localic groupoids that classify geometric theories,…
Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some…