Related papers: The Two-Square Lemma and the connecting morphism

We give a bijective proof of an identity relating primed shifted gl(n)-standard tableaux to the product of a gl(n) character in the form of a Schur function and a product of sums of x and y terms. This result generalises a number of…

In 1936 H. Lewy showed that the Jacobian determinant of a harmonic homeomorphism between planar domains does not vanish and thus the map is a diffeomorphism. This built on the earlier existence results of Rad\'o and Kneser. R. Shoen and…

We prove a new duality theorem for the category of precontact algebras which implies the Stone Duality Theorem, its connected version obtained in arXiv:1508.02220v3, 1-44 (to appear in Topology Appl.), the recent duality theorems of…

In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets. A linking is no longer a set…

Our main aim is to associate a holonomy Lie groupoid to the connective structure of an abelian gerbe. The construction has analogies with a procedure for the holonomy Lie groupoid of a foliation, in using a locally Lie groupoid and a…

In 1983, Conway-Gordon showed that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices,…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

Danos and Regnier (1989) introduced the par-switching condition for multiplicative proof-structures and simplified the sequentialization theorem of Girard (1987) by means of par-switching. Danos and Regnier (1989) also generalized the…

We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary…

We prove two multivariate $q$-binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau…

We prove that every smooth subelliptic variety admits a surjective morphism from an affine space. This result gives partial answers to the questions of Arzhantsev and Forstneri\v{c}. As an application, we characterize open images of…

We associate an square to any two dimensional evolution algebra. This geometric object is uniquely determined, does not depend on the basis and describes the structure and the behaviour of the algebra. We determine the identities of degrees…

We prove the Zabreiko's lemma in 2-Banach spaces. As an application we shall prove a version of the closed graph theorem and open mapping theorem.

We prove two results related to the Schwarz lemma in complex geometry. First, we show that if the inequality in the Schwarz lemmata of Yau, Royden and Tosatti becomes equality at one point, then the equality holds on the whole manifold. In…

In 1983 Silverman and Tate showed that the set of points in a 1-dimensional family of abelian varieties where a section of infinite order has `small height' is finite. We conjecture a generalisation to higher-dimensional families, where we…

We establish a connection between two results in the literature on probabilistic semantics: a formulation of De Finetti's theorem in the language of category theory due to Jacobs and Staton, and the generic construction of the free…

Let $ K $ be a global function field of characteristic $ 2 $. For each non-trivial place $ v $ of $ K $, let $ K_{v} $ be the completion of $ K $ at $ v $. We show that if two non-degenerate quadratic forms are similar over every $ K_{v} $,…

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are…

This brief note only contains a modest contribution: we just fix some inaccuracies in the proof of the prime level weight 2 case of Serre's conjecture given in Khare's preprint "On Serre's modularity conjecture for 2-dimensional mod p…

We generalize the notion of Monk's schema in such a way to integrate finite dimensions. This allows us to lift a plathora of deep results proved for finite dimensions to the infinite dimensional case, like the solution to problem 2.12 in…