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

We consider algebras and Frobenius algebras, internal to a monoidal category, that are graded over a finite abelian group. For the case that A is a twisted group algebra in a linear abelian monoidal category we obtain a graded…

Zakalyukin's lemma asserts that the coincidence of the images of two wave front germs implies the right equivalence of corresponding map germs under a certain genericity assumption. The purpose of this paper is to give an improvement of…

Let X and Y be complex smooth projective varieties, and D^b(X) and D^b(Y) the associated bounded derived categories of coherent sheaves. Assume the existence of a triangulated category T which is admissible both in D^b(X) as in D^b(Y).…

We prove a generalization of the Kibble--Slepian formula (for Hermite polynomials) and its unitary analogue involving the $2$D Hermite polynomials recently proved in \cite{Ism4}. We derive integral representations for the $2$D Hermite…

Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit…

Let A_k denote the twisted group algebra of the symmetric group S_k, whose representations correspond to the nonlinear projective representations of S_k. We establish a duality relation between A_k and a Lie superalgebra q(n), sometimes…

In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies…

We prove that for any two centrally-symmetric convex shapes $K,L \subset \mathbb{R}^2$, the function $t \mapsto |e^t K \cap L|$ is log-concave. This extends a result of Cordero-Erausquin, Fradelizi and Maurey in the two dimensional case.…

We prove a canonical bundle formula for generically finite morphisms in the setting of generalized pairs (with $\mathbb{R}$-coefficients). This complements Filipazzi's canonical bundle formula for morphisms with connected fibres. It is then…

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…

We prove that a regular category $\mathcal C$ is a Mal'tsev category if and only if a strong form of the denormalised $3 \times 3$ Lemma holds true in $\mathcal C$. In this version of the $3 \times 3$ Lemma, the vertical exact forks are…

We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…

In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some…

In 2018 Kashaev introduced a diagrammatic link invariant conjectured to be twice the Levine-Tristram signature. If true, the conjecture would provide a simple way of computing the Levine-Tristram signature of a link by taking the signature…

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…

The notion of type of a differential 2-form in four variables is introduced and for 2-forms of type < 4, local normal models are given. If the type of a 2-form $\Omega$ is 4, then the equivalence under diffeomorphisms of $\Omega$ is reduced…

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.

We study the 2-parity conjecture for Jacobians of hyperelliptic curves over number fields. Under some mild assumptions on their reduction, we prove the conjecture over quadratic extensions of the base field. The proof proceeds via a…

This paper deals with function field analogues of the famous theorem of Landau which gives the asymptotic density of sums of two squares in $\mathbb{Z}$. We define the analogue of a sum of two squares in $\mathbb{F}_q[T]$ and estimate the…

Let $\alpha(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $\alpha(2n+1) = (2n+1) \alpha(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents…