The geometry of the Lubin-Tate space of deformations of a formal group is studied via an étale, rigid analytic map from the deformation space to projective space. This leads to a simple description of the equivariant canonical bundle of the deformation space which, in turn, yields a formula for the dualizing complex in stable homotopy theory. Introduction Ever since Quillen [22, 1 ] discovered ...

Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square SqB/A M , which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ : M ≃ −→ SqB/A M then the pair (M,ρ) is called a rigid complex over B relative to A...

Any monotone Boolean function on a lattice can be described by the set of its minimal 1 values. If a lattice is given as a concept lattice, this set can be represented by the set of minimal hypotheses of a classification context. Enumeration of minimal hypotheses in output polynomial time is shown to be impossible unless P = NP, which shows that dualization of monotone functions on lattices wit...

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categ...

Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square SqB/A M , which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ : M ≃ −→ SqB/A M then the pair (M,ρ) is called a rigid complex over B relative to A...

Max Noether’s Theorem asserts that if ω is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms SymH(ω) → H(ω) are surjective for all n ≥ 1. This is true for Gorenstein nonhyperelliptic curves as well. We prove this remains true for nearly Gorenstein curves and for all integral nonhyperelliptic curves whose non-Gorenstein points are unibranch. The re...