35
votes

### No canonical isomorphism

Let $X$ be a set. Permutations of $X$ are in bijection with total orderings on $X$, but (unless $\lvert X\rvert \le 1$) there is no canonical bijection.
In terms of Joyal's theory of species, the ...

Community wiki

21
votes

### No canonical isomorphism

As was mentioned in the comments, the example of a vector space and its dual can be seen as being about to "two vector spaces of the same dimension".
Even in dimension one, the fact that two ...

Community wiki

20
votes

### No canonical isomorphism

In a fiber bundle $E \to B$ with typical fiber $F$, any two fibers $F_x$, $F_y$ over points $x,y \in B$ of the base are isomorphic (homeomorphic or diffeomorphic, depending on whether you are doing ...

Community wiki

20
votes

### No canonical isomorphism

For a more elementary example: any two cyclic groups of order $n$ are isomorphic, but (when $n\ge3$) there is no preferred isomorphism between any two given cyclic groups of order $n$. (This is ...

Community wiki

20
votes

### No canonical isomorphism

For $X$ a path-connected topological space, and two points $x,y\in X$, the fundamental group of $X$ based at $x$ is isomorphic to the fundamental group based at $y$, but not canonically. A choice of a ...

Community wiki

19
votes

Accepted

### What is a module over a Boolean ring?

Theorem: Given $A$ a boolean ring/boolean algebra then there is an equivalence of categories between the category of $A$-modules and the category of sheaves of $\mathbb{F}_2$-vector spaces on Spec $A$....

18
votes

Accepted

### Are there topological versions of the idea of divisor?

Disclaimer. I am no expert at all in algebraic geometry. Therefore much of the following will be oversimplified or maybe even simply wrong. You are still invited to improve it.
EDIT. There is a paper ...

Community wiki

17
votes

Accepted

### Uniqueness of dualizing objects

If a dualizing object exists, there is a bijection between isomorphism classes of dualizing objects and isomorphism classes of $\otimes$-invertible objects (i.e. the Picard group), given by tensoring ...

16
votes

### No canonical isomorphism

For examples that don't come from duality or torsors, there are cases where we have short exact sequences that split, but not naturally. For example, the universal coefficients theorem for cohomology ...

Community wiki

16
votes

Accepted

### Why aren‘t op and co switched?

The problem is that for a long time there were only 1-categories and hence only one kind of duality, and sometimes people called it "op" and sometimes "co". Colimits and ...

15
votes

Accepted

### Are Spanier-Whitehead duals of general spaces expressible through some generalization of normal bundles?

Let $X$ be a finite complex. Then the functor
$$\lim_X:\operatorname{Fun}(X,\operatorname{Sp})\to \operatorname{Sp}$$
sending a local system of spectra $E$ to its limit preserves all colimits. Indeed ...

15
votes

### No canonical isomorphism

Being algebraically closed fields of characteristic $0$ and transcendence degree $2^\omega$, the fields $\mathbb C$, $\widetilde{\mathbb Q}_p$, and $\mathbb C_p$ are isomorphic for any prime $p$, but ...

Community wiki

15
votes

Accepted

### On the Euler characteristic of a Poincaré duality space

It follows from Poincaré duality in $M\times M$. I'll suppress gradings and be vague about signs here.
Let $x_i$ be a rational homology basis for $M$. Let $a_i$ be the cohomology basis that is dual to ...

14
votes

### No canonical isomorphism

A deliberately extreme example: an isomorphism of sets is a bijection, and two sets are isomorphic when they have the same cardinality. There is generally no preferred bijection between sets of the ...

Community wiki

13
votes

### What are all the natural maps between iterated duals of vector spaces, and equations between these?

I think I can give a concrete description of these maps, and have an approach to proving faithfulness.
Let $V^{*n}$ be the $n$'th dual of $V$.
A map $V^{*n} \to V^{*m}$ is, by definition, the same ...

12
votes

### If a $\otimes$-idempotent object has a dual, must it be self-dual?

If $C$ is not assumed to be symmetric, then the answer to questions 1 and 2 is no. Let $p^* \dashv p_* \dashv p^!$ be a fully faithful adjoint triple with $p_* : A \to B$. (For instance, $A= \mathrm{...

12
votes

Accepted

### Gabriel-Ulmer duality for $\infty$-categories

I'm not aware of anyone writing the proof down, but I think we can patch it together as an easy consequence of several facts in Lurie's Higher Topos Theory (henceforth HTT).
The statement, as I ...

12
votes

Accepted

### What do you call $C$ if $[D,C] = D^\vee \otimes C$ for all $D$?

First of all, a nitpick: the condition "$[D,C] = D^\vee\otimes C$" should be stated more precisely as "the canonical map $D^\vee\otimes C \to [D,C]$ is an isomorphism". Now as you mentioned in a ...

11
votes

### No canonical isomorphism

For an example that does not (as far as I can tell) come from duality, a Drinfeld associator is an isomorphism between two operads in pro-groupoids (parenthesized braids and parenthesized chords, ...

Community wiki

11
votes

Accepted

### Does Poincaré duality preserve algebraic cycles?

A positive answer to your question* would imply one of Grothendieck's standard conjectures (conjecture A) for complex varieties. See his note: Standard conjectures on algebraic cycles. It's safe to ...

10
votes

Accepted

### Applications of linear programming duality in combinatorics

How about
Boosting1
and the Hardcore Lemma, as described in this paper?
Trevisan, Luca, Madhur Tulsiani, and Salil Vadhan. "Regularity, boosting, and efficiently simulating every high-entropy ...

10
votes

Accepted

### Are there other dualities on finite vector spaces besides the canonical one?

$FinVec$ and its opposite are enriched in finite dimensional $k$-vector spaces. Assume that $F$ is an enriched functor. Then consider the covariant functor:
$$F(-)^*: FinVec \to FinVec$$
It is a $...

10
votes

Accepted

### If the closed unit ball of Banach space has at least one extreme point, must the Banach space the be a dual space?

Every separable Banach space $X$ can be equivalently renormed so that every point in the unit sphere is an extreme point: Take an injective bounded linear operator $T$ from $X$ into $\ell_2$ and use $|...

10
votes

Accepted

### Which topological spaces admit embeddings into Euclidean spaces

There's an old theorem of Deák that gives an interesting characterization.
Given a topological space $X$, define a relation on subsets of $X$ as follows: we write $U \sqsubseteq V$ if and only if $\...

10
votes

Accepted

### Compactness of the unit ball of a Banach space for topologies finer than the weak* topology

As pointed out by Goulifet, my previous answer was wrong. In fact almost the exact opposite is true: on any dual Banach space there is no locally convex vector space topology strictly stronger than ...

10
votes

Accepted

### Finite domination and Poincaré duality spaces

Corollary 5.4.2 of Wall's article `Poincaré complexes I', Ann. Math. 86 (1967) 213-245 gives examples of 4-dimensional Poincaré complexes $X$ with fundamental group of prime order $p\geq 23$ for which ...

9
votes

### The concept of duality

From Quantum Field Theory III: Gauge Theory by Eberhard Zeidler (Springer, 4/2011):
A) Preface (pg. XII):
"It turns out that cohomology and homology have their roots in the rules for electrical ...

Community wiki

9
votes

Accepted

### Criterion for being reflexive via Ext

Edit. Hailong Dao points out a serious error in what I originally wrote. I have edited the statement below. Unfortunately, the corrected condition on the Ext modules is now rather complicated: a ...

Community wiki

9
votes

Accepted

### GOE/GSE duality and Bott periodicity

The entire set of correspondences can be read off from this table:
Listed are the 10 symmetric spaces and for each space in the left column the dual space is shown in the right column, as explained ...

9
votes

Accepted

### Grothendieck-Verdier duality without the noetherian condition

Does one have the duality in this setting?
Yes, we do have duality in a very general setting. Your question is equivalent to asking for the existence of a right adjoint to the derived pushforward ...

Only top scored, non community-wiki answers of a minimum length are eligible

#### Related Tags

duality × 301fa.functional-analysis × 58

ct.category-theory × 46

ag.algebraic-geometry × 42

reference-request × 29

banach-spaces × 24

at.algebraic-topology × 21

ac.commutative-algebra × 19

convex-optimization × 18

measure-theory × 17

monoidal-categories × 16

sobolev-spaces × 12

linear-programming × 11

gn.general-topology × 10

convex-analysis × 10

linear-algebra × 9

derived-categories × 9

oc.optimization-and-control × 7

order-theory × 7

nonlinear-optimization × 7

topological-vector-spaces × 7

nt.number-theory × 6

gr.group-theory × 6

real-analysis × 6

ra.rings-and-algebras × 6