Mathoverflow 31809
Does there exist a category that is pretriangulated but not triangulated?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Does there exist a category that is pretriangulated but not triangulated?
There exists a proper ideal I in a (commutative) total ring R of fractions that is an
invertible module. If I ⊊ R is such an example, I must have infinite order in the Picard group,
and R must not be Noetherian (otherwise it must be semi-local and therefore have trivial Picard
group).
Does the 6-sphere admit a complex structure, i.e. an atlas of holomorphically compatible charts
relating it to EuclideanSpace ℂ (Fin 3)?
Assume for , is a bijection, where is equipped with the standard topology. Does the connectedness of (the induced power set map) imply that of ?
Let be a function. Does the equality hold when both suprema are finite?
Is there any polynomial such that is a bijection?
Let be two monic polynomials with non-negative coefficients. If is a polynomial (coefficients only from ), then and are also polynomials.
Can a unit square be covered by rectangles of width 1 / (n + 1) and height 1 / (n + 2)?
Equivalently, can a unit square be packed with rectangles of width 1 / (n + 1) and height
1 / (n + 2)?
Conjecture 7 from Kahn–Kalai 2006: the same statement as the original conjecture, but with the additional assumption that is the critical probability for , namely .
If and are integers, then must be an integer.
Is 2n the complexity of 2^n for 0 < n?