0
votes
1answer
14 views
The first eigenvalue of the Schrödinger operator is simple.
Hello,
let $(M,g)$ be a compact and connected Riemannian manifold (possibly with $\partial M\neq \emptyset$). We consider the Friedrichs extension of $L=-\Delta +V: C^{\infty}(M,\ …
0
votes
1answer
38 views
What’s the definition of continuous of set-valued functions?
According to the wiki of Kakutani's fixed-point theorem, A set-valued mapping $\varphi$ from a topological space $X$ into a powerset $\wp(Y)$ called upper semi-continuous if for ev …
0
votes
1answer
34 views
Optimization problem - maximizing number of satisfied linear inequalities subject to a quadratic constraint
I am wondering what is known about optimization problems of the following type.
Our control x is a unit vector in $\mathbb{R}^n$. We are given a finite number of linear inequalit …
1
vote
3answers
388 views
Finitely generated monoids are finitely presented?
I saw in the answer of this post that any finitely generated monoids are finitely presented in the sense that there is a coequalizer diagram $P_1\rightrightarrows P_0\rightarrow M$ …
0
votes
0answers
4 views
Heisenberg Lie algebras
Dear forum,
I would like to ask if $H(m)$ is the Heisenberg Lie algebra of dimension $2m+1$ and $M$ is an ideal of $H(m)$. Can we say that $M$ has a complement in $H(m)$?
0
votes
1answer
32 views
Algebraic closure of a polynomial ring
What could be conditions on $k\in\mathbb{C}[x,y,z]$ that would ensure that any polynomial $f\in\mathbb{C}[x,y,z]$ that is algebraically dependant of $k$ is indeed a polynomial in $ …
18
votes
4answers
4k views
Computing the Galois group of a polynomial
Does there exist an algorithm which computes the Galois group of a polynomial
$p(x) \in \mathbb{Z}[x]$? Feel free to interpret this question in any reasonable manner. For example, …
0
votes
1answer
73 views
A question about “nice” functions
Let $f:\mathbb R \rightarrow \mathbb R$ be a function such that $\lambda(I)=\lambda(f(I))$ for each interval $I \subseteq \mathbb R$. ($\lambda$ is Lebesgue measure here.) Let us c …
14
votes
2answers
327 views
How can I randomly draw an ensemble of unit vectors that sum to zero?
Inspired by this question, I would like to determine the probability that a random knot of 6 unit sticks is a trefoil. This naturally leads to the following question:
Is there a …
13
votes
1answer
280 views
What are the main structure theorems on finitely generated commutative monoids?
I should read J. C. Rosales and P. A. García-Sánchez's book Finitely Generated Commutative Monoids and L. Redei's book The Theory of Finitely Generated Commutative Semigroups. I h …
18
votes
1answer
748 views
Philosophy behind Yitang Zhang’s work on the Twin Primes Conjecture
Yitang Zhang recently published a new attack on the Twin Primes Conjecture. Quoting Andre Granville:
“The big experts in the field had
already tried to make this approach
w …
1
vote
1answer
101 views
Who first computed the integral cohomology ring of a weighted projective space (WPS) ?
After Jun-Ichi Igusa' talk at ICM 1962, H.J. Tramer computed the ring structure of the integral cohomology of such a space ( not yet called WPS ).
In 1971 M.F. Atiyah called it W …
0
votes
0answers
17 views
Dual space of Bochner space: is there an easier proof to show they’re isometric?
It is known that $[L^p(0,T;H)]^* = L^q(0,T;H^*)$.
If $p=q=2$ and $H$ is a Hilbert space, is there an easier proof to show that the spaces are isometric? The proof that I know for …
0
votes
1answer
32 views
regularity of eigenfunctions of Schrödinger Operator
Hello,
I consider a compact and connected (smooth) Riemannian manofold $(M,g)$. I'm interested in the eigenfunctions of the Schrödinger Operator $L=-\Delta+ V$ acting on (smooth) …
0
votes
0answers
39 views
What does “Vertex Solution” mean?
Hello!
I come across the word "vertex solution" in the context
" We can also assume that x and y are vertex solutions,so that the sequence {x,y} remains in a finite set."
Could a …

