Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
312 questions
11
votes
2
answers
3k
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 ...
- 23.4k
13
votes
1
answer
624
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 ...
- 16.5k
6
votes
1
answer
271
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^{\...
- 63
4
votes
0
answers
98
views
Unique representability of bounded distributive lattices
Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space.
A poset $(P,\leq)$ is called (...
- 48.9k
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 ...
- 6,813
1
vote
1
answer
75
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\}$$
...
- 12.7k
2
votes
2
answers
125
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 ...
- 5,529
0
votes
1
answer
235
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 ...
- 16.5k
20
votes
5
answers
965
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 ...
- 64k
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 ...
- 289
1
vote
0
answers
190
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 ...
- 474
8
votes
1
answer
631
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 ...
- 27.5k
3
votes
1
answer
146
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}$ ...
- 16.5k
2
votes
1
answer
512
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 ...
- 577
5
votes
0
answers
130
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 ...
- 561
2
votes
1
answer
606
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 ...
CommunityBot
- 1
1
vote
1
answer
184
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\...
CommunityBot
- 1
3
votes
1
answer
268
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 ...
- 7,320
3
votes
0
answers
210
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 ...
- 60.6k
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 ...
- 488
2
votes
1
answer
144
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}$ ...
- 95
5
votes
1
answer
611
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 $...
- 3,816
5
votes
1
answer
926
views
Matlis' dual of injective modules
Let $(R, \mathfrak{m})$ be a commutative Noetherian complete local rings ($R$ can be regular, if you need). Let $E(R/\mathfrak{p})$ be injective hull of $R/\mathfrak{p}$, if $\mathfrak{p}= \mathfrak{m}...
CommunityBot
- 1
0
votes
1
answer
170
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 ...
- 902
1
vote
0
answers
187
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 ...
- 11
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 $...
- 3,362
7
votes
2
answers
847
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 ...
CommunityBot
- 1
0
votes
1
answer
157
views
When do two quasi-Banach spaces with identical dual spaces have equivalent norms?
Let $X$ and $Y$ be two quasi-Banach spaces such that the dual spaces satisfy $X^*=Y^*$.
I want to know if there are some conditions that imply $X=Y$ (in the sense of equivalent norms).
- 8,529
4
votes
1
answer
299
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 ...
- 25.8k
3
votes
2
answers
2k
views
How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional $\ell^p$-normed vector space?
Say you have a finite-dimensional vector space $V$ with an $\ell^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $\ell^p$ norm, so the unit sphere in $V_s$...
- 4,907
1
vote
0
answers
588
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}(\...
- 142
8
votes
0
answers
1k
views
Infinite Linear Programming
I'm trying to prove optimality for a continuous linear program. That is, I have a linear program with an uncountable number of variables and constraints. I'm not sure how to demonstrate feasibility ...
CommunityBot
- 1
5
votes
1
answer
225
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$ ...
- 118k
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)...
- 51
2
votes
0
answers
167
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\...
- 179
10
votes
0
answers
951
views
Dimensions of dual vector spaces
Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
- 18.7k
2
votes
0
answers
167
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$. ...
- 398
12
votes
3
answers
566
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 ...
- 2,933
6
votes
0
answers
133
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 ...
- 2,129
2
votes
1
answer
144
views
Representation of the elements of $c_0^\perp$ as integrals over ultrafilters
Let
$$
X=\big\{\varphi\in\ell_\infty^{\,*}(\mathbb N) : \varphi(\{a_n\})=0\,\,\text{whenever $a_n\to 0$}\big\}.
$$
If $\varphi_{\mathscr F}(\{a_n\})$ is the limit of $\{a_n\}$ with respect to the non-...
- 4,461
10
votes
2
answers
1k
views
Self-dual plane curves
Suppose that $C\subset \mathbb P^2$ is a plane projective curve (base field is $\mathbb C$) and $C^*\subset (\mathbb P^2)^*$ is its dual. What are the known examples in which $C$ is projectively (i.e.,...
- 108k
1
vote
0
answers
133
views
Finding the Lagrangian dual problem for a quadratic programm [closed]
I've problems to find the Lagrangian dual problem to
\begin{align*}
\min \limits_{x \in \mathbb{R}^n} \; \frac{1}{2} x^{ T} Q x + q^{T} x \\
\text{s.t.} \quad
Ax &=b \\
x &\geq 0
\end{...
- 11
4
votes
2
answers
716
views
Is the realtive dualizing sheaf Cohen-Macaulay?
Let $k$ be an algebraically closed field and let $X$ be a finite type $k$-scheme that is Cohen-Macaulay and equidimensional. Under these assumptions there is a relative dualizing sheaf $\omega_{X/k}$ ...
- 968
18
votes
2
answers
731
views
What categorical property of monoidal categories picks out the ones with duals?
Recall that a monoidal category $\mathcal C$ is rigid if every object $X\in \mathcal C$ has both left and right duals, i.e. objects $X^l$ and $X^r$ with maps $X^l \otimes X \to \mathbf 1 \to X \otimes ...
- 66.8k
2
votes
1
answer
161
views
How do we know the map is $w^{*}$-continuous?
I am reading a paper by David Blecher, which contains the following:
" If $T: Y \to Z$ is a surjective isometric module map between $W^{*}$-modules over $M$, then $T$ is unitary. Also, $T$ is a $w^{*}...
- 42.8k
8
votes
2
answers
275
views
Is it possible to solve the argument maximization problem $\arg\max_x \langle x,l \rangle −f_1(x)−f_2(x)$ via convex duality?
I am attempting to solve the argument maximization problem
$$\arg\sup_x \{ \langle x,l \rangle − f_1(x)−f_2(x) \} \ \ \ \ \ \ \ \ \ \ (1)$$
where the functions $f_1$ and $f_2$ are concave but ...
- 101
1
vote
1
answer
380
views
Duality and Euler paths in graphs
I'm computer scientist and in one of my researches I'm facing this question:
if I have a planar graph that admits an Euler path (i.e. has 0 or 2 odd degree vertices, as Euler's theorem says), then his ...
- 400
2
votes
1
answer
299
views
Creating Duals in A Category
Before stating my question I would like to provide afew motivating examples:
Examples:
In the category of Finitely-generated-projective $R$-modules, we have that:
$M^{\vee}:=Hom_R(M,R)$ satisfies: $...
- 118k
0
votes
1
answer
167
views
Natural Poisson brackets on $S(V^*)$
Let $V$ be a finite dimensional vector space and $S(V)$ the corresponding symmetric algebra. Suppose that we have a Poisson bracket $\lambda = \{,\}: S(V) \otimes S(V) \to S(V)$. Let $V^*$ be the dual ...
- 6,211
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 123