0
votes
0answers
2 views

The regularity of Dirichlet form in Besov space

Let $C_{0}(\mathbb{R}^n)$ denote the set of continuous functions in $\mathbb{R}^n$ with compact support, $C_0^\infty(\mathbb{R}^n)$ denote the set of infinite differentiable functions in ...
-1
votes
0answers
19 views

Are (odd) perfect numbers divisible by a repdigit (in another base)? How about by a repunit?

[This question was cross-posted from MSE.] A positive integer $N$ is said to be a perfect number if $$\sigma(N) = 2N,$$ where $\sigma(x)$ is the sum of the divisors of $x$. For example, $6$ is ...
1
vote
0answers
18 views

Isomorphism Between $U_{h}(\frak{sl}_3)$ and $U({\frak sl}_3)[[h]]$

I take the following from Klimyk and Schmudgen's book Quantum Groups Page 167: Proposition For $\frak{g}$ a complex semi-simple Lie algebra, there is an isomorphism $\phi$ of the $h$-adic algebra ...
0
votes
0answers
39 views

odd squarefree and squareful neighbors

There are squarefree numbers $n=\prod_{i=1}^{k}p_i$ so that $n+2$ is not squarefree (e.g. $115+2=3^2.13$). Are there infinite many such $n$? Are there numbers n with arbitrarely many prime-factors? ...
2
votes
0answers
64 views

Differential Geometric Aspects of Rubber Bands

What happens, if a rubber band ( of length $l_0$ that has been stretched to length $l_1:=l_0+\Delta l\;$ and brought into the shape of a closed curve in $\mathbb{R}^3$ ) is released and if the only ...
1
vote
0answers
32 views

Ring of endomorphisms as a criterion of a dimension 1 module

Let $R$ be a unital ring and $M$ be an $R$-module. I have some questions about relation between the ring $\operatorname{End}_R M$ of endomorphisms and the notion of “dimension” of a module. I’m not ...
3
votes
0answers
22 views

First passage percolation on a random geometric graph in the large connectivity limit

Let $V_\rho\subset\mathbb{R}^2$ be a point set in the plane obtained from a Poisson process of density $\rho$. The random geometric graph $G_\rho$ is obtained from $V_\rho$ by connecting points that ...
0
votes
0answers
54 views

Exactness of the relative de Rham complex restricted to subschemes

I think that the statement below about relative de Rham complex is true (am I wrong?) If it is the case, a reference would be very helpful. (I admit that the statement sounds somewhat technical and ...
1
vote
0answers
13 views

The topology of complete minimal surfaces of finite total Gaussian curvature

Suppose that M is a complete minimal surface with finite total curvature. If M is embedded in $\mathbf{R}^3$, then we observe that M viewed from infinity looks like a plane passing through the ...
2
votes
1answer
94 views

Is there a general notion of semigroup action?

The analogous result to Cayley’s theorem or Yoneda lemma in semigroup theory represents semigroups as semigroups of functions from a set to itself. This suggests that a semigroup action consists of a ...
3
votes
1answer
28 views

What are the upper bound and stability conditions for the following simple linear system?

Consider the following linear system $$\dot{x}=\sum\limits_{i=1}^{m}{{{\alpha }_{i}}}\left( t \right)\cdot {{A}_{i}}\cdot x \quad (1) $$ where, $x\in {{\mathbb{R}}^{n}}$ represents the state vector, ...
0
votes
0answers
36 views

Girsanov theorem with Geometric Brownian Motion

I am not a student in mathematics, but I am trying to use the following Theorem 8.6.6 (Girsanov theorem II) of Oksendal's SDE with geometric Brownian motion $S_{t}$ instead of the standard Brownian ...
10
votes
0answers
67 views

Three old questions on the Sacks forcing

I came across the two following Qs in 1970. Find reals $a,b$ such that $a$ is Sacks over $L[b]$ and vice versa $b$ is Sacks over $L[a]$. Note that a Sacks $\times$ Sacks generic pair definitely does ...
1
vote
1answer
59 views

Categories with binary relations as objects

For the category of functions, pairs of functions making commutative diagrams are the canonical morphisms $\alpha:f\rightarrow g$. For binary relations there is an alternative, to consider the ...
0
votes
0answers
39 views

A doubt on balaji meyn's ergodic theorem paper

I have a question regarding the classic paper by Balaji and Meyn: "Multiplicative ergodicity and Large Deviations for an Irreducible Markov Chain". Consider a recurrent apeiodic irreducible Markov ...
2
votes
3answers
164 views

Can the Einstein Field Equations be written as Difference Equations?

Does anyone know if the Einstein Field equations have ever been written as Difference Equations, and if so does that simplify anything or produce solutions not available in the usual Differential ...
2
votes
0answers
29 views

Helmholtz equation Poynting vector integral

The Maxwell's equation for harmonic time dependent field in vacuum is \begin{align} \nabla \times B + i\omega E &= 0\\ \nabla \times E - i\omega B &= 0 \\ \nabla \cdot B &= 0 \\ \nabla ...
0
votes
0answers
66 views

Notation for “partial” derivative [on hold]

Say I have a function like: $f(x,c,y) = x+c+y$ say that $c$ is a function of $x$, $c(x)$ (i.e. $x$ and $y$ are the only truly independent variables). How would I write the notation for the ...
4
votes
0answers
73 views

minimal energy of affine Lie algebra reps

Let $\mathfrak g$ be a simple Lie algebra. Let $\widetilde{L\mathfrak g}$ be the universal central extension of $L\mathfrak g:=\mathfrak g[t,t^{-1}]$. Let $V_\lambda$ be a positive energy ...
1
vote
0answers
147 views

Submodule embeddable in a finitely generated module

I have a terminology question. For a commutative ring $A$ (not necessarily Noetherian), $A$-modules that are isomorphic to an $A$-submodule of a finitely generated $A$-module form a fairly good class ...
4
votes
0answers
129 views

If $B\subseteq A$ are free & finite rank $R$-algebras, is $R\to A \otimes_B R$ injective?

(In this question, all rings and algebras are commutative with identity.) I have a situation that boils down to the following data: a ring $R$, an $R$-algebra $A$ with a subalgebra $B$ such that $A$ ...
5
votes
0answers
123 views

Invariant obstructions to gluing Galois representations on elliptic curves

Let $E$ be an elliptic curve over $\overline{\mathbb F_p}$, or another separably closed field of characteristic $p$. Let $K$ be the function field of $E$, and let $K_p$ be the local field at a point. ...
-4
votes
0answers
51 views

How do you generate orthogonal Rotations in d-dimensions? [on hold]

I know that matrices that satisfy $\mathbf{x^TMx} > 0$ for all $\mathbf{x} \in \mathbb{R}^d$ are called positive definite matrices. It seems to me that a matrix that represents an $90^{\circ}$ ...
3
votes
1answer
157 views

Realizing algebraic curves as complete intersections

I have two related questions about smooth complete algebraic curves (over $\mathbb{C}$). Does there exist a smooth complete algebraic curve $X$ that cannot be embedded as a complete intersection in ...
2
votes
0answers
72 views

reference on aperiodicity and cluster [on hold]

From this image: I believe there is a message relating those clusters drawn in picture and aperiodic tiling. Does anyone have some reference on this? Thank you :)
4
votes
1answer
136 views

