Tagged Questions

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' …

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