Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
312 questions
4
votes
0
answers
265
views
Isbell duality in Joyal and Street's Introduction to Tannaka Duality
In Sec. 3 of Joyal and Street's Introduction to Tannaka Duality and Quantum Groups, the authors give a commutative triangle of isomorphisms of compact topological groups (Corollary 8). This diagram ...
- 183
3
votes
1
answer
1k
views
Relative dualizing sheaf (reference, behavior)
Let $\mathcal{C}\rightarrow S$ a flat projective family of locally complete intersection projective curves over a integral noetherian scheme (say a spectrum of a local ring). I was wondering whether ...
- 9,229
0
votes
1
answer
600
views
Grothendieck-Verdier duality for affine morphisms
Suppose $X,Y$ are varieties over $\mathbb{C}$, $Y$ is smooth and $X$ is Gorenstein ($X$ is not smooth in my case). Let $f: X \to Y$ be an affine morphism, and each fibre of $f$ has the same dimension $...
- 1,376
2
votes
0
answers
185
views
Is the isomorphism between $BMO/\mathbb{R}$ and $(H^1(\mathbb{R}^n))^{\star}$ isometric?
Let $BMO$ the space of bounded mean oscillation functions on $\mathbb{R}^n$ equipped with the Lebesgue measure. If $Q\subset \mathbb{R}^n$ a cube, let $m_Q f$ the average of a function $f\in L^1_{loc}(...
- 1,616
2
votes
0
answers
93
views
Do copairings provide dualities in derived categories?
Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...
- 54.6k
3
votes
1
answer
350
views
Predual of a subspace
Let $E$ be a Banach space, let $d\ge 1$ be an integer. Let $\mathcal G$ be a weakly closed subspace of
$(E^*)^d$ with finite codimension.
I would like know if the space $\mathcal G$ is a dual space $\...
- 60.6k
2
votes
0
answers
128
views
Local duality for abelian varieties
Let $A$ be an abelian variety over a p-adic field $K$. Let $I$ be the inertia group of $K$. There is a Yoneda pairing $$H^n(\hat{\mathbb{Z}},A^I) \times Ext^{2-n}_{\hat{\mathbb{Z}}}(A^I,\mathbb{Z}) \...
- 213
6
votes
1
answer
853
views
Dual of Banach-valued $L^p$ [duplicate]
Let $X$ be an infinite-dimensional Banach space and let $p\in(1,+\infty)$. We may define $L^p(\mathbb R;X)$. Is it always true that the topological dual of $L^p(\mathbb R;X)$ is $L^{p'}(\mathbb R;X^*)...
- 16.2k
19
votes
3
answers
2k
views
Classification of rings satisfying $a^4=a$
We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...
- 63.1k
1
vote
1
answer
218
views
Does projective duality preserve arithmetic-Cohen-Macaulay-ness?
Let $V$ be a vector space over $\mathbb{C}$.
Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring $\...
- 38k
0
votes
1
answer
302
views
Is Khovanov's Frobenius algebra self-dual over the integers?
Khovanov's Frobenius algebra (used in the definition of Khovanov homology) is $\mathbb{Z}[X]/X^2$ with the comultiplication. $\Delta(X)=X\otimes X, \Delta(1)=1\otimes X+X\otimes 1$ and the trace $\...
- 366
1
vote
0
answers
295
views
dual problem of SDP [closed]
suppose we have the following optimization problem:
\begin{array}{l}
\mathop {\min }\limits_{{\bf{X}},{\bf{x}}} \,\,Tr\left( {{\bf{XA}}} \right) + 2{{\bf{a}}^H}{\bf{x}} + b\\
s.t:\,\,\,\,\left[ {\...
- 275
4
votes
0
answers
264
views
Does GKZ's reflexivity theorem imply the Plucker formula?
Let $S\subset\mathbb{P}^n$, Gelfand-Kapranov-Zelevinsky defined its dual variety $S^\vee\subset\mathbb{P}^{n^\ast}$. In this paper (http://arxiv.org/pdf/math/0111179v1.pdf), the author obtained the ...
- 3,187
3
votes
2
answers
828
views
Why is the norm map dual to restriction under Tate local duality?
Let $L/K$ be a finite Galois extension of nonarchimedean local fields, and let $A$ and $A^t$ be dual abelian varieties over $K$. Tate local duality tells us that $A^t(K)$ and $H^1(K, A)$ are ...
- 1,285
2
votes
1
answer
771
views
Why is the Tate local duality pairing compatible with the Cartier duality pairing?
This question is a follow up to Why is the norm map dual to restriction under Tate local duality?
Let $A$ and $B$ be dual abelian schemes over a base scheme $S$. For an integer $n \ge 1$, consider ...
CommunityBot
- 1
3
votes
1
answer
320
views
Profinite completion of a partial order
In Johnstone's Stone Spaces it is proved that the category of profinite partial orders is (equivalent to) the category of ordered Stone spaces (also called Priestley spaces) and that the obvious ...
CommunityBot
- 1
6
votes
3
answers
1k
views
opposite category
In the 2-category Cat of small categories, for each category $C$ (an object of Cat) there is also the dual category (I dare not write "dual object") $C^{op}$.
Is ${op}$ the instance in Cat of a more ...
- 4,106
8
votes
1
answer
2k
views
Equivalent Norms for the Dual of Sobolev / Bessel Spaces
Using standard notation, we refer to $H^s(\mathbb R) = W^{s,2}(\mathbb R)$ to be the Sobolev Hilbert spaces. As is often the case, it's natural to then consider properties of functions in $H^s(\mathbb ...
- 24.2k
1
vote
0
answers
218
views
Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?
Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where $...
3
votes
1
answer
509
views
Grothendieck duality for stacks
Let $\mathcal{X}$ be a smooth, proper and separated Deligne-Mumford stack and let $\pi:\mathcal{X}\rightarrow X$ be its coarse moduli space. Does Grothendieck duality hold for the morphism $\pi$ ?
In ...
- 8,998
-2
votes
1
answer
594
views
Is dual cone unique? [closed]
Suppose we have the following relationship, note that $A,B,C$ are closed convex matrix cones,
$A^\ast=C,$
$B^\ast=C,$
can we state that $A=B$? Is the dual cone of a cone is unique?
the definition ...
- 9,650
2
votes
0
answers
357
views
Reference Request: Algebraic Serre's Duality Theorem for Curves
Serre's Duality Theorem is well known and well studied and, as far as I know, there is a "big" algebraic proof for the general case, which is now kind of standard, and can be found in Hartshorne (...
CommunityBot
- 1
2
votes
0
answers
90
views
Poincaré Duality of a quasi-free algebra
I'm completely stumped on this one (yet I feel it is obviously true or obviously false)
If $A$ is a quasi-free algebra, then must it satisfy Poincaré duality?
All i need to find is a protective ...
- 35.5k
2
votes
1
answer
204
views
Simultaneously extending the functionals of a subspace of a Banach space to the whole space
Let $X$ be a Banach space and $Y$ a closed subspace of $X$. If $\varphi\in Y^*$, then Hahn-Banach allows us to extend $\varphi$ to a $\tilde\varphi\in X^*$, such that $\|\tilde\varphi\|=\|\varphi\|$. ...
- 2,933
8
votes
3
answers
962
views
Do any Stone-like dualities have some self-dualities hidden inside them?
This question originated from the observation that in most cases when one has duality of structured sets induced by a dualizing set-with-two-structures $D$, both sides of the duality are substructures ...
- 2,213
1
vote
0
answers
116
views
hyperfunctions and analytic duals
Let $A(\mathbb R^n)$ be the real analytic functions and $\mathscr B(\mathbb R^n)$ the hyperfunctions, dual to $A(\mathbb R^n)$. Further let $W\subset \mathbb C$ be a cone in the complex plane with ...
- 113
4
votes
1
answer
923
views
Electromagnetic duality symmetry
This question arose while reading http://prd.aps.org/abstract/PRD/v13/i6/p1592_1 (Duality transformations of Abelian and non-Abelian gauge fields, by Stanley Deser and Claudio Teitelboim). It is well ...
- 4,577
5
votes
1
answer
216
views
Self-dual surfaces in $\mathbb P^3$ with isolated singularities
I am aware of the following examples of normal surfaces in $\mathbb P^3$ that are projectively isomorphic to their dual varieties:
the smooth quadric;
Kummer surfaces;
The surface with the equation $...
- 66.3k
1
vote
1
answer
1k
views
Question on convex optimization and dual norms [closed]
I have the following questions about dual norms :
How do you prove that the dual of the dual norm is in fact the original norm?
This is what I have so far:
If I have $||y||_* $ as the norm dual of ...
- 28.6k
5
votes
2
answers
585
views
Continuous Transportation Problem
Hi all, I'm trying to formulate an infinite linear program to prove optimality (via duality) for the Continuous Transportation Problem, e.g. the Kantorovich-Wasserstein distance. This is the ...
- 12.7k
12
votes
1
answer
311
views
Looking for concrete description of a category derived from abelian groups
The category of abelian groups $\mathsf{Ab}$ is the $\mathcal{Ind}$-completion of the full subcategory of finitely presentable abelian groups $\mathsf{Ab}_{fp}$. This is not so special, since the ...
- 53.3k
1
vote
1
answer
148
views
Confusion about the dual/predual to the tangent plane to a Teichmüller space
I apologize in advance if this question is not considered research-level.
I am reading material on Teichmüller theory and I am getting confused as to the nature of the space $Q(R)$ of all integrable, ...
- 2,550
13
votes
4
answers
1k
views
Duality between K-theory and K-homology in the non-spin^c case.
I posted this question on Math.SE (https://math.stackexchange.com/questions/409444/), but got no answer. So I repost it here.
Let M be a closed manifold. Then there is a cap product $K^\ast(M) \times ...
CommunityBot
- 1
16
votes
1
answer
976
views
Which categories are the categories of models of a Lawvere theory?
Background: a Lawvere theory $T$ is a category with finite products such that each object is a power of a fixed object $x$. Given a Lawvere theory $T$, the category $\text{Mod}_T$ of models of $T$ is ...
- 15.9k
2
votes
1
answer
374
views
What is the dual of a pre-injective map?
In [M. Gromov, Endomorphisms of symbolic algebraic varieties, J. Eur. Math.
Soc. (JEMS) 1 (1999), 109–197], Gromov introduces the notion of pre-injective map. Recasting this notion in the setting of ...
CommunityBot
- 1
5
votes
0
answers
344
views
Duality between K-theory and K-homology in the non-compact, spin$^c$ case
Let $M$ be a compact spin$^c$ manifold, so that it has a fundamental class $[M] \in K_n(M)$. It is well-known that the cap product with $[M]$ induces Poincare duality isomorphisms $K^\ast(M) \cong K_\...
- 2,998
6
votes
4
answers
1k
views
Existence of dominating measure for weak*-compact set of measures
I have posted the following question also here a longer time ago, but due to no answers I thought it might fit better to MO.
Let $(\Omega,\mathcal F)$ be a measurable space and $\mathcal P$ a weak*-...
CommunityBot
- 1
2
votes
0
answers
252
views
compact embedding in duals of weighted Sobolev spaces
On the whole space $\mathbb{R}^d$ consider the weight $\omega(x)=\sqrt{1+|x|}$. Under which conditions on $k,q$ is the embedding
$$
L^p(\mathbb{R}^d,\omega(x)dx)\subset\subset (W^{k,q}(\mathbb{R}^d,\...
- 5,380
6
votes
1
answer
670
views
Base change of trace for Gorenstein or Cohen-Macaulay morphisms
This is basically a question of functoriality for base change of CM morphisms.
EDIT: $\text{ }$ Brian Conrad sent me an email explaining the that this is indeed true, and follows from his book. I'...
- 20.5k
10
votes
2
answers
6k
views
Characterizing the Dual of $W_0^{s,p}$
I am interested in literature/results characterizing the dual of the fractional Sobolev space $W^{s,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$ is open, bounded, and smooth, $0< s<1$, and $...
CommunityBot
- 1
1
vote
0
answers
78
views
Looking for a uniform explanation of algebras with canonical generators.
Let $\mathcal{V}$ be a finitary variety i.e. the algebras for a signature whose operations have finite arity and for some arbitrary set of equations. Then any algebra $A \in \mathcal{V}$ has a ...
- 1,291
5
votes
1
answer
2k
views
connections between Grothendieck's and Serre's duality
Hi,
I would like to show that
if $f: X \rightarrow Y=Spec \, \mathbb{C}$, where $X$ is a nonsingular complex projective variety, is the projection to a point, then the complex $f^! \mathcal{O}_Y$, ...
- 9,229
9
votes
0
answers
322
views
Twisted duality in a symmetric monoidal category
I would like to know if the following definition is already known or even well-known. Is there a reference in the literature? Do you know prominent examples?
Definition. Let $\mathcal{C}$ be a ...
- 63.1k
5
votes
0
answers
449
views
Dual of a weighted projective space
I have a fairly good understanding of what the dual of a projective space is. I am currently interested in weighted projective space but I haven't found anything on the construction of its dual space ...
- 131
1
vote
3
answers
483
views
Why the preimage rather than image in Stone-type dualities.
I am seeking a deeper understanding of the representation of set-based objects in terms of Boolean algebras.
Let $\wp(A)$ be the set of subsets of a set $A$. A relation $R \subseteq A \times B$ ...
- 73.2k
16
votes
1
answer
2k
views
Questions about spectra of rings of continuous functions
I have been thinking a bit about rings of continuous functions of various kinds -- how they motivate the more modern notion of the Zariski topology on the prime spectrum as well as how they fit into a ...
- 328
2
votes
1
answer
429
views
What is a de Vries algebra?
I've come across a set of slides by Guram Bezhanishvili where he claims the category of compact hausdorff spaces is related by duality to de Vries algebras. What are they?
- 3,937
1
vote
1
answer
908
views
A bijective correspondence induced by Fourier Transform
Let $G$ be a discrete Abelian group and denote by $\widehat G$ the (compact) Pontryagin-Van Kampen dual of $G$. I was reading in a paper of Justin Peters that Fourier Transform induces a bijection ...
- 2,452
4
votes
2
answers
4k
views
Dual Norm For Sum of 2-Norms
What is the dual of a norm that is the sum of two-norms? Specifically, say we have the following norm for $\mathbf{x}\in \mathbb{R}^n$ and $\mathbf{A}_i \in \mathbb{R}^{m \times n}$
$\|\mathbf{x}\| = ...
- 9,486
4
votes
2
answers
1k
views
Does equality of Hodge star and symplectic star imply Kähler structure?
Question
The question asked is:
On a manifold $M$ equipped with a Riemann metric $g$ and a symplectic structure $\omega$, with $\ast$ the Hodge star and $\ast_s$ the symplectic star, does $\ast=\...
CommunityBot
- 1