Related papers: Beyond Sperner's lemma

The goal of this paper is to generalize a theorem of Fujiwara (formerly Deligne's conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langlands correspondence over function fields. Moreover, our…

We show the direct applicability of the Brouwer fixed point theorem for the existence of equilibrium points and periodic solutions for differential systems on general domains satisfying geometric conditions at the boundary. We develop a…

We provide a purely combinatorial proof of a skein exact sequence obeyed by double-point enhanced grid homology. We also extend the theory to coefficients over $\mathbb{Z},$ and discuss alternatives to the Ozsv\'ath-Szab\'o $\tau$…

The cosection lemma proved by J. Li and Y.H. Kiem said the intrinsic normal cone lies inside the kernel of any cosection of the obstruction sheaf when the moduli has a perfect obstruction theory. With a definition of higher tangent vectors…

This paper gives another proof of the key lemma in my recent paper which solves the optimal paper Moebius band conjecture of Halpern and Weaver, namely Lemma T. The proof here is longer but it offers more geometric intuition about what is…

Herbrand's theorem is often presented as a corollary of Gentzen's sharpened Hauptsatz for the classical sequent calculus. However, the midsequent gives Herbrand's theorem directly only for formulae in prenex normal form. In the Handbook of…

This paper contains a proof of a conjecture of Breuil and Schneider, on the existence of an invariant norm on any locally algebraic representation of $\GL(n)$, with integral central character, whose smooth part is given by a generalized…

This article generalizes the work of Ballmann and \'Swiatkowski to the case of Reflexive Banach spaces and uniformly convex Busemann spaces, thus giving a new fixed point criterion for groups acting on simplicial complexes.

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are…

In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a…

We shall prove a convergence result relative to sequences of Minkowski symmetrals of general compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite…

In this paper we extend the coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ obtained in [T.G. Bhaskar, V. Lakshmikantham, \textit{Fixed point theorems in partially ordered metric spaces and…

An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

The Banach contraction principle is the most celebrated fixed point theorem, it has been generalized in various directions. In this paper, inspired by the concept of $(\phi, F)-$contraction in metric spaces, introduced by Wardowski. We…

In Theorem 1 of the paper [V. Pata, A fixed point theorem in metric spaces, J. Fixed Point Theory Appl., 10 (2011), 299-305] it is proved that Picard's iterates for a function converge to a fixed point if a certain condition (C) is verified…

We propose a new definition of effective formulas for problems in enumerative combinatorics. We outline the proof of the fact that every linear recurrence sequence of integers has such a formula. It follows from a lower bound that can be…

Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid…

By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…

We prove that the set of matchings with a fixed number of unmatched vertices is Schur-positive with respect to the set of short chords. Two proofs are presented. The first proof applies a new combinatorial criterion for Schur-positivity,…