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

0
votes
0answers
6 views

Сonvergence of the sum

This is a problem from my exam on functional analysis. I did only trivial case and now I'm just curious about another cases. Let $T : H \rightarrow H$ is a linear continuous unit …
14
votes
3answers
335 views

Is there an accepted definition of $(\infty,\infty)$ category?

For probably twenty years, category theorists have known of some objects in the Platonic universe called "(weak) $\infty$-categories", in which there are $k$-morphisms for all $k\i …
0
votes
0answers
26 views

Non spatial atomic topos

Hello ! If I'm not mistaken, an atomic topos decompose as a disjoint sum of connected atomic topos, and Connected Atomic topos with a point corresponds to classifying topos of loc …
10
votes
1answer
133 views

Is there an online encyclopedia of Diophantine equations (OEDE)?

Hello all! I'm just wondering if there is an online encyclopedia of Diophantine equations (OEDE), analogous to the OEIS for sequences. While trying to solve one Diophantine equat …
2
votes
2answers
154 views

Differences between fundamental units

Let $\cal D$ be the set of all $D=1,2,3,\dots$ such that $D\equiv 0,1 \mod(4)$ and $D$ is not a square. For $D\in\cal D$ let $\varepsilon(D)$ denote the smallest number $\varepsilo …
2
votes
1answer
85 views

How do we express measurable spaces using type theory?

A measurable space $(X,\mathcal X)$ consists of a set $X$ equipped with a $\sigma$-algebra of subsets $\mathcal X$. I would like to write computer programs involving measurable spa …
2
votes
1answer
41 views

Symmetric convex curve

Assume that $\gamma$ is a symmetric convex curve w.r.t. two orthogonal lines (such a curve is the ellipse). Is the following statement true. There exists a $(l,L)$-bi-Lipschitz map …
1
vote
0answers
18 views

Checking if a binary vector lies in the affine span of given binary vectors

Let $x_1,\ldots,x_N \in \{0,1\}^D$ be $N$ binary vectors, assumed affinely independent. Is there an efficient algorithm for determining whether a new binary vector $x_{N+1}$ is in …
2
votes
0answers
168 views

A set-theoretic combinatoric problem

