Related papers: An inductive proof of the Feinstein-Heath Swiss ch…
We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\mathrm{K}$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a…
We prove an instance of the so-called Addition Theorem for the algebraic entropy of actions of cancellative right amenable monoids $S$ on discrete abelian groups $A$ by endomorphisms, under the hypothesis that $S$ is locally monotileable…
The Skolem-Mahler-Lech theorem states that if $f(n)$ is a sequence given by a linear recurrence over a field of characteristic 0,then the set of $m$ such that $f(m)$ is equal to 0 is the union of a finite number of arithmetic progressions…
A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy,…
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…
We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in…
We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…
In [8], Fang-Lan-Xiao proved a formula about Lusztig's induction and restriction functors which can induce Green's formula for the path algebra of a quiver over a finite field via the trace map. In this paper, we generalize their formula to…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
Vizing's conjecture (open since 1968) relates the sizes of dominating sets in two graphs to the size of a dominating set in their Cartesian product graph. In this paper, we formulate Vizing's conjecture itself as a Positivstellensatz…
The aim of this note is to understand the injectivity of Feigin's map $\mathbf{F_w}$ by representation theory of quivers, where $\mathbf{w}$ is the word of a reduced expression of the longest element of a finite Weyl group. This is achieved…
The Schinzel hypothesis is a famous conjectural statement about primes in value sets of polynomials, which generalizes the Dirichlet theorem about primes in an arithmetic progression. We consider the situation that the ring of integers is…
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 develop a theory of motives with compact support for logarithmic schemes over a field. Starting from the notion of finite logarithmic correspondences with compact support, we define the logarithmic motive with compact support analogous…
The \begin{it} Invariance Theorem \end{it} of M. Gerstenhaber and S. D. Schack states that if $\mathbb{A}$ is a diagram of algebras then the subdivision functor induces a natural isomorphism between the Yoneda cohomologies of the category…
A brief introduction to the theory of ordered sets and lattice theory is given. To illustrate proof techniques in the theory of ordered sets, a generalization of a conjecture of Daykin and Daykin, concerning the structure of posets that can…
In the planar setting the Rad\'o-Kneser-Choquet theorem states that a harmonic map from the unit disk onto a Jordan domain bounded by a convex curve is a diffeomorphism provided that the boundary mapping is a homeomorphism. We prove the…
We introduce a notion of intrinsically H\"older graphs in metric spaces. Following a recent paper of Le Donne and the author, we prove some relevant results as the Ascoli-Arzel\`a compactness Theorem, Ahlfors-David regularity and the…
The affine Hilbert function is a classical algebraic object that has been central, among other tools, to the development of the polynomial method in combinatorics. Owing to its concrete connections with Gr\"obner basis theory, as well as…
Motivated by various developments in algebraic combinatorics and its applications, we investigate here the fine structure of a fundamental but little known theorem, the Gerstenhaber and Schack cohomology comparison theorem.The theorem…