Related papers: More Reduced Obstruction Theories
In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…
The paper introduces a number of new techniques to handle minimal hyersurface singularities. In particular, they allow to extend the obstruction theory for postive scalr curvature to any dimension.
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…
After introducing some cohomology classes as obstructions to orientation and spin structures etc., we explain some applications of cohomology to physical problems, in special to reduced holonomy in M- and F-theory.
A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain…
The theory of rough paths arose from a desire to establish continuity properties of ordinary differential equations involving terms of low regularity. While essentially an analytic theory, its main motivation and applications are in…
The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps…
We study rational cuspidal curves in projective surfaces. We specify two criteria obstructing possible configurations of singular points that may occur on such curves. One criterion generalizes the result of Fernandez de Bobadilla, Luengo,…
Finite obstruction sets for lower ideals in the minor order are guaranteed to exist by the Graph Minor Theorem. It has been known for several years that, in principle, obstruction sets can be mechanically computed for most natural lower…
We study cohomological obstructions to the existence of global conserved quantities. In particular, we show that, if a given local variational problem is supposed to admit global solutions, certain cohomology classes cannot appear as…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…
Elimination theory has many applications, in particular, it describes explicitly an image of a complex line under rational transformation and determines the number of common zeroes of two polynomials in one variable. We generalize classical…
We give an elementary construction of the tangent-obstruction theory of the deformations of the pair $(X,L)$ with $X$ a reduced local complete intersection scheme and $L$ a line bundle on $X$. This generalizes the classical deformation…
We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic…
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…
Simplicial formal maps were introduced in the first paper, (math.QA/0512032), of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a…
We give a new definition of an obstruction theory for infinitesimal deformation theory and relate it to earlier definitions of Artin, Fantechi-Manetti, Li-Tian, and Behrend-Fantechi.
In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the Regular and Grammar constraints specify constraints in terms of the languages accepted by an automaton and a…
In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…