MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Tagged Questions

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 …

1 2 3 4 5 2861 next
15 30 50 per page