All Questions
281 questions with no upvoted or accepted answers
4
votes
0
answers
347
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
141
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
202
views
$\ell^1$-norm minimization duality
I am looking for an explicit description and discussion of the dual of the $\ell^1$-norm minimization problem $\lVert A x\rVert_1\to\min$, where $A$ is a matrix, and $x$ belongs to the $n$-simplex $\...
- 17k
4
votes
0
answers
539
views
Using Linear Programming as an iterative procedure
Suppose, we have a linear program and an optimal solution to it. Suppose now, we get a new constraint. We want to obtain an optimal solution to the given linear program extended by that new constraint....
- 391
4
votes
0
answers
264
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
98
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 (...
- 48.8k
4
votes
0
answers
264
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,187
4
votes
0
answers
790
views
Is it possible to use linear programming to solve this problem?
I am trying to write software to minimize pricing for cell phone subscription services, ie: choose the optimum plan for each customer in a large group.
Could someone comment on whether this is ...
- 41
3
votes
0
answers
110
views
Weil pairing for an abelian variety uniformized as torus modulo lattice over a non-archimedean field
Suppose I have an abelian variety $A$ with split toric reduction over a non-archimedean field $K$, so that $A$ can be realized as $T / \Lambda$ where $\Lambda$ is a lattice in the torus $T$. Letting $...
- 1,298
3
votes
0
answers
76
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 $...
- 3,477
3
votes
0
answers
90
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}$ ...
- 764
3
votes
0
answers
151
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 ...
- 2,830
3
votes
0
answers
105
views
Techniques for solving linear inequalities
For $n$ real variables $x_1, \ldots, x_n$, I have a bunch of inequalities of form $2 x_i > x_j + x_k$ or $2 x_i < x_j + x_k$, where $i,j,k$ are distinct. My goal is to determine whether this set ...
- 231
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
252
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
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
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
3
votes
0
answers
87
views
Additional symmetries of the Traveling Salesman Polytope
Given the complete graph $K_n=(V,E)$, the Traveling Salesman Polytope is a convex polytope in $\Bbb R^E$ obtained as the convex hull of the indicator vectors of (edge-sets of) Hamiltonian cycles in $...
- 13.6k
3
votes
0
answers
513
views
From $f$-divergence to its dual: the transformation of convex functions on $\mathbb R_+$ by $f^*(t) = 1 f(\frac 1 t)$
I would like to understand the relationship between minimising the KL divergence $P \mapsto D_{KL}[P,Q]$ and the reverse KL divergence $P\mapsto D_{KL}^*[P,Q]=D_{KL}[Q,P]$ for probability measures $P$ ...
- 203
3
votes
0
answers
122
views
Convex optimization upper bound for a non-linear optimization
Is there any good convex optimization problem based upper-bound for the following non-linear optimization problem?
\begin{align}
\max_{x_1,\ldots,x_N}&\quad \sum_{n=1}^{N} \log(1+\frac{x_n}{1+\...
- 287
3
votes
0
answers
163
views
A new "adversarial" Wasserstein distance?
Let us consider $\mu_1, \mu_2$ and $\mu_3$ three probability measures living on $[0,1]^{k_1}, [0,1]^{k_2}$ and $[0,1]^k$respectively, with $k_1 +k_2=k$. Let us denote by $\Gamma(\mu,\nu)$ the set of ...
- 555
3
votes
0
answers
166
views
Naturality of Poincaré–Lefschetz
Let $X$ be compact and Hausdorff, $A\subseteq B\subseteq X$ both closed such that $X\setminus A$ is an open orientable $d$-manifold. Then also $X\setminus B$ is an open orientable $d$-manifold. We ...
- 1,623
3
votes
0
answers
178
views
Uniqueness of projection under spectral norm
I am considering
$$
\min_{M\in \mathcal{M}} \|X - M\|:=x \neq 0,
$$
where $X$, $M$ are $m\times n$ matrices, $\|\cdot\|$ is spectral norm and $\mathcal{M}$ is a matrix subspace. I wonder to what ...
- 131
3
votes
0
answers
187
views
Is the category of abstract $\sigma$-algebras the pro-category of countable discrete spaces?
I am wondering if the category of abstract $\sigma$-algebras is contravariantly equivalent to the pro-category of the category of countable sets.
Note: I have tweaked this question a little. Now it ...
user30211
3
votes
0
answers
152
views
I want a elaboration of the sketch of proof given in the Serre's Galois Cohomology on the existence of the dualizing module
I've wanted to understand the concept of the Dualizing module in the theory of Galois Cohomology. There are many references on it and of them all Neukirch's Cohomology of Number Fields seems to be ...
- 1,013
3
votes
0
answers
102
views
Legendre transform on signed measure space
Let $X$ be an open set in $\mathbb{R}^n$ and $M(X)$ be the space of finite signed measures defined on $X$. $L(p)$ is a lower-semicontinuous convex functional defined on $M(X)$. My question is: (1) ...
- 325
3
votes
0
answers
105
views
Are there scenarios under which feasibility bilinear programming is easy?
Given $c\in\Bbb R^{n_1},d\in\Bbb R^{n_2}$, $E\in\Bbb R^{n_1\times n_2}$, $A\in\Bbb R^{m_1\times n_1}$, $B\in\Bbb R^{m_2\times n_2}$ $a\in\Bbb R^{m_1}$, $b\in\Bbb R^{m_2}$ and $t\in\Bbb R$ we know ...
- 13.9k
3
votes
1
answer
368
views
Lot sizing problem: how to add these cuts efficiently
Consider the set of constraints of the uncapacitated lot sizing problem:
$$
\{(x,s,y)\in \mathbb{R}^n_+ \times \mathbb{R}^n_+ \times \mathbb{B}^n \;|\;s_{t-1}+x_t = d_t+s_t,\; x_t \le My_t,\; t=1,\...
- 225
3
votes
0
answers
210
views
On Radon-Nikodym property of a dual of a Bochner space
Let ${\rm S}^{n-1}$ be the unit sphere of ${\bf R}^n$ and let us consider the dual of the space $L^p\left({\bf R}^n; C^1({\rm S}^{n-1})\right)$, for some $p\in\langle1,\infty\rangle$: it is the space ...
- 165
3
votes
0
answers
71
views
Dependence of optimization problem on the linear constraints
Let $I=\{x_1,\cdots, x_n\}\subset \mathbb R$ be fixed. Given two probability distributions $\alpha=(\alpha_i)_{1\le i\le n}$ and $\beta=(\beta_i)_{1\le i\le n}$ on $I$, and a matrix $c=(c_{i,j})_{1\le ...
- 1,835
3
votes
0
answers
970
views
Testing if a point is inside a convex polytope formed by halfspaces in n-dimension
Assume we have a convex polytope that is formed by the intersection of $k$-halfspaces in $\mathbb{R}^{n}$.
$$
a_{0,0}x^{n-1} + {a}_{0,1}x^{n-2} + ... a_{0,n-1} \leq 0
$$
$$
a_{1,0}x^{n-1} + {a}_{1,...
- 31
3
votes
0
answers
3k
views
0,1 solution to system of linear integer equations
I have the following problem:
$A x = b$
where $A, b$ - $m \times n$-matrix and $m$-vector of nonnegative integers (respectively).
$x \in \{0,1\}^n $ - vector of binary variables, which need to be ...
- 149
3
votes
0
answers
220
views
Could SVD be used to optimize the partial inner-products?
Suppose a set $N$ of $n$ distinct points in $m-$dimensional space is given in $X\in\mathbb{R}^{n\times m}$. Also, suppose a subset $L\subset N$, $|L|=l<m<n$, with
$m-$dimensional coordinates in ...
- 131
3
votes
0
answers
312
views
Linear complementarity problem: principal pivoting algorithm
I'm trying to implement the "Dantzig; van de Panne and Whinston" principal pivoting algorithm for solving symmetric positive semi-definite LCPs from "The Linear Complementarity Problem" book (...
- 151
2
votes
0
answers
47
views
Norm density of evaluation functionals in the space of weak$^*$ continuous multilinear functionals on products of dual Banach spaces
Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
- 56
2
votes
1
answer
104
views
Dual space and conditions for weak convergence in Orlicz Space not having $\Delta_{2}$ property
I am interested in conditions for weak convergence on Orlicz spaces where the corresponding Young function, $\Phi:[0,\infty) \rightarrow [0,\infty)$, does not have the $\Delta_{2}$ condition, i.e. ...
- 21
2
votes
0
answers
270
views
Proof of Remark 6.14(b) of Milne's Arithmetic duality theorems'
Let $E/\mathbb{Q}$ be an elliptic curve.Let $\operatorname{Sha}(E/\Bbb{Q})$ be a Tate-Shafarevich group.
Milne's 'Arithmetic Duality Theorems' Remark 6.14(b) describe the following exact sequence.
...
- 1,531
2
votes
0
answers
119
views
Seeking insights on bounded set positive solutions for a set of linear systems in $\mathbb{R}^n$
Before delving into my query, I'd like to provide some context. Consider a continuous function $f:\mathbb{R}^{k}\rightarrow\mathbb{R}^{m}$ and a compact set $\mathcal{B}\subset \mathbb{R}^{k}$ (...
2
votes
0
answers
55
views
Tangential normal invariant isomorphism
Recently, I was reading the paper "Finite Group Actions on Kervaire Manifold" by Crowley, Hambolton. But I am having problem understanding a definition. Here it is,
In page 15-16 they are ...
2
votes
0
answers
157
views
Why do von Neumann algebras possess identity?
My starting point is that a von Neumann algebra is a $C^*$-algebra with a predual. The usual approaches to showing the existence of identity involve spectral theory (for approximate identity), but ...
- 433
2
votes
0
answers
146
views
Explicit S-duality map
$\DeclareMathOperator{\Th}{Th}$
The Thom space of a closed manifold $M$ ($\Th(M)$) is the $S$-dual to $M_+ (=M \cup \{pt\})$. Let $M$ be embedded in $\mathbf R^{n+k}$. I found the duality map from $S^...
2
votes
0
answers
94
views
Is it possible to deduce Poincaré duality from duality of polytopes?
I'm having trouble understanding Poincaré duality, as it seems unmotivated. Here for instance:
https://math.stackexchange.com/a/14469/454016
Poincaré duality is explained through a duality of ...
2
votes
1
answer
875
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
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 ...
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
2
votes
0
answers
211
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
2
votes
0
answers
76
views
Polyhedron coordinate bound
Given a polyhedron
$$Ax\leq b$$
where we assume $A\in\mathbb Q^{m\times n}$ and $b\in\mathbb Q^{m}$ and it takes $L$ bits to represent the inequalities what is a good bound on the quantity $\|y\|_\...
- 13.9k
2
votes
0
answers
308
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
2
votes
0
answers
51
views
Conjugate of composition in Bochner spaces
Let $H$ be a separable Hilbert space (of non-zero dimension), let $(\Omega,\Sigma,\mu)$ be a finite measure space, and let $L^2(\mu;H)$ be the Bochner-space $\mu$-integrable $H$-valued functions. ...
2
votes
0
answers
110
views
A strong duality for convex functional optimization that admits Lipschitz continuity constraints?
Problem Statement
I am looking for formal proof---hopefully textbook material---of two items:
an analogue to Slater's condition [1] that obtains strong duality for optimization of convex functionals; ...
