Questions tagged [duality]
Use for questions regarding duality of mathematical object, i.e. dual spaces, objects with two possible interpretations etc.
117
questions with no upvoted or accepted answers
14
votes
0
answers
880
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.
...
10
votes
0
answers
498
views
Isbell duality between algebras and sheaves
nLab says on Isbell duality, the following:
A general abstract adjunction
$(\mathcal{O} \dashv \operatorname{Spec}) : \mathrm{CoPresheaves} \leftrightarrows \mathrm{Presheaves}$
relates (higher) ...
- 699
10
votes
0
answers
593
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) ...
- 61.5k
10
votes
0
answers
916
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 ...
- 18.1k
9
votes
0
answers
216
views
Point-free topology, but with $\sigma$-algebras instead of spaces
I have a question about $\sigma$-algebras in relation to point-free topology. The question was inspired by a comment on a similar question I had:
If abstract $\sigma$-algebras (i.e. certain boolean ...
user30211
9
votes
0
answers
321
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 ...
- 61.5k
8
votes
1
answer
501
views
Can one characterize maximal antichains in terms of distributive lattices?
This is inspired by the recent question Verification of a maximal antichain
The celebrated duality between finite posets and finite distributive lattices has several nice formulations. One of them ...
- 17.5k
8
votes
0
answers
429
views
Does any 'logical' theory have a bounded ∞-pretopos as syntactic category?
Stone duality may be understood as providing a duality between syntax and semantics for propositional logic, so that a theory may be recovered from its models. In order to do likewise for first-order ...
- 4,911
7
votes
0
answers
908
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,303
7
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 ...
- 123
6
votes
0
answers
153
views
Explicit computations of Serre duality for elliptic curves
I have an elliptic curve $E$ defined over a ring $R$, I want to compute the pairing
$$
H^1(E,\mathcal{O}_E)\times H^0(E, \Omega_E^1){\rightarrow}R.
$$
Clearly we have that $H^0(E, \Omega_E^1)=R \...
- 109
6
votes
0
answers
244
views
Dual Abelian scheme (relative Picard functor) vs Ext sheaf
Let $A$ be an abelian scheme over some base scheme $S$.
Let $A^\vee$ be the dual abelian scheme, defined as $\text{Pic}^0_{A/S}$ where $\text{Pic}_{A/S}(T)=\text{Pic}(A_T)/\text{Pic}(A)$. (maybe some ...
- 61
6
votes
0
answers
129
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 ...
- 2,129
6
votes
0
answers
873
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 ...
- 12.7k
5
votes
0
answers
131
views
Rings over which free modules of a certain rank are reflexive (satisfy Specker's theorem)
Following this question about the case of $\mathbb{Z}_{(p)}$, I've got to ask what is known more generally about rings and dimensions for which Specker's theorem holds. Let me make the following ...
- 30.1k
5
votes
0
answers
145
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 ...
5
votes
0
answers
270
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
5
votes
0
answers
417
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{...
- 415
5
votes
0
answers
60
views
Self-duality of cones associated with elementary symmetric polynomials
Let $n\ge3$ be an integer, and denote $\sigma_1,\ldots,\sigma_n$ the elementary symmetric polynomials in $n$ indeterminates:
$$\sigma_1(X)=X_1+\cdots+X_n,\quad\ldots\quad,\sigma_n(X)=X_1\cdots X_n.$$
...
- 51.6k
5
votes
0
answers
264
views
Riesz Representation Theorem for $L^2(\mathbb{R}) \oplus L^2(\mathbb{T})$?
The spaces $L^2(\mathbb{R})$ (square-integrable functions) and $L^2(\mathbb{T})$ (1-periodic square-integrable functions, considered over the real line $\mathbb{R}$) are two subspaces of the space of ...
- 2,174
5
votes
0
answers
167
views
Dual Steenrod squares
Fix the ground ring $\mathbb{F}_2$ and let $X$ be a space with finite homology. Then we have an isomorphism $\Phi^i_X:H_i(X)\to H^i(X)^*,a\mapsto \langle-,a\rangle$ which allows us to define the dual ...
- 1,623
5
votes
0
answers
343
views
Serre functors for non-proper categories
One usually defines a Serre functor to be a functor on a $k$-linear category $\mathcal{C}$ which has finite dimensional $Hom$s over $k$. In that case, the standard definition is that a Serre functor $...
- 512
5
votes
0
answers
136
views
Poincare duality in families of smooth, projective curves
Let $f:\mathcal{C} \to \Delta^*$ be a family of smooth, projective curves over a punctured disc. Denote by $\mathbb{H}^1:=R^1f_*\mathbb{Z}$ the associated local system, such that for every $t \in \...
- 1,573
5
votes
0
answers
64
views
Characters on monotone functions
Characters on the semigroup $(C_{+}^{b}(\mathbb{R}^{d}),+)$, i.e. on bounded positive continuous functions with the ususal pointwise addition, are known to be of the form $C_{+}^{b}(\mathbb{R}^{d})\ni ...
- 289
5
votes
0
answers
127
views
Quantum subgroups of Locally Compact Groups and Parabolic Induction
In the classical theory , parabolic induction is used to construct the (reduced) dual of a (semi-simple) Lie Group. However, for this we need subgruops. Given that the theory of "quantum subgroups" of ...
- 561
5
votes
0
answers
324
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 K_\...
- 2,926
5
votes
0
answers
422
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 ...
- 131
4
votes
0
answers
105
views
Length of dual module
It is well known that, given a commutative ring $R$ and an $R$-module $M$, the dual module $M^\vee = \operatorname{Hom}_R(M, R)$ does not always satisfy $M^\vee \cong M \ (1)$, and not even $M^{\vee \...
- 183
4
votes
0
answers
136
views
Examples of $\ast$-autonomous $(\infty,1)$-categories
A $\ast$-autonomous category is a biclosed monoidal category together with a dualizing object. An object $\bot$ in a biclosed monoidal category $(\mathcal{C},\otimes)$ with left internal hom $[-,-]$ ...
- 766
4
votes
0
answers
165
views
Is the test function topology a Mackey topology?
I am a physicist, and I have lately been thinking about distributions as they appear in quantum field theory. In the standard development of the theory of distributions, one considers the space $C^{\...
- 41
4
votes
0
answers
418
views
Fixing the duality $L^\infty(X)= L^1(X)^*$ for Radon measure spaces
Consider the following fragment from Folland's book "A course in abstract harmonic analysis":
Let me denote the Borel subsets of $X$ by $\mathscr{B}(X)$. Folland claims that if $\mu$ is a ...
- 249
4
votes
0
answers
94
views
Duality for finite quotient groups of finitely generated free abelian groups
$\newcommand{\Z}{{\Bbb Z}}
\newcommand{\Q}{{\Bbb Q}}
\newcommand{\Hom}{{\rm Hom}}
$ The following lemma is certainly known.
Lemma (well-known).
Let $B$ be a lattice (that is, a finitely generated ...
- 13.6k
4
votes
0
answers
176
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).
...
4
votes
0
answers
122
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,585
4
votes
0
answers
145
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}}\...
- 61.5k
4
votes
0
answers
157
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,902
4
votes
0
answers
320
views
How is the restriction of the dualizing sheaf to an irreducible component related to the dualizing sheaf of the component?
$\DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\hom}{\mathcal{Hom}} \DeclareMathOperator{\ox}{\mathcal{O}_X}$Let $f:X \to Y$ be a proper morphism. In section 6.4. of Liu's book he introduces ...
- 435
4
votes
0
answers
133
views
Langlands dual and integrable representations
Assume I successfully classified the integrable representations of a certain semi-simple Lie group $G$. Given this information, what do I know about the integrable representations of $G^\vee$, the ...
4
votes
0
answers
734
views
Access to a classic reference of Dold-Puppe
There is an old reference that I am unable tofind. It is Dold-Puppe´s communication at a conference. More concretely, it is cited as:
A. Dold, D. Puppe: Duality, trace and transfer. Proceedings of the ...
- 2,741
4
votes
0
answers
335
views
Weak to weak$^*$ continuity of the duality mapping
Let $X$ be a uniformly convex and uniformly smooth Banach space. We consider the duality mapping $J_p^X$ defined as the sub-gradient $\partial (\frac1p\|\cdot\|^p)$. Is there a characterisation of the ...
- 779
4
votes
0
answers
247
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 ...
- 183
4
votes
0
answers
95
views
Unique representability of bounded distributive lattices
Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space.
A poset $(P,\leq)$ is called (...
- 45.4k
4
votes
0
answers
261
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 ...
- 3,157
3
votes
0
answers
73
views
Absolute continuity of $t \to \lVert u(t) \rVert^2_{H}$ and Gelfand triple : are they equivalent?
Let $V$ be a separable Banach space and $H$ be a separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
and the inclusion maps are continuous with dense images. Here $...
- 2,749
3
votes
0
answers
84
views
Tensor product of functors, central Hopf monad and star-autonomy
Setting.
Let $\mathcal{C}$ be a category and $(\mathcal{V},\otimes,I, \multimap)$ a (symmetric) closed monoidal category. Let $F:\mathcal{C}\rightarrow \mathcal{V}$ be a functor and $X\in \mathcal{V}$ ...
- 766
3
votes
1
answer
263
views
Global duality theorem for 2-part
$\DeclareMathOperator\coker{coker}\DeclareMathOperator\Sha{Sha}$Let $K$ be a number field.
Let $E/K$ be an elliptic curve over $K$.
Suppose finiteness of $\Sha(E/K)$.
According to Global duality ...
- 1,405
3
votes
0
answers
120
views
Weak*-separability of the unit ball of $X’$ and density characters and cardinalities of $X$ and $X’$
(This question has also been asked on Math StackExchange.)
Let $X$ be a Banach space, $X’$ be its continuous dual such that its unit ball is weak*-separable. I’ve been wondering what can be said about ...
- 1,262
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
3
votes
0
answers
242
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
0
answers
255
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