Let $A=\{a_i\in\mathbb{Q}:a_i> 1\land 1\le i \le b-2\}$, (cardinality of $A$ is $b-2$) and $\displaystyle B=\bigcup_{c=0}^{\infty} \left[\dfrac{bc+1}{d},\dfrac{b(c+1)-1}{d}\righ …
9
votes
1answer
118 views

Numbers with known finite irrationality measure greater than 2

For a real number $\alpha$, let the irrationality measure $\mu(\alpha) \in \mathbb{R}\cup {\infty}$ be defined as the supremum of all real numbers $\mu$ such that $$ \left| \alpha …
0
votes
0answers
17 views

Books or references on multidimensional matrix operations

Have the 2D matrix operations been generalized to n-dimensional matrices? Are there any books that define various operations on multidimensional matrix? I'd like to see operations …
4
votes
1answer
186 views

Banach Algebra Counterexample

Can someone give me an example of a Banach Algebra which does not have an isometric representation in a Hilbert Space ? (if possible, can you add a proof or a reference ? ) Thank …
8
votes
0answers
43 views

Distortion of malnormal subgroup of hyperbolic groups

Let $G$ be a countable, Gromov-hyperbolic group. We say that $H$ is hyperbolically embedded in $G$ if $G$ is relatively hyperbolic to {$H$} (in the strong sense). This definition …
4
votes
1answer
70 views

Manifold of immersions of a manifold

Let M be a Riemannian manifold, S a closed immersed submanifold of M, and consider the space of smooth perturbations, i.e. functions X : S → NS (the normal bundle of S in M), p → …
3
votes
0answers
18 views

envelope function for a linear combination of gaussian distributions

Given a distribution $F$ defined as a linear combination of Gaussian distributions: $F = \sum_{i=1}^n C_i*N(\mu_i,\sigma_i)$ with $\sum_{i=1}^n C_i = 1$ I want to find a Gaussian …
1
vote
1answer
198 views

square root of a certain matrix [closed]

Hello, I'd like to know the square root of the following $n$ by $n$ matrix, for $n > 2$ and $r>0$: $R_{ii}=r+1$ for $i < n$ $R_{ij}=r$ otherwise The $2$ by $2$ case is given …
0
votes
0answers
51 views

Necessary and sufficient conditions for a smooth manifold to be parallelizable [closed]

I'm trying to prove that $S^1 \times S^n$ is parallelizable for any $n \geq 1$. When $n$ is odd I can construct the $n+1$ linearly independent vector fields explicitly, but I can't …
1
vote
1answer
61 views

Hilbert scheme of projected Veronese surfaces

Let $\mathbb{P}^2_\mathbb{K}$ be the projective space, with $\mathbb{K}=\bar{\mathbb{K}}$. Let $n\geq 7$ be odd and $f_1, \dotsc, f_n$ be $n$ general forms of degree $\frac{n-1}{2} …
3
votes
1answer
153 views

Finite generation and Henselization

I am trying to understand Henselian Weierstrass Theorem in Hironaka's Idealistic exponents of singularity, page 76 - 77. At some point he has $R$, Noetherian, Henselian, and loca …
3
votes
0answers
89 views

Would the following conjectures imply Cramer’s conjecture?

Assume Goldbach's conjecture. Then for every $n\ge 2$ there exists at least one non-negative integer $r\le n-2$ such that both $n+r$ and $n-r$ are primes. Let's write $r_{0}(n):=\i …
4
votes
0answers
127 views

modularity of elliptic curves with cm

I'd like to ask for references on the status of modularity results for elliptic curves with CM which are not necessarily defined over $\mathbb Q$. In the case of an elliptic curve …
18
votes
6answers
1k views

What’s a non-abelian totally ordered group?

Because I have heard the phrase "totally ordered abelian group", I imagine there should be non-abelian ones. By this I mean a group with a total ordering (not to be confused with …
5
votes
1answer
166 views

embeddings of graphs into surfaces

There is a vast literature on embeddings of graphs into surfaces. I am interested in embeddings of graphs that belong to the given homotopy class. Here is the precise formulation …
0
votes
0answers
18 views

Convergence to a k-dimensional Gaussian vector

Suppose I have a sequence of stochastic processes $X_{N}(t)$, $N=1,2,3,\ldots$ with mean zero and that I know for every fixed $t$, the random variable $X_{N}(t)$ converges in law t …
10
votes
2answers
269 views

Geometrically unirational varieties that are not unirational

By a variety over a field $k$, I mean a scheme that is separated and of finite type over $k$. I indicate changes of the base ring by subscripts. Does there exist a smooth and pro …
3
votes
3answers
308 views

Reference for Ring Structure on Group Cohomology

As a graded $\mathbb{Z}$-module, the structure of the group cohomology $H^{*}(\mathbb{Z}/n\mathbb{Z};\mathbb{Z})$ is extremely well-known. Yet, I am having difficulty finding a ref …
4
votes
1answer
139 views

Do we have a “topological assembly map” in the Baum-Connes conjecture?

In the equivariant Atiyah-Singer index theorem, when $G$ is a compact group acting on a manifold $M$ and $R(G)$ is the representation ring of $G$. We have the analytic index $$ \te …
0
votes
1answer
57 views

Braided coverings and braided monodromy

We can map from set of coverings over $X$ to symmetric group $\mathfrak{S}_n$ via monodromy (if we fix a loop at the basepoint). Also we can consider braid group $Br_n(Y)$, allow s …
3
votes
2answers
140 views

On the critical line $ \Re \zeta'(s)/\zeta(s) =? 1/2 \log(\pi) - 1/2 \Re \psi(s/2)$ ?

For $\Re s = 1/2$ numerical evidence suggest: $$ \Re \zeta'(s)/\zeta(s) = 1/2 \log(\pi) - 1/2 \Re \psi(s/2) \qquad (1) $$ How this was found. Consider the symmetrized zeta functio …
7
votes
1answer
351 views

What is known about the strong Arnold conjecture?

Here are the two versions of Arnold's conjecture on Hamiltonian orbits: Let $(M,\omega)$ be a closed symplectic manifold, and let $H: \mathbb{R/Z} \times M \to \mathbb{R}$ be a …

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