A duality theorem for generalized local cohomology

We prove a duality theorem for graded algebras over a field that implies several known duality results: graded local duality, versions of Serre duality for local cohomology and of Suzuki duality for generalized local cohomology, and Herzog-Rahimi bigraded duality.

     

Surrogate duality for robust optimization

Robust optimization problems, which have uncertain data, are considered. We prove surrogate duality theorems for robust quasiconvex optimization problems and surrogate min–max duality theorems for robust convex optimization problems. We give necessary and sufficient constraint qualifications for surrogate duality and surrogate min–max duality, and show some examples at which such duality results are used effectively. Moreover, we obtain a surrogate duality theorem and a surrogate min–max duality theorem for semi-definite optimization problems in the face of data uncertainty.     

Duality in algebra and topology

We apply ideas from commutative algebra, and Morita theory to algebraic topology using ring spectra. This allows us to prove new duality results in algebra and topology, and to view (1) Poincaré duality for manifolds, (2) Gorenstein duality for commutative rings, (3) Benson–Carlson duality for cohomology rings of finite groups, (4) Poincaré duality for groups and (5) Gross–Hopkins duality in chromatic stable homotopy theory as examples of a single phenomenon.     

Necessary and Sufficient Constraint Qualification for Surrogate Duality

In mathematical programming, constraint qualifications are essential elements for duality theory. Recently, necessary and sufficient constraint qualifications for Lagrange duality results have been investigated. Also, surrogate duality enables one to replace the problem by a simpler one in which the constraint function is a scalar one. However, as far as we know, a necessary and sufficient constraint qualification for surrogate duality has not been proposed yet. In this paper, we propose necessary and sufficient constraint qualifications for surrogate duality and surrogate min–max duality, which are closely related with ones for Lagrange duality.     

Conic Formulation for l p -Norm Optimization

In this paper, we formulate the l _p -norm optimization problem as a conic optimization problem, derive its duality properties (weak duality, zero duality gap, and primal attainment) using standard conic duality and show how it can be solved in polynomial time applying the framework of interior-point algorithms based on self-concordant barriers.     

Higher‐order generalized invexity in variational problems

We introduce higher‐order duality (Mangasarian type and Mond–Wier type) of variational problems. Under higher‐order generalized invexity assumptions on functions that compose the primal problem, higher‐order duality results (weak duality, strong duality, and converse duality) are derived for this pair of problems. Also, we establish many examples and counter‐examples to support our investigation. Copyright © 2012 John Wiley & Sons, Ltd.     

Group duality with the topology of precompact convergence

The Pontryagin-van Kampen (P-vK) duality, defined for topological Abelian groups, is given in terms of the compact-open topology. Polar reflexive spaces, introduced by Köthe, are those locally convex spaces satisfying duality when the dual space is equipped with the precompact-open topology. It is known that the additive groups of polar reflexive spaces satisfy P-vK duality. In this note we consider the duality of topological Abelian groups when the topology of the dual is the precompact-open topology. We characterize the precompact reflexive groups, i.e., topological groups satisfying the group duality defined in terms of the precompact-open topology. As a consequence, we obtain a new characterization of polar reflexive spaces. We also present an example of a space which satisfies P-vK duality and is not polar reflexive. Some of our results respond to questions appearing in the literature.     

Second order mixed type duality in multiobjective programming problems

Second order mixed type dual is introduced for multiobjective programming problems. Results about weak duality, strong duality, and strict converse duality are established under generalized second order (F,ρ)-convexity assumptions. These results generalize the duality results recently given by Aghezzaf and Hachimi involving generalized first order (F,ρ)-convexity conditions.     

The level-rank duality for non-abelian theta functions

We prove that the strange duality conjecture of Beauville–Donagi–Tu holds for all curves. We establish first a more extended level-rank duality, interesting in its own right, from which the standard level-rank duality follows by restriction.     

