Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
5 votes
0 answers
138 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 ...
Gro-Tsen's user avatar
  • 32.4k
4 votes
0 answers
112 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 ...
Mikhail Borovoi's user avatar
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 ...
John Baez's user avatar
  • 22.2k
3 votes
2 answers
718 views

Bi-annihilator of a subspace of the dual of an infinite-dimensional vector space

Let $V$ be an infinite-dimensional vector space and $V^*$ its dual. For a linear subspace $W\subset V$ define $W^ \circ\subset V^*$ as the subspace of linear forms on $V$ vanishing on $W$. Dually, for ...
lefuneste's user avatar
  • 417
8 votes
1 answer
631 views

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

Let $\text{FinVec}$ denote the category of finite dimensional vector spaces over some field $k$, and let $F:\text{FinVec}\to \text{FinVec}$ be a contravariant functor such that $F^2$ is naturally ...
Michael Bächtold's user avatar
10 votes
0 answers
948 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 ...
Pace Nielsen's user avatar
  • 18.7k
2 votes
0 answers
93 views

Do copairings provide dualities in derived categories?

Here is an elementary fact about vector spaces. Let $V,W$ be vector spaces over a field $\mathbb K$ and let $c : \mathbb K \to V \otimes W$ be an element of the tensor product. Then $c$ determines ...
Theo Johnson-Freyd's user avatar
-2 votes
1 answer
594 views

Is dual cone unique? [closed]

Suppose we have the following relationship, note that $A,B,C$ are closed convex matrix cones, $A^\ast=C,$ $B^\ast=C,$ can we state that $A=B$? Is the dual cone of a cone is unique? the definition ...
ilovecp3's user avatar
  • 187
3 votes
2 answers
2k views

How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional $\ell^p$-normed vector space?

Say you have a finite-dimensional vector space $V$ with an $\ell^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $\ell^p$ norm, so the unit sphere in $V_s$...
Mike Battaglia's user avatar