All Questions

5 views

Finding Distance with Missing Coordinate Set

I have a line that runs through the orgin with a slope of 2, with a distance of 5 from the orgin what are the coordinates and how did you solve? I did some searching online and only found lectures on ...
6 views

Relation between long exact sequences and Derived functors

I know that if i have a short exact sequence of chain complexes $$0\rightarrow A\rightarrow B\rightarrow C\rightarrow 0$$ then i can extend it to long exact sequence of homology groups as ...
3 views

impossibility and mode of convergence

I have $\mathrm{Pr}(a>b)=0$ with $b\in[0,\infty]$, then can i have $a<0$? If this is true, which type of convergence is this?
49 views

Any result, example or conjecture about the computational complexity of transcendental number that can not be computed by linear time Turing Machine

The Hartmanis-Stearns Conjecture is restated by Prof.Lipton as: Suppose that a linear time Turing Machine computes the first $n$ digits of the real number $r$ in base ten. Then, the number is either a ...
99 views

Are the quaternions not uncountably categorical?

Boris Zilber has argued that the field of the complex numbers is "logically perfect". For one thing, the theory of an algebraically closed field of characteristic zero is uncountably categorical: it ...
85 views

Probing the generalization of the abc conjecture to more than 3 variables

Browkin and Brzezinski, in "Some remarks on the $abc$-conjecture", Math. Comp. 62 (1994), no. 206, 931–939, state the following generalization of the $abc$ conjecture to more than three variables: ...
38 views

Are there any relevance between coefficients of simple continued fraction of quadradic algebraic number and algebraic number with degree $2^n$

Let $\sqrt{c}$ be quadratic algebraic number, We know that $[a_0;a_1,a_2,\dots ]$ the coefficients of simple continued fraction of $\sqrt{c}$ the quadratic algebraic number is periodical. ...
99 views

In "On the Groups J(X) - IV", Adams introduces the $e$-invariant, which turns out to be closely connected to the image of the $J$-homomorphism, but he introduces it in a more general setting. He has ...
30 views

Completely positive maps-equivalent definition

The most usual definition of the completely positive map (c.p.) between two C*-algebras (say, unital) is the following: $\sigma: A \to B$ should satisfy $\sigma(1)=1$ and for each $n \in \mathbb{N}$ ...
77 views

Numbers half way between two primes [on hold]

Is every integer greater than 3 half way between two primes?
66 views

varieties whose canonical bundle has finite order in Pic?

Is there a structure theorem for such varieties? If X is a smooth and proper/projective variety whose canonical bundle $\omega_X$ has finite order in the Picard group, do we know anything about X? ...
76 views

Cubic fields correspond to $3$-torsion ideals in quadratic fields, or to order $3$ characters of quadratic class groups?

I was watching Dick Gross's laudation for Manjul Bhargava, followed up by one of Bhargava's talks, and I realized I was confused about something. Bhargava says (around 21 minutes) that the orbits of ...
25 views

Adjoint quotient in terms of a Chevalley basis

Has anyone put the adjoint quotient (of a Lie algebra) in terms of a Chevalley basis? If so, do you have a reference?
94 views

Quotes from Connes

I found the following remark by Connes HERE: "the main quality of the homotopy type of a manifold is to satisfy Poincare duality not only in ordinary homology but in K-homology with the Fredholm ...
59 views

Can Suslin lines ever be orderings of abelian groups?

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way? Let $\mathcal{C}$ be a class of ...
183 views

Elliptic curves with trace of Frobenius values always congruent to 0 modulo 2

Let $E/\mathbb{Q}$ be an elliptic curve and suppose that the trace of Frobenius values are such that $a_{p}(E) \equiv 0 \pmod{2}$ for all odd primes avoiding the conductor. Is it the case that $E$ ...
134 views

Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$. Is $|\frak T|\le |\Bbb R|$?
136 views

When are two algorithms essentially the same?

Inspired by Blass/Dershowitz/Gurevich's paper When are two algorithms the same? (which was referenced in another context here) I tried to boil down the question to the following situation: Consider ...
172 views

