Related papers: The Two-Square Lemma and the connecting morphism
In the present note we give a new proof of a result due to Wiseman and Wilson which establishes an analogue of the Sylvester-Gallai theorem valid for curves of degree two. The main ingredients of the proof come from algebraic geometry.…
We prove a duality theorem for graded algebras over a field that implies several known duality results : graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and…
The presented splitting lemma extends the techniques of Gromov and Forstneri\v{c} to glue local sections of a given analytic sheaf, a key step in the proof of all Oka principles. The novelty on which the proof depends is a lifting lemma for…
In this article we discuss local aspects of 2-functors defined on the path 2-groupoid of a smooth manifold; in particular, local trivializations and descent data. This is a contribution to a project that provides an axiomatic formulation of…
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…
In this article we establish some results that allow to deduce the continuity of homomorphisms of (topological) abelian groups from commutative diagrams. In particular, we present a new topological version of the classical Five-Lemma. These…
In 1997 M.~Khovanov proved that any doodle can be presented as closure of twin, this result is analogue of classical Alexander's theorem for braids and links. We give a description of twins that have equivalent closures, this theorem is…
In 1984, a simple and useful univalence criterion for harmonic functions was given by Clunie and Sheil-Small, which is usually called the shear construction. However, the application of this theorem is limited to the planar harmonic…
We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.
Assuming the purity conjecture for the affine Springer fibers which has been formulated by Goresky, Kottwitz and MacPherson, we prove a geometric analog of the fundamental lemma for unitary groups. Our approach is similar to the one of…
We describe some of the basic properties of the 2-category of 2-term complexes in an abelian category, using butterflies as morphisms.
We give some higher dimensional analogues of the Durfee square formula and point out their relation to dissections of multipartitions. We apply the results to write certain affine Lie algebra characters in terms of Universal Chiral…
In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one "good" fill-in, i.e., one whose mapping cone is exact. Verdier constructed a fill-in of a particular form in his proof of the $4…
We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…
A popular graphical calculus for monoidal categories makes computations tactile and intuitive. Complicated diagram chases can be expressed in a few pictures and discovered by playing with a shoelace. Joyal and Street's proof of the…
A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many…
A well-known open problem in graph theory asks whether Stanley's chromatic symmetric function, a generalization of the chromatic polynomial of a graph, distinguishes between any two non-isomorphic trees. Previous work has proven the…
In 2012, Zilber used model-theoretic techniques to show that a curve of high genus over an algebraically closed field is determined by its Jacobian (viewed only as an abstract group with a distinguished subset for an image of the curve). In…
In the 1977 paper \cite{MTW} of B. McCoy, C. Tracy and T. Wu it was shown that the limiting two-point correlation function in the two-dimensional Ising model is related to a second order nonlinear Painlev\'e function. This result identified…