**0**

votes

**0**answers

5 views

### Solutions of an nonlinear evolution problem

We consider the following continuous-time nonlinear evolution problem
\begin{equation}
\begin{cases} \dot{y}(t)=Ay(t)+f(y(t),u(t)),\quad t\geq0\\y(0)=f\in\mathcal{X}\end{cases}
\end{equation}
where ...

**0**

votes

**0**answers

6 views

### Set of regular points in an Alexandrov space with curvature bounded from below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded from below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere ...

**-2**

votes

**0**answers

26 views

### Two rational and one irrational root of a cubic? [on hold]

Let $p(x)=a_3x^3+a_2x^2+a_1x+a_0$, with $a_i\in\mathbb{Q}$. Is it true that if two of the roots of $p(x)$ are in $\mathbb{Q}$, then the third is as well?

**2**

votes

**0**answers

68 views

### Remark on Fermat's Last Theorem by Darmon, Diamond and Taylor

In their paper, Darmon, Diamond and Taylor remarked the following :
(the previous paragraph of Section 2.2 (p. 55), https://www.math.wisc.edu/~boston/ddt.pdf)
If $\rho : G \rightarrow ...

**2**

votes

**2**answers

34 views

### Lower bounding the multiplicative order of 2 modulo p

For $p$ prime denote by $\mathsf{ord}_p(2)$ the multiplicative order of $2$ modulo $p$.
Does there exist $N > 0$ such that, for ALL primes $p$, $\mathsf{ord}_p(2)$ is at least $\frac{(p-1)}{N}$?
...

**-1**

votes

**0**answers

10 views

### classification open problems by complexity [on hold]

i am looking for a standard for classification of open problems by complexity,is there any standard that tells us certain problem is in first class or 3th class of hard open problems?
thanks.

**0**

votes

**0**answers

26 views

### One question about group algebra

Let G be an locally compact group and H is closed normal subgroup of it. If f belong to L^1(G), Is restriction of f to H belong to L^1(H)? conversely, can we extend every member of L^1(H) to some ...

**7**

votes

**0**answers

49 views

### Intuition for the tensor algebra?

As the question suggests, can someone give me their intuitions for working with the tensor algebra? Thanks in advance.
Here is my intuition/understanding for the tensor algebra. Given a ring $A$ ...

**3**

votes

**1**answer

35 views

### Zero divisors with support of size 3 in group algebras of finite groups

Are there a finite group $G$ and a field $\mathbb{F}$ such that $\gcd(3,|G|)=1$ and the group algebra $\mathbb{F}[G]$ contains a zero divisor whose support is of size $3$?
Recall that the support of ...

**0**

votes

**0**answers

12 views

### Lebesgue-integrability of piecewise function with random variable

This function is Lebesgue-integrable:$$\chi(x)= \left\{
\begin{array}{ll}
1 & \text{if}~x~\text{is rational}\\
0 & \text{if}~x~\text{is irrational}.
\end{array}
...

**0**

votes

**1**answer

44 views

### Making idempotent element by a relation

Let $R$ be a commutative ring with identity and let $a, b \in R$ such that $a=ab$. How can we make a non zero idempotent element of $R$ by this relation?

**-6**

votes

**0**answers

41 views

### |(a,b)| = |R| ? [on hold]

I want to prove that any open interval (a,b) has the same cardinality of the real numbers (|(a,b)| = |R|).
Do I have to find an function to prove it? or is there a theorem to prove it easier? or any ...

**1**

vote

**0**answers

72 views

### Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$.
Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...

**0**

votes

**0**answers

46 views

### Cyclic faithfully flat modules

Iam looking for an example of a cyclic faithfully flat R-module but not projective. Could someone help me?

**0**

votes

**1**answer

34 views

### Estimating the shift in the $\lambda_{max}$ of a matrix under a diagonal perturbation

Given a matrix $A$ and a diagonal matrix $D$, what ways do we have to estimate, $\lambda_{max}(A+D) - \lambda_{max}(A)$? (Feel free to make other assumptions about the matrices that they are all ...

**1**

vote

**0**answers

33 views

### largest subgroup of $Out(\hat{F_2})$ which preserves the Nielsen invariant

Let $x,y$ be generators for the free group $F_2$. It's known that $Aut(F_2)$, and hence $Out(F_2)$ preserves the conjugacy class of the subgroup $\langle[x,y]\rangle$ generated by $[x,y]$ (This ...

**10**

votes

**6**answers

487 views

### Advanced Differential Geometry Textbook

I tried this post on StackExchange with no luck. Hopefully the experts at MathOverflow can help.
In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual ...

**2**

votes

**0**answers

62 views

### Interchanging the tensor product with infinite product

Let $R$ be a $k$-algebra (not necessary commutative) and let $\mathbf{D}(R)$ be its derived category (right modules). I'm interested in the class of objects $V$ of $\mathbf{D}(R^{op})$ having the ...

**18**

votes

**1**answer

311 views

### Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

Similarly is the complement of any countable set in $\mathbb{R}^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb{R}^2 \setminus \mathbb{Q}^2$ ...

**0**

votes

**0**answers

40 views

### What is number of faces in a k-ary n-dim cube? [on hold]

What is the number of $(n-r)$ dim faces for a $k$-ary $n$-dim cube ?
Definition of k-ary cube: In a $k$- ary $n$- cube , each node is identified by an $n$-bit base-$k$ address $b_{n − ...

**-2**

votes

**0**answers

39 views

### Prime ideals decomposition [on hold]

How to prove the decomposition law for prime ideals in finite separable extensions of number fields? How we use the "conductor condition"?

**1**

vote

**0**answers

35 views

### Doubling theorem for Alexandrov spaces

Is there a user friendly exposition of the notion of boundary of an Alexandrov space with curvature bounded from below and of the Doubling theorem?
The only reference I am aware of is the original ...

**4**

votes

**0**answers

49 views

### Roller's problem on median groups

At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...

**4**

votes

**1**answer

76 views

### Time for brownian motion to cross a coordinate plane

Can I get a reference or some insight into the following? Suppose a particle moves by Brownian motion, starting from a point $P$ in $\mathbf{R}^{n}$. What can we say about the distribution of the ...

**1**

vote

**0**answers

37 views

### Approximating a divergent integral with modified Bessel functions of the first and second kinds

I am a physicist who needs to evaluate the following (divergent at the origin) integral involving the modified Bessel functions of the first and second kinds
$I = \int_0^{\infty} \frac{\cos(ax)}{x} ...

**6**

votes

**1**answer

169 views

### Does an element in the center of universal enveloping algebra becomes a scalar in irreducible representations?

I'm asking a question about Lie group representation.
Let $G$ be a Lie group, not necessarily connected. Let $\Omega$ be an element in the center of the universal enveloping algebra $U(\mathfrak{g})$ ...

**-1**

votes

**0**answers

23 views

### Any polynomial-time algorithm for hypergraph bisection? [on hold]

I work with hypergraph partitioning. I want to divide a complete weighted hypergraph into 2 parts using cut-net metric, a sum of all edges cut, and connectivity metric. Is there a polynomial-time ...

**5**

votes

**0**answers

116 views

### Pointfree probability theory

I must confess I hardly know anything about probability theory. Still, I'm interested in the following: Much like pointfree topology, where one basically replaces topological spaces by their locales ...

**0**

votes

**0**answers

116 views

### A finite group with O_{p}(G)=1

Let $G$ be a finite group of order $p(p^2-1)/2$, where $p$ is prime number. If $O_{p}(G)=1$, then what is the number of Sylow $p$-subgroups G?

**1**

vote

**1**answer

115 views

### Notation: $Sigma$ and $Pi$ of intersections

In Jech - Set Theory, the proof of Theorem 31.7, I came along some notations I wish to understand correctly.
For a countable elementary substructure $M \prec H_\lambda$ and $A \in M$ and a generic ...

**0**

votes

**0**answers

24 views

### Algorithm for 2-coloring classes of 3-uniform hypergraphs

Hi all and thanks in advance for your efforts.
I'm interested in 2-coloring 3-uniform hypergraphs. I know that in general, the problem of deciding if a 3-uniform hypergraph is 2-colorable is ...

**1**

vote

**0**answers

47 views

### What characteristic of a graph depend on the vertex labeling?

Different labeling on a graph produces class of isomorphic graphs. Two isomorphic graphs possess similar characteristic such as connectivity, degree distribution of vertices, equality of spectrum and ...

**1**

vote

**1**answer

59 views

### Estimate $\sup_n\left|\int_0^1 \left(1-e^{i\alpha_n x}\right) f(x)d\mu(x)\right|$

Let $\mu$ be a singular Borel probability measure on $[0, 1)$, and $f\in L^2(\mu)$. Estimate
$$\sup_n\left|\int_0^1 \left(1-e^{i\alpha_n x}\right) f(x)d\mu(x)\right|$$
where $\alpha_n\in\mathbb R$ and ...

**-1**

votes

**0**answers

44 views

### About perturbation of spectral radius of a matrix because of diagonal perturbations

Say I have an off-diagonal symmetric $0,1,-1$ matrix $B$ and a set of $2k$ diagonal matrices, $D_{11}, D_{12}, D_{21}, D_{22},..,D_{k1},D_{k2}$. (you can assume the diagonal matrices to be such that ...

**4**

votes

**2**answers

197 views

### cup product and Steenrod operations in Serre spectral sequence

Let $F\to E\to B$ be a fibration with $B$ simply-connected. Suppose all differentials in the cohomology Serre spectral sequence (corresponding to the above fibration) are zero maps. Then as a graded ...

**-5**

votes

**0**answers

37 views

### Function that outputs only 1 or 0 depending on sign of variable? [on hold]

Is there a single variable (preferably simple) function which equals 0 for any positive input and 1 for any negative input, or vice versa?

**5**

votes

**1**answer

290 views

### A question on Ramanujan's $1/\pi$ formulas

It is known that Ramanujan discovered a number of formulas fo $1/\pi$. All of these formulas are of the form $$\frac{1}{\pi}=\sum_{n=0}^{\infty}\frac{(1/2)_n(s)_n(1-s)_n}{(1)_n^3}(a+bn)z^n,$$where ...

**5**

votes

**0**answers

131 views

### definition of “immersion” of schemes (without open or closed)

On Prop. 1.7 (a) on page 5 of Milne's Etale Cohomology book states:
Any immersion is quasi-finite.
A google search turned up definitions for "open immersion" and "closed immersion", never just ...

**-4**

votes

**0**answers

88 views

### Prove $R$ is a finite ring [on hold]

Suppose that $R$ is a ring and $D(R)$ is the set of all elements $x\in R$ such that there exist $b,c\neq 0$ with $xb=cx=0$. Prove that if $1<|D(R)|<\infty$ then $|R|<\infty$. ($|S|<\infty$ ...

**3**

votes

**1**answer

152 views

### The structure map of topological K-theory

This may be a silly question but I don't know the answer.
I know the construction of (equivariant) K-spectrum $KU_G$ and the periodicity of (equivariant) K-theory. But I don't know its structure maps ...

**0**

votes

**0**answers

39 views

### Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...

**-1**

votes

**0**answers

29 views

### Dimension of the set of the polynomial growth harmonic function on the hyperbolic plane

We consider the hyperbolic plane and the harmonic function there. Pick any point $p$. Let $H_n, n \in\mathbb N$ be the set of the harmonic functions $f$ such that $|f(x)|\leq c(1+ d(x,p))^n$.
What is ...

**11**

votes

**3**answers

707 views

### May integration spoil real-analyticity?

Is there an example of a function $f:(a,b)\times(c,d)\to\mathbb{R}$, which is real analytic in its domain, integrable in the second variable, and such that the function
$$ g:(a,b)\to\mathbb{R},\qquad ...

**3**

votes

**0**answers

103 views

### Commuting diagram, algebraic cycles and K-theory

What is the easiest way to see the veracity of the following commutative diagram?$$\require{AMScd}
\begin{CD}
K(X) \otimes K(Y) @>\text{ch}(-) \otimes \text{ch}(-)>> A(X, \mathbb{Q}) \otimes ...

**4**

votes

**1**answer

153 views

### Improper integral $\int_0^1 \frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx$ with $-a$ and $b$ positive

Is the following function real analytic in $t>0$:
$$F(t)=\int_0^1\frac{\exp(ctx)}{\sqrt{(\exp(bt)-1)(1-\exp(atx))-(1-\exp(at))(\exp(btx)-1)}} dx,$$
where $-a$ and $b$ are positive, and $c\not=a$?
...

**9**

votes

**2**answers

379 views

### Learning the exponents in a sum of two modular roots of unity

$\newcommand{\Z}{\mathbb{Z}}$
Suppose that $n$ is a large and known integer (say, with 100 digits) and that you are given access to a function
$$f(x) = x^a + x^b$$
with unknown exponents $a,b \in ...

**1**

vote

**0**answers

73 views

### Rank of the Jacobian of a family of hyperelliptic curves of genus 2

Assume tha $C$ be the hyperelliptic curve $y^2 = (x-a_1)\cdots (x-a_5)$ of genus $g=2$ and $a_i \in \mathbb{Z}$ and we know that the integers $a_i$ has the form $a_i= d_1^2 - d_i^2$ for some positive ...

**0**

votes

**1**answer

206 views

### Does $\mathbb Z \times \mathbb Z$ mod the obvious $\mathbb Z$ action have more structure than just a set?

$\mathbb Z$ acts on the lattice $\mathbb Z \times \mathbb Z$ by adding an element to itself n times.
I am studying some function arising from symplectic geometry which happens in my case to be ...

**2**

votes

**2**answers

59 views

### Basic question about discrete minimal surfaces

Let $P$ be a convex polygon with $n > 3$ vertices $v_1, \ldots, v_n \in \mathbb{R}^2$, let $x$ be a point in the interior of $P$, and let $u$ be a function with prescribed values at the vertices of ...

**7**

votes

**0**answers

144 views

### Tangent space of Hilbert scheme

We have the following theorem:
Let $X$ be a projective scheme over an algebraically closed field $k$, and $Y \subset X$ a closed subscheme with Hilbert polynomial $P$. Then$$T_{[Y]}\text{Hilb}_P (X) ...