Related papers: A sufficient criterion for homotopy cartesianess
An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on…
Solutions of a variational inequality are found by giving conditions for the monotone convergence with respect to a cone of the Picard iteration corresponding to its natural map. One of these conditions is the isotonicity of the projection…
Regularity, complete intersection and Gorenstein properties of a local ring can be characterized by homological conditions on the canonical homomorphism into its residue field (Serre, Avramov, Auslander). It is also known that in positive…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
The covering type of a space $X$ is defined as the minimal cardinality of a good cover of a space that is homotopy equivalent to $X$. We derive estimates for the covering type of $X$ in terms of other invariants of $X$, namely the ranks of…
We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor,…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
According to an old result of Albert and Muckenhoupt, the commutators in the endomorphism ring of a finite dimensional vector space are precisely the elements of trace zero. We replace the finite dimensional vector space with a complex of…
Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…
In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of…
New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…
Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…
Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially…
Our main result states that a finite semiring of order >2 with zero which is not a ring is congruence-simple if and only if it is isomorphic to a `dense' subsemiring of the endomorphism semiring of a finite idempotent commutative monoid. We…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is…
We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
It has been proved by Bergh and Thaule that the higher mapping cone axiom is equivalent to the higher octahedral axiom for n-angulated categories. In this note, we use homotopy cartesian diagrams to give several new equivalent statements of…
Let E be a rank two vector bundle on a scheme X. The following three structures are shown to be equivalent : a) A primitive quadratic map q: E --> L, with values in an invertible module L. b) A double covering f: Y --> X endowed with an…