Proof of the Dunford-Pettis theorem

I would like to know where to find a complete proof of the Dunford-Pettis theorem: A sequence $(f_n)_{n\geq 0} \subset L^1$ is uniformly integrable if and only if it is relatively compact for the weak ...
2
votes
2answers
92 views

Software producing complex trees

Does anyone know any kind of graph software that could produce graphs like this for publication? Those links and crosses and numbers actually needs to be presented…. Thank you:) One small update, ...
0
votes
0answers
96 views

How to find generators to Mordell weil groups of elliptic curves? [on hold]

I am new to branch of elliptic curve and algebraic number theory .I want to find generators to Mordell Weil group of the Elliptic Curve $y^2=x^3-6321363052$ and class number of $\mathbb ...
-1
votes
0answers
54 views

Complex conjugation of positive roots [migrated]

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...
0
votes
0answers
36 views

Behavior of the integral of products of probability densities

Assume $z \in \mathbb{R}^m$ and $x \in \mathbb{R}^n$. Assume we have proper density function $P(z)$ and proper conditional density function $P(x|z)$. We give the definition $$ T(x_1,\ldots,x_n) := ...
8
votes
1answer
403 views

Why is the section conjecture important?

As in the title, I want to know the reason for importance of the section conjecture. Of course, the statement of conjecture is important as itself, even I cannot fully grasp the soul of it. However, ...
0
votes
0answers
38 views

Homotopy addition theorem and lifting in a certain diagram

If I am confusing somewhere here, please excuse me and ask me to clarify. The proof I am having trouble with is lemma 1.19 of Goerss-Jardine, pg. 398. I have tried to isolate the troublesome ...
10
votes
1answer
263 views

Erdős cardinals and ineffable cardinals

In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have ...
7
votes
1answer
154 views

Trapping a particle

A particle starts a brownian walk in the middle of a long tunnel in the plane, at one end of the tunnel is a circular region X, at the other end a region Y of given area A. Does the shape of region ...
0
votes
1answer
63 views

reference request for automata of this type [on hold]

Consider the list of length $m$ $(1,0,\dots 0)$ we call this list $l_1$, we now define a sequence of lists recursively, where $l_1$ is the previous list, and if $l_n$ is the list $(a_1,a_2\dots a_n)$ ...
1
vote
1answer
82 views

Strong maximum principle for weak solutions

Suppose I have a linear parabolic equation with solutions in the Bochner-Sobolev spaces (eg. $L^2(0,T;H^1) \cap H^1(0,T;H^{-1})$). Is it possible to obtain a strong maximum principle with a proof that ...
3
votes
0answers
48 views

Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
-3
votes
0answers
29 views

Finding Distance with Missing Coordinate Set [on hold]

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 ...
0
votes
0answers
67 views

Relation between long exact sequences and Derived functors [on hold]

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 ...
-1
votes
0answers
24 views

impossibility and mode of convergence [on hold]

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?
0
votes
0answers
91 views

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

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 ...
11
votes
2answers
446 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 ...
13
votes
2answers
277 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: ...
0
votes
0answers
67 views

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

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. ...
6
votes
1answer
159 views

Adams e-invariant

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 ...
9
votes
1answer
95 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}$ ...
-3
votes
0answers
107 views

Numbers half way between two primes [on hold]

Is every integer greater than 3 half way between two primes?
1
vote
0answers
118 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? ...
9
votes
0answers
122 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 ...

15 30 50 per page