**45**

votes

**24**answers

8k views

### The concept of Duality

I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come.
...

**26**

votes

**2**answers

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

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

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

**12**

votes

**1**answer

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

**12**

votes

**1**answer

1k views

### Questions about spectra of rings of continuous functions

I have been thinking a bit about rings of continuous functions of various kinds -- how they motivate the more modern notion of the Zariski topology on the prime spectrum as well as how they fit into a ...

**12**

votes

**0**answers

720 views

### Frobenius upper shriek/flat of a dualizing complex

Let $X$ be a separated connected scheme of characteristic $p > 0$. I am going to assume that $F : X \to X$ (the absolute Frobenius) is a finite map. This condition is called being $F$-finite.
...

**11**

votes

**1**answer

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

**11**

votes

**1**answer

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

**11**

votes

**0**answers

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

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

**10**

votes

**2**answers

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

**9**

votes

**4**answers

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

**9**

votes

**2**answers

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

**9**

votes

**1**answer

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

**9**

votes

**0**answers

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

**8**

votes

**4**answers

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

**8**

votes

**2**answers

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

**8**

votes

**2**answers

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

**7**

votes

**5**answers

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

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

**7**

votes

**0**answers

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

**6**

votes

**1**answer

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

**6**

votes

**3**answers

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

**6**

votes

**0**answers

465 views

### Is there a direct way to compute the higher derived image sheaves of a family of $\mathbb{P}^n$s?

Let $V\rightarrow Y$ be a vector bundle of rank $n+1$ over $Y$, with $Y$ reasonably nice (I care about the case of smooth, irreducible affine). Let $X=\mathbb{P}(V)$ be the projectivization of $V$, so ...

**5**

votes

**3**answers

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

**5**

votes

**3**answers

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

**5**

votes

**2**answers

534 views

### Alexander duality theorem for CW-complexes and stable homotopy theory

In Adams, J.F. Infinite Loop Spaces Princ. Univ. Press. page 9 he states Alexander duality theorem
Theorem:[Alexander Duality] $$ H^r(X,G)=H_{n-r+1}(S^n-X,G)$$
for finite CW-complexes with a "nice ...

**5**

votes

**4**answers

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

**5**

votes

**2**answers

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

**5**

votes

**1**answer

792 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$, ...

**5**

votes

**1**answer

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

**5**

votes

**0**answers

167 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

**2**answers

283 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}$ ...

**4**

votes

**2**answers

492 views

### Tensor and Hom objects for finite flat group schemes

Is the category of finite flat group schemes equipped with "tensor products" and Hom-objects, encoding bilinear maps? I'm aware that the Cartier dual is $Hom(\mathbb{G}, \mathbb{G}_m)$, and want to ...

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

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

**4**

votes

**1**answer

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

**4**

votes

**2**answers

452 views

### Continuous Transportation Problem

Hi all, I'm trying to formulate an infinite linear program to prove optimality (via duality) for the Continuous Transportation Problem, e.g. the Kantorovich-Wasserstein distance. This is the ...

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

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

641 views

### Infinite Linear Programming

I'm trying to prove optimality for a continuous linear program. That is, I have a linear program with an uncountable number of variables and constraints. I'm not sure how to demonstrate feasibility ...

**3**

votes

**2**answers

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**0**answers

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

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