Related papers: Factorization, Fibration and Torsion
First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term…
A theory of gravity with torsion is examined in which the torsion tensor is constructed from the exterior derivative of an antisymmetric rank two potential plus the dual of the gradient of a scalar field. Field equations for the theory are…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
We explore the connection between the factorisation of virtual corrections to multi-particle massless gauge theory amplitudes and the problem of subtraction at NNLO and beyond. Taking inspiration from virtual factorisation, we provide a set…
The study of factorization in the linearized gravity is extended to the graviton scattering processes with a massive scalar particle, with a massless vector boson and also with a graviton. Every transition amplitude is shown to be…
We show in three dimensions, using functional integral techniques, the equivalence between the partition functions of the massive Thirring model and a gauge theory with two gauge fields, to all orders in the inverse fermion mass. Detailed…
For the minimization of state-based systems (i.e. the reduction of the number of states while retaining the system's semantics), there are two obvious aspects: removing unnecessary states of the system and merging redundant states in the…
This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as powerful as resolution, also seen from a complexity point of view.
In analogy with the Thurston norm, we define for an orientable 3-manifold $M$ a numerical function on $H_2(M;Q/Z)$. This function measures the minimal complexity of folded surfaces representing a given homology class. A similar function is…
Simon's factorization theorem is a celebrated tool in algebraic automata theory, providing bounded-depth decompositions of words with respect to morphisms into finite semigroups. We develop an analogue of Simon's theorem for \emph{forests}…
There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the…
We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a systematic way to organise complex diagrammatic reasoning and…
We present a development of norms and discuss their relationship to factorization. In earlier work, the first named author introduced the notion of a normset, which is the image of the norm map. A normset is a monoid with its own…
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…
The goal of this paper is to put the theory of approximate fibrations into the framework of higher topos theory. We define the notion of an approximate fibration for a general geometric morphism of $\infty$-topoi, give several…
We introduce extriangulated factorization systems in extriangulated categories and show that there exists a bijection between $s$-torsion pairs and extriangulated factorization systems. We also consider the gluing of $s$-torsion pairs and…
Ordinary binary multiplication of natural numbers can be generalized in a non-trivial way to a ternary operation by considering discrete volumes of lattice hexagons. With this operation, a natural notion of `3-primality' -- primality with…
Mutation of compact silting objects is a fundamental operation in the representation theory of finite-dimensional algebras due to its connections to cluster theory and to the lattice of torsion pairs in module or derived categories. In this…
We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…
The connections between the objects mentioned in the title are used to give a short proof of the Cartan--Helgason theorem and a natural construction of the compactifications.