The duality tag has no wiki summary.

**3**

votes

**1**answer

135 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

**3**answers

481 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

**2**answers

125 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

**0**answers

48 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[ ...

**2**

votes

**1**answer

131 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

**0**answers

91 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

**1**answer

87 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 ...

**1**

vote

**0**answers

72 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

**0**answers

60 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 ...

**6**

votes

**0**answers

87 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 ...

**2**

votes

**1**answer

113 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

**3**answers

370 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

**0**answers

42 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

**1**answer

227 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 ...

**2**

votes

**1**answer

175 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 ...

**0**

votes

**3**answers

210 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 ...

**5**

votes

**1**answer

110 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

**1**answer

204 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

**1**answer

178 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

**1**answer

326 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

**1**answer

176 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

**1**answer

63 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, ...

**10**

votes

**1**answer

296 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 ...

**8**

votes

**4**answers

385 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

**1**answer

141 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 ...

**4**

votes

**0**answers

130 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 ...

**4**

votes

**4**answers

513 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 ...

**1**

vote

**0**answers

110 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

**0**answers

226 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}= ...

**6**

votes

**2**answers

759 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

**0**answers

47 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

**1**answer

321 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. ...

**8**

votes

**0**answers

247 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

**1**answer

245 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

**0**answers

234 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

**3**answers

305 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

**3**answers

270 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

**2**answers

401 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

**1**answer

171 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

**1**answer

462 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

**2**answers

894 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

**1**answer

634 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

**2**answers

502 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

**2**answers

372 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

**1**answer

298 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

**1**answer

162 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

**5**answers

453 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 ...

**0**

votes

**1**answer

499 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^* ...

**4**

votes

**2**answers

714 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 ...

**4**

votes

**0**answers

160 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 ...