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

learn more… | top users | synonyms

1
vote
0answers
63 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 ...
3
votes
1answer
125 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$ ...
1
vote
0answers
23 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 : ...
1
vote
0answers
24 views

Universal property of strong dual of lcs

I'm looking for a categorical explanation of the strong dual topology on $X'$ for $X$ being a locally convex space or, more generally, of the topology of bounded uniform convergence. What I've ...
2
votes
0answers
60 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 ...
2
votes
0answers
113 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$. ...
10
votes
3answers
318 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 ...
4
votes
0answers
61 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 ...
11
votes
0answers
365 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 ...
2
votes
1answer
115 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 ...
1
vote
0answers
28 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 ...
9
votes
2answers
478 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 ...
4
votes
2answers
284 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}$ ...
0
votes
1answer
48 views

When two quasi-Banach spaces with identical dual spaces has equivalent norms?

Let X and Y be two quasi-Banach spaces and the dual space X*=Y*. I want to know if there are some conditions such that X=Y (in the sense of equivalent norm).
16
votes
2answers
432 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 ...
2
votes
1answer
133 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 ...
1
vote
1answer
58 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 ...
0
votes
1answer
132 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: ...
0
votes
1answer
97 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 ...
26
votes
2answers
958 views

Why is there a duality between spaces and commutative algebras?

1) The category of affine varieties over $\mathbb{C}$ is equivalent to the opposite category of finitely generated algebras over $\mathbb{C}$. The equivalence associates to an affine variety its ...
2
votes
1answer
179 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 ...
3
votes
0answers
131 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 ...
0
votes
0answers
104 views

Duality results for quadratic equality constrained optimization problem

Consider the optimization problem $$ \begin{align} \min_{x\in\mathbb{R}^n}&\quad f(x) = x^TA_0x+b_0^Tx+c_0\tag{P1}\\ \nonumber \text{subject to } \quad & g_i(x) = x^TA_ix+b_i^Tx+c_i = ...
0
votes
1answer
207 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 ...
9
votes
1answer
159 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 ...
3
votes
0answers
53 views

Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...
2
votes
0answers
85 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 ...
2
votes
1answer
138 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 ...
1
vote
0answers
78 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}) ...
7
votes
1answer
175 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 ...
11
votes
1answer
425 views

What would be an infinity-groupoid analogue of the duality between sets and complete atomic boolean algebras?

Consider the object classifier of the $\infty$-topos of $\infty$-groupoids. For the role it plays in homotopy type theory as the type of types, let’s denote it as $Type = \coprod_{[F]} B Aut(F)$, the ...
6
votes
1answer
245 views

Dual cell structures on manifolds

Suppose that $M$ is a compact manifold without boundary (smooth if you like), and suppose further that $M$ is equipped with a regular CW-complex structure. Denote the face poset of this CW-complex by ...
3
votes
0answers
52 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 ...
3
votes
0answers
130 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 ...
10
votes
2answers
456 views

Is there any relationship between the topologies of the clique complex and the independence complex?

Let $G$ be a simple graph on a finite vertex set. The clique complex $X(G)$ is the simplicial complex whose faces are complete subgraphs of $G$, and the independence complex $I(G)$ is the simplicial ...
17
votes
3answers
1k 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 ...
1
vote
1answer
160 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 ...
4
votes
0answers
210 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 ...
1
vote
1answer
230 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 ...
2
votes
2answers
316 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 ...
4
votes
1answer
198 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 ...
5
votes
3answers
715 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 ...
0
votes
2answers
172 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)/
1
vote
0answers
116 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[ ...
4
votes
1answer
280 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 ...
1
vote
0answers
134 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 ...
-2
votes
1answer
117 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 ...
2
votes
0answers
143 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 ...
2
votes
0answers
75 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 ...
7
votes
0answers
132 views

Duality between large and small scale structures

A rather immediate reaction to seeing the definition of a coarse structure, at least to me, is to be reminded of a uniform structure. The axioms for a coarse structure $\mathcal{C}$ (defined by a ...