The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
23 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 ...
9
votes
2answers
265 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 ...
16
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
131 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
167 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
144 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
188 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
164 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
564 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
139 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
66 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[ ...
3
votes
1answer
158 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
98 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
96 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
0answers
87 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
62 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
98 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
115 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
436 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
46 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
242 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
1answer
201 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
3answers
271 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
1answer
113 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
223 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
209 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
406 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
180 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
71 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
1answer
321 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
4answers
420 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
169 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
0answers
138 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
4answers
581 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
125 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
237 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
996 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
51 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
344 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
0answers
254 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
253 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
249 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
318 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
275 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
455 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
176 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
486 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
1k 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
669 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
523 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 ...