2
votes
1answer
134 views
Where did Sophus Lie write the group commutator for two one parameter groups.
If $X,Y$ are vector fields and $\def\Fl{\operatorname{Fl}}\Fl^X_t$ and $\Fl^Y_t$ their local flows, let $[\Fl^X_t,\Fl^Y_t]:= \Fl^Y_{-t}\Fl^X_{-t}\Fl^Y_t\Fl^X_t$ denote the group co …
2
votes
1answer
26 views
Local boundary symmetrisation of Riemannian metrics by coordinate changes
Assume we have a smooth Riemannian metric $g$ on a small one-sided neighborhood $U$ of $0$ on the plane, say $U_\epsilon=\lbrace(x, y): x^2+y^2<\epsilon, y\geq 0\rbrace$.
When …
0
votes
0answers
10 views
Simultaneous Linear System
Given a n-by-n matrix $\mathbf{\phi}$ and a vector $\mathbf{X}$, solve for the two vectors $\mathbf{\Phi}$ and $\mathbf{\Omega}$ that satisfy:
$$
\Phi_i = \sum_{l} \frac{\phi_{il} …
8
votes
1answer
752 views
What is Kirillov’s method good for?
I am planing to study Kirillov's orbit method. I have seen Kirillov's method in several branch of mathematics, for instance, functional analysis, geometry, .... Why is this theory …
0
votes
0answers
21 views
Irreducibility of the trinomial over Q
I'm trying to find an algebraic proof of irreducibility of the polynomial $x^n-x-1$ over rational numbers (or integers, which the same). I've read the Selmer's paper "On the irredu …
6
votes
1answer
203 views
what is the cyclic cover trick?
What do people mean by the "cyclic cover trick"? I have found this expression a couple of times with no complete explaination, both talking about curves and surfaces...
0
votes
1answer
59 views
Lower Degree Elements in an Algebraic Number Field
Fix an algebraic integer $\alpha$ of degree $n$
such that the extension $K=\mathbf{Q}(\alpha)/\mathbf{Q}$ has intermediate fields.
(We can assume $K$ is Galois with non-simple Gal …
0
votes
0answers
16 views
Upper semicontinuity of Betti numbers of submodules
Theorem 8.29 in "Combinatorial commutative algebra" by Miller and Sturmfels states the upper-semicontinuity property for Groebner deformations (say, over an algebraically closed fi …
3
votes
1answer
70 views
Aubin’s book - construction of Green’s function on compact manifold
In Aubin's book (nonlinear problems in Riemannian Geometry), starting from p. 106, it is shown that a Green's function of a compact manifold without boundary satisfies
$$G(P,Q) \l …
3
votes
1answer
114 views
Why is there no stack of $\ell$-adic sheaves on a curve?
One of the main players in the categorical geometric langlands correspondence is the moduli stack of rank n integrable connections on a complex curve. The reason for considering s …
0
votes
1answer
86 views
Numerical multivariate definite integration
I need to compute a set of multivariate definite integrals with infinite integration domain
$$\displaystyle \int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} f(x_1,x_2, \ldo …
4
votes
5answers
1k views
totally disconnected and zero-dimensional spaces
When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: coverin …
1
vote
1answer
20 views
Construction of an integral point set given the set of distances ,its minimal description so as to get a measure of its complexity and its unique identifier.
Given a set of distances between every pair of points of an integral point set P of n points; say
D = {${d_i}$}
Q1. What is the least time complexity
possible/known for …
3
votes
1answer
114 views
What new primitive recursive functions are needed to reconcile Turing time complexity with Godel time complexity?
Let me begin with an example.
Consider the computable function $f(x) = 2x$. A Turing machine can implement this function in $O(|n|)$ steps: simply walk to the end of the input st …
7
votes
1answer
79 views
Intersection of localization with finitely generated subalgebra of fraction field
Let $R$ be a (commutative) noetherian integral domain. Let $I$ be a prime ideal of $R$. Let $S$ be a finitely generated $R$-subalgebra of $\mathrm{Frac}(R)$.
Is $S \cap R_I$ nece …

