**1**

vote

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**3**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**3**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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