0
votes
1answer
71 views
Numerical multivariate definite integration
I need to compute a set of multivariate definite integrals with infinite integration domain
$$\displaystyle \int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} f(x_1,x_2, \ldo …
4
votes
5answers
1k views
totally disconnected and zero-dimensional spaces
When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: coverin …
1
vote
1answer
16 views
Construction of an integral point set given the set of distances ,its minimal description so as to get a measure of its complexity and its unique identifier.
Given a set of distances between every pair of points of an integral point set P of n points; say
D = {${d_i}$}
Q1. What is the least time complexity
possible/known for …
3
votes
1answer
101 views
What new primitive recursive functions are needed to reconcile Turing time complexity with Godel time complexity?
Let me begin with an example.
Consider the computable function $f(x) = 2x$. A Turing machine can implement this function in $O(|n|)$ steps: simply walk to the end of the input st …
7
votes
1answer
74 views
Intersection of localization with finitely generated subalgebra of fraction field
Let $R$ be a (commutative) noetherian integral domain. Let $I$ be a prime ideal of $R$. Let $S$ be a finitely generated $R$-subalgebra of $\mathrm{Frac}(R)$.
Is $S \cap R_I$ nece …
3
votes
1answer
48 views
Proper-class sized “ring” with no maximal ideals
Suppose I have a collection of "elements" together with operations that satisfy the axioms for a commutative ring with identity --- except that these elements form not a set, but a …
0
votes
1answer
45 views
For any n and some prime p there is an elemnet in Zp* of order n
How can I prove, that for any positive integer $n>0$ there is a prime $p$, such that the multiplicative group of the residue ring $Z_p^*$ contains an element $a$ of order $n$? No i …
16
votes
8answers
1k views
How many proofs that $\pi_n(S^n)=\mathbb{Z}$ are there?
Offhand I can think of two ways in classical homotopy theory:
Show that $\pi_k(S^n)=0$ for $k\lt n$ by deforming a map $S^k\to S^n$ to be non-surjective, then contracting it away …
1
vote
1answer
30 views
Finite generation of the commutator subgroup of the pure braid group
Let $PB_n$ be the pure braid group on $n$ strands. The group $PB_n$ has every conceivable finiteness property. Also, it has a large abelianization. My question is whether the co …
4
votes
0answers
35 views
What makes the Cartier operator “tick”?
Let $C$ be a smooth curve over a finite field of characteristic $p$. Let $t$ be a local parameter at a point. If $f$ is a regular function on a neighbourhood of the point, one can …
0
votes
0answers
9 views
Distribution of a Ratio of Correlated Gamma Random Variables
If X distributed as Γ(a,σx) and Y distributed as Γ(b,σy). What will be the probability density function of R? Where R=X/Y+C, here C is a positive constant, Γ(.,.) denotes standard …
2
votes
2answers
127 views
When an exact embedding of abelian categories induces a full embedding of their derived categories?
Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also?
I would be interested in any neces …
-1
votes
1answer
55 views
Dominant morphism of Affine Scheme
Suppose to have $\phi$ a ring morphsim from $A$ to $B$, let $X=SpecA$ , $Y=SpecB$ and $\psi$ the induced morphism of affine schemes. It's true that if $\psi$ dominant than $\phi$ …
1
vote
0answers
21 views
Local components of quaternionic modular forms
Let $D$ be a totally definite quaternion algebra over a totally real number field $F$. Let $U$ be an open compact subgroup of $D(\mathbb{A}_F)^\times$, maximal compact almost every …
1
vote
2answers
864 views
Has the Fundamental Theorem of Algebra been proved using just fixed point theory? [closed]
Background:
This question is related to a proof offered by Gian Maria Dall'Ara.
In Ways to prove the fundamental theorem of algebra (FTA), he formulates the FTA as:
Every c …