construction of nonmeasurable sets

I have a history question for which I've had trouble finding a good answer. The common story about nonmeasurable sets is that Vitali showed that one existed using the Axiom of Choice, and Lebesgue et ...
36 views

Conditional probabilities in epidemic model

I was contemplating an epidemic model where infection and recovery rates are determined by links. Here node $i$ is infected first and recovers at a rate $\mu_i$. For all other nodes, the recovery is ...
57 views

Bound for an integral in complex analysis

Define $S^1:=\{z\in \mathbb C: |z|=1\}$ and suppose $f(z)=\frac{1-\overline{\lambda} z}{\lambda-z}$ for some $\lambda \in \mathbb C, |\lambda|<1.$ Let $z_0$ be the fixed point of $f$ in $S^1$ and ...
84 views

Dimension of Commutator Space

For each $n\times n$ matrix $A$ with real entries the set $$C(A)=\{X\in M_n(\mathbb{R}): AX=XA\}$$ is obviously a linear subspace of $M_n(\mathbb{R})$. Can we recognize the dimension of this ...
36 views

Image of the typenorm contains the squares

I am having a look at the paper Explicit CM-theory for level 2-structures on abelian surfaces by Bröker, Gruenewald and Lauter, and there is an argument which I don't understand. The main reason being ...
57 views

Is there an example of an SDE that has no weak solution?

So far I couldn't find an example for an SDE for which there exists no weak solution. Do you know one?
69 views

Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...
56 views

Existence of affine hulls

