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

A theorem of B. Green states that if A is a Dedekind ring whose fraction field is a local or global field, every normal projective curve over Spec(A) has a finite morphism to P^1_A. We give a different proof of a variant of this result…

In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for…

We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves…

For a reductive connected group or a finite group over a field of characteristic zero, we define an equivariant algebraic cobordism theory by a generalized version of the double point relation of Levine-Pandharipande. We prove basic…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…

We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vr\'ana, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It…

We prove a projection formula, expressing a relative Buchsbaum--Rim multiplicity in terms of corresponding ones over a module-finite algebra of pure degree, generalizing an old formula for the ordinary (Samuel) multiplicity. Our proof is…

We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…

Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…

We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the…

In 1991 H\'ebrard introduced a factorization of words that turned out to be a powerful tool for the investigation of a word's scattered factors (also known as (scattered) subwords or subsequences). Based on this, first Karandikar and…

Given two equidimensional Cohen-Macaulay local rings of the same dimension, one shows that a simultaneous extension of each of them by a dualizing module of the other is Gorenstein. This generalizes a theorem of Fossum. The geometrical…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

In 2012 M. Soki\'c proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. B\"ottcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another…

Tucker's Lemma is a combinatorial analog of the Borsuk-Ulam theorem and the case n=2 was proposed by Tucker in 1945. Numerous generalizations and applications of the Lemma have appeared since then. In 2006 Meunier proved the Lemma in its…

It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representation of the algebra. In this paper we provide a…

In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…

Two skew diagrams are defined to be equivalent if their corresponding skew Schur functions are equal. The equivalence classes for ribbons have been classified by Billera, Thomas and van Willigenburg in 2006. In this paper, we provide a…

We interpret the "explicit formula" in the sense of analytic number theory for the zeta function of an ordinary abelian variety of dimension g over a finite field as a transversal index theorem on a (2g+1)-dimensional Riemannian foliated…