The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
0answers
91 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$. ...
8
votes
3answers
281 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
57 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 ...
6
votes
0answers
175 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
108 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
23 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
458 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
253 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
40 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).
15
votes
2answers
411 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
124 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
55 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
0answers
24 views

Duality for Generalization of standard Convex

in accordance to the previous question about KKT condition for generalization to standard convex, here I look for the dual problem to the generalized convex problem. the clear questions are : is it ...
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
90 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 ...
24
votes
2answers
897 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
162 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
126 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
97 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
195 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 ...
7
votes
1answer
126 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 ...
2
votes
0answers
47 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
84 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
136 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
77 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
174 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
408 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
214 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
48 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
129 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
429 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
152 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
205 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
221 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
299 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
196 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
694 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
169 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
98 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
264 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
130 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
113 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
139 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
74 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
0answers
123 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
1answer
122 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
517 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
61 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
317 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 ...