2
votes
0answers
31 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 it is shown that the fibred category of pairs $(X\to S, L)$, where $S$ is an affine scheme, $X\to S$ is flat proper finitely ...
2
votes
0answers
25 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$?
1
vote
0answers
27 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 ...
2
votes
1answer
61 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
1answer
40 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
55 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 ...
1
vote
0answers
43 views

Are most random variables trivially sub-gaussian?

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 ...
2
votes
0answers
27 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 ...
-1
votes
0answers
17 views

Total differential of a two dimensional convolution

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 ...
0
votes
1answer
35 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 ...
3
votes
0answers
66 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 ...
6
votes
0answers
117 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, ...
-4
votes
0answers
90 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 ...
3
votes
1answer
33 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 ...
1
vote
0answers
39 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 ...
5
votes
0answers
73 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
votes
0answers
39 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?
0
votes
1answer
62 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 ...
2
votes
1answer
33 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)$, ...
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
1answer
46 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
22 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)$ ...
2
votes
0answers
23 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$ $$ ...
1
vote
0answers
98 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 ...
1
vote
0answers
32 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
64 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$ ...
9
votes
1answer
125 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 ...
6
votes
0answers
44 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 ...
2
votes
0answers
74 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 ...
3
votes
3answers
279 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$ ...
4
votes
1answer
98 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 ...
1
vote
1answer
86 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 ...
0
votes
1answer
71 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?
8
votes
2answers
301 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 ...
1
vote
0answers
70 views

Questions about “On the homology of configuration spaces”

In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, Section 2.5, line 6 - line 8: Question: How to prove this claim? My attempt: I tried to prove that when ...
-1
votes
0answers
24 views

Angle sum of triangle in Schwarzschild solution

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 ...
2
votes
1answer
85 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, ...
2
votes
1answer
77 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 ...
2
votes
1answer
371 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 ...
3
votes
0answers
73 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
63 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, ...
0
votes
1answer
184 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
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 ...
6
votes
1answer
142 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 ...
0
votes
0answers
39 views

How to find PDF of ordered random variables? [on hold]

Assumpion: Let $X_1, X_2, \ldots, X_L$ be $L$ independent and identical random variables (RVs). Let $F_{X_i}(x_i)$ and $f_{X_i}(x_i)$ be CDF and PDF of $X_i$. Suppose that $F_{X_i}(x_i) = F_X(x_i)$ ...
1
vote
0answers
36 views

concentration inequalities for quadratic forms of correlated random vectors

Let $\mathbf{n}$ is a Gaussian random vector with mean $\mathbf{0}$ and co-variance matrix $\mathbf{H}$. Let $\mathbf{r} = Sign(\mathbf{n})$, where $Sign(n_i) = 1$ if $n_i>0$ and $Sign(n_i) = -1$ ...
0
votes
0answers
62 views

Hilbert scheme of relative subschemes of lenght 2

Let $\mathfrak X \rightarrow S$ a smooth projective family over the spectrum of a dvr. We know that $(\mathfrak X _{\eta_R})^{[2]}$ and $(\mathfrak X _{p})^{[2]}$ are smooth, where $p$ is the closed ...
12
votes
0answers
190 views
+500

Separating pure states on the $2\times 2$ matrix algebra

I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help. Let $\mathcal{A}$ be the C*-algebra of ...
1
vote
0answers
97 views

A true statement about sets; expressible? [on hold]

For any pair $(x,y)$ of sets, we obtain a unique set $z=F(x,y)$ by letting $F(\emptyset,y)=y$ and $F(\{x_i\}_{i\in I},y)=\{F(x_i,y)\}_{i\in I}$ if $I\ne\emptyset$ (the recursion eventually reaches the ...
4
votes
0answers
58 views

Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property? This would follow if ...

15 30 50 per page