# All Questions

**1**

vote

**1**answer

126 views

+50

### A question on involutions on the Lie algebra of vector fields

Edite According to the essential comment of Ian Agol I revise the question as follows
For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...

**-1**

votes

**0**answers

75 views

### Help with extension of f (mentioned below) to f: Zp -> Zp ,continuous function [on hold]

This is a (different version to) question from Serre 'A Course in Arithmetic'.Let p be an odd prime number. $\forall n\geq 1$ (n positive integer), $f$ is defined by:
$$f(n)=(-1)^n\prod_{1\le k\le n ...

**4**

votes

**1**answer

170 views

### Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...

**1**

vote

**2**answers

71 views

### Criterion for deloopable based map

Is there a criterion for a based map $f:G\to H$ between deloopable pointed spaces to be deloopable, i.e., that there is a based map $g:X\to Y$ between path-connected pointed spaces such that $G\simeq ...

**0**

votes

**3**answers

208 views

### question about the induced homomorphism of etale fundamental groups

Background/Setup
For any connected scheme $S$, let $\text{FEt}_S$ denote the category of finite etale $S$-schemes. Let $f : X\rightarrow Y$ be a morphism of connected schemes, then for any finite ...

**4**

votes

**2**answers

142 views

### Borel Sets in Sacks Generic Extension

Let $\mathbb{S}$ denote Sacks forcing. This is forcing with perfect trees or equivalently forcing with uncountable Borel subsets of ${}^\omega 2$ with the relation $\subseteq$.
Let $G \subseteq ...

**0**

votes

**0**answers

92 views

### When is the earliest large prime gap also the latest large prime gap?

Suppose one finds the earliest prime gap of at least a certain size $g$, so that $p_{n+1}-p_n=g$ and $n$ is the smallest index for which the gap is as big as $g$.
Now consider the relative size of ...

**2**

votes

**2**answers

125 views

### Expectation of a generalization of Dirichlet distribution

For the standard Dirichlet, the expectation of $X_i$ is $\alpha_i/\alpha_0$, where $\alpha_0 = \sum_i \alpha_i$ [http://en.wikipedia.org/wiki/Dirichlet_distribution].
I am considering the following ...

**6**

votes

**2**answers

154 views

### elementwise functions of positive definite matrix

The fact that the Schur (that is, element wise) product of two positive definite (symmetric) matrices is positive definite immediately implies (using the convexity of the positive semi definite cone) ...

**-1**

votes

**0**answers

24 views

### Expressing the superposition of two cubic bezier splines as a cubic bezier spline? [closed]

To be clear, I'm not a mathematician, but a programmer. I'm trying to find an algorithm, and I'll try to be clear about the problem and its constraints. Please let me know if I need to provide more ...

**2**

votes

**1**answer

85 views

### Symmetric invariants of a Schur Module

Let $V\cong\mathbb C^n$ be a complex vector space of dimension $n$. Let $\lambda\in\mathbb Z^r$ be a generalized integer partition $\lambda_1\ge\cdots\ge\lambda_r$ with $r\le n$. Denote by $\mathbb ...

**3**

votes

**3**answers

278 views

### How to find an integer set, s.t. the sums of at most 3 elements are all distinct?

How to find a set $A \subset \mathbb{N}$ such that any sum of at most three Elements $a_i \in A$ is different if at least one element in the sum is different.
Example with $|A|=3$: Out of the set $A ...

**1**

vote

**0**answers

66 views

### why is this result about Gaussian analytic functions equivalent to the Crofton formula

I am reading Zeros of Gaussian Analytic Functions by Mikhail Sodin and he gives an much-too-easy proof of density of zeros of a Gaussian Analytic function.
Definition A Gaussian analytic function ...

**2**

votes

**1**answer

163 views

### Inverse of a Borel surjection

Let $X$ and $Y$ be standard Borel spaces, and let $f:X\to Y$ be a surjective Borel map. Does there exist a Borel inverse of $f$, that is a Borel map $g:Y\to X$ such that $f\circ g = \mathrm{id}_Y$.
...

**1**

vote

**0**answers

38 views

### On $C_0(\Omega)$-module maps from $L_\infty(\Omega,\mu)$ to $L_q(\Omega,\nu)$

Let $\Omega$ be a locally compact space, and $\mu,\nu\in C_0(\Omega)^*$. By $H_{p,q}^{B}$ (resp. $H_{p,q}^{C}$) we denote the Banach space of continuous $B(\Omega)$-module (resp. $C_0(\Omega)$-module) ...

**0**

votes

**0**answers

9 views

### How to estimate the covariance matrix if the unnormalized pdf is known but integral is intractable? [migrated]

Assume a $d$-dimensional random vector $x$, whose unnormalized pdf is known as the product of N multivariate t-distribution:
$$Pr(x)\propto\prod_{i=1}^nt_{\nu_i,\mu_i,\Sigma_i}(x)$$
Is there any ...

**5**

votes

**1**answer

364 views

### Is there a mistake in Vapnik's “Basic Lemma”?

I have a concern about the "Basic Lemma" which Valdimir Vapnik states and proves in his 1998 book Statistical Learning Theory (ch. 14.3, pp. 574–76): It seems like a certain coefficient should have ...

**12**

votes

**1**answer

279 views

### Why are Witten-Reshetikhin-Turaev invariants expected to be integral?

A Witten-Reshetikhin-Turaev (WRT) Invariant $\tau_{M,L}^G(\xi)\in\mathbb{C}$ is an invariant of closed oriented 3-manifold $M$ containing a framed link $L$, where $G$ is a simple Lie group, and $\xi$ ...

**-4**

votes

**0**answers

192 views

### Associated prime ideals and local cohomology [on hold]

Let $M$ be an $R$-module such that $\operatorname{Ass}(M/N)$ is a finite set for any submodule $N$ of $M$. Show that
1. $\operatorname{Ass}(M/r M)=\operatorname{Ass}(M/r^n M)$ for each natural $n$;
2. ...

**1**

vote

**1**answer

97 views

### Vertex transitive and edge transitive and line graph

How can we find the proof of the following statement:
An undirected graph is edge transitive if and only if its line graph is vertex transitive.

**-3**

votes

**0**answers

65 views

### my question is about matrix [closed]

let A be an n*n matrix with real entries which of the following is correct?
1.if A^2=0, then A is diagonalisable over complex numbers.
2.if A^2=I, then A is diagonalisable over real numbers
3.if ...

**1**

vote

**0**answers

93 views

### Calogero-Moser eigenfunction

The folllowing function
\begin{equation}
J(t_1,t_2,t_3,m,h)=[(1-e^{t_1-t_2})(1-e^{t_2-t_3})(1-e^{t_1-t_3})]^{-m/h} ...

**3**

votes

**1**answer

219 views

### Generating finite groups

Let $G$ be a finite group possessing a generating set of order $n \in \mathbb{N}$. Let $H \leq G$ and $x_1, \dots, x_n \in G$ for which $\langle H, x_1, \dots, x_n \rangle = G$. Must there be $h_1, ...

**6**

votes

**0**answers

136 views

### Open problems in Federer's Geometric Measure Theory

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ...

**0**

votes

**0**answers

56 views

### How $f$ is approximated, in the $L^{p}-$ norm, by a function $f+h$ whose Fourier transform is constant in some nbhd of the point?

Fact.Suppose $f\in L^{1}(\mathbb R), x_{0}\in \mathbb R,$ and $\epsilon >0.$ Then there exists $h\in L^{1}(\mathbb R)$ with $\|h\|_{L^{1}}< \epsilon,$ such that
$$\hat{h}(x)= ...

**5**

votes

**1**answer

314 views

### Is the Manickam-Miklós-Singhi Conjecture solved?

This arXiv paper is claimed to contain a proof for the MMS conjecture. But it seems that this manuscript is not yet peer reviewed by other mathematicians. I personally tried to follow the paper, but ...

**-2**

votes

**0**answers

46 views

### Differential equations [closed]

For k > 0,x = x(t),y = y(t) Solve this system:
\begin{array}{l}
x\frac{{{d^2}x}}{{d{t^2}}} = k\frac{{dy}}{{dt}}\\
x\frac{{{d^2}y}}{{d{t^2}}} = - k\frac{{dx}}{{dt}}
\end{array}

**2**

votes

**0**answers

170 views

### p-adic etale cohomology

Let $X$ be a smooth projective scheme over $\mathbb{Z}_p$, with special fiber $X_s$ over $\mathbb{F}_p$, generic fiber $X_{\eta}$ over $\mathbb{Q}_p$, and geometric generic fiber $\bar{X_{\eta}}$ over ...

**1**

vote

**0**answers

58 views

### Characterization of pseudo split epimorphisms in Cat

Is there an easy way to characterize pseudo split epimorphisms in Cat?
Obs: A pseudo split epimorphism in Cat is a functor $F: E\to B $ such that there is a functor $ M: B\to E $ and a natural ...

**0**

votes

**1**answer

67 views

### Order statistics of Brownian motions

I've been struggling with proving a conjecture concerning order statistics of Brownian motions for a while. The conjecture I'm looking to prove is the following: (I have run Monte Carlo simulations ...

**-1**

votes

**1**answer

69 views

### Direct sum of simple modules [closed]

Let $N = M \oplus M$, where $M$ is a simple $R$-module. which one is correct (exactly one item)?
1- $N$ has finitely many sub-modules.
2- $Hom_R \left( {N,N} \right)$ is a division ring.
3- $Hom_R ...

**6**

votes

**1**answer

282 views

### Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...

**6**

votes

**1**answer

177 views

### Über theorem on unavoidable patterns?

Let $A$ be an alphabet of $k$ symbols,
and $p$ a pattern.
An example of a pattern is $p=XX$, where $X$ is any finite
string of symbols from $A^+$.
Avoiding $p$ is avoiding any subword repeated twice ...

**4**

votes

**0**answers

52 views

### Is a finite-dimensional simplicial set the homotopy colimit over a truncated simplicial category?

If $K$ is a simplicial set, we can extend it to a bisimplicial set $K^\prime: \Delta^{op} \to sSet$ by setting $K^\prime_n = (K_n)_\delta$ where $(-)_\delta$ means taking a discrete simplicial set. ...

**2**

votes

**4**answers

313 views

### Should all equations which appear in a thesis be numbered?

I was just wondering if there is any sort of consensus on the topic of when to number math expressions.
For example different lines in a proof, these should be tagged or not tagged?

**2**

votes

**1**answer

73 views

### Disjoint Arrows in the category of locales

Call two arrows $f$ and $g$ disjoint if the pullback of $f$ by $g$ is the initial object. Here's my question: Does there exist a sublocale $j: J\to L$ which is not disjoint with any other ...

**7**

votes

**1**answer

124 views

### Finite-dimensional inverse limits of double-dual spaces

Let $k$ be a field and $\{V_i\}_{i \in I}$ a filtered projective system of $k$-spaces with transition maps $f_{ji}: V_j \rightarrow V_i$ for $i \leq j$ (for my purposes we may assume the index set is ...

**0**

votes

**1**answer

135 views

### Refutation of $A \land \lnot\lnot\lnot A$ by resolution [closed]

$ A \land \lnot\lnot\lnot A $ this is a very simple example. Resolution is refutation complete. So it should be able to refute this formula. However, I don't see how would it do that without using ...

**4**

votes

**1**answer

83 views

### Good properties of the $H^0$ functor (from quasi-functors to ordinary functors)

Let $\mathcal A, \mathcal B$ be dg-categories over a field $k$. I denote by $\mathcal{RHom}(\mathcal A,\mathcal B)$ the dg-category (defined up to quasi-equivalence) which gives the internal hom in ...

**7**

votes

**0**answers

109 views

### Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...

**7**

votes

**0**answers

439 views

### Homotopy type of complex algebraic varieties

In his 1974 ICM adress "Poids dans la cohomologie des variétés algébriques", Pierre Deligne explains that any finite polyhedron has the same homotopy type as a complex algebraic variety (section 6.).
...

**-4**

votes

**0**answers

63 views

### Non connected topological space with intermediate value Theorem [closed]

Does there exist a topological space X which is not connected but satisfy intermediate value theorem(IVT).
Where IVT sates: if f is continuous function from X to Y where Y is ordered set in order ...

**1**

vote

**2**answers

203 views

### overlap quadratic residues

Let $p$ be a prime number of form $4k+1$ and $M$ is its quadratic residue set.
Let $M_i=\{i+x|\forall x\in M\}$ $\forall 0<i<p$.
Does there exist a positive constant $\varepsilon$ such that ...

**3**

votes

**1**answer

53 views

### Advice on numerical solution for 2D hyperbolic PDE with zero flux boundary conditions

I would like to numerically solve a hyperbolic PDE of the form
$\frac{\partial\theta_t}{\partial t}(x,y)+\frac{\partial\left[\theta_t \gamma_t^x\right]}{\partial x}(x,y)+\frac{\partial\left[\theta_t ...

**5**

votes

**2**answers

335 views

### Can we define an “empirically generic” real number?

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...

**12**

votes

**0**answers

218 views

### Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...

**0**

votes

**0**answers

35 views

### Invexity of the $L_2$ norm

I have the following function:
$ f({\bf A,b}) = \| {\bf y - XAb} \|_2^2$
where ${\bf y}_{n \times 1}$ and ${\bf X}_{n \times p}$ are fixed, and ${\bf A}_{p \times r}$ and ${\bf b}_{r,1}$ are the ...

**6**

votes

**2**answers

129 views

### Topological relationships between family of transversal intersections of manifolds

Let $M$ and $N$ be submanifolds of $\mathbb{R}^n$ and let $a(t)$ be a smooth path in $\mathbb{R}^n$ such that $M+a(t)$ intersects $N$ transversally for all $t \in [0,1]$. Is there a nice relationship ...

**26**

votes

**6**answers

1k views

### Negative impact of wrong or non-rigorous proofs

The recent talks of Voevodsky (for example, http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf), which describe subtle errors in proofs by him as well as others, as well ...

**4**

votes

**1**answer

62 views

### Point of maximal distance on a non-positively curved PL surface

I just posted this question as a comment to the question Hypersurfaces and Elliptic Points
but I don't know how many people will see it.
It's well known and easy to prove that a point on a closed ...