Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
296
questions
1
vote
1
answer
158
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 ...
6
votes
1
answer
120
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 ...
2
votes
0
answers
42
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 ...
7
votes
1
answer
387
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
133
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
234
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
137
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
555
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
113
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 ...
4
votes
0
answers
732
views
Access to a classic reference of Dold-Puppe
There is an old reference that I am unable tofind. It is Dold-Puppe´s communication at a conference. More concretely, it is cited as:
A. Dold, D. Puppe: Duality, trace and transfer. Proceedings of the ...
0
votes
0
answers
72
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 $...
10
votes
2
answers
2k
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
304
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 ...
13
votes
1
answer
577
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 ...
4
votes
0
answers
332
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
250
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^{\...
12
votes
1
answer
553
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
74
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
107
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
226
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
64
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 ...
20
votes
5
answers
932
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
562
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 ...
35
votes
1
answer
2k
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
179
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 ...
8
votes
1
answer
625
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 ...
3
votes
1
answer
140
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
486
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
127
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
583
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 ...
3
votes
1
answer
254
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 ...
3
votes
0
answers
203
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 ...
13
votes
3
answers
573
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
66
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
132
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
583
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 $...
19
votes
4
answers
1k
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
168
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
181
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
177
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
127
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 $...
7
votes
2
answers
763
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 ...
4
votes
1
answer
270
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 ...
1
vote
0
answers
532
views
How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?
Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$.
Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
5
votes
1
answer
205
views
Is the biproduct of dualizable objects itself dualizable
In a monoidal category with biproducts, let $A$ and $B$ be objects with right duals. Then does $A \oplus B$ have a right dual?
The question is a bit subtle. Suppose I already know that $A \oplus B$ ...
1
vote
0
answers
48
views
Duality of plurisubharmonic functions
Let $F$ be a cone of upper bounded upper semicontinuous functions on a compact set set $X$ containing all the constants. Let $z\in X $ and define a class of positive measure by $$M_z^F=\{ \mu : u(z)...
2
votes
0
answers
164
views
Conditions under which the dual function is self-concordant
Consider the following optimization problem
\begin{align}
\min_{x}&\quad f(x)\\
\nonumber \text{subject to } \quad&h_i(x) = 0,\,i=1,\ldots,m\\
\nonumber \quad&x\in X\subseteq\...
2
votes
0
answers
165
views
Open nature of $\mathcal{H}om$ functor/upper semi-continuity of $\operatorname{Ext}^i$
Let $k$ be an algebraically closed field, $T$ a $k$-scheme (can assume connected) and $X$ a projective variety over $k$. Let $\mathcal{F}$ be a coherent (pure) sheaf on $X \times_k T$ flat over $T$. ...
12
votes
3
answers
530
views
Description of $\big(\ell^\infty(\mathbb N)\big)^{\!*}$ via ultrafilters
Let $\beta\mathbb N$ is the set of ultrafilters on $\mathbb N$ and $\mathscr F\in\beta\mathbb N$. Assume that $l_{\mathscr F}\in\big(\ell^\infty(\mathbb N)\big)^{\!*}$ is the functional which assigns ...
6
votes
0
answers
128
views
The metric gives the optimal element in a class
In geometry there is plenty of examples in which the following happens:
Some elements are considered equivalent, in some topological or algebraic sense
We take the quotient
The metric is usually not ...