# All Questions

**0**

votes

**0**answers

4 views

### Properties of the time integral of Wiener process

Let $W_t$ be a Wiener process and consider the time integral
$$ X_T:= \int_0^T W_t dt $$
It is often mentionend in literature that $X_T$ is a Gaussian
with mean 0 and variance $T^3/6$.
I am ...

**0**

votes

**0**answers

9 views

### Need a Proof -Unbounded function on any open set

Lets define f(x)= {if x=m/n then f(x)=n,if x=irrational then f(x)=0}.
Such f(x) is unbounded on any (a,b) .
Can't understand the proof.Can somebody write detailed proof?
Thanks.

**0**

votes

**0**answers

13 views

### The Jordan-Brouwer Spearation Theorem for Manifold

I have read the paper The Jordan-Brouwer Seperation Theorem written by Wolfgang Schmaltz. The main result in paper is below
Any compact, connected hypersurface $X$ in $\mathbb R^n$ will divide ...

**3**

votes

**1**answer

129 views

### Would you like a counter example that Peano's theorem does not apply to spaces with infinite dimension

Does Peano's theorem apply to spaces with infinite dimension? Or is there a counterexample?
Here, Peano's theorem is:
Let $E$ be a space with finite dimension. Consider a point $(t_0,x_0) \in \Re ...

**1**

vote

**0**answers

54 views

### Asymptotics and combinatorics

Wright's expansion of
$$
(1-z)^b\exp[A/(1-z)^c], \text{for } A > 0, 0<c<1\tag{1}
$$
is, in the words of the late, great Mark Kac "well known to those that know it well".
(See, for example, ...

**2**

votes

**0**answers

17 views

### Geometric Intuition of $P^+$ in Modular Tensor Categories

I'm currently reading through Bakalov and Kirillov's "Lectures on Tensor Categories and Modular Functors," and I am having some difficulty understanding the definition of $p^\pm$ given on page 49. ...

**0**

votes

**0**answers

26 views

### $C^1$ stability conjecture on non-compact manifolds

In the study of dynamical systems, the link between structural stability and Smale's Axiom A has been explored by many authors. One of the important outcomes of this endeavor was the proof of $C^1$ ...

**1**

vote

**1**answer

28 views

### Length inequalities in trees and CAT(0) spaces

I have a family of possibly related questions. Let me start with an elementary one:
Question 1. Fix an integer $n$. For which collections of real numbers $a_{ij}$, $i, j = 1, \dots, n$, is it true ...

**1**

vote

**0**answers

35 views

### Dimension of a set detected by a homology class

A colleague asked me a topology question which comes down to this: Suppose that $M$ is a smooth $n$-manifold, and $C\subset M$ is a closed set such that $H_{n-p}(M-C)\to H_{n-p}(M)$ is not surjective. ...

**0**

votes

**0**answers

39 views

### Jacobian change of basis matrix for different dimensions

I am considering a real Lie group $G$ acting transitively on an open set $U$ in a real Euclidean space of lower dimension. Given a smooth, compactly supported function $f: G \rightarrow \mathbb{R}$, I ...

**7**

votes

**0**answers

86 views

### Lifting Abelian Varieties to p-adic fields

Assume I have an abelian variety $A$ over a finite field $k$ of characteristic $p$. Work of Norman and Oort (1980) says I can lift $A$ to an abelian variety $\mathscr{A}$ over some characteristic ...

**6**

votes

**1**answer

124 views

### Subgroups of $SL_3(\mathbb{Z})$ that are finitely generated, Zariski-dense, infinite index, and torsion-free

My question stems from Misha's answer of a MathOverflow question. Misha supplied the following question in his answer:
Open question: Does there exist a finitely generated Zariski-dense ...

**6**

votes

**0**answers

63 views

### What is the best lower bound for 3-sunflowers?

A collection of $t$ sets $A_i$ is called a t-sunflower if $A_i \cap A_j = Z $ for all $i \neq j$ for some fixed $Z$. A well-known conjecture of Erdos and Rado says that in any $k$-uniform family of ...

**4**

votes

**0**answers

39 views

### $\Omega$ and $B$ as adjoints between symmetric monoidal $(\infty,n)$- and $(\infty,n-1)$-categories

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{D}$, one obtains a symmetric monoidal $(\infty,n-1)$-category $\Omega \mathcal{D}$ by taking $\Omega \mathcal{D}= ...

**2**

votes

**1**answer

97 views

### Intersection theory on M_{g,n}

Is there a paper\book that lists the top intersections of Hodge classes and tautological classes on $\overline{\mathcal{M}}_{g,n}$ for small $g$ and $k$, e.g. $g=2,3$ and $k=0,1,2$ ?

**1**

vote

**0**answers

62 views

### Could one recover the relative K-theory from the quotient derived category?

Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the ...

**-3**

votes

**0**answers

70 views

### Veronese surface [on hold]

I have a question(Hartshorne ,page 13,exercise 13):
If Y be the image of the 2-uple embedding(described in exercise 12) of P^2 in P^5.
and if Z(a subset of Y) is a closed curve(variety of dim 1) show ...

**2**

votes

**0**answers

48 views

### About the convergence rate for an approximation to the heat kernel

Let $G(t,x)$ be the heat kernel
$$
G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}.
$$
Here is one approximation of $G(t,x)$:
$$
G_\epsilon(t,x)=e^{-t/\epsilon} \sum_{k=1}^\infty ...

