4
votes
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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, ...

15 30 50 per page