**4**

votes

**1**answer

36 views

### Consistency strength of being strong cardinal and indestructible under collapses

What is the consistency strength of the following statement:
$\kappa$ is a strong cardinals and it is indestructible under $Col(\kappa, <\theta),$ where $\theta> \kappa$ is some fixed ...

**2**

votes

**0**answers

3 views

### Bounded input Bounded output stability for heat equation

This is a cross-post from Computational Science.
I am interested in proving or obtaining a counterexample to the following conjecture.
Let $\Omega\subset\mathbb{R}^d$ be a bounded open domain. Let ...

**4**

votes

**1**answer

22 views

### Analysis of the Laplacian of a random bipartite graph

My analysis of an engineering problem reduced to analysis of the Laplacian of a (random) bipartite graph. There are a few particular questions I am interested in, but not sure which direction to take ...

**1**

vote

**1**answer

36 views

### A question on $J(f)$ and $J(f')$

I was confused by the following question for a long time:
Does there exists a transcendental entire function $f$ such that
$J(f)\cap J(f')=\emptyset$ ?
where $J(f)$, ($J(f')$) is the Julia set of ...

**-1**

votes

**0**answers

21 views

### Total differential of a two dimensional convolution [on hold]

I have two functions h(x,y) and g(x,y). I need to show that the total derivative of their convolution results in
$$
d(h ...

**6**

votes

**1**answer

52 views

### Detecting positive endomaps of the formal reals

A locale is a sort of "formal topological space", which "may not have enough points to separate its open sets". For instance, there is a "locale of all real numbers that are both rational and ...

**10**

votes

**1**answer

142 views

### Does stationary reflection imply Mahloness?

Suppose $\kappa$ is strongly inaccessible and every stationary subset of $\kappa$ reflects. Must $\kappa$ be Mahlo?
Remarks:
It is possible for every stationary subset of $\kappa$ to reflect, but ...

**5**

votes

**1**answer

147 views

### From polynomial ideal over $\mathbb{Q}$ to polynomial ideal over $\mathbb{Z}$

Is there an algorithm to compute, given a polynomial ideal $I\subset \mathbb{Q}[x_1,\dotsc,x_n]$, the ideal $I\cap \mathbb{Z}[x_1,\dotsc,x_n]$ in $\mathbb{Z}[x_1,\dotsc,x_n]$?
The input and ...

**2**

votes

**0**answers

76 views

### Is the stack of varieties with a big line bundle algebraic

In Starr's paper https://www.math.stonybrook.edu/~jstarr/papers/moduli4.pdf the folk result that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper ...

**-2**

votes

**0**answers

31 views

### Can somone explain a global cascade condition in plain english? [on hold]

Details here: https://en.wikipedia.org/wiki/Global_cascades_model#Global_cascades_condition
If I have a hierarchical structure, what is the required number of nodes / clusters of nodes required to ...

**2**

votes

**1**answer

36 views

### Connes Embedding Conjecture and Fusion Categories

I was recently introduced to Connes' Embedding Conjecture (CEC) which states:
Every separable type $II_{1}$ factor is embeddable into $R^{\omega}$. Where $\omega$ is a generic free ultrafilter on ...

**2**

votes

**1**answer

45 views

### A relative property gamma and $L(\mathbb F_2)$

Given any unital non-commutative subalgebra $\mathcal M$ of $L(\mathbb F_2)$ is it true that $\mathcal M' \bigcap L(\mathbb F_2)^\mathcal U = \mathbb C I$ for any free ultrafilter $\mathcal U$?

**2**

votes

**1**answer

73 views

### Are most random variables trivially sub-gaussian? [on hold]

I'm trying to understand sub-gaussian RVs to see if they could be relevant to my work.
The common definition of a sub-gaussian RV is the following. X is $\sigma$ sub-gaussian if its laplace transform ...

**3**

votes

**1**answer

121 views

### Isotrivial families with non-zero Kodaira spencer map

Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this ...

**4**

votes

**1**answer

94 views

### The term $H^1(N,A)^{G/N}$ in the inflation-restriction exact sequence

[a repost from SE due to the lack of response]
Given a group $G$, let $A$ be a $G$-module and let $N\trianglelefteq G$.
If I understand it correctly, the superscript "G/N" in the third term of the ...

**2**

votes

**0**answers

9 views

### Variance of a functional of transition probabilities using spectral gap of Markov chain

Consider an irreducible, aperiodic, time-reversible, discrete-time Markov chain on a finite state space $S$ whose Markov kernel is $K$ and unique stationary distribution is $\pi.$ Then, reversibility ...

**2**

votes

**1**answer

49 views

### How to associate a proper parabolic subgroup of a real s.s Lie group $G$ to a non-trivial unipotent element in a non uniform lattice in $G$?

Let $G$ be a real semi-simple Lie group. Let $\Gamma$ be a non-uniform lattice in $G$.
Then it is known that $\Gamma$ contains a non-trivial unipotent element. When $\mathbb{R}$-rank of $G$ is 1, it ...

**4**

votes

**0**answers

71 views

### presentations of subalgebras

Assume that I have a finitely presented algebra $A$ over the complex numbers (by which I mean that $A$ is generated over $\mathbb{C}$ by finitely many elements $x_1,...,x_n$ subject to finitely many ...

**4**

votes

**2**answers

78 views

### Surgery along an arc connecting the components of a $2$-component link gives the unknot

Math Overflow seems to have a dearth of low dimensional topology, but this seems like an interesting question. Let $L$ be a $2$-component link in $S^3$. Suppose that there is a framed arc joining the ...

**2**

votes

**0**answers

31 views

### question about the group completion of a simplicial monoid

In Daniel Quillen, On the group completion of a simplicial monoid pdf, MIT preprint 1971, Memoirs of the AMS vol 529, 1994, pp. 89-105, I do not understand the following part with question mark
...

**0**

votes

**1**answer

47 views

### A group topology which commutes with closed subgroups

For a topological group $(G,\mathcal T)$ and a subgroup $H\le G$, we say $\mathcal T$ and $H$ are permutable if for every neighborhood $U$ of $1$, there is a neighborhood $V$ of $1$ with $VH\subseteq ...

**16**

votes

**2**answers

1k views

### Distributing points evenly on a sphere

I am looking for an algorithm to put $n$-points on a sphere, so that the minimum distance between any two points is as large as possible.
I have found some related questions on stackoverflow but ...

**-4**

votes

**0**answers

97 views

### If wolfram rule 110 is universal , does it mean it can solve mathematical equations? [on hold]

Stephan wolfram states that Rule 110 in Elementary Cellular Automata is computational universal .
Does it mean that it can solve mathematical equations , like the quadritic equations ???
And if it ...

**8**

votes

**0**answers

165 views

### Coherent cohomology of the moduli space of curves

Is $H^i\left(\overline{\mathcal M}_g, \mathcal O_{\overline{\mathcal M}_g}\right)$ nontrivial for any $i>0$ and any $g$?
I was not able to find literature on this after searching for a bit, ...

**0**

votes

**1**answer

71 views

### quasi-projective and separated as topological properties

Let $X$ be a non-reduced noetherian scheme over $\mathbb{Z}$ or $\mathbb{C}$. Assume that $X^{red}$ is quasi-projective and separated, does the same hold for $X$ ?
(By the way, projective implies a ...

**-1**

votes

**0**answers

52 views

### Neighborhoods of a point in fppf topology

Does every point of a scheme (say over a dvr) have an irreducible neighborhood for fppf topology?

**5**

votes

**0**answers

90 views

### Is this (funny) combinatorial optimization problem NP-hard ? (cutting numbers and placing them in urns)

The parameters of the problem are $m$ numbers which are integers (these numbers are denoted $b_i$), $n$ urns and in each urn, we can place $C$ numbers. We assume $nC \geq m$ so that the problem is ...

**1**

vote

**0**answers

44 views

### Terminology for polygons

As you may know term "polygon" might mean few different things
and its meaning has to guessed from context.
By some reason I have to use few of these meaning in one place.
So I converge to the ...

**3**

votes

**1**answer

38 views

### Matroids similar to the cycle matroid

Let $G=(V,E)$ be a graph (loops and multiple edges are permitted). Three following systems of dependent sets in $E$ define matroids:
1) Set $A\subset E$ is dependent if $A$ contains cycle. This is a ...

**2**

votes

**1**answer

40 views

### Coupled differential equations

I'm looking at the following coupled set of differential equations. Because of the symmetry, I'm hoping to be able to write down the solution for $x_n(t)$ and $y_n(t)$ in terms of $f(t)$ and $g(t)$, ...

**1**

vote

**0**answers

105 views

### Why only Normed Linear Spaces? [on hold]

It is well known that "Norm on a vector space can be used to obtain a metric on that space."
I think easily we can generalize the notion of norms to groups and rings.
My questions are,
Why ...

**2**

votes

**0**answers

31 views

### Decomposition of the space according to the Ergodic Theorem

Given a space $(X, T)$, it is well known that for every $T$-invariant ergodic measure $\mu$, there exists a set $E_\mu$ of $\mu$-measure $1$ s.t. for every "nice" function $f$
$$ ...

**2**

votes

**0**answers

25 views

### A Feynman-Kac style derivation of a survival probability of a Compound Poisson process

Let $$R_t = u + \beta t - \sum^{N_t}_{i=1}U_i$$where $u\geq 0$, $\beta > 0$, $N_t$ is a Poisson counting process with intensity $\lambda$ and $U_i$ are jumps having a probability density $\nu(y)$ ...

**1**

vote

**0**answers

34 views

### Root number of an anticyclotomic twist

Let $\lambda$ be a self-dual Hecke character over a CM field $K$ with root number $-1$. How to show the existence of a finite order anticyclotomic Hecke character $\chi$ over $K$ such that the twist ...

**3**

votes

**1**answer

71 views

### Any formula for the partial sum of a remainder series?

Let $N \ge 1$ be an integer, and there is a series $ \{ N \mod 1, N \mod 2, ... , N \mod i, ... \}$. Obviously when $i \gt N+1$, the series will become $\{N, N, N, ..., \}$. So only take $i \le N$ ...

**4**

votes

**1**answer

109 views

### Can we always add sets without collapsing cardinals or adding [very] bounded sets?

Given a model of $\sf ZFC$, and an infinite ordinal $\alpha$. Can we prove that there is always a cardinal $\kappa$, and a forcing $\Bbb P$, such that:
$\Bbb P$ does not add sets of rank ...

**3**

votes

**3**answers

285 views

### Genus of a plane curve of the form $\prod_{i=1}^n (a_iX+b_iY+Z) = Z^n$

Does anybody know the genus of the following (projective) plane curve?:
$$\prod_{i=1}^n (a_iX+b_iY+Z) = Z^n$$
where the $a_i$'s and the $b_i$'s are complex numbers with $a_j \ne a_i\ne b_i \ne b_j$ ...

**1**

vote

**1**answer

87 views

### Purely inseparable field extensions of degree p

Take a field $k$. If $k'/k$ is a field extension of degree $p$, it is known that there are many possibilities for the isomorphism class of $k'$. See
...

**2**

votes

**0**answers

79 views

### What's the relationship between the different versions of the BBD decomposition theorem?

I have a few questions relating to the BBD decomposition theorem.
I have come across the following two versions of the decomposition theorem.
Version 1. Let $f : X \to Y$ be a proper map of ...

**-1**

votes

**0**answers

27 views

### Angle sum of triangle in Schwarzschild solution [on hold]

Curvature of space is often intuitively explained as angles of a triangle not adding up to 180 degrees. I was wondering how well that applies in the context of General Relativity.
Suppose you have a ...

**8**

votes

**2**answers

309 views

### Witten's proof of Morse inequalities, question on eigenvalues?

See here. I present Theorem 6 and Corollary 7 as follows.
Theorem 6. For large $s$, $\Delta_s$ and $H$ have the same number of eigenvalues in the interval $[0, s^{-2/5}]$.
Corollary 7. $\dim ...

**0**

votes

**1**answer

75 views

### Adjointable Abelian Monoidal Functor

Given two abelian monoidal categories ${\cal C,D}$ (where the monoidal operation is bilinear) and an additive monoidal functor $F:{\cal C} \to {\cal D}$. Will $F$ always admit an adjoint?

**2**

votes

**1**answer

80 views

### Does the following characterize local presentability?

Let $\mathcal C$ be a cocomplete category. Consider the following two conditions:
$\mathcal C$ is locally presentable.
The Yoneda embedding $$\mathcal C \hookrightarrow \{\text{continuous functors ...

**0**

votes

**1**answer

196 views

### Are there infinitely many $k$ for which $\frac{\sigma(k)}{k}=n^p$ and $p$ is an odd prime? [on hold]

I would like to know if there are infinitely many $k$ for which $$\sigma(k)/k=n^p$$ such that $m=k{n}^{p-1}$ with $m,n>0$ and $p$ is an odd prime?
Note: $\sigma(\frac{m}{{n}^{p-1}})$ is the sum of ...

**2**

votes

**1**answer

89 views

### Counting elements with certain word length in abelian groups

Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...

**6**

votes

**1**answer

143 views

### Frobenius $A_{\infty}$-bialgebras?

Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...

**2**

votes

**1**answer

380 views

### Weierstrass form of genus one $y^{10} z^{30} - 8000 y^{4} z^{20} + 12800000 z^{20} + 1600 y^{2} z^{10} - 64=0$

Related to the n-conjecture.
We are looking for Weierstrass form and map from it of the genus one curve:
$$ y^{10} z^{30} - 8000 y^{4} z^{20} + 12800000 z^{20} + 1600 y^{2} z^{10} - 64=0 $$
It is ...

**2**

votes

**2**answers

132 views

### Divisibility among discriminants

Let $f(x)$ be an algebraic function over the field $\mathcal F$ of algebraic numbers over $\mathbb{Q}$. Suppose that $r \in \mathcal F$. Does the discriminant of $f(r)$ divide the discriminant of ...

**3**

votes

**0**answers

77 views

### Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...

**2**

votes

**0**answers

65 views

### cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...