**4**

votes

**0**answers

30 views

### Equivariant isometric embedding of manifolds in a Hilbert space under a noncompact group action

Given a Riemannian manifold $M$ and a group of isometries $G$ of $M$, I am interested in when there exists a isometric embedding $\iota : M \to H$, where $H$ is a Hilbert space and a representation ...

**5**

votes

**1**answer

111 views

### Closeness graph of a topological space

Let $(X,\tau)$ be a topological space. We say that $x, y \in X$ are close if for every neighborhood $U$ of $x$ and $V$ of $y$ we have $U\cap V \neq \emptyset$. Let $E$ be the set of $\{x,y\}$ where ...

**0**

votes

**0**answers

32 views

### Constructing an additive set function from on a non-additive one

repost from math.se.
I was trying to generalize some results from measure theory to functions that are "almost" measures but not additive. Then, I thought it could be interesting to do this in a ...

**-1**

votes

**0**answers

33 views

### If the total number of divisors of the square of a number is 7 less than the number, what is the total number of divisors of cube of that number [on hold]

if the total number of divisors of the square of a natural number N is 7 less than N, then what is the total number of divisors of cube of N

**1**

vote

**3**answers

74 views

### Non-principal prime ideals in infinite distributive lattices

Given an infinite distributive lattice $L$, does $L$ contain a non-principal prime ideal $I$, or a non-principal prime filter $F$? ($I$ is said to be principal if there is $x\in L$ such that $I=\{y\in ...

**5**

votes

**0**answers

70 views

### characteristic classes of a covering space with symmetric group action

Let $S_n$ be the $n$-th symmetric group. Suppose we have a $n!$-sheeted covering space
$$
S_n\to M\to M/S_n
$$
where $M$ is a manifold. Let $\mathbb{K}$ be the real numbers $\mathbb{R}$, complex ...

**-4**

votes

**0**answers

31 views

### representation of PSL(2, 11) [on hold]

we want to know obout generator of PSL(2, 11)and want to know how to take group action of PSL(2, 11)on p1(F11).

**7**

votes

**2**answers

236 views

### Confusion about Subcategories of Category $\mathcal{O}$

So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...

**0**

votes

**1**answer

271 views

### Andre-Oort for conjecture [on hold]

Is Andre-Oort conjecture expected to hold for complex analytic topology? If yes, do the recent results on abelian type Shimura varieties cover this case?
Sorry for my ignorance, but several ...

**0**

votes

**1**answer

36 views

### Mapping n variables to the surface of an n+1-dimensional cross polytope [on hold]

I'm looking for a function that maps n variables to points on the surface of an n+1-dimensional cross polytope. For example, given one variable, the function would return a point on the perimeter of ...

**8**

votes

**1**answer

201 views

### Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
...

**7**

votes

**1**answer

155 views

### first Chern class of complex vector bundles and first Pontrjagin class of quaternionic vector bundles [on hold]

Let $\xi$ be a (real) vector bundle of dimension $n$. Then the first Stiefel-Whitney class
$$
w_1(\xi)=0
$$
if and only if $\xi$ is orientable, i.e. the structure group of $\xi$ can be reduced to ...

**7**

votes

**0**answers

56 views

### Ideals in strong Bruhat order

Recall that a (lower) ideal in a poset $(P, \le)$ is a subset $I\subset P$ such that $x\in I \Rightarrow y\in I$ for all $y\le x$. In am interested in ideals in finite Coxeter groups $W$ equipped ...

**0**

votes

**1**answer

54 views

### Domains of holomorphy and simply connected domains

Let $U\subset\mathbb{C}^n$ be a domain of holomorphy, we can say that $U$ is a simply connected domain?
Any hints would be appreciated.

**5**

votes

**1**answer

57 views

### Measure of chords from a cantor set

The following problem is inspired by a problem in Pugh's Mathematical Analysis book. (Chapter 2 Problem 42).
In the problem he asks one to consider the standard Cantor set on the unit interval, and ...

**3**

votes

**2**answers

107 views

### Deduce average order of $\phi(n)/n$ from probability that two integers are coprime

I've seen proofs of the fact that the probability of two random integers being coprime is $\frac{6}{\pi^2}$ (all of them leading to a use of the Riemann Zeta function and the Basel problem). In ...

**2**

votes

**1**answer

138 views

### Kloosterman sum

Does anybody know the non-trivial bound for this sum?
$S(m,n,c,q)=\sum_{a,b\in \mathbb{Z}/cq\mathbb{Z}, \;ad\equiv 1\text{ mod }c} e^{2\pi i(am+nd)/qc},$
where $m,n\in\mathbb{Z},\;q,c\in\mathbb{N}$.
...

**2**

votes

**0**answers

57 views

### Determining coefficients of a Dirichlet series based on values on a vertical line

Let us suppose we have a Dirichlet series
$$ D(s) = \sum_{n \geq 1} \frac{a(n)}{n^s},$$
and that we know the values of $D(\tfrac{1}{2} + im)$ for $m \in \mathbb{Z}$. Can we recover the coefficients ...

**14**

votes

**4**answers

569 views

### What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?

This is an embarrassingly simple question, but I was not able to find a definitive answer from literature search.
Suppose one has some collection of functions $f_1: X \to Y_1, \dots, f_n: X \to Y_n$ ...

**4**

votes

**0**answers

81 views

### Behavior of the “mean prime factor” of numbers

This question concerns the behavior of
a function $f(\;)$ that maps each number in $\mathbb{N}$ to
its mean prime factor.
I previously posted premature questions, now deleted, which
explains the cites ...

**2**

votes

**2**answers

89 views

### What can be achieved by liberalizing induction for $RCA_0$?

$RCA_0$ has $\Delta_0$-comprehension and $\Sigma_1$ induction. Let $X\Sigma_{n}$ be $RCA_0$ plus $\Sigma_n$-induction and let $X\Sigma_{\omega}$-induction be $RCA_0$ plus the full induction schema.
...

**4**

votes

**1**answer

161 views

### Existense of semi-stable vector bundles on smooth curves in positive characteristic

Let $k$ be an algebraically closed field of positive characteristic and $X$ be a smooth projective curve over $k$ of genus $g \ge 2$. Fix a polarization $L$ on $X$. Does there exist a semi-stable ...

**2**

votes

**0**answers

30 views

### Maximizing a convex bounded function of a PSD matrix

Let $f(X)$ be convex and continuous function , with $X$ a PSD matrix.
Assume that under the affine set of constraints $\mathcal{A}(X)=b$ and the convex constraint $f(X)\le1$ there is an optimal, ...

**5**

votes

**1**answer

65 views

### Does $WKL_0$ provide more comprehension than $RCA_0$?

$WKL_0$ extends $RCA_0$ with the statement that any infinite subset of the infinite binary tree has an infinite branch. Does $WKL_0$ Prove that there are sets which are not proven to exist by the ...

**4**

votes

**0**answers

76 views

### Overview and/or reference of theory of pro-universal covers?

This question will contain very little in the way of concrete information, because I don't have much to go on. I've heard whispers of something called a "pro-universal cover," which is the inverse ...

**7**

votes

**0**answers

74 views

### Number of matrices with 'small' entries in integer matrix groups

Let $n$ be a positive integer, and let $G \leq {\rm GL}(n,\mathbb{Z})$.
Given a bound $b \in \mathbb{N}$, let $e_b$ be the number of elements
of $G$ all of whose matrix entries have absolute value ...

**3**

votes

**1**answer

51 views

### Reference request for $pro-p$ Iwahori subgroup of $GL_n(F)$

I am searching for a book/lecture notes/articles where I can find the definition and properties of the $pro-p$ Iwahori subgroup of $GL_n(F)$,(with examples if possible) the Iwahori decomposition of ...

**3**

votes

**1**answer

268 views

### “bornophagic” in cited references

Could anybody come up with a cited reference for the following concept?
A subset $B$ of a topological vector space $X$ is called "bornophagic" if, for every bounded $A\subset X$, there exists ...

**2**

votes

**1**answer

117 views

### Norm on space of metrics

I recently heard a differential geometry talk where the speaker constructed a one-parameter family of metrics $g(t)$ on a smooth manifold and said that $g(t)$ is real analytic in the Banach space ...

**6**

votes

**0**answers

224 views

### Item (4) in Lurie's definition of the class of marked anodyne morphisms

I have a question concerning Remark 3.1.1.3 in Lurie's "Higher Topos Theory" about the definition of the class of marked anodyne morphisms. There, it is mentioned that "it suffices to allow $K$ to ...

**2**

votes

**0**answers

61 views

### Rellich Embedding Theorem for the $2$-Sphere

I'm trying to understand the Rellich-Embedding Theorem in the non-flat case by looking at the $2$-sphere. To be precise, for $S$ the spinor bundle of $S^2$; $L^2(S^2)$ the space of square integrable ...

**3**

votes

**0**answers

75 views

### Heegard genus of hyperbolic Haken 3-manifolds

Is there an example of a closed Haken hyperbolic 3-manifold of Heegaard genus 2?

**6**

votes

**1**answer

196 views

### Can we recover a topological space from the collection of Borel probability measures living on it?

Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?

**12**

votes

**1**answer

174 views

### separating points in $\mathbb{R}^d$ by minimal number of planes

Given $n$ points of general position in $\mathbb{R}^d$ (say, $n>d$ and no $d+1$ lie in a hyperplane.) We want to draw $k$ hyperplanes not passing through those points so that they all are in ...

**3**

votes

**0**answers

113 views

### ricci flow on surfaces

In Hamiltons paper "Ricci flow on surfaces" there is an estimate on $|\nabla R|^2$ which shows that $|\nabla R|^2 \leq C_1 \exp{\frac{rt}{2}}$ for some constant $C_1$.
Actually for any solution of the ...

**1**

vote

**0**answers

48 views

### To show there exists a unique function $u \in C^{1}(\mathbb{C^n})$ that satisfies $(\bar{\partial u})=f$

Assume $n \gt 1$. Let $f$ be a $(0,1)$ form in $\mathbb{C^n}$, with $C^1$-coefficients and compact support $K$, such that $\bar{\partial} f=0$. Let $\Omega_{0}$ be the unbounded component of ...

**2**

votes

**0**answers

56 views

### Profinite topology on free metabelian group

Let $M$ be free metabelian group of rank $n$. By work of Coulbois, M is $LERF$ and is not $RZ_2$, that means every finitely generated subgroup of $M$ is closed in the profinite topology of $M$ but the ...

**7**

votes

**2**answers

596 views

### Weil's paper under a pseudonym on deforming singular varieties

I am looking for a paper of Weil that is published under a pseudonym, in which he proves a statement along the lines of: a singular algebraic variety cannot be deformed into a nonsingular one.
Thanks ...

**21**

votes

**0**answers

402 views

+300

### Simple argument regarding sums of two units in a number field?

I wonder if it is possible to show, without using the Schmidt subspace/Roth theorem/Baker's bounds on linear forms in logarithms or other very deep results, that, in a number field, not all integral ...

**7**

votes

**1**answer

147 views

### Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which
1- is finitely generated by $S$,
2- does not have property (T),
3- admits infinitely many finite quotients which do not factor through an homomorphism $G ...

**5**

votes

**0**answers

79 views

### What is the etale sheafification of the (unramified) Milnor-Witt $K$-theory

I would like a reference/argument for the truth/falsity of the following statement:
The etale sheafification of the unramified Milnor-Witt K-theory (Nisnevich) sheaves are the (etale sheafification ...

**2**

votes

**0**answers

17 views

### Joint cumulants of $Z_2^n$ characters

Let $f_{c}:Z_2^n \rightarrow \{-1,1\}$ be the character defined as $f_c(x) = (-1)^{<x,c>}$, where $c,x \in Z_2^n$. It is easy to see that since $f_{c_1}\cdot\ldots\cdot f_{c_k} = f_{c_1 \oplus ...

**34**

votes

**12**answers

3k views

### Essays and thoughts on mathematics

Many distinguished mathematicians, at some point of their career,
collected their thoughts on mathematics (its aesthetic, purposes,
methods, etc.) and on the work of a mathematician in written ...

**0**

votes

**0**answers

44 views

### Factorial Sums over Compositions or ``Unlabeled Permutations"

Let $C_n$ denote subset of integer compositions of $n$ and $c=(c_1,c_2,\dots c_n)$
In a divergent sum, the sequence
$$
a_n=\sum_{c\in C_n} \prod_{c_i\in c} c_i!
$$
frequently shows up and one ...

**0**

votes

**0**answers

31 views

### Systems of linear modular equations with unknowns in the moduli

I am interested in systems of linear modular equations, where the unknowns also appear in the moduli. The general form would be:
$A \vec{x}= \vec{b} \;\textrm{mod} \; (C \vec{x}+\vec{d})$
where A ...

**0**

votes

**0**answers

21 views

### References on Lorentzian geometry with non-vanishing torsion [on hold]

For my thesis I have to study Lorentzian geometry with non-vanishing torsion. Do you know any references on this? 'Riemannian geometry' with non-vanishing torsion will also be usefull.

**-3**

votes

**0**answers

44 views

### What are eigenbasis of binary brownian motion? [on hold]

I am seeking for a closed-form expression of eigenbasis for binary brownian motion sign(cumsum(randn(n,1))). Eventually, I need an associate fast transform for this ...

**4**

votes

**2**answers

132 views

### Differential structures and K-homology groups

What is an example of a (compact) manifold, which has two non-equivalent differential structures such that the K-homology groups are non-isomorphic? If no such example exists, i.e. "K-homology does ...

**-6**

votes

**0**answers

143 views

### Formal generic fibre and Fermat's Last Theorem

Set $A_{n} \colon= {\Bbb F}_p[[S_1,...,S_n]]$ and
$A_{n,d} \colon= {\Bbb F}_p[[S_1,...,S_n]][[X_1,...,X_d]]$ be a $d$-variables formal power series ring over $A_n$. We denote by $K$ the fractional ...

**2**

votes

**0**answers

41 views

### Singularities of the Quantum propagator (baby version)

Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$:
$V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$
...