# Questions tagged [duality]

Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.

**0**

votes

**0**answers

18 views

### How to prove de Vries algebras morphisms are dense and full if their duals are into?

Well, this is a quite short question but I think it will require some explainations.
Let's say that a de Vries (or compingent) algebra is a Boolean algebra $B=(B,0,1, \wedge, \vee, \neg) $ with a ...

**3**

votes

**0**answers

125 views

### I want a elaboration of the sketch of proof given in the Serre's Galois Cohomology on the existence of the dualizing module

I've wanted to understand the concept of the Dualizing module in the theory of Galois Cohomology. There are many references on it and of them all Neukirch's Cohomology of Number Fields seems to be ...

**4**

votes

**2**answers

339 views

### If the closed unit ball of Banach space has at least one extreme point, must the Banach space the be a dual space?

Let $X$ be a Banach space.
By Banach-Alaoglu and Krein-Milman Theorems, one can show that if $X$ is a dual space, then $X$ must have at least one extreme point of the closed unit ball.
I am ...

**3**

votes

**0**answers

76 views

### How is the restriction of the dualizing sheaf to an irreducible component related to the dualizing sheaf of the component?

$\DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\hom}{\mathcal{Hom}} \DeclareMathOperator{\ox}{\mathcal{O}_X}$Let $f:X \to Y$ be a proper morphism. In section 6.4. of Liu's book he introduces ...

**3**

votes

**1**answer

126 views

### What is the dual of generating Boolean subalgebra by subexpressions of a modal formula?

