# All Questions

51 views

### Generalized weight space

In their paper Lepowsky and Mcmollum sketch theory of weights in a more general setting. Here is their definition of a weight space: If $A$ is a subset of $\mathfrak g$ and $\lambda$ is a function ...
44 views

### Green's function of the Ornstein-Uhlenbeck operator

Consider $\mathbb R^d$ with the Gaussian measure $d\gamma(x) = e^{\frac{1}{4}|x|^2}\,dx$. The Ornstein-Uhlenbeck operator $L$ is given by $$Lu = \Delta u- \frac{1}{2}x\cdot \nabla u.$$ Is there a ...
42 views

### Ozsvath-Szabo orientation convention for Seifert fibred spaces

I am confused by the orientation convention that Ozsvath and Szabo use in On Heegaard Floer homology and Seifert Fibered Surgeries and would appreciate if someone clarifies this for me. On page 15 ...
42 views

### Which of the following is true? [on hold]

$f(x),g(x)$ are defined on $[-1,1]$, $f'(0),g'(0)$ exist, $f(0)=g(0)$, and $f(x)\ge g(x)$ holds for an open interval containing $0$. Then which of the following is correct: I, $f(x)$ and $g(x)$ have ...
58 views

### Hitting time of two dimensional continuous martingale

Let $(\Omega, \mathcal{F}, P)$ be a probability space, on which $\mathcal{F}_t$ is filtration satisfying general conditions. $W_{t}=\left(W_{t}^{1},W_{t}^{2}\right)^{T}$ is a two dimensional Brownian ...
53 views

### Limit-circle and limit-point at endpoints

I was wondering if the following holds: If you have an ODE $$-y''(x) + q(x) y(x) = \lambda y(x)$$ on a finite interval $(a,b)$ and you know that this equation is limit-circle or limit-point at the ...
117 views

### A question about running MMP with scaling

Let $\pi:X \to U$ be a projective morphism, and $(X, \Delta = A + B)$ be a KLT pair, where $A$ is a general ample divisor and $B$ is effective. Suppose $K_X + \Delta$ is not nef (over $U$) and there ...
24 views

### question about Baer sum of extensions

Let $E_1$ and $E_2$ be extensions of $\mu_p$ by $\mathbb{Z}/{p\mathbb{Z}}$. Assume that $E$ contains $E_1$ and $E_2$ both, and $E_1 \cap E_2 = \mathbb{Z}/{p\mathbb{Z}}$. Then, does $E$ contain their ...
128 views

### Is there any progress on Problem 13 (from Schoen and Yau)?

This is closed related to the question asked here. I wonder if there is any progress on Problem 13 from the "Problem Section" in Schoen and Yau, page 281, problem 13, which asks: Let $M_1$ and $M_2$ ...
120 views

### Real points of zero-dimensional real algebraic varieties

There have been a number of discussions of zeros of random polynomials here (the most recent being: Why do roots of polynomials tend to have absolute value close to 1?). Here is a closely related ...
33 views

### Classification properties of fusion rings

Fusion rings have so many classification properties (I checked the literature a bit) that my head hurts. For practical reasons I define the following three new properties (which might coincide with ...
32 views

### Does $(n + 2)$ have a multiplicative inverse mod $(n - 1)$ over $GF(5)$? [on hold]

I have been stuck on understanding this for hours. The reason I am confused is that I thought over $GF(k)$, only constants have inverses. Also, how would one go about applying EGDC to figure this out? ...
75 views

### Closure in Hilbertspace [on hold]

I know that i asked this question already on stackexchange.com (http://math.stackexchange.com/questions/983377/closure-in-a-hilbertspace) Define for a pure contraction $S$ (remember: $\|S\|\leq1$ and ...
143 views

### Mixed Hodge structure on configuration spaces

Let $X$ be a smooth complex projective variety. Let $F(X,n)$ be the configuration space parametrizing $n$ distinct ordered points in $X$. The cohomology groups $H^k(F(X,n),\mathbf Q)$ carry a mixed ...
43 views

139 views

### Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either returns true or false, we say that $\mathcal{A}$ works for ...
166 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
We have the equation ($\partial_{\mu}\partial_{\nu}$-$\eta_{\mu\nu}\Box$)$\phi=0$, where $\phi$ is a scalar field, $\Box=\partial_{\mu}\partial^{\mu}$ is a standart Dalamber operator, $\eta_{\mu\nu}$ ...