(This question is inspired by Matthieu Romagny's answer to my previous question about base change properties of affine hulls.) Given a scheme $S$, it is well-known (cf. EGA I.9.1.21) that the ...
34 views

Parallel transport along a reparametrized geodesic

Let $M$ denote a Riemannian manifold, $\gamma$ a geodesic of $M$ defined on $\mathbb{R}$. Let $t_{0} \in \mathbb{R}$ and $(\alpha,\beta) \in \mathbb{R}^{2}$. I define the reparametrized geodesic ...
50 views

Cover a set with balls centered at smooth functions (Ascoli theorem)

Assume $M$ to be a compact $n$-dimensional manifold, endowed with a complete metric. Let us consider the space $C^\infty(M)$ endowed with the standard $C^\infty$ topology, i.e. generated by the ...
77 views

A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$. Question: Is it possible ...
32 views

Good Intermediate text on ODEs for self-study (meaning solved problems) [on hold]

So I am just about to finish Tenenbaum and Pollard's introductory text on ODEs and I wanted to go to the next level. I am doing this as a self-study, so I really appreciate the fact that T&P have ...
22 views

Properties of rearrangement maps

I have the following question to ask, concerning some properties of Schwarz radially decreasing rearrangements. It is well known that the map $u\rightarrow u^{\ast}$, being $u^{\ast}$ the Schwarz ...
69 views

Decay rate of the convolution of two functions

Let $f(x)=e^{-\frac{x^2}{2}}$ ($x\in\mathbb{R}$), and $g\in C^{\infty}(\mathbb{R})$ with $|g(x)|=O(e^{-k|x|^{\gamma}})$ as $|x|\to\infty$, for $k>0$, $\gamma>0$. Let $h=f*g$, the convolution of ...
67 views

Sums of $n$ powers [on hold]

I managed to resolve that $s(n) = 1^2+2^2+3^2...+n^2 = \dfrac {n(n+1)(2n+1)}{6}$ where $n$ is integer But I'm a bit confused how to resolve: $s(n,p) = 1^p+2^p+3^p...+n^p$ where $n$, $p$ are ...
166 views

Artin L-function and Zeta function of twisted Dirac operator

If one thinks of a Frobenius as an element in the fundamental group of an arithmetic curve and of a Galois representation $\sigma$ as a flat connection on the curve, then the definition of the Artin ...
47 views

Coloring summands of given n-partition with given weights of colors

Let $\lambda$ and $\sigma$ be n-partitions $\lambda_1+\lambda_2+\cdots+\lambda_l=n$ and $\sigma_1+\sigma_2+\cdots+\sigma_s=n$ Then let $M_{\lambda \sigma}$ be the number of ways to colour blocks of ...
33 views

Stable analytic manifold under simple action

For an integer $m > 1$, let us define the action $$f: X_i \to (1+X_i)^{m - 1 }$$ on variables $X_1,\dots,X_N$. Consider the analytic manifold $V(I)$ defined by the ideal $I$ in ...
77 views

Homotopy type of a locally contractible compact

Does a locally contractible compact space have the homotopy type of a finite CW complex? (I think it probably does, but I need a reference anyway.) EDIT: My intuition was wrong [to see why, read ...
251 views

Do compact groups acting irreducibly have finite subgroups which do the same?

Let $G$ be a closed subgroup of $U(n,{\bf C})$, not necessarily connected. Regard ${\bf C}^n$ as a complex $G$-module $M$. Q. Suppose $M$ is irreducible as a $G$-module (equivalent, I think, to ...
30 views

A question on periodic points and recurrent points

I have been reading the book "dynamical systems and semisimple groups an introduction". In this book, a point of a topological $G$-space $X$ is a periodic point if $G/G_x$ is compact, where $G$ is a ...
83 views

Approximating rational values in ]0,1[ by a sum or difference of unit fractions

Let $U=\{\frac{1}{n}: n\in\mathbb{N}\} \cup \{-\frac{1}{n}: n\in\mathbb{N}\}$ be the set of positive and negative unit fractions. Are there positive integers $m<n \in \mathbb{N}$, such that for ...
54 views

DEF vs DIFF for projective bundles over $\mathbb{P}^3$

In this MO-question I asked about deformations of vector bundles, and from the answer given by Mohan it appears that there are several deformation classes of rank two bundles with trivial Chern ...
120 views

How to Express Undirected Integration

Is there an agreed way of expressing undirected integration in formulas? my idea of doing so would be to use the absolute value of the differential $$\int_a^b f(x)|dx| = \int_b^a f(x)|dx|$$ but I ...
95 views

Can the boundedness of $A^2$ imply the boundedness of $A$?

Given an operator $A \in \mathcal L(B)$, $B$ being a Banach space, I came across the following question: assume $dom(A)=range(A)$, $dom(A)$ dense in $B$. Under which conditions is it possible to ...
50 views

Coloring graph such that the coloring classes are not maximal independent sets

Let $G$ be a (finite or infinite) simple graph. We let $\mathrm{Ind}(G)$ be the collection of independent sets. For any cardinal $\kappa$ and coloring map $\chi: G\to \kappa$ we have ...
97 views

convergence of $e^{it\Delta}f$

I heard of a conjecture that $e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$ but couldn't find a proper reference.
I am looking for a solution to the following problem: given a Jordan curve $c(s) = (x(s),y(s))$ with $\dot x(s)^2+\dot y(s)^2 = 1$ and $c(s+L)=c(s)\,$ an integrable function $g(s): c(s)\mapsto ... 1answer 108 views Proving that the eigenvalues of a certain matrix product are positive Let$A$be an$m \times nmatrix, and define: \begin{align*} U &= {\rm diag} \{ \frac{1}{\beta_j} \}, \beta_j = \sum_{k=1}^m |a_{kj}|, j = 1 \dots n \\ V &= {\rm diag} \{ \frac{1}{\alpha_i} ... 1answer 72 views When will the mirror of a K3 surface be an elliptic K3? Letf:Y\rightarrow\mathbb{P}^1$be an elliptic$K3$surface, then the holomorphic 2-form$\Omega_Y$vanishes when restricted to an elliptic fiber$f^{-1}(b)$with$b\in\mathbb{P}^1$. After a ... 0answers 66 views Interpolation between L^1 and Sobolev Space Suppose$D^\alpha$is fractional differentiation of order$\alpha$on the real line. Is it true that$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...
Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive. Proof: see below. Let $(H \subset G)$ be an inclusion of finite groups and ...