**1**

vote

**1**answer

41 views

### Characterizing and counting boolean functions with all influences 1/2

Is there a characterization of boolean functions $f:\{-1,1\}^n \longrightarrow \{-1,1\}$,
so that $\mathbf{Inf_i}[f]=\frac{1} {2}$, for all $1\leq i\leq n$? Is it known how many such functions there ...

**-2**

votes

**0**answers

7 views

### Trigonometric substitution [migrated]

Been out of touch with trigonometry for some time now. Need help proving this expression.
Sin2x/2 = 1/2(1-Cosx)
Any help will be appreciated. Thanks.

**1**

vote

**1**answer

91 views

### Bott formula for projective bundles

For a projective space one has Bott formula to compute $h^q(ℙ^n,Ω^p(k))$, where $Ω^p(k)$ is the k-twisted sheaf of sections in the p-th power of the cotangent bundle of $ℙ^n$. I am wondering if there ...

**4**

votes

**1**answer

183 views

### Existence of a certain subset of natural numbers equidistributed modulo $m$ for every $m$

I was talking to a friend and the following set $S$ came up.
Let $f$ be some real valued function tending to infinity.
Let $S$ be a subset of natural numbers such that $|S \cap [1,N]| = N^{\delta}+ ...

**3**

votes

**0**answers

42 views

### Matching in the Boolean Algebra

We consider the Boolean Algebra of the set $[n]=\{1,\dots,n\}$ and the matching $\psi$ from the $m+1$ subsets of $[n]$ into the $m$ subsets of $[n]$ for $(n+1)/2\leq m+1\leq n$, which is used to show ...

**2**

votes

**0**answers

36 views

### Where are there defined objects between gerbes and bundle gerbes?

Consider a special kind of/something like a gerbe where there is first given local trivialization data with equivalence over 2-fold overlaps but not isomorpphism.
Does this exist in the literature?

**2**

votes

**0**answers

37 views

### Characterization(?) of coersive(?) elements in the special linear group

Take your favorite matrix norm $\|\bullet\|$ (my favorite is the Frobenius norm $\|A\| = \sqrt{tr A A^t}$). Now consider the set $S_x$ of matrices $A,$ such that
$\|A\| < x$ and $\|A^{-1}\| < ...

**14**

votes

**1**answer

444 views

### Unexpected $\sqrt{3}$

A somewhat lengthy calculation, involving integrals, reveals that the probability an $n\times n$ Hermitian matrix, drawn from the Gaussian unitary ensemble, is positive definite, decays as ...

**4**

votes

**0**answers

28 views

### Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action.
I am trying to understand the Hopf bundle ...

**6**

votes

**3**answers

399 views

### Links between Geometric Group Theory and Number Theory

Do You know any successful applications of the geometric group theory in the number theory? GTG is my main field of interest and I would love to use it to prove new facts in the number theory.

**0**

votes

**0**answers

75 views

### bound for $|E[\frac{X}{Y}]−\frac{E[X]}{E[Y]}|$

Is there some bound for $|E[X/Y]−E[X]/E[Y]|$ ? where X and Y are both summation of a fixed number of Bernoulli random variables and a constant that is >0, which is to guarantee that the denominator is ...

**1**

vote

**4**answers

173 views

### Homology of infinite intersection

If $X_1\supseteq X_2\supseteq \ldots$ is a sequence of "nice" compact spaces, I would like to know whether the natural map from $H_*(\cap X_i)$ to the inverse limit $\lim \, H_*(X_i)$ is surjective. ...

**2**

votes

**4**answers

237 views

### Variations to Cayley's Embedding Theorem for Groups

Early in a course in Algebra the result that every group can be embedded as a subgroup
of a symmetric group is introduced. One can further work on it to embed it as a subgroup of a suitable (higher ...

**0**

votes

**0**answers

3 views

### Abstract Algebra [migrated]

Show that a group that has only a finite number of subgroups must be a finite group.(Fraleigh, A First Course in abstract Algebra-7th Edition,pg.67) I could not show properly so I need help. Thank ...

**1**

vote

**0**answers

66 views

### Morita equivalence via Kan extension

Are there necessary/sufficient conditions for a functor $f\colon \mathcal C\to \widehat{\mathcal A}$ to induce an equivalence $\text{Lan}_yf=F\colon \widehat{\mathcal C}\leftrightarrows ...

**5**

votes

**3**answers

139 views

### Existence of nonergodic polygonal billiard

Let $P$ be a polygon in the plane. One can define the billiard flow on the unit tangent bundle of $P$, just following the trajectories of the billiard at speed one.
A standard conjecture is that a ...

**-1**

votes

**0**answers

29 views

### Maximum chi-square distance between norm vectors [on hold]

What is the maximum possible chi-square distance between two normalized vectors? The representation of chi-square distance is below.
$d(x,y) = \sum_i \frac{(x_i-y_i)^2}{x_i+y_i}$

**1**

vote

**1**answer

82 views

### Kaehler form on weighted projective space

The Kaehler potential for the standard Fubini-Study Kaehler form in projective space $\mathbb{C} P^n$ is given by:
$$\log(\sum_{i=0}^n |z_i|^2)).$$
What is the analogous formula for a Kaehler ...

