Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
312 questions
3
votes
1
answer
845
views
A category being self-dual vs. it being a groupoid
What is the relationship between self-duality and groupoid-ness? Does any condition imply the other? Is there an example which helps understand the difference?
To go from a self-duality $F$ on a ...
- 291
4
votes
1
answer
197
views
Show that duality functor is anti-monoidal
Let $\mathcal{C}$ be a right rigid (not strict) monoidal category with associativity constraint $\Phi$. Let $J_{U,V}: U^*\otimes V^*\to (V\otimes U)^*$ be the canonical isomorphism for every objects $...
- 41
96
votes
36
answers
17k
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....
3
votes
1
answer
2k
views
a “self-dual” adjunction
Is there a name for $(U,\eta)$ such that $(\eta, \eta^{op}):U^{op}\dashv U$ (is an adjunction). To clarify — $C:category$, $(I,I^{op})$ is the contravariant isomorphism with $I:C^{op}\to C$, $U:C^{op}\...
- 530
8
votes
0
answers
1k
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 ...
- 133
5
votes
2
answers
585
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 ...
- 133
1
vote
1
answer
341
views
"L^2_loc mod constants" as a reflexive space
In an article of Sten Kaijser ("A note on dual Banach spaces") I find the assertion that $E = L^2_{\text{loc}}({\mathbb R})$ modulo constants is a reflexive space.
Question 1: which is the '...
- 13
5
votes
2
answers
966
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 ...
- 445
16
votes
1
answer
2k
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 ...
- 65.4k
0
votes
2
answers
998
views
Is division considered the mathematical dual of multiplication? [closed]
I'm doing a bit of research for a tech presentation that touches on the subject of mathematical duality. (To be clear, my presentation is not on mathematics or duality, but mentions duality in passing....
- 121
14
votes
0
answers
899
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.
...
6
votes
0
answers
903
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 ...
- 13k