# All Questions

**1**

vote

**0**answers

14 views

### local rings with finite type maximal ideal

Let $A$ be a local ring with a maximal ideal $\mathfrak{m}$ finitely generated (not principal).
Is there a sufficient condition for $A$ to be noetherian?

**1**

vote

**1**answer

14 views

### Non-closability of an operator

Let $a$ be a positive continuous function nowhere differentiable on $[0,1]$. The operator $T$ in $H:=L^2(0,1)\oplus L^2(0,1)$ defined by
$$T(u_1,u_2) := (u_1' + au_2',0)$$
on $\textrm{Dom} \,T := ...

**-2**

votes

**0**answers

14 views

### Stochastic matrix with orthogonal eigenvectors

I stumbled across an odd fact while thinking about Markov chains, and I have an odd proof for it.
Claim:
Let $P$ be the transition matrix of a finite irreducible aperiodic Markov chain, and assume ...

**0**

votes

**0**answers

24 views

### Root of positive function in Fourier algebra

Let $G$ be a locally compact group, let $A(G)$ be the Fourier algebra of $G$. We think of $A(G)$ as a subalgebra of $C_0(G)$.
Question 1: Let $f\in A(G)$ be a function that is pointwise positive. ...

**2**

votes

**1**answer

37 views

### Is every connected reductive group over a local field already defined over a global field?

Let $K$ be a local field, e.g. $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$. Let $G$ be a connected reductive group over $K$. Is it true that $G$ is already defined over a global field? More precisely, does ...

**1**

vote

**0**answers

27 views

### Sections of inverse image sheaf of sheaf of sections of vector bundle

Let $\eta \colon Y \to Z$ be holomorphic map between complex manifolds, $E$ holomorphic vector bundle over $Z$, $\eta ^\ast E$ its pullback over $Y$, ${\cal O}_E$ sheaf of sections of $E$, and ...

**-1**

votes

**0**answers

27 views

### Largest subsequence with average $\geq \delta$ [on hold]

I found a solution in Largest subarray with average $\geq$ k.
However, I fail to understand the algorithm correctly.
Let us consider the following sequence:
12, -10, 10, -10, 12, -9
Let us pick ...

**1**

vote

**0**answers

33 views

### Density of smooth functions in Sobolev space, respecting nonnegative traces

I am looking for a reference for the following result (if it is true):
Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. Let $\Gamma_0\subset\partial\Omega$ be sufficiently regular.
Let ...

**0**

votes

**0**answers

28 views

### Reducedness of scheme theoretic fibers of toric morphisms

Let's consider $X=X(\Delta_X)$ and $Y=Y(\Delta_Y)$ two complete $\mathbb{Q}$-factorial toric varieties over an algebraically closed field of characteristic zero, and let $f:X\to Y$ be a flat toric ...

**0**

votes

**1**answer

24 views

### Extending and contracting an ideal by a faithfully flat homomorphism

Let $ B $ be a faithfully flat $ A $-algebra. Let $ I \subset A $ an ideal. Shows that $ IB \cap A = I $.
This is the second item of Exercise 2.6, Chapter 1, of the Qing Liu's book Algebraic Geometry ...

**2**

votes

**1**answer

26 views

### Largeness, generic, random points

As presented in Oxtoby's book ( http://link.springer.com/book/10.1007%2F978-1-4615-9964-7 ), there are two notions of largeness for subspace $Y$ of a given space $X$:
Topology: $X$ is a topological ...

**3**

votes

**0**answers

17 views

### Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure ...

**0**

votes

**0**answers

98 views

### Fermat's Theorem on p = a^2 + b^2 [migrated]

I have read that Fermat predicted that for an odd prime $p$, $p = a^2 + b^2$ iff $p = 1$ mod 4.
I heard that such a criterion could be possible for a given integer $n$ like
$p = a^2 + n b^2$
...

**0**

votes

**0**answers

18 views

### Constructing pointwise-or independent binary matrices

