Related papers: On good morphisms of exact triangles

We develop a theory of perfect algebraic spaces that extend the so-called perfect schemes to the setting of algebraic spaces. We prove several desired properties of perfect algebraic spaces. This extends some previous results of perfect…

We study perfect matchings, or close-packed dimer coverings, of finite sections of the eleven Archimedean lattices and give a constructive proof showing that any two perfect matchings can be transformed into each other using small sets of…

For a non-degenerate integral quadratic form $F(x_1, \dots , x_d)$ in $d\geq5$ variables, we prove an optimal strong approximation theorem. Let $\Omega$ be a fixed compact subset of the affine quadric $F(x_1,\dots,x_d)=1$ over the real…

K\"onig's lemma is a fundamental result about trees with countless applications in mathematics and computer science. In contrapositive form, it states that if a tree is finitely branching and well-founded (i.e. has no infinite paths), then…

It is proved that the degree of a morphism from a smooth projective n-fold with Picard number one to a smooth n-quadric is bounded (provided, of course, that n is at least three). Actually it has been proved some years ago, but I have never…

We discuss gluing of objects and gluing of morphisms in tensor triangulated categories. We illustrate the results by producing, among other things, a Mayer-Vietoris exact sequence involving Picard groups.

To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right…

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,…

A classical result in additive combinatorics, which is a combination of Balog-Szemer\'edi-Gowers theorem and a variant of Freiman's theorem due to Ruzsa, says that if a subset $A$ of $\mathbb{F}_p^n$ contains at least $c |A|^3$ additive…

We obtain a connection between admissible elements for quadruples and Herrmann's endomorphisms. Herrmann constructed perfect elements $s_n$, $t_n$, $p_{i,n}$ in $D^4$ by means of some endomorphisms and showed that these perfect elements…

To, say, a proper algebraic or holomorphic space $X/S$, and a coherent sheaf ${\mathcal F}$ on $X$ we identify a functorial ideal, the fitted flatifier, blowing up sequentially in which leads to a flattening of the proper transform of…

We develop a general theory of partial morphisms in additive exact categories which extends the model theoretic notion introduced by Ziegler in the particular case of pure-exact sequences in the category of modules over a ring. We relate…

We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…

First we prove that any inner automorphism in the stabilizer of a graded-simple unital associative algebra whose grading group is abelian is the conjugation by a homogeneous element. Now consider a grading by an abelian group on an…

An order four automorphism of a Lie algebra gives rise to an integrable system discussed by Terng. We show that solutions of this system may be identified with certain vertically harmonic twistor lifts of conformal maps of surfaces in a…

We give upper bounds on weighted perfect matchings in pfaffian graphs. These upper bounds are better than Bregman's upper bounds on the number of perfect matchings. We show that some of our upper bounds are sharp for 3 and 4-regular…

Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…

We prove a Verdier Hypercovering Theorem for cohomology theories arising from motivic spectra. This allows us to construct for smooth quasi-projective complex varieties a natural morphism from etale algebraic to Hodge filtered complex…

We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We…