Questions tagged [duality]

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

Filter by
Sorted by
Tagged with
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 ...
Rick Sternbach's user avatar
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 ...
Aaron Dall's user avatar
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 ...
dohmatob's user avatar
  • 6,716
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}, \...
Exit path's user avatar
  • 2,969
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 ...
AccidentalFourierTransform's user avatar
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 ...
Dualizing's user avatar
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 ...
Miguel Chapman's user avatar
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$. ...
Miguel Chapman's user avatar
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 ...
maroxe's user avatar
  • 225
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 ...
Tintin's user avatar
  • 2,741
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 $...
Hans's user avatar
  • 2,169
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 ...
Asvin's user avatar
  • 7,648
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 ...
Tim Campion's user avatar
  • 60.6k
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 ...
Valery Isaev's user avatar
  • 4,410
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 ...
Christian's user avatar
  • 779
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^{\...
OzE's user avatar
  • 63
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 (...
Mike Shulman's user avatar
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\}$$ ...
matematicaActiva's user avatar
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 ...
erz's user avatar
  • 5,385
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 ...
erz's user avatar
  • 5,385
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 ...
Tobsn's user avatar
  • 289
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 ...
Tim Campion's user avatar
  • 60.6k
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 ...
matematicaActiva's user avatar
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 ...
მამუკა ჯიბლაძე's user avatar
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 ...
SCappella's user avatar
  • 474
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 ...
Michael Bächtold's user avatar
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}$ ...
Junekey Jeon's user avatar
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 ...
Daniele A's user avatar
  • 547
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 ...
Henrique Tyrrell's user avatar
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 ...
helloWorld's user avatar
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 ...
Bear's user avatar
  • 845
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 ...
Semmel's user avatar
  • 165
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-...
Roger Van Peski's user avatar
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 ...
yuggib's user avatar
  • 468
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}$ ...
a-w's user avatar
  • 95
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 $...
Alex M.'s user avatar
  • 5,207
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 ...
amakelov's user avatar
  • 987
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 ...
xldd's user avatar
  • 103
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\...
Goswin's user avatar
  • 21
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 ...
Amitai G's user avatar
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 $...
Lior Bary-Soroker's user avatar
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 ...
Hans's user avatar
  • 2,863
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 ...
Rodrigo Vargas's user avatar
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}(\...
fred's user avatar
  • 142
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$ ...
Jamie Vicary's user avatar
  • 2,433
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)...
Kara's user avatar
  • 51
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\...
jonem's user avatar
  • 179
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$. ...
user43198's user avatar
  • 1,949
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 ...
smyrlis's user avatar
  • 2,873
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 ...
geodude's user avatar
  • 2,129