Let $M$ be an $m \times n$ matrix such that every $M_{ij} \in \{0,1\}$.
We say that $M$ is `$\lor$-irreducible' if (i) no row is a pointwise-or of other rows, and (ii) no column is a pointwise-or of ...

**0**

votes

**0**answers

33 views

### Proof for this expression for Dottie number

Neither Wolfram's mathworld nor Wikipedia mentions any series or integral expanion for the cosine's fixed point.
Therefore I am asking for a proof for this integral representation of Dottie number:
...

**2**

votes

**0**answers

25 views

### Trigonometric multiple integral identity

How this alleged multiple integral identity can be proved?
$$\int\limits_{-\infty }^{\infty }ds_{1}\int\limits_{-\infty}^{s_{1}}ds_{2}\cdots \int\limits_{-\infty }^{s_{2n-1}}ds_{2n}\;\cos {
...

**4**

votes

**1**answer

77 views

### Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case.
Question:
Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...

**0**

votes

**1**answer

39 views

### Fixed point property for the projectivization of manifold of fixed rank matrices

Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. The projectivization of $M$ is denoted by $PM$.
Does $PM$ satisfy fixed point property?

**-1**

votes

**0**answers

33 views

### $\mathbb{Z}_{2}$ -equivariant vector bundles over manifold of rank-$k$ matrices

Edit: I remove the trivial part of the first version, according to comment of Alex Degtyarev
Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. There is ...

**2**

votes

**1**answer

114 views

### Manifold with corners

Iam looking at the following situation of a manifold $Z$ with corners.
More specifically a product of a smooth manifold X with a standard $k$-simplex $\Delta^k$.
I wish to study certain formulas for ...

**0**

votes

**0**answers

17 views

### Volume of randomly changing sphere follows beta distribution

We are given $X,X_1,\ldots,X_N$ independent and identically distributed $k$-dimensional vectors. For a given query point $X_q\in\mathbb{R}^k$ assume without loss of generality that $X_1,\ldots,X_m$ ...

**0**

votes

**0**answers

48 views

### A modified notion of ranks

Given $M\in\{0,1\}^{n\times n}$ of rank $r$.
Denote $p^{\Bbb Z_{\geq0}}$ to be collection of finite non-negative powers of prime $p$.
Denote $\mathscr{P}_r[M,p]=\{P\in\{0,p^{\Bbb ...

**-1**

votes

**0**answers

8 views

### Partition of function into pieces for interpolation needs [migrated]

I've got some experimental data obtained from my mate's research. There are two sets of (x,y) points for each curve. He asked me to interpolate function values between this points, so for each curve I ...

**1**

vote

**1**answer

73 views

### Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state.
Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...

**-2**

votes

**0**answers

20 views

### Is Markov Chain Sampled at stopping times a Markov chain? [on hold]

Given a Markov hain $\{X_n\}$ and $T_n$ be an increasing sequence of stopping times, is $\{X_{T_n}\}$ Markov chain ?

**0**

votes

**0**answers

29 views

### Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

My singular integral operator is defined by
\begin{align}
Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t},
\end{align}
that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast ...

**5**

votes

**0**answers

88 views

### A reference for $\mathbb{A}^1_R$ being a coarse moduli space of the stack of elliptic curves

Let $R$ be a ring and let $\mathcal{M}_{1, R}$ be the algebraic $R$-stack of elliptic curves (over $R$-schemes as bases). One knows that the coarse moduli space of $\mathcal{M}_{1, R}$ is supposed to ...

**0**

votes

**0**answers

29 views

### Hadamard product and matrix inverse [on hold]

Is there any relation between normal matrix inverse and the Hadamard product?
Suppose we have a matrix $ M $ and its eigen/singular value decomposition. Can we say anything about the inverse of $ N = ...

**1**

vote

**0**answers

89 views

### Experimentation with partial Euler products

Richard Mathar $[1]\& [2]$ shows that
\begin{align}
&\zeta_{2}(s)\equiv\prod_{\Omega(n)=2}^{}\left(\dfrac{1}{1 - n^{s}}\right)^{-1}=\exp \left(\sum _{k=1}^n \frac{P(k s)^2+P(2 k s)}{2 ...

**2**

votes

**1**answer

73 views

### Relation between intersection multiplicities

Consider $(f_1,\dots,f_n), (g_1,\dots,g_n)\in \mathbb{C}[z_1,\dots,z_n]\ $ such that:
i) $\{f_1=\dots=f_n=0\}= \{g_1=\dots=g_n=0\}=\{0\}\in \mathbb{C}^n\ $ and
ii) $f_1g_1+\dots+f_ng_n\equiv0$.
...

**2**

votes

**1**answer

57 views

### Central limit theorem with degenerate covariance matrix

Are there known generalisations of the central limit theorem for several random variables when the covariance matrix is degenerate?
The usual proof of CLT based on characteristic functions (see e.g. ...

**-3**

votes

**0**answers

42 views

### Circle packing II I need the solution/answer to this [on hold]

Let R(a, b, c) be the maximum area covered by three non-overlapping circles inside a triangle with edge lengths a, b and c.
Let S(n) be the average value of R(a, b, c) over all integer triplets (a, ...

**2**

votes

**1**answer

68 views

### a question about Brooks' Theorem for $\Delta =4$

From Brooks' Theorem, we know that
if a graph $G$ satisfies that $\Delta (G)=4$ and there is no $5$-clique in $G$, then $\chi (G)\leq 4$.
And it is easy to find a counterexample to the following:
...

**2**

votes

**1**answer

59 views

### Optimization over symmetric polynomials

Consider the following constraint satisfaction problem: Let $\alpha_1 , \ldots, \alpha_k \in \mathbb{R}$ be given as well as an error parameter $\epsilon$. Find $p_1, \ldots, p_n$ such that
(i) $0 ...

**1**

vote

**0**answers

62 views

### Fixed area, largest mass — is there a name?

Let $x\in \mathbb{R}^n$ and let $s_k(x)$ denote the sum of the $k$ largest entries of $x$. The function $s_k(x)$ is well-known to be convex and is often used in optimization, such as
...

**9**

votes

**2**answers

353 views

### What other books are like these?

A certain class of books is defined as follows: (1) the book was kept for years in a cafe or mathematics library; (2) the primary contents are research problems and comments, handwritten by resident ...

**-2**

votes

**0**answers

73 views

### Reference Request for Finite Axiom Of Choice [on hold]

I am looking for a book that would contain the kind of proofs that were given in the answers to this question: Finite axiom of choice: how do you prove it from just ZF? because I want to quote them in ...

**0**

votes

**0**answers

51 views

### Combinatorial support set in CRT

Is there a function $g(s)$ such that if there is a set of numbers $\{r_i\}_{i=1}^m$ such that $r_i\bmod p_j\in\{0,1\}$ at every prime in $\{p_j\}_{j=1}^n$ such that $2^t\bmod p_j\neq1$ at every ...

**-1**

votes

**0**answers

15 views

### which graph srtuctures can help you calculate the pair-wise shortest paths efficiently? [on hold]

Is BFS structure good enough for this task? Any comments would be greatly appreciated.

**8**

votes

**0**answers

83 views

### Maximizing the number of semistandard Young tableaux

Is anything known about the following question? Given a positive
integer $p$ and a real number $0<\alpha<1$, what partition $\lambda$
whose parts sum to $\alpha p^2$ (asymptotically) and whose ...

**-4**

votes

**0**answers

64 views

### Advanced, pure and applied [on hold]

A clown is riding a single wheel cycle along a highwire from point A to point B. These two points are the same height, however as the clown cycles the highwire decreases in height to a minimum point ...

**1**

vote

**0**answers

25 views

### Periodic configurations for elementary cellular automata

Let $L$ be an elementary cellular automaton. Then $L$ acts on $\{0,1\}^{\mathbb{Z}}$. We say that a configuration $w\in\{0,1\}^{\mathbb{Z}}$ is periodic if $L^{(n)}(w)=w$ for some $n\in\mathbb{N}$.
...

**3**

votes

**1**answer

194 views

### Balancing real numbers in one dimension

Given numbers $0 \leq d_i \leq 1$ for $i=1,\ldots,m$, it is easy to see that you can always find signs $\varepsilon_i \in \{-1,1\}$ such that the partial sums $\sum_{i=1}^k \varepsilon_i d_i/2$, for ...

**1**

vote

**0**answers

31 views

### If $E(K)=E(L)$ for an elliptic curve $E$ and an algebraic extension $L/K$, what can we say about $Sel(E/K), Sel(E/L), L/K$?

More generally, when $E(K_m)$ is stable as $m$ increases for an extension equence $K_0<K_1<K_2<\cdots<K_m<\cdots$ ? In the case, is $\mathrm{Sel}(E/K_m)$ stable as $m\rightarrow ...

**-1**

votes

**2**answers

187 views

### Serre's Theorem for Coherent Sheaves

I recently heard a discussion about a certain of Serre which reconstructs the category of coherent sheaves of a variety $V$ as the category of modules over the homogeneous space of $V$ modulo modules ...

**1**

vote

**0**answers

33 views

### Applications of finite presentation of lie algebra

If you know a finite presentation of say a certain Poisson algebra (finite presentation as a Lie algebra), in what ways might this be useful? Does this allow you to extract information that would ...

**0**

votes

**0**answers

26 views

### Invariant subalgebra and dual torus for symmetric group

Given permutation module with three generators and corresponding Galois action of symmetric group $\mathfrak S_3$ I am interested in computing corresponding dual torus $T$ (which should be of ...

**3**

votes

**0**answers

61 views

### Are isometric homorphisms of C* algebras *-homorphisms

Here is my precise question:
Let $A$ and $B$ be two $C^*$ algebras. Let $f: A \rightarrow B$ a morphism of algebras which is isometric (on its image). Is $f$ necessary a $*$-homomorphism ?
It sounds ...

**0**

votes

**2**answers

127 views

### Global section of very ample line bundles and its value on stalks

Let $X$ be a projective scheme and $\mathcal{L}$ be a very ample line bundle on $X$ with respect to some projective embedding $X \hookrightarrow \mathbb{P}^n_{\mathbb{C}}$ (for some $n$).
Given any ...

**11**

votes

**1**answer

126 views

### Completed and uncompleted operations for Morava $E$-theory

Let $E = E_n$ be the $n$-th Morava $E$-theory with coefficient ring
$$
E_* = \mathbb{W}(\mathbb{F}_{p^n})[\![u_1,\ldots,u_{n-1}]\!][u^{\pm 1}].
$$
It is usual to consider the completed co-operations
...