I am supposed to be answering this question rather than asking it but I really cannot figure out.
There is a variation on Stone duality linking algebraic and (descriptive) Kripke semantics for (...

**9**

votes

**2**answers

268 views

### Divided power algebra is artinian as a module over the polynomial ring

I already asked this on math.stackexchange.com, but did not receive much responses. I hope this is also appropriate for mathoverflow.
In the paper Homological algebra on a complete intersection, with ...

**3**

votes

**0**answers

55 views

### Legendre transform on signed measure space

Let $X$ be an open set in $\mathbb{R}^n$ and $M(X)$ be the space of finite signed measures defined on $X$. $L(p)$ is a lower-semicontinuous convex functional defined on $M(X)$. My question is: (1) ...

**0**

votes

**1**answer

59 views

### Examples of isomorphic W* algebra with non-homeomorphic weak topology

Due to the uniqueness of the predual, a W* algebra, when realized as a von Neumann algebra in any way, always has a unique, well-defined ultraweak (or $\sigma$-weak) topology. The same can be said ...

**5**

votes

**1**answer

75 views

### Reflection-invariant monomial ideals and Alexander duality

First we give some definitions from Section 3 of the paper Monomials, Binomials, and Riemann-Roch by Manjunath and Sturmfels and then we restate a claim from that paper offered without proof. Finally ...

**1**

vote

**0**answers

26 views

### Dual representation of problems involving $f$-divergences

Studying some problems arising in decision-making under model uncertainty, I'm led to consider the following problems.
Let $\mathbb E_P$ and $\mathbb V_P$ denote the expectation and variance ...

**5**

votes

**1**answer

176 views

### Dualizable presheaves with respect to Day convolution

This question was posted on MSE and got very little attention, so I'm also posting it here.
Let $\mathcal{C}$ be a closed symmetric monoidal category and let $PSh(\mathcal{C}):=Fun(\mathcal{C}^{op}, \...

**4**

votes

**0**answers

98 views

### Langlands dual and integrable representations

Assume I successfully classified the integrable representations of a certain semi-simple Lie group $G$. Given this information, what do I know about the integrable representations of $G^\vee$, the ...

**3**

votes

**1**answer

164 views

### Support of cohomology of a dualizing complex

Let $A$ be a commutative noetherian local ring, and let $D$ be a dualizing complex over $A$. Let $i$ be the minimal integer such that $H^i(D) \ne 0$ (I am assuming cohomological grading, so the ...

**1**

vote

**0**answers

81 views

### Weak$^*$ topology on Bochner $L^p$-spaces

Assume that $X$ is a Banach space such that the dual $X'$ has the Radon-Nikodym property. Moreover let $(\Omega,\Sigma,\mu)$ a say finite measure space. Then we know that for $1\leq p<\infty$ holds ...

**2**

votes

**1**answer

108 views

### Duality of Bochner $L^{\infty}$ space

Let's have a look to the unit interval $[0,1]$ and a Banach space $X$ and then to the space
$$
E:=L^{\infty}([0,1],X),
$$
i.e. all essentially bounded Banach-valued functions $f:[0,1]\rightarrow X$. ...

**1**

vote

**1**answer

45 views

### For univariate polynomial is non-negativity on an interval equivalent to having a nonnegative scalar product with non-negative polynomials

Let $\mathbb R_d[t]$ be the set of univariate polynomials in the variable $t$ of degree $d$, and $S$ be the set of elements of $\mathbb R_d[t]$ that are nonnegative on $[0, 1]$. Does the following ...

**3**

votes

**0**answers

186 views

### Access to a classic reference of Dold-Puppe

There is an old reference that I am unable to easily find. It is Dold-Puppe´s communication at a conference. More concretely, it is cited as:
A. Dold, D. Puppe: Duality, trace and transfer. ...

**0**

votes

**0**answers

63 views

### Discrete primal-duality in optimization

I would like to inquire about the existence of something perhaps similar to the duality theorem in the convex analysis or convex programming in the discrete setting. Here is a concrete example.
Let $...

**6**

votes

**2**answers

553 views

### Why the circle for Pontryagin duality? [duplicate]

For a locally compact group $G$, we define the Pontryagin dual as $\hat G = Hom(G,\mathbb T)$ where $\mathbb T$ is the circle group and the homomorphisms are continuous group maps. This duality has a ...

**11**

votes

**1**answer

249 views

### What do you call $C$ if $[D,C] = D^\vee \otimes C$ for all $D$?

This is different from $C$ being dualizable ($[C,D] = C^\vee \otimes D$). (EDIT: It turns out to be the same -- see Mike Shulman's answer!) But for example, if $C$ is a locally free sheaf of finite ...

**10**

votes

**1**answer

291 views

### Gabriel-Ulmer duality for $\infty$-categories

Gabriel-Ulmer duality states that 2-categories $\mathrm{Lex}$ (of small finitely complete categories and functors preserving finite limits) and $\mathrm{LFP}$ (of locally finitely presentable ...

**3**

votes

**0**answers

108 views

### Weak to weak$^*$ continuity of the duality mapping

Let $X$ be a uniformly convex and uniformly smooth Banach space. We consider the duality mapping $J_p^X$ defined as the sub-gradient $\partial (\frac1p\|\cdot\|^p)$. Is there a characterisation of the ...

**6**

votes

**1**answer

144 views

### Is the Mackey topology $\tau(l^{\infty},l^{1})$ strongly Lindelöf?

Let $l^{\infty}$ (respectively, $l^{1}$) be the space of bounded
(respectively, absolutely summable) real sequences. I need to find out if
$l^{\infty}$ equipped with the Mackey topology $\tau(l^{\...

**9**

votes

**1**answer

261 views

### Uniqueness of dualizing objects

One definition of (symmetric) star-autonomous category is as a closed symmetric monoidal category $(C,\otimes,I,\multimap)$ equipped with an object $\bot$ such that all double-dualization maps $A \to (...

**1**

vote

**1**answer

49 views

### Calculate $k:=\sup\left\{\left\|\theta\right\|_{*} \: |\: \ell^{*}(\theta)<\infty\right\}$ for a special $\ell$ function

We consider the function $\ell:\mathbb{R}^{m}\rightarrow \mathbb{R}$ given by
$$\ell(\xi):=-\max\left\{-\left\langle x,\xi\right\rangle+10 \tau, -51\left\langle x,\xi\right\rangle -40\tau \right\}$$
...

**1**

vote

**2**answers

78 views

### Topologies of pairs and closed bounded convex sets

[I have posted this question on MSE some time ago, but received no answer.]
It is known, that if two locally convex topologies on a vector space determine the same collection of continuous linear ...

**0**

votes

**1**answer

111 views

### Criterion for weak compactness

Let $F$ be a metrizable locally convex space (you may assume it is a Banach space), and let $E$ be a complete locally convex space (you may assume it is a Frechet space). Let $T$ be a continuous ...

**5**

votes

**0**answers

51 views

### Characters on monotone functions

Characters on the semigroup $(C_{+}^{b}(\mathbb{R}^{d}),+)$, i.e. on bounded positive continuous functions with the ususal pointwise addition, are known to be of the form $C_{+}^{b}(\mathbb{R}^{d})\ni ...

**17**

votes

**5**answers

647 views

### If a $\otimes$-idempotent object has a dual, must it be self-dual?

Let $C$ be a symmetric monoidal category.
Recall that a dual for $X \in C$ is an object $X^\vee$ and maps $\eta: I \to X \otimes X^\vee$ and $\varepsilon: X^\vee \otimes X \to I$ (where $I$ is the ...

**5**

votes

**1**answer

390 views

### Strong duality for a particular moment problem

Reading the paper in this Link (see pag 13) with the objective of understanding a topic related to stochastic optimization I came across a problem in demonstrating one of the theorems. The situation ...

**30**

votes

**1**answer

1k views

### Are there topological versions of the idea of divisor?

I am trying to extract a particular, more lightweight and more focussed at the same time, case of my recent question Which of the physics dualities are closest in essence to the Spanier-Whitehead ...

**1**

vote

**0**answers

93 views

### Is the category of profunctors $Prof(A,B)$ equivalent to $Prof(B,A)^{op}$?

$\def\Prof{\mathsf{Prof}}\def\Set{\mathsf{Set}}\def\tobar{\mathrel{\mkern3mu \vcenter{\hbox{$\scriptscriptstyle+$}}\mkern-12mu{\to}}}$Let $A$ and $B$ be categories. Define a profunctor $A\tobar B$ to ...

**7**

votes

**1**answer

431 views

### Are there other dualities on finite vector spaces besides the canonical one?

Let $\text{FinVec}$ denote the category of finite dimensional vector spaces over some field $k$, and let $F:\text{FinVec}\to \text{FinVec}$ be a contravariant functor such that $F^2$ is naturally ...

**2**

votes

**1**answer

82 views

### Is there any dual relationship between quasi-completeness and barrelledness?

In the theory of stereotype spaces, it is known that for a locally convex space $X$,
If $X$ is pseudocomplete, then $X^{\star}$ is pseudosaturated, and
If $X$ is pseudosaturated, then $X^{\star}$ ...

**2**

votes

**1**answer

325 views

### Grothendieck duality for resolution of singularities

I would like to know a reference for Grothendieck duality in a resolution of singularities. More precisely, let $Y$ be a normal, Gorenstein variety with finite quotient singularities, and suppose that ...

**5**

votes

**0**answers

101 views

### Quantum subgroups of Locally Compact Groups and Parabolic Induction

In the classical theory , parabolic induction is used to construct the (reduced) dual of a (semi-simple) Lie Group. However, for this we need subgruops. Given that the theory of "quantum subgroups" of ...

**2**

votes

**1**answer

311 views

### Dualizing sheaf on a Cohen-Macaulay scheme

I would like to fill a detail in the answer given by Francesco Polizzi to the question "Is the dualizing sheaf on a Cohen-Macaulay scheme reflexive?".
Let $X$ be a normal, Cohen-Macaulay scheme of ...

**1**

vote

**1**answer

202 views

### Arithmetic projective duality

Projective duality is a duality that associates to a (smooth) subvariety X of $\mathbb{P}^n$ the dual variety $X^*\subset\mathbb{P}^{n*}$ of tangent hyperplanes.
What makes the duality interesting ...

**4**

votes

**0**answers

151 views

### On Radon-Nikodym property of a dual of a Bochner space

Let ${\rm S}^{n-1}$ be the unit sphere of ${\bf R}^n$ and let us consider the dual of the space $L^p\left({\bf R}^n; C^1({\rm S}^{n-1})\right)$, for some $p\in\langle1,\infty\rangle$: it is the space ...

**11**

votes

**3**answers

351 views

### GOE/GSE duality and Bott periodicity

Many papers in random matrix theory make passing references to duality between eigenvalue statistics of the GOE and GSE, for which the most concrete reference I can find is https://arxiv.org/pdf/math-...

**1**

vote

**0**answers

64 views

### Characterization of the weak completion of $L^2(\mathbb{R}^d)$

The completion $\overline{L^2_w(\mathbb{R}^d)}$ of $L^2_w(\mathbb{R}^d)$ (i.e. the completion of $L^2(\mathbb{R}^d)$ endowed with the $\sigma(L^2(\mathbb{R}^d),L^2(\mathbb{R}^d))$ topology) is ...

**2**

votes

**1**answer

99 views

### Associator of the “dual” monoidal structure of a Grothendieck--Verdier Category

In A duality formalism in the spirit of Grothendieck and Verdier, Boyarchenko and Drinfeld consider a monoidal category $(\mathcal{M}, \otimes, \mathbf{1})$ together with an object $K \in \mathcal{M}$ ...

**5**

votes

**1**answer

277 views

### The topological duals of spaces of finite measures

In volume 1 of "Linear Operators", Dunford and Schwartz say that (footnote F1, page 374)
"No completely satisfactory representation for the conjugate space of $ba(S, \Sigma)$, $ca(S, \Sigma)$ or $...

**17**

votes

**4**answers

743 views

### Applications of linear programming duality in combinatorics

So, I know that one can apply the strong LP duality theorem to specific instances of maximum flow problems to recover some nontrivial theorems in combinatorics, such as Hall's theorem, Koenig's ...

**0**

votes

**1**answer

136 views

### On the dual of Banach space [closed]

let $X$ be a (complex) Banach space, and $\{x_n\}$ is a sequence in $X$. Suppose that for any $f\in X'$, $$\sum_{n=1}^\infty |f(x_n)|<\infty.$$ Show that there exists a constant $\mu>0$ such ...

**1**

vote

**1**answer

105 views

### Do doubly infeasible Linear Programming problems always have doubly infeasible bases?

Consider a Linear Programming problem in dictionary form,
$$\max\Big\{f^\pi+\!\!\!\sum_{j\in D(\pi)}\!\! d^\pi_jx_j~\Big|~\forall~i\!\in\!B(\pi)~~~ b^\pi_i+\!\!\!\sum_{j\in D(\pi)}\!\! G^\pi_{ij}x_j\...

**1**

vote

**0**answers

83 views

### Strong Duality of Mixed Integer Linear Program

The problem at hand is to optimize a mixed-integer linear program closely related to the maximum flow problem. I would like to reformulate the problem with its dual and I'm concerned with the ...

**1**

vote

**0**answers

85 views

### Proof/reference for a variant of Pontryagin duality

Let $X,X'$ be locally compact abelian groups with a non-degenerate quadratic form
$\left<\bullet ,\bullet \right>\colon X\times X' \to \mu_{l}$,
where $l$ is a prime, and $\mu_l$ the group of $...

**5**

votes

**2**answers

347 views

### Criterion for being reflexive via Ext

In this question it was claimed that if a module $M$ over a noetherian domain $R$ satisfies $\rm{Ext}^i(M,R)=0$ for $i=1,2$, then $M$ is reflexive. Is this true? Does someone know a reference or a ...

**3**

votes

**1**answer

111 views

### Dual of colimit in $\text{Ban}_1$

I learned in J. Castillo's Hitchhiker guide to categorical Banach space theory that, by a theorem of Semadeni and Zidenberg, limits and colimits exist in the category $\text{Ban}_1$ of Banach spaces ...