Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
312 questions
2
votes
1
answer
882
views
Interpreting mincost flow dual variables
Consider the task of finding flow of size $b$ with minimum possible cost.
It may be formulated as linear programming in a following way:
$$\boxed{\begin{gather}
\min\limits_{f_{ij} \in \mathbb R} &...
CommunityBot
- 1
0
votes
0
answers
64
views
Characterization of duals of Sobolev space
Proposition 8.14. in Brezis states that:$(W_0^{1,p} (Ω))^*=W^{-1,p^*} (Ω)$ and we have the representation:
$∀ F∈(W_0^{1,p} (Ω))^* ∃ f_0...f_n ∈L^{p^*} (Ω)$ such that $∀ u∈W_0^{1,p}(Ω)$
$F(u)=∫_Ω ...
- 63.9k
1
vote
0
answers
58
views
duality of sobolev spaces. Representation of elements in the dual
I'm trying to understand $(W_0^{1,p} (Ω))^*=W_0^{-1,p^*} (Ω)$, and what a proper representation of its elements is. I understand the basics such as: if $f∈L^{p^*} (Ω)⇒f∈W_0^{-1,p^*}(Ω)$ and the ...
0
votes
1
answer
239
views
Are ALL linear functionals on $C[0,1]$ generated by measures? [closed]
Consider derivative of the convolution of a given function $f(\cdot)$ with a fixed $C^\infty$ function $s(\cdot)$, evaluated say at $1/2$. Is there a measure which generates the functional so defined?
- 2,183
5
votes
1
answer
109
views
Duals and direct summands in an abelian monoidal category
This question may be seen as a continuation of Duals and sub-objects in a monoidal category.
In an abelian monoidal category, i.e. an abelian category with biadditive monoidal product, if $X \oplus Y$ ...
- 15.9k
5
votes
1
answer
2k
views
Proof that the Pontryagin dual of a topological group is a topological group
I'm looking for a proof that the Pontryagin dual $G^*$ of a topological group $G$ is a topological group.
It's very easy to prove that $G^*$ is a group, my troubles are in proving that the map $G^* \...
- 105k
13
votes
0
answers
810
views
Reference request for a complete and formal Duality Principle in category theory
Most textbooks on category theory only sketch the meaning of the Duality Principle. But even when they do it more formally, I have only seen a version so far which concerns the language of a (single) ...
- 63.1k
3
votes
0
answers
111
views
Weil pairing for an abelian variety uniformized as torus modulo lattice over a non-archimedean field
Suppose I have an abelian variety $A$ with split toric reduction over a non-archimedean field $K$, so that $A$ can be realized as $T / \Lambda$ where $\Lambda$ is a lattice in the torus $T$. Letting $...
- 1,298
2
votes
1
answer
109
views
Dual space and conditions for weak convergence in Orlicz Space not having $\Delta_{2}$ property
I am interested in conditions for weak convergence on Orlicz spaces where the corresponding Young function, $\Phi:[0,\infty) \rightarrow [0,\infty)$, does not have the $\Delta_{2}$ condition, i.e. ...
CommunityBot
- 1
1
vote
1
answer
120
views
Reference request for the isomorphism $H^1(G_{K_v},E)[n]\cong (E(K_v)/nE(K_v))^*$ in the context of Tate-duality
Let $E/K$ be an elliptic curve over a number field $K$. Let $M_K$ be the set of all places of $K$. Let $K_v$ be a completion of $K$ at $v$.
I'm searching for a reference for the statement of the ...
- 8,945
2
votes
0
answers
47
views
Norm density of evaluation functionals in the space of weak$^*$ continuous multilinear functionals on products of dual Banach spaces
Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
- 6,377
5
votes
0
answers
128
views
What are the conditions for the dual of the exterior algebra to be isomorphic to the exterior algebra of the dual?
The exterior algebra $\Lambda^*_kM$ can be defined for a $k$-module $M$, where $k$ is a commutative ring. A number of sources mention, without condition or proof, a (canonical) isomorphism $$(\Lambda^*...
- 12.9k
3
votes
2
answers
129
views
Duals and sub-objects in a monoidal category
Consider $\mathcal{M}$ a monoidal category. Let $V$ be an object that admits a left/right dual. If $U$ is a subject of $V$ then does it also admit a left right dual?
- 54.6k
1
vote
1
answer
65
views
Reference dual Dirichlet space $D^1$
Let $\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$ be the unit disk. The Bergman space $A^1 = A^1(\mathbb{D})$ is the Banach space of holomorphic functions on $\mathbb{D}$ such that
$$
\|f\|_{A^1} ...
1
vote
1
answer
228
views
Weak duality sign
Let $\left\{\begin{matrix}
\operatorname{min}_xc^Tx\\Ax\leq b
\\ x\in \mathbb{R}^+
\end{matrix}\right.$ be a LP primal problem and $\left\{\begin{matrix}
\operatorname{max}_yb^Ty\\A^Ty\geq c
\\ y\in ...
CommunityBot
- 1
6
votes
0
answers
164
views
Dual space of local Sobolev space on a manifold
$\newcommand{\comp}{\mathrm{comp}}$As part of my master's thesis, I am currently learning about Sobolev spaces on manifolds. From my research online, I found out, that there are a lot of ways to ...
- 8,098
1
vote
0
answers
127
views
Local freeness of dualizing sheaf
I am reading the dualizing sheaf and duality theorems from Hartshorne’s algebraic geometry book. I am wondering about the following.
When does the dualizing sheaf of a projective scheme is an locally ...
- 613
2
votes
1
answer
156
views
Tempered distributions at non-coinciding points and density of Schwartz functions
In the previous question, I find that situation is much less favorable than expected…. So I add more details to focus on the specific case I have in mind.
Let us consider the Schwartz space $\mathcal{...
- 107
4
votes
2
answers
487
views
Is every closed subspace of the Schwartz space densely embedded into its dual space?
My original question is from this ME post but I think I need a broader understanding for this.
The Schwartz space $\mathcal{S}$ and its subspaces are examples of nuclear spaces. In fact, any closed ...
- 3,487
8
votes
1
answer
551
views
Can one characterize maximal antichains in terms of distributive lattices?
This is inspired by the recent question Verification of a maximal antichain
The celebrated duality between finite posets and finite distributive lattices has several nice formulations. One of them ...
CommunityBot
- 1
4
votes
1
answer
165
views
Dual spaces of Banach-valued $L^{p}$-spaces
Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
- 9,007
9
votes
2
answers
977
views
Topological problems solved by lattice duality
It is well known the success of lattice dualities (as Pontryagin duality for abelian groups, Stone duality for Boolean algebras and Priestley duality for distributive lattices) to solve algebraic ...
- 1,644
0
votes
1
answer
111
views
Kernel of restriction in étale cohomology of curves over number fields
Let $X$ be a smooth projective curve defined over a number field $K$. Let $\overline{K}$ denote the algebraic closure of $K$, and set $\overline{X} := X\otimes \overline{K}$. Denote by $\iota: \...
- 37k
2
votes
1
answer
178
views
In a monoidal category with duals is the coevaluation map determined by the evaluation?
For a monoidal category $(\mathcal{M},\otimes,1)$ and an object $X$ with a left dual $X^*$. Let $(e,c)$ be a pair of (co)evaluation maps for the pair $(X,X^*)$. Is it possible to have another map $c': ...
- 291
2
votes
0
answers
270
views
Proof of Remark 6.14(b) of Milne's Arithmetic duality theorems'
Let $E/\mathbb{Q}$ be an elliptic curve.Let $\operatorname{Sha}(E/\Bbb{Q})$ be a Tate-Shafarevich group.
Milne's 'Arithmetic Duality Theorems' Remark 6.14(b) describe the following exact sequence.
...
- 1,541
1
vote
0
answers
123
views
Duality in Spc with ∧ and [-,-]
I am thinking about two duality theorems for H-spaces and their actions.
By H-space is meant a commutative monoid in the derived (homotopy) category of based connected CW-complexes. We can consider ...
CommunityBot
- 1
5
votes
1
answer
249
views
Double hom with $\mathbb{CP}^\infty$
Pontrjagin duality gives a double dual theorem for "hom with $S^1$", and $S^1$ is $\textbf{B}\mathbb{Z}$ up to homotopy.
$\textbf{B} \textbf{B}\mathbb{Z}$, modeled by $\mathbb{C}\mathbb{P}^{\...
- 10.8k
4
votes
0
answers
128
views
Length of dual module
It is well known that, given a commutative ring $R$ and an $R$-module $M$, the dual module $M^\vee = \operatorname{Hom}_R(M, R)$ does not always satisfy $M^\vee \cong M \ (1)$, and not even $M^{\vee \...
- 223
4
votes
1
answer
218
views
Lattice description of matroid duality
Apologies for this very basic question in matroid theory, but I could not find anything about it online after a bit of searching.
There is a well-known bijective correspondence ("cryptomorphism&...
- 82.7k
4
votes
0
answers
149
views
Examples of $\ast$-autonomous $(\infty,1)$-categories
A $\ast$-autonomous category is a biclosed monoidal category together with a dualizing object. An object $\bot$ in a biclosed monoidal category $(\mathcal{C},\otimes)$ with left internal hom $[-,-]$ ...
- 764
3
votes
0
answers
76
views
Absolute continuity of $t \to \lVert u(t) \rVert^2_{H}$ and Gelfand triple : are they equivalent?
Let $V$ be a separable Banach space and $H$ be a separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
and the inclusion maps are continuous with dense images. Here $...
- 3,487
3
votes
0
answers
90
views
Tensor product of functors, central Hopf monad and star-autonomy
Setting.
Let $\mathcal{C}$ be a category and $(\mathcal{V},\otimes,I, \multimap)$ a (symmetric) closed monoidal category. Let $F:\mathcal{C}\rightarrow \mathcal{V}$ be a functor and $X\in \mathcal{V}$ ...
- 764
1
vote
1
answer
1k
views
Does weak-* convergence in $W^{1,\infty}$ imply weak-* convergence in $L^\infty$?
Let $\Omega \subset \mathbb{R}^n$ be open and bounded.
What does weak-* convergence for a sequence of functions $\{f_k\}_{k \in \mathbb{N}}$ in $W^{1,\infty}(\Omega)$ mean? It seems to me that there ...
CommunityBot
- 1
4
votes
0
answers
176
views
Is the test function topology a Mackey topology?
I am a physicist, and I have lately been thinking about distributions as they appear in quantum field theory. In the standard development of the theory of distributions, one considers the space $C^{\...
- 41
1
vote
0
answers
107
views
Knot invariants in WZW CFT via Holographic Principle
In the physics literature the Holographic Principle relates
theories in the bulk and the theories in the asymptotic boundary.
While the bulk theory is the 3D Chern-Simons theory, the
corresponding ...
- 5,230
10
votes
0
answers
534
views
Isbell duality between algebras and sheaves
nLab says on Isbell duality, the following:
A general abstract adjunction
$(\mathcal{O} \dashv \operatorname{Spec}) : \mathrm{CoPresheaves} \leftrightarrows \mathrm{Presheaves}$
relates (higher) ...
- 1
1
vote
3
answers
450
views
Smooth affine algebras are Calabi-Yau
Are all smooth affine algebras over a field Calabi-Yau?
I'm thinking yes since they satisfy Van den Bergh duality with dualizing module themselves (have I made a mistake in this reasoning)/
- 63.9k
0
votes
1
answer
28
views
Calculating vertex potentials from optimal matchings
Question:
can the solution to the dual of a Linear Program be calculated directly from the solution of the primal Linear Program?
If yes, what are known algorithms and their bounds on complexity.
As ...
- 5,429
4
votes
1
answer
222
views
$\ast$-autonomous categories with non-invertible dualizing object?
1. Definition
Firstly, recall the following nLab-definition of a $\ast$-autonomous category:
A $\ast$-autonomous category is a symmetric closed monoidal category $(C,\otimes,I,\multimap)$ with a ...
- 64k
5
votes
0
answers
491
views
Dual norm for weighted Sobolev space
Consider a "weight" function $\rho: \mathbb{R}^{d} \rightarrow \mathbb{R}$ and the following weighted Sobolev norm:
\begin{equation}
\|h\|_{\dot{H}^{1}(\rho;\mathbb{R}^{d})}:=(\int_{\mathbb{...
- 67
2
votes
0
answers
55
views
Tangential normal invariant isomorphism
Recently, I was reading the paper "Finite Group Actions on Kervaire Manifold" by Crowley, Hambolton. But I am having problem understanding a definition. Here it is,
In page 15-16 they are ...
- 63.9k
8
votes
0
answers
1k
views
Wasserstein distance and Monge-Kantorovich-Rubinstein duality
The definition of Wasserstein $p$-distance between two measures $\mu$ and $\nu$ on a Polish space $X$ is given by
$$
W_p(\mu, \nu)^p = \inf_{\gamma \in \Pi(\mu, \nu)} \int_{X \times X} d(x, y)^p\; d\...
2
votes
0
answers
157
views
Why do von Neumann algebras possess identity?
My starting point is that a von Neumann algebra is a $C^*$-algebra with a predual. The usual approaches to showing the existence of identity involve spectral theory (for approximate identity), but ...
- 433
2
votes
0
answers
147
views
Explicit S-duality map
$\DeclareMathOperator{\Th}{Th}$
The Thom space of a closed manifold $M$ ($\Th(M)$) is the $S$-dual to $M_+ (=M \cup \{pt\})$. Let $M$ be embedded in $\mathbf R^{n+k}$. I found the duality map from $S^...
- 6,377
5
votes
0
answers
138
views
Rings over which free modules of a certain rank are reflexive (satisfy Specker's theorem)
Following this question about the case of $\mathbb{Z}_{(p)}$, I've got to ask what is known more generally about rings and dimensions for which Specker's theorem holds. Let me make the following ...
- 32.5k
7
votes
2
answers
270
views
Double dual of free $\mathbb{Z}_{(p)}$-modules
For an abelian group $A$, put $DA=\text{Hom}(A,\mathbb{Z})$ and $D_{(p)}A=\text{Hom}(A,\mathbb{Z}_{(p)})$. It is a theorem of Specker that when $A$ is free abelian of countable rank, the natural map $...
- 32.5k
11
votes
1
answer
524
views
Elementary proof of a triangular grid lemma
I am looking for an elementary proof of the following lemma, which concerns what Green and Tao call "triangular grids" (see arXiv:1208.4714).
Let $a_1$, $a_2$, $a_3$, $a_4$, $b_1$, $b_2$ be six ...
- 1,174
9
votes
2
answers
341
views
Are there centrally-symmetric self-dual polytopes in dimension $d> 4$?
A convex polytope $P\subset\Bbb R^d$ is centrally symmetric if $-P=P$. It is self-dual (or better, self-polar?) if its polar dual $P^\circ$ is congruent to $P$, that is, there is a map $X\in\mathrm O(\...
- 13.6k
10
votes
1
answer
603
views
Isbell Duality and Dualizing Scheme Objects
I'm not sure if this question is too elementary for MO; nevertheless, I have seen many helpful discussions surrounding this topic here. I'm interested in studying the adjunction $\operatorname{Spec}\...
- 8,481
1
vote
1
answer
55
views
From relative convexity to modulus of continuity estimates for the dual gradient mapping
Let $F: \mathbf{R}^d \to \mathbf{R}$ be a convex function, let $m > 0$, and define $Q_m: \mathbf{R}^d \to \mathbf{R}$ to be the mapping $x \mapsto \frac{m}{2} \| x \|_2^2$. One says that $F$ is $m$-...
CommunityBot
- 1