Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 4354

This tag is used if a reference is needed in a paper or textbook on a specific result.

30 votes
2 answers
3k views

An unfair marriage lemma

I am looking for a citeable reference to the following generalization of Hall's Marriage Theorem: Given a bipartite graph of boys and girls. In addition to gender difference, they are divided into 1 …
Sergei Ivanov's user avatar
4 votes
Accepted

Lower bound on $L^2$ norm of mean curvature in general dimensions

I have no idea about the general case but in the convex case the sphere is indeed optimal. Moreover the $L^1$ norm of $H$ attains its minimum at the sphere (among the convex surfaces with the same are …
Sergei Ivanov's user avatar
8 votes

Iterates converging to a continuous map

I don't know a reference but maybe the following proof is shorter than yours. By continuity, $\varphi\circ\varphi_\infty=\varphi_\infty$. Hence $\varphi$ is identity on the set $I:=\varphi_\infty([0, …
Sergei Ivanov's user avatar
6 votes
Accepted

A question of compactness in the geometry of numbers

It is not compact unless you allow the origin at the boundary (or maybe impose some kind of uniform strict convexity). Consider a rectangle $K=[-1,1]\times[-\delta,1]$ in the plane, where $\delta$ is …
Sergei Ivanov's user avatar
15 votes
Accepted

A generalization of intermediate value theorem on R^k

The statement is true. It is almost precisely Lemma 2 in the paper D.Burago, "Periodic metrics", Adv. Soviet Math. 9, (1992), 205-210. The proof is short but not easy to invent. The paper can be read …
Sergei Ivanov's user avatar
8 votes
Accepted

Characterization of bounded geometry - Reference-request

I assume that by "all derivatives" you mean derivatives of every order. Suppose that all transitions between normal coordinates have uniformly bounded derivatives within some radius $r$. For every po …
Sergei Ivanov's user avatar
18 votes
5 answers
3k views

Smoothness of $f(\sqrt x)$

I found that I need to use the following facts in a paper that I am writing. Let $f\in C^\infty(\mathbb R)$, then If $f(0)=0$, then $f(x)=x g(x)$ for some $g\in C^\infty(\mathbb R)$. If $f$ is even …
Sergei Ivanov's user avatar
10 votes

Geodesics in $\mathbb{R}^2 \times \mathbb{S}^1$ under "segment" metric

In addition to Anton Petrunin's answer, here is a trick to simplify (and in some sense solve) the geodesic equation. Since the metric has three-dimensional group of isometries (generated by rigid moti …
Sergei Ivanov's user avatar
7 votes

Existence of a partition of unity with uniformly bounded derivatives.

No you can't have uniformly bounded second derivatives and diameters at the same time (unless you are allowed to change the Riemannian metric). Consider a smoothened boundary of a tubular neighborhoo …
Sergei Ivanov's user avatar
9 votes
Accepted

First Minkowski Formula

Consider the following differential $(n-1)$-form $\omega$ on $M$: for $p\in M$ and $v_1,\dots,v_{n-1}\in T_pM$, define $$ \omega(v_1,\dots,v_{n-1}) = [ \psi(p), \nu(p), d\psi(v_1),\dots,d\psi(v_{n-1} …
Sergei Ivanov's user avatar
8 votes

End point compactification for metric spaces

I think what you are looking for is boundary at infinity. For example, the boundary at infinity of the hyperbolic plane $\mathbb H^2$ is its "ideal boundary" circle, and adding it to $\mathbb H^2$ yie …
Sergei Ivanov's user avatar
12 votes
Accepted

Is a rhombus rigid on a sphere or torus? And generalizations

Q3: Laman's theorem is the same on the sphere. Indeed, a configuration with $n$ vertices and $m$ edges is defined by a system of $m$ equations in $2n-3$ variables (there are $2n$ coordinates of point …
Sergei Ivanov's user avatar
5 votes

Fundamental polygons with infinite pairwise identifications

I am not sure what the question is, but will try to answer anyway. This is basic general topology stuff, sorry if you meant something deeper in your question. For any topological space $X$ and any eq …
Sergei Ivanov's user avatar
15 votes
Accepted

Counting connected manifolds

Upper bound (assuming the manifolds are second countable): every manifold admits a complete metric, and the "set" of isometry classes of complete separable metric spaces is of cardinality continuum. I …
Sergei Ivanov's user avatar
25 votes
Accepted

Why can't the Klein bottle embed in $\mathbb{R}^3$?

If you are willing to assume that the embedded surface $S$ is polyhedral, you can prove that it is orientable by an elementary argument similar to the proof of polygonal Jordan Theorem. Of course the …
Sergei Ivanov's user avatar

15 30 50 per page