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

learn more… | top users | synonyms

2
votes
1answer
132 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\|$. ...
6
votes
3answers
528 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 ...
1
vote
0answers
62 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 ...
3
votes
1answer
339 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 ...
3
votes
1answer
272 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 ...
1
vote
3answers
554 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 ...
4
votes
1answer
130 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 ...
0
votes
1answer
350 views

singularities of the dual variety of a surface

I am looking for a proof/reference of the following simple fact, which I think it holds true. Let $S\subset \mathbb{P}^n$ be a surface embedded by a very ample linear system. Then I know that the ...
1
vote
1answer
361 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 ...
4
votes
1answer
565 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 ...
11
votes
1answer
199 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 ...
1
vote
1answer
91 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, ...
12
votes
1answer
435 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 ...
9
votes
4answers
583 views

Duality between K-theory and K-homology in the non-spin^c case.

I posted this question on Math.SE (http://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 ...
0
votes
1answer
193 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 ...
5
votes
0answers
167 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 ...
5
votes
4answers
787 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 ...
2
votes
0answers
149 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 ...
1
vote
0answers
309 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}= ...
8
votes
2answers
2k 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 ...
1
vote
0answers
67 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 ...
5
votes
1answer
417 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. ...
9
votes
0answers
273 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 ...
2
votes
1answer
264 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 ...
4
votes
0answers
288 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 ...
1
vote
3answers
357 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$ ...
5
votes
3answers
310 views

Why are possibility and necessity dual?

Hello, Recently, I'm studying modal logic for my master's thesis, and my research background is category theory. So, I naturally have a question that why it is said that necessity (box) and ...
2
votes
2answers
668 views

How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional Lp-normed vector space?

Say you have a finite-dimensional vector space $V$ with an $L^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $L^p$ norm, so the unit sphere in $V_s$ ...
2
votes
1answer
213 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?
1
vote
1answer
549 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
votes
2answers
2k 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}\| = ...
5
votes
1answer
792 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$, ...
3
votes
2answers
607 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 ...
5
votes
2answers
391 views

A name for a weak topology

Let $V$ be a real vector space and let $V'$ be the algebraic dual of $V$, i.e. the space of all the linear functionals $V\to\mathbb{R}$. Then there exists the weakest topology $\tau$ which makes all ...
1
vote
1answer
469 views

conjugate function for matrix mixed norm

I am familiar with the conjugate function of the vector norm, which uses the concept of dual norm and is defined as follows: ...
1
vote
1answer
234 views

In what sense is a generically submersive morphism of varieties subermersive over singular points?

Background/Motivation I'm currently interested in the duality theorem for projective varieties and more specifically in properties of the conormal variety over the dual variety. Let $V$ be a ...
7
votes
5answers
467 views

Dualizable classifying spaces

If $G$ is a finitely generated free group, then its classifying space $B G$ can be presented as a finite CW complex (a finite bouquet of circles), and therefore is Spanier-Whitehead dualizable. Are ...
1
vote
1answer
772 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^* ...
8
votes
4answers
2k views

Examples for “nice” Boolean algebras that are not complete or not atomic

A Boolean algebra may, or may not, be complete (i.e, any set of elements has a sup and an inf) or atomic (i.e., every element is a sup of some set of atoms). Boolean Algebras that are complete as ...
8
votes
2answers
219 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 ...
5
votes
2answers
534 views

Alexander duality theorem for CW-complexes and stable homotopy theory

In Adams, J.F. Infinite Loop Spaces Princ. Univ. Press. page 9 he states Alexander duality theorem Theorem:[Alexander Duality] $$ H^r(X,G)=H_{n-r+1}(S^n-X,G)$$ for finite CW-complexes with a "nice ...
2
votes
0answers
284 views

Generalized fourier transform and convolution?

Let $a(t)$ and $b(t)$ be two equal length sequences indexed by time index $t$. We know that $a(t) * b(t)$ corresponds to $A(\omega) \odot B(\omega)$ in the frequency domain where $A(\omega)$ and ...
1
vote
1answer
437 views

A category being self-dual vs. it being a groupoid

What is the relationship between self-duality and groupoid-ness? Does any condition imply the other? Is there an example which helps understand the difference? To go from a self-duality $F$ on a ...
45
votes
24answers
8k views

The concept of Duality

I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come. ...
1
vote
1answer
653 views

a “self-dual” adjunction

Is there a name for $(U,\eta)$ such that $(\eta, \eta^{op}):U^{op}\dashv U$ (is an adjunction). To clarify — $C:category$, $(I,I^{op})$ is the contravariant isomorphism with $I:C^{op}\to C$, ...
4
votes
0answers
641 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 ...
4
votes
2answers
452 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 ...
1
vote
1answer
215 views

“L^2_loc mod constants” as a reflexive space

In an article of Sten Kaijser ("A note on dual Banach spaces") I find the assertion that $E = L^2_{\text{loc}}({\mathbb R})$ modulo constants is a reflexive space. Question 1: which is the ...
4
votes
2answers
492 views

Tensor and Hom objects for finite flat group schemes

Is the category of finite flat group schemes equipped with "tensor products" and Hom-objects, encoding bilinear maps? I'm aware that the Cartier dual is $Hom(\mathbb{G}, \mathbb{G}_m)$, and want to ...
12
votes
1answer
1k 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 ...