Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
312 questions
5
votes
2
answers
465
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 ...
- 3,749
7
votes
5
answers
624
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 ...
- 4,133
1
vote
1
answer
322
views
In what sense is a generically submersive morphism of varieties subermersive over singular points?
Background/Motivation
I'm currently interested in the duality theorem for projective varieties and more specifically in properties of the conormal variety over the dual variety.
Let $V$ be a $k$-...
CommunityBot
- 1
5
votes
2
answers
712
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 ...
- 23.5k
2
votes
0
answers
319
views
Generalized fourier transform and convolution?
Let $a(t)$ and $b(t)$ be two equal length sequences indexed by time index $t$.
We know that $a(t) * b(t)$ corresponds to $A(\omega) \odot B(\omega)$ in the frequency domain where $A(\omega)$ and $B(\...
- 13.9k
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 ...
- 9,229
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}\...
- 3,622
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 '...
- 9,007
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 ...
- 3,867
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.
...
- 20.5k
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
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 ...
CommunityBot
- 1