0
votes
0answers
11 views

Euclid vs Eratosthenes

Very little is known about Euclid's life--much less than about other famous ancient Greek mathematicians, which is puzzling. It is also strange to me that Euclid didn't write about the Eratosthenes ...
0
votes
0answers
4 views

Has a continuous map from $\kappa^\omega$ to $[0,1]^\omega$ a non-scattered fiber?

Question. Let $\kappa>\mathfrak c$ be a cardinal endowed with the discrete topology and $f:\kappa^\omega\to[0,1]^\omega$ be a continuous map. Is there a point $y\in[0,1]^\omega$ whose preimage $f^{-...
0
votes
0answers
11 views

Normalizing factor in Reciprocity of traces of Frobenius with solutions of equations mod p

One kind of Reciprocity tells us that we can count solutions to polynomial equations over finite fields and relate them to traces of Galois Representations with some normalization factor. For ...
2
votes
0answers
27 views

Meaning of the support property in the definition of Bridgeland stability condition

Let $(Z,\mathcal{P})$ be a Bridgeland stability condition on a triangulated category $\mathcal{C}$. It is said to satisfy the support property if there exists a norm on $K(\mathcal{C})\otimes_\mathbb{...
1
vote
1answer
56 views

Krull-dimension of local domain

Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated. ...
-2
votes
0answers
27 views

How do I figure out the next number in these series of numbers? [on hold]

I tried everything but I guess I am struggling and I am stumped what number comes next in the sequence. Hints or tips about how to go about this because I am not seeing this. I tried calculating the ...
0
votes
0answers
33 views

(Dynamical) mean field theory for mathematicians?

I am looking for a readable introduction/tutorial on dynamical mean-field theory, written for someone who doesn't know anything about particle physics. My physics background is non-existent beyond ...
2
votes
0answers
61 views

Inverse limit of Noetherian rings

Let $R_i$ be a noetherian regular local ring of Krull dimension being finite. Suppose we are given a surjective homomorphism $\phi_{i,j} \colon R_{j} \twoheadrightarrow R_i$ for each $i,j$ with $j >...
0
votes
1answer
32 views

Parametric solutions to a system of equations

Let $s,t$ be two independent real parameters, and let $a_2(s,t), a_1(s,t), a_0(s,t)$ be linear forms in $s, t$ with real coefficients. Put $a_4 = s, a_3 = t$ and consider the quadratic form $$\...
-4
votes
0answers
99 views

What is geometry? [on hold]

I wish to know what geometers and other mathematicians consider geometry. Wikipedia defines geometry as "concerned with questions of shape, size, relative position of figures, and the properties of ...
-5
votes
0answers
57 views

Does the group Aut(M) preserve every Dedekind Zeta function?

Foreword: This excerpt of a paper of mine aims at introducing the concept of automorphism of an L-function, where by L-function we mean any element of the Selberg class that is also an automorphic L-...
0
votes
1answer
34 views

Hamiltonian potential invariant under lie group action?

Let $(M,g)$ be a riemannian manifold and $G$ a Lie group acting on $M$ by isometries. Taking a $G$-invariant function $f\colon M \to \mathbb{R}$, we have the riemannian gradient $\operatorname{grad} ...
0
votes
0answers
27 views

Can all Local Martingales Be Represented using Only Brownian Motion and Finite Variation Processes?

This is a cross-post of my unanswered (more than a week) question on Math.SE. Since it covers topics from my graduate-level course on stochastic processes, I thought it might be appropriate to try to ...
2
votes
1answer
119 views

A kind of saturation property related to forcing notions

Forcing is typically done over well-founded models. There are lots of good reasons for this, but it can feel confining at times. Fortunately, we can equally well force over non-well-founded models! It ...
3
votes
0answers
50 views

Solving matrix equation $X^{-1}=\sum_{i=1}^n D_i X A_i$

Does anybody know an algorithm to solve the following matrix equation? $$X^{-1}=\sum_{i=1}^n D_i X A_i$$ where $D_i$s are diagonal and $A_i$s are symmetric matrices.
1
vote
0answers
31 views

Banach spaces: A ball being a subset of the interior of the union of two balls

Let $X$ be a separable reflexive Banach space and let $A$, $B_1$, and $B_2$ be three closed balls in $X$. Is there a `handy' necessary and sufficient condition for checking whether $A \subseteq (B_1 \...
0
votes
0answers
10 views

Expected value of stochastic process [migrated]

How can i calculate the expected value of $$S_t= S_0 \exp\left( mt-\frac12\int_{0}^{t}e^{2Y_s}ds+\int_{0}^{t}e^{Y_s}dB_s\right)\quad $$ where $${Y_t}$$ is the solution of a sde and follows tha normal ...
0
votes
0answers
67 views

Dirac functional embedding [on hold]

I got the following set up: Let $S \neq \emptyset$ equiped with the discrete topology and let $\ell_\infty(S) = \{f: S \to \mathbb C \mid f \text{ bounded}\}$. Not $\ell_\infty(S)$ with the pointwise ...
4
votes
1answer
87 views

Bernstein sets of large cardinality

A metrizable space $X$ will be called a generalized Bernstein set if every closed completely metrizable subspace $C$ of $X$ has cardinality $|C|<|X|$. It is well-known that the real line contains ...
2
votes
0answers
31 views

$TSU(n)$ completely integrable with 3 $SU(2)$ invariant functions?

Consider the Lie group $SU(n)$ endowed with the standard bi-invariant metric. Then $SU(n)$ can be viewed as a symmetric space of $K_{n,n} := SU(n) \times SU(n)$. Define $M := K_{n,n} /SU(n)$. Using ...
3
votes
1answer
232 views

History of the notation for substitution

One of the very common notations for syntactic substitution is $[\ /\ ]$. There seems to be a large inconsistency in the literature about its use. Many write $[t/x]$ for substitute $t$ for $x$ (e.g. ...
2
votes
1answer
112 views

Tensor and symmetric invariants of Symmetric group

For the action of $S_n$ on $\mathbb C^n$ the elementary symmetric polynomials generate the ring of polynomial invariants. What are the generators for the action of $S_n$ on $\mathbb C^n \otimes \...
0
votes
0answers
58 views

Find equidistant points on surface of sphere [on hold]

Given a sphere, find the maximum number of points can be placed on the surface of the sphere such that all are equidistant from each other. I am not at all good in maths. Please let me know what can ...
2
votes
1answer
145 views

Left adjoint to Double Nerve?

The well known nerve functor from small categories to simplicial sets has a left adjoint, namely the fundamental category functor. Does the double nerve functor $N^2:2Cat\rightarrow sSSet$ from 2-...
1
vote
1answer
136 views

Evaluation of sum of factorials

Is there an evaluation of this sum (possibly involving gamma functions)? $k$ and $n$ are natural numbers and $x$ is real with $0<x<1$. $$ \sum_{\substack{k=0\\n-k\text{ even}}}^n \frac{(-1)^{(n-...
2
votes
0answers
41 views

Approximate unit in C*-algebra with additional properties

In the book about K-theory (a friendly approach) by Wegge and Olsen I came across the following notion: in Lemma 16.4 authors assume that the $C^*$-algebra $A$ possess "(commuting) approximate unit $(...
1
vote
1answer
221 views

$G_1 \rtimes G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? $G_1 \times G_2 \cong G_3 \implies BG_1 \times BG_2 \simeq BG_3$? [on hold]

As summarized in the title, suppose there is an isomorphism between $G_1 \times G_2$ and $G_3$, is it always true that $BG_1 \times BG_2$ is homotopy equivalent to $BG_3$? If it is not always true ...
1
vote
2answers
67 views

Concentration of matrix norms under random projection.

Let X be a given matrix of dimension $p \times q$. Let $G$ be a $s \times p$ dimensional matrix of standard normal/Gaussian random variables. Are there cases where one can been able to quantify $...
3
votes
0answers
50 views

Do the normal forms for braid groups really conceal information about better than randomly applying the braid relations?

In braid based cryptography, one typically wants to conceal the way a certain braid $b$ has been obtained. One therefore puts $b$ into some normal form. Since every braid has a unique normal form, the ...
7
votes
0answers
118 views

What is the smallest density of a metrizable space without countable separation?

A Tychonoff space $X$ is defined to have countable separation if some (equivalently, any) compactification $bX$ of $X$ contains a countable family $\mathcal U$ of open sets such that for any points $x\...
2
votes
1answer
83 views

If a Weyl element preserves a root, then it has a representative which preserves the root space?

Let $G$ be a reductive group defined over a field $F$. Let $\Sigma$ be the set of roots of $G$ with respect to a Borel subgroup $B=TU$ with torus $T$. Let $W=N_G(T)/T$ be the Weyl group of $G$. For $\...
0
votes
0answers
27 views

Basic Definition and Notations in RWRE [on hold]

From the definition of Zeitouni's lecture notes on RWRE: $(V, E)$ is a special graph, and $N_v:= \{k \in V: (v,k) \in E\}$ is the neighborhood of $v \in V$. $\Omega = \prod_{v \in V} M_1(N_v)$ ...
0
votes
0answers
111 views

Ring structure on cohomology of groups

Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...
-1
votes
0answers
21 views

Closed form formula for fill rate given a discrete distribution? [on hold]

I'm wondering whether there is a closed form way to obtain good estimates for fill rate given a discrete distribution of demand. I created a simple monte carlo simulation to see if I could see any ...
-1
votes
0answers
62 views

A rash guess about distribution of primes based on meager empirical evidence?

Elementary number theory is a field in which imbeciles can ask questions that experts cannot answer (and I wonder if discrete geometry is a similar subject in that respect?) and herewith I submit ...
2
votes
1answer
141 views

Resolution of the ideal of the Abel-Jacobi image of a curve?

Let $C$ be a complex curve of genus $g\ge 2$ and let $a\colon C\to J(C)$ be the Abel-Jacobi map. Is there a finite resolution of the ideal $\mathcal I_{a(C)}$ whose terms are sums line bundles of the ...
-3
votes
0answers
26 views

function mapping odd numbers to counting numbers [on hold]

Mapping even numbers to counting numbers is straight forward. Without introducing any other variable: i = 0, 2, 4, 6, . . . if i > 0: count = i/2 what about ...
-4
votes
0answers
26 views

similarity metric for geometries [on hold]

I'm searching for a method to calculate the degree of similarity of two given geometries. These geometries can be of any type and can have an arbitrary shape. For the sake of simplicity, I primarily ...
0
votes
0answers
157 views

Can some exotic sphere be diffeomorphically embedded into some $R^n$?

Can some (or perhaps every) exotic sphere be diffeomorphically embedded into some $R^n$? How does such an embedding (if it exists) look like? I.e., what are the equations for a particular embedding? ...
-4
votes
0answers
61 views

A property of minimal prime ideals [on hold]

Let $R$ be a commutative ring with $1$, and let $p$ be a minimal prime ideal of $R$. If $p\subseteq I_1+ I_2$, where $I_1$ and $I_2$ are two ideals of $R$, can we deduce that $p\subseteq I_1 $ or $...
0
votes
1answer
69 views

Exact formula for computing n-step transition probability of random walks with self-transitions

Consider a semi-infinite random walks $X_n$, $n=0,1,2,\ldots$, whose state space is a set of consecutive integers and whose one-step transition probabilities are $P_{ij}=\mathrm{Pr}\{X_{n+1}=j|X_n=i\}$...
5
votes
1answer
159 views

Bijection modeling isomorphism of infinite-dimensional vector spaces

Let $T : V \to W$ be an isomorphism of vector spaces with bases $B_V$ and $B_W$, which may be of any cardinality. Does there exist a bijection $f : B_V \to B_W$ such that, for each $b_V \in B_V$,...
2
votes
1answer
158 views

Cambridge Mathematical Tripos papers from late 19th century

Are the scanned images of Cambridge Mathematical Tripos papers from late 19th century available anywhere on Internet?

15 30 50 per page