**2**

votes

**0**answers

35 views

### DGBV algebra of symplectic manifold

Let $(M,\omega)$ be a simply connected closed symplectic manifold. Then we have the symplectic codifferential operator $d^{\star}$. Furthermore, $(\Omega^{*}(M),d,d^{\star})$ is a differential ...

**-5**

votes

**0**answers

82 views

### The problem of Reimann zeta function [on hold]

$\zeta(2)=\sum_0^\infty 1/n^{2}<\pi^2/6=1.644934<2$
From the popular knowledge
$\zeta(2)\Gamma(2)=\int_0^\infty x/(e^x-1)dx$
but
$\int_0^\infty x/(e^x-1)dx=\int_0^\infty ...

**1**

vote

**0**answers

58 views

### K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. ...

**-5**

votes

**0**answers

51 views

### Prove determinant of nxn matrix is (a+(n-1)b)(a-b)^(n-1)? [on hold]

Prove det(mat) is (a+(n-1)b)(a-b)^n-1 where matrix is nxn matrix with a's on diagonal and all other elements b, off diagonal?
For example, suppose matrix with diagonal composed solely of a's. All ...

**4**

votes

**0**answers

72 views

### $SL(n) \times SL(n)$-invariants of $m$-tuples of matrices

I work over field of complex numbers. Let $G=SL(n) \times SL(n)$, and $(A,B) \in G$ acts on $m$-tuples of matrices $M_{n \times n}(\mathbb{C})^{\oplus m}$ as follows
$$
(A,B) \cdot (M_1, \ldots, M_m) ...

**3**

votes

**1**answer

180 views

### Circle method on things other than the integers

The circle method is often used to estimate the number of solutions to the equation $$x_1 + x_2 + ... x_k = N$$ if for all $i$ $x_i\in A\subseteq\mathbb{N}_0$ and some subset of the nonnegative ...

**1**

vote

**1**answer

361 views

### Can we construct cohomolgy theory on noetherian separated schemes without Axiom of Choice?

The usual cohomology theory on schemes uses injective or flasque resolutions of quasi-coherent sheaves. Hence it uses Axiom of Choice.
However, if the base scheme is a noetherian separated scheme, the ...

**-3**

votes

**0**answers

99 views

### The problem of Riemann zeta function [on hold]

$\zeta(2)=\sum_0^\infty 1/n^{2}<1.8$
From the popular knowledge
$\zeta(2)\Gamma(2)=\int_0^\infty x/(e^x-1)dx$
but
$\int_0^\infty x/(e^x-1)dx=\int_0^\infty xe^{-x}/(1-e^{-x})dx$
$=\int_0^\infty ...

**3**

votes

**1**answer

184 views

### Suslin lines hereditarily Lindelof

I need to prove that every suslin line is hereditarily Lindelof. Any idea will be helpfull.

**0**

votes

**0**answers

161 views

### Recreating the wheel

I recently finished my Phd in pure maths and I am looking for open problems in my research area, functional analysis. Without going into the details, I stumbled onto an interesting problem and I ...

**0**

votes

**0**answers

44 views

### Cover one finite subset of integers by another one

Let $A$, $B$ be two finite subsets of integers. We denote by $C(A, B)$ the minimum number of shifts of $A$ to cover $B$. More formally, it can be written as
$$
C(A, B)=\min\{|S|: S\subseteq ...

**5**

votes

**1**answer

374 views

### Is there a sideways-walking rolling convex body?

Let $K$ be a solid, homogenous convex body in $\mathbb{R}^3$.
Place $K$ on an inclined plane, and let it roll down the plane,
under some reasonable assumptions of friction between $K$ and
the plane, ...

**0**

votes

**0**answers

34 views

### additive support functions of a convex set

Let $K \subset \mathbb{R}^d$ be a compact, convex set. It could be uniquely determined by its support function (for $u$ on the unit-sphere $S^{d-1}$), given by
$$h_K(u) = \sup \{ \sum_{i=1}^d x_i ...

**-2**

votes

**0**answers

40 views

### n-th prime in first order arithmetics [on hold]

Recently I have thought about formalizing Turing machine in first order arithmetics, step by step, starting from the most basic things. But I quickly struck a problem - to continue, I need to find a ...