## Tagged Questions

14 views

### Vector field pull back from embedding

Let $M$ and $N$ be finite dimensional smooth manifolds. A smooth map $f: M \to N$ is an embedding if and only if there is an open neighborhood $U$ of $f(M)$ in $N$ and a smooth ma …
125 views

21 views

### The sufficient condition of the Neumann problem

How can we prove that if $\int_U{f}=0$,then the homogeneous Neumann problem $\Delta u=f$on U,and $\frac{\partial u}{\partial n}=0$ on $\partial U$ has a weak solution in $H^1(U)$? …
8 views

### Reference request: construction of Steenrod operations for an odd p

Where in literature can one find a construction of Steenrod reduced powers (for an odd $p$) that (1) works for the singular cohomology of arbitrary topological spaces (or, more …
20 views

### Is the equivalence between a $\Sigma^0_1$ and a $\Pi^0_1$ formula defining the same recursive set provable in a sufficiently strong arithmetic ?

Let $A$ be a recursive set. $A$ is recursively enumerable, so $A$ may be defined by a $\Sigma^0_1$ formula, i.e. by $\exists \overrightarrow{a} \phi (\overrightarrow{a}, n)$, where …
120 views

### Reference request: Minimal Axiomatizations of PA over (+,x,<=).

Many years ago, when I was still a high school student, I came up with a certain first-order axiomatization of PA over the signature (+, x, ≤). Out of nostalgia, I've decided t …
15 views

### Is there an “accepted” jamming limit for hard spheres placed in the unit cube by random sequential adsorption?

I have a unit cube, and operating in the continuum limit (i.e. not on a lattice), I sequentially place spheres of some radius $r$ inside the cube until a filled volume "jamming lim …
39 views

### Well-Ordering theorem of cardinal$\kappa$

I've heard from others about the WO($\kappa$) as a counterpart of AC($\kappa$), but I cannot find a suitable way to express it in ZF since "every set of cardnality $\kappa$ can be …
95 views

### Basics of minimal Elliptic Surfaces [following Beauville]

I am reading Beauville's chapter IX on Elliptic surfaces. Let $S$ be a minimal elliptic surface with $\kappa=1$ and $p:S\rightarrow C$ be the elliptic fibration. We know $K^2=0$ …
57 views

### Odd-order groups with homocyclic sylow subgroups

We say that $G$ is a homocyclic group, if it is direct product of isomorphic cyclic groups. Is there any classification of finite odd-order groups which all their Sylow subgroups a …
401 views

### Sequences equidistributed modulo 1

Let $\alpha$ be any positive irrational and $\beta$ be any positive real. We have the following results. H. Weyl (1909): The fractional part of the sequence $\alpha n$ is equidist …
444 views

### Good uses of Siegel zeros?

The short version of my question goes: What is known to follow from the existence of Siegel zeros? A longer version to give an idea of what I have in mind: The "expectional zeros" …