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
0
answers
160
views
Faltings' Cartier duality for A-modules in terms of Hopf algebras
$\newcommand\dual{^{\text{dual}}}\newcommand\GrpSch{\mathrm{GrpSch}}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Vect{Vect}$If $G$ is a finite group scheme over a field $k$, we can define its ...
10
votes
1
answer
403
views
Finite domination and Poincaré duality spaces
Here are some definitions:
A space is homotopy finite if it is homotopy equivalent to a finite CW complex.
A space finitely dominated if it is a retract of a homotopy finite space.
A space $X$ is a ...
- 18.9k
4
votes
1
answer
222
views
$\ast$-autonomous categories with non-invertible dualizing object?
1. Definition
Firstly, recall the following nLab-definition of a $\ast$-autonomous category:
A $\ast$-autonomous category is a symmetric closed monoidal category $(C,\otimes,I,\multimap)$ with a ...
- 764
1
vote
0
answers
51
views
Application of the $\operatorname{BMO}$, $H^1$ duality
Let $f\in \operatorname{BMO}(\partial \Delta)$, then there exists a Carleson measure $\mu$ in $\Delta$ such that
$$f(\zeta)-\int_{\Delta}P_{z}(\zeta)d\mu(z)\in L^{\infty}(\partial \Delta),\ \zeta\in\...
- 111
3
votes
1
answer
301
views
When Alexander dual of a simplicial complex is a matroid?
Let $C$ be a simplicial complex on a finite set $V$: that means $C$ is a collection of subsets of $V$ such that if $\sigma\in C$ and $\tau\subseteq \sigma$, then $\tau\in C$.
The Alexander dual $D(C)$ ...
- 281
4
votes
0
answers
180
views
Spanier-Whitehead dual of space of natural transformations
Let $F, G: \mathcal{J} \to \mathsf{Sp}$ be continuous functors between $\sf{Sp}$-enriched categories, where $\sf{Sp}$ denotes any of the point-set models for spectra (i.e., orthogonal spectra).
...
2
votes
1
answer
108
views
Is the polar dual of a semi-algebraic convex body also semi-algebraic?
Call a convex body $C\subset\Bbb R^n$ semi-algebraic if it can be written as
$$(*)\quad C=\bigcap_{i\in I}\, \{x\in \Bbb R^n\mid p_i(x)\le 0\}$$
with polynomials $p_i\in\Bbb R[X_1,...,X_n]$ and a ...
- 13.6k
8
votes
1
answer
1k
views
Compactness of the unit ball of a Banach space for topologies finer than the weak* topology
Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
- 2,306
8
votes
1
answer
928
views
On the Euler characteristic of a Poincaré duality space
Background. Suppose that $M$ is an oriented, connected, closed manifold of dimension $d$ with fundamental class $\mu \in H_d(M;\Bbb Z)$. Let $\Delta : M \to M \times M$ be the diagonal map. Then the ...
- 18.9k
2
votes
1
answer
882
views
Interpreting mincost flow dual variables
Consider the task of finding flow of size $b$ with minimum possible cost.
It may be formulated as linear programming in a following way:
$$\boxed{\begin{gather}
\min\limits_{f_{ij} \in \mathbb R} &...
- 1,171
0
votes
1
answer
189
views
$f=0$ in $H^{-1}(\Omega)$ implies $f=0$ almost everywhere
Does $f=0$ in $H^{-1}(\Omega)=(H^1_0(\Omega))^*$ implies $f=0$ almost everywhere in $\Omega$?
1
vote
1
answer
286
views
Product-coproduct duality
Let $T$ be a set, $R$ be a ring with $1$ and $B, S_t$ be $R$-modules $\forall t \in T$
My task is to state and prove the dual to the following statement:
Given momomorphisms $j_t: S_t \rightarrow B$. ...
- 13
2
votes
1
answer
353
views
References on duality of fractional order Sobolev spaces
I would like to ask you for any good references regarding fractional order Sobolev spaces. I know Hitchhiker's guide to the fractional Sobolev spaces is a very popular one, and I found it to be quite ...
- 101
1
vote
0
answers
45
views
Transport-type duality for preduals of $C^{k,1}$-functions
Let $\Omega$ be a non-empty, simply connected, and open subset of $\mathbb{R}^d$ for some positive integer $d$. Let $k$ be a non-negative integer. Consider the Banach space $C^{k,1}_0(\Omega)$ ...
- 5,405
1
vote
0
answers
96
views
References: properties of $L_p$ spaces involving time and probability space
Questions are from the theory of PDEs\SPDEs
Question 1. Suppose $(V, H, V^\star)$ is a Gelfand triple (embeddings are continuous and dense, so $\|\|_H \le C \|\|_V$ for some $C>0$ etc) of ...
1
vote
0
answers
195
views
Gross-Hopkins duality
$\DeclareMathOperator\Spf{Spf}\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\Mod{Mod}$One can deduce the invertibility of the Gross-Hopkins dualizing spectrum from purely algebro-geometric ...
- 448
4
votes
0
answers
123
views
Is there Sperner-type lemma where the colors are on the edges?
I am looking for Sperner-type lemmas where:
The colors are on the edges (1-dimensional simplices) - rather than on the vertices;
The target is a fully-colored vertex (a vertex adjacent to n edges of ...
- 3,559
4
votes
0
answers
150
views
How does Gabriel–Ulmer duality extend to (limit, colimit) sketches?
$\newcommand\Sketch{\mathit{Sketch}}\newcommand\Set{\mathit{Set}}
\DeclareMathOperator\Lim{Lim}\DeclareMathOperator\Colim{Colim}\DeclareMathOperator\Mod{Mod}\newcommand\mod{\operatorname{mod}}\...
- 64k
2
votes
0
answers
124
views
Heap torsors and dual objects
Suppose that $G$ is a group and $P:G\rightarrow G$ is a permutation of $G$. We would now like to apply a forgetful functor to the algebra $(G,\cdot,P,^{-1},e)$. Whenever $g\in G$, let $gP$ be the ...
3
votes
0
answers
61
views
Dual space of Carleman functions
Let $X$ be the space of all weakly measurable functions $\gamma:\mathbb{R}^n \to L^2(\mathbb{R}^n)$ (modulo functions that are 0 almost everywhere) for which
$$\|\gamma\|_X^2 := \sup_{\|g\|_{L^2}=1} \...
- 141
0
votes
0
answers
173
views
Is $(K^*)^{**}=(K^{**})^*$ for any cone $K$?
I'm considering the dual cone $K^*$ of a non-convex cone $K$. I came up with a theory that $K^{**}$ is the closure of convex hull of $K$. Then I wonder whether $(K^*)^{**}=(K^{**})^*$ holds for any ...
3
votes
0
answers
254
views
Does Grothendieck duality hold without taking RHom?
I asked this very basic question about Grothendieck Duality on the Stack--exchange some time ago, without any replies.
I'm therefore asking the question here to test my luck.
Let $f:X\to Y$ be a ...
- 61
3
votes
1
answer
296
views
Confusion about the (Grothendieck–Poincaré) double dual of reflexive differentials vs usual differentials on a normal Cohen–Macaulay scheme
$\DeclareMathOperator\Hom{Hom}$Let $\mathcal{A}$ be an abelian category, my question is about the case when $\mathcal{A}$ is the category of quasi-coherent sheaves on a scheme $X$. There is a fully ...
- 61
5
votes
1
answer
496
views
Unifying two definitions of $L^\infty$
Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon measure on $X$.
Definitions:
A subset $E\subseteq X$ is called locally Borel if $F \cap E$ is Borel for every Borel set $F\subseteq X$ ...
- 175
4
votes
0
answers
166
views
Is the Serre dualizing complex local in the analytic topology?
There is a Serre dualizing complex $S_X\in D^b Coh(X)$ for any scheme $X$ of finite type. For proper schemes, it is characterized as the sheaf defining the right adjoint to derived global sections, ...
- 7,972
8
votes
1
answer
1k
views
Why aren‘t op and co switched?
When reading through Loregian and Riehl - Categorical notions of fibration, on p. 3 there is a remark that confuses me about notation. Given a $2$-category $\mathcal C$ one usually defines $\mathcal C^...
- 355
5
votes
0
answers
306
views
Exactness of a term after taking Pontryagin dual: a step in the proof of Poitou-Tate duality
I'm reading the proof of Poitou-Tate duality in the book Galois Cohomology and Class Field Theory by David Harari.
After some arguments, we get a exact sequence
$$
\mathbf{P}^1_S(k,M^{'})^* \...
- 151
12
votes
2
answers
409
views
Reference for free symmetric monoidal categories with duals on symmetric monoidal categories
The inclusion $U$ of the (2,1)-category of symmetric monoidal categories with duals into the (2,1)-category of symmetric monoidal categories admits a left 2-adjoint functor $L$ for formal reasons.
In ...
- 37.8k
1
vote
1
answer
1k
views
Does weak-* convergence in $W^{1,\infty}$ imply weak-* convergence in $L^\infty$?
Let $\Omega \subset \mathbb{R}^n$ be open and bounded.
What does weak-* convergence for a sequence of functions $\{f_k\}_{k \in \mathbb{N}}$ in $W^{1,\infty}(\Omega)$ mean? It seems to me that there ...
- 13
4
votes
1
answer
114
views
Order of factors for unit/counit of duals
While working through Categorical quantum mechanics by Abramsky and Coecke, I noticed that their definition of the order of factors for the unit and counit of a dualizable object disagree with the one ...
- 10.1k
1
vote
0
answers
138
views
$L_p$ estimate in mixed boundary problem for elliptic equation
Let $Q$ be convex polygon, $\Gamma$ be a portion of boundary
$\partial Q$ and $H^1_\Gamma(Q)=\lbrace u\in H^1(Q):
u|_\Gamma=0\rbrace$. For $f\in (L_2(Q))^2$ consider the problem
$$
\int_Q A(x)\nabla u ...
- 46
1
vote
1
answer
212
views
Does coercivity/supercoercivity conjugates?
According to Wikipedia, a function $f: \mathbb{R}^n \to \mathbb{R} \cup \{-\infty, +\infty\}$ is called coercive if,
$$f(x) \to +\infty \text{ as } \|x\| \to +\infty$$
and it is super-coercive if
$$\...
- 125
1
vote
1
answer
97
views
Self-dual hypergraph on $\omega$
Let $H=(V,E)$ be a hypergraph. For $v\in V$ we let $v^* = \{e\in E:v\in e\}$. We define the dual of $H$ by $H^*= (E, V^*)$ where $V^* = \{v^*: v\in V\}$. We say that a $H$ is self-dual if $H \cong H^*$...
- 48.9k
13
votes
0
answers
810
views
Reference request for a complete and formal Duality Principle in category theory
Most textbooks on category theory only sketch the meaning of the Duality Principle. But even when they do it more formally, I have only seen a version so far which concerns the language of a (single) ...
- 63.1k
5
votes
1
answer
338
views
Does rigidity imply a unique dualizing functor?
Let $\mathcal{C}$ be a rigid, monoidal category. Can I talk about $\mathcal{C}$ as having a unique, well-defined, dualizing functor (i.e. one that maps objects and morphisms onto their respective ...
- 1,389
38
votes
2
answers
1k
views
What are all the natural maps between iterated duals of vector spaces, and equations between these?
Fix a field. Given a vector space $V$ it has a dual $V^\ast$, which has its own dual $V^{\ast \ast}$, which has its own dual $V^{\ast \ast \ast}$, and so on ad infinitum.
There are lots of natural ...
- 22.3k
2
votes
0
answers
96
views
Evolution PDE in dual space : Generalization of a result of Gelfand
The following result is proved in "Generalized functions", Volume 3, Chapter 2.2 by Gelfand :
Let $\Phi$ be a Fréchet space with dual space $\Phi'$ endowed with the weak topology. For ...
- 233
3
votes
0
answers
282
views
Continuum of Lagrange multipliers, duality gap, and minimax theorem
Suppose I have a linear optimization problem involving random variables on some (infinite) probability space $\Omega$. For example, need to maximize expectation $E[Q]$ of random variable $Q$ subject ...
- 781
2
votes
0
answers
212
views
Effect of dualization of density
Let $D\subset X$ be a dense subset of a complete separable locally convex space $X$ over $\mathbb{R}$. Though the question seems simple enough, I can't seem to find the answer in the literature:
If $...
- 109
5
votes
2
answers
193
views
Category with binary biproducts but no zero morphism
Is there a category with binary biproducts but no zero morphism?
I'm wondering if the definition of biproducts as objects that are simultaneously products and coproducts that obey some identities on ...
- 10.1k
5
votes
0
answers
491
views
Dual norm for weighted Sobolev space
Consider a "weight" function $\rho: \mathbb{R}^{d} \rightarrow \mathbb{R}$ and the following weighted Sobolev norm:
\begin{equation}
\|h\|_{\dot{H}^{1}(\rho;\mathbb{R}^{d})}:=(\int_{\mathbb{...
- 407
3
votes
0
answers
162
views
Reference for duality inducing bijections between subobjects and quotients?
I'm not the most category-theoretic person but I have run into the following statement in my work. Suppose we have a category duality $\mathcal F:\mathcal C\to\mathcal D$. For my needs you can ...
- 3,513
6
votes
1
answer
273
views
Top cohomology of profinite Poincaré duality group
The paper "Cohomology of p-adic analytic groups" by Symonds and Weigel is considered one of the main references for continuous cohomology of profinite groups. There is a passage I do not ...
- 767
35
votes
12
answers
3k
views
No canonical isomorphism [duplicate]
I thought that it would be interesting to collect into a big list various instances of isomorphic structures with no preferred isomorphism between them. I expect the examples to be interesting since ...
5
votes
1
answer
886
views
Generalization of Bernstein’s inequality
I'm using Muscalu and Schlag's textbook to study harmonic analysis and I encountered the following claim:
Given some function $f \in \mathcal{S}(\mathbb{R}^{d})$, where $\mathcal{S}(\mathbb{R}^{d})$ ...
- 91
2
votes
1
answer
698
views
Confusing definition of homogeneous Sobolev norm of order -1
Let $\Omega \subset \mathbb{R}^{d}$ and $\|.\|$ is the standard euclidean $2$-norm. I came across a definition of $\dot{H}^{-1}(\Omega)$ which is a bit confusing. In [1] authors define the following ...
- 407
2
votes
0
answers
309
views
Maxwell $U(1)$ gauge theory's electric and magnetic sources turned on simultaneously in the classical differential geometry
Question:
How do we couple $U(1)$ electric (E) and magnetic (M) sources simultaneously in the classical differential geometry language, in a $U(1)$ gauge theory based on $U(1)$ gauge bundle and its $U(...
- 10.5k
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
8
votes
0
answers
1k
views
Wasserstein distance and Monge-Kantorovich-Rubinstein duality
The definition of Wasserstein $p$-distance between two measures $\mu$ and $\nu$ on a Polish space $X$ is given by
$$
W_p(\mu, \nu)^p = \inf_{\gamma \in \Pi(\mu, \nu)} \int_{X \times X} d(x, y)^p\; d\...
- 1,407
9
votes
1
answer
306
views
Origin and context of adjunctions inducing equivalences between full subcategories
The following is well-known.
Theorem. Let $F\dashv U$ be a pair of adjoint functors
$$F\colon \mathcal C\to \mathcal D, \qquad U\colon \mathcal D\to\mathcal C$$
with unit $(\eta_A\colon A\to U(F(A)))_{...
- 111