12
votes
9answers
339 views
objects which can’t be defined without making choices but which end up independent of the choice
It happens a lot of times that when one defines a new object (ring, module, space, group, algebra, morphism, whatever) out of given data one first chooses some additional structure …
2
votes
4answers
136 views
Surfaces ruled over elliptic curves
Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve.
Suppose $E$ …
0
votes
0answers
8 views
What is the meaning of the cospecialization map?
This question comes from the same place as my other one. In reading SGA 4 1/2, but not SGA4 itself (at least, not the obvious sections xv + xvi), one can learn about the "cospecia …
1
vote
0answers
32 views
Is a Lie group equivariantly formal under conjugation by a maximal torus?
Given an action of a group $G$ on a topological space $X$, the associated homotopy quotient is $$X_G := (EG \times X)/G,$$ where $EG$ is the total space of a universal principal $G …
0
votes
1answer
20 views
Can group solvability be dected by identities among the generators
For "$n=1$" the answer is "yes." A group is abelian iff its generators commute.
Let $G_0=G$ be a group and let it be generated by $X_0=X$. For each $n>0$ let $G_n=[G_{n-1},G_{n- …
0
votes
0answers
8 views
Fiberwise acyclic, locally acyclic morphisms
The quick definition of a map $f \colon X \to B$ of schemes being acyclic is that the natural unit of adjunction $\def\id{\operatorname{id}}\id \to f_* f^*$ is an isomorphism, wher …
1
vote
1answer
71 views
analysis question related to $L^p$ type inequalities
Dear mathoverflowers.
Just wondering if the following inequality is true. For all $ p >1$ there is some $C$ such that
$ | |x+1|^p-|y+1|^p -p(x-y)| \le C ( |x|+|y| + |x|^{p-1} …
14
votes
3answers
575 views
4D TQFT from a modular tensor category
I know the construction of a 3D topological quantum field theory (TQFT) from a modular tensor category.
I heard that we can even (mathematically) construct 4D TQFT from a modular …
1
vote
3answers
49 views
How many Perfect Matchings in a regular bipartite Graph
Hi Guys,
We have a d-regular bipartite Graph $G = (X,Y,E)$ with $|X| = |Y| = n$ and $|E| = nd$. i want to know a Upper Bound of the number of Matching
Thankx
2
votes
0answers
5 views
Diameters of the images of two balls under a function
Let $ \Omega $ be an open and bounded subset of $ \mathbb{R^n} $, and let $ f:\Omega \to \mathbb{R} $ be a continuous function. I'm looking for some (preferably, minimal) condition …
30
votes
1answer
2k 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 …
0
votes
0answers
6 views
Are there some potentially good methods of comparing the variances of two distribution function?
for example, x is random variable, f(x) and g(x) are two "very very" different distribution functions. It is impossible to calculate variance analytically, so if we want to compare …
3
votes
1answer
47 views
Lipschitz map of the circle onto a triangle
Assume that $f$ is (Euclidean) $L-$biLipchitz mapping of the unit circle onto a triangle $\Delta(A,B,C)$. Can we find a $10000 L$ bi-lipchitz extension of $f$ onto the whole plane. …
6
votes
0answers
158 views
Permutations of $(Z/pZ)^*$
Let $p$ be a prime integer, and let $(\mathbb Z/p\mathbb Z)^*$ be the set of non-zero elements of $\mathbb Z/p \mathbb Z$.
Denote by $S((\mathbb Z/p \mathbb Z)^*)$ the group of per …
0
votes
0answers
32 views
Uniformly converge?
I'm not sure wether or not the following sum uniformly converge on $\mathbb{R}$ :
$$\sum_{n=1}^{\infty} \frac{\sin(n x) \sin(n^2 x)}{n+x^2}$$
Can someone help me with it? (I can' …

