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 …