Higher-order Mond–Weir duality for set-valued optimization

In this paper, we introduce a higher-order Mond–Weir dual for a set-valued optimization problem by virtue of higher-order contingent derivatives and discuss their weak duality, strong duality and converse duality properties.     

Categories of models of R-mingle

We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simplify a construction due to Galatos-Raftery of Sugihara monoids from certain enrichments of their negative cones. Our method of obtaining this simplification is to transport the functors of the Galatos-Raftery construction across our duality, obtaining a vastly more transparent presentation on duals. Because our duality extends Dunn's relational semantics for the logic R-mingle to a categorical equivalence, this also explains the Dunn semantics and its relationship with the more usual Routley-Meyer semantics for relevant logics.     

Esakia Style Duality for Implicative Semilattices

We develop a new duality for implicative semilattices, generalizing Esakia duality for Heyting algebras. Our duality is a restricted version of generalized Priestley duality for distributive semilattices, and provides an improvement of Vrancken-Mawet and Celani dualities. We also show that Heyting algebra homomorphisms can be characterized by means of special partial functions between Esakia spaces. On the one hand, this yields a new duality for Heyting algebras, which is an alternative to Esakia duality. On the other hand, it provides a natural generalization of Köhler’s partial functions between finite posets to the infinite case.     

The duality theorem between the t-singular homology and the ws-singular cohomology of orbifolds

In the present paper, we prove that for an n-dimensional compact orbifold with an s-homological orientation, the duality of the ws-singular cohomology group and the t-singular homology group holds. The key tools are “the t-modification of the cap product” for giving the duality homomorphism and “the Convex Suborbifold Theorem” for extending the local duality isomorphism to the global one. The duality theorem proved in the present paper is a naturally required consequence of the preceding works of the authors.     

Cohomology of the Weil group of a p-adic field

We establish duality and vanishing results for the cohomology of the Weil group of a p-adic field. Among them is a duality theorem for finitely generated modules, which implies Tate–Nakayama Duality. We prove comparison results with Galois cohomology, which imply that the cohomology of the Weil group determines that of the Galois group. When the module is defined by an abelian variety, we use these comparison results to establish a duality theorem analogous to Tate?s duality theorem for abelian varieties over p-adic fields.     

Conjugate duality for vector-maximization problems

In this article we present a conjugate duality for a problem of maximizing a polyhedral concave nondecreasing homogeneous function over a convex feasible set in the nonnegative n-dimensional orthant. Using this duality we obtain a zero-gap duality for a vector-maximization problem.     

Tightening a copositive relaxation for standard quadratic optimization problems

We focus in this paper the problem of improving the semidefinite programming (SDP) relaxations for the standard quadratic optimization problem (standard QP in short) that concerns with minimizing a quadratic form over a simplex. We first analyze the duality gap between the standard QP and one of its SDP relaxations known as “strengthened Shor’s relaxation”. To estimate the duality gap, we utilize the duality information of the SDP relaxation to construct a graph G ^?. The estimation can be then reduced to a two-phase problem of enumerating first all the minimal vertex covers of G ^? and solving next a family of second-order cone programming problems. When there is a nonzero duality gap, this duality gap estimation can lead to a strictly tighter lower bound than the strengthened Shor’s SDP bound. With the duality gap estimation improving scheme, we develop further a heuristic algorithm for obtaining a good approximate solution for standard QP.     

Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Weak Morita Duality

Abstract

The notion of a weak Morita duality between subcategories of Mod-R and S-Mod is introduced and investigated. This concept includes dualities induced by cotilting modules over finite dimensional algebras, the R-dual for both noetherian rings of injective dimension ≤ 1 and the Matlis duality domains, as well as the first author's generalized Morita duality. Moreover it yields a “cotilting theorem” dual to the classical tilting theorem, and a characterization of generalized Morita duality.     

A Spectral-style Duality for Distributive Posets

In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ₁-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.