# All Questions

**11**

votes

**2**answers

451 views

### Multiplicative Identity for all elements in SU(n)

Let $\{P_i\}$ be a subset of $SU(n)$ such that for any $U$ in another subset (or perhaps subgroup) $H$ of $SU(n)$: $$P_1UP_2U\cdots P_mU=I$$ where $I$ is the identity element. Is there a sequence ...

**4**

votes

**1**answer

69 views

### Reference request: Continuity of unique maximizer of linear functional on convex set

Does anyone know reference for a theorem of the following sort:
Proposition: Let $K \subset\mathbb {R}^n$ be a compact convex set, and assume that
$$f(w):=\operatorname{argmax}_{x\in K}w(x) $$ is ...

**0**

votes

**0**answers

44 views

### Involution on $\chi^{\infty}(\mathbb{R}^{n})$

Is there a Lie algebraic involution $\theta$ on $\chi^{\infty}(\mathbb{R}^{n})$ which restriction to linear vector fields is the involution
$\theta(A)=-A^{tr}$ for $A\in M_{n}(\mathbb{R})$?
...

**6**

votes

**0**answers

87 views

### Can $Ded(\kappa)$ be a supremum?

Definition If there is a dense linear order w/o endpoints of size $\lambda$ with a dense subset of size $\kappa$ then write $D(\kappa,\lambda)$. $Ded(\kappa)=\sup_\lambda \{D(\kappa,\lambda)\}$.
It ...

**5**

votes

**2**answers

113 views

### Poisson ideals vs. ideals generated by Poisson central elements

Let $R$ be a Poisson algebra (over $\mathbb C$, say) with Poisson center $Z = \{c \in R : \{c,R\} = 0\}$ and consider two types of ideals $I \leq R$:
$I = \langle (c_i) \rangle$ is generated by ...

**10**

votes

**2**answers

429 views

### Cut and Fold Polyhedron!

I have two convex polyhedra such that their sums of side areas are equal. It is true that I can cut one of them and flatten it on the plane, then fold the flattened polygon to reach the other ...

**4**

votes

**2**answers

108 views

### Heat kernel asymptotics for the sublaplacian on a contact Riemannian manifold

Let $\Delta$ denote a Laplace-type differential operator on a compact Riemannian manifold $(M,g)$. The asymptotics of the heat kernel and the heat operator trace of $\Delta$ are well-known (cf. ...

**0**

votes

**1**answer

100 views

### Double Markovity

Suppose we have a double Markov relation for three random variables $X$, $Y$ and $W$ as follows
$$X\to W\to Y,$$ and $$X\to Y\to W.$$
How to prove that there exist functions $f$ and $g$ such that
...

**4**

votes

**0**answers

70 views

### Connection between framed cobordisms and zero sets

Let $W\subseteq M\times[0,1]$ be a framed submanifold (a framed cobordism in $M$) and $2w<m-1$ where $w,m=\dim W,M$. Assume that $M$ is compact and that $W\cap M\times \{0\}$ is the zero set of a ...

**-1**

votes

**0**answers

18 views

### Problem with equation structure and re-arrangement [on hold]

I am creating a program which used an equation for photo-efficiency in certain types of plants. Because of the limits of the programming (or maybe my abilities with said language). I need to break ...

**1**

vote

**1**answer

164 views

### Problem of book Kunen [on hold]

Suppose $P$ is a notion of forcing in $M$ such that $\left | P \right | \leq \omega_{1}$ and $P$ is ccc. Suppose further $\Diamond$ holds in $M$. How does one show that $\Diamond$ also holds $M[G]$?

**0**

votes

**0**answers

177 views

### Questions about the Collatz conjecture-also known as the “3x+1 problem” [on hold]

Let "F(k,m)" denote the following recursive function of two positive integer variables. For all k, F(k,1)=k. For all k and all m, if F(k,m) is even, then F(k,m+1)=F(k,m)/2. For all k and all m, if ...

**1**

vote

**1**answer

69 views

### Contour integral around semi-circle

Can one use contour integration to evaluate $\int^{\pi}_{0} \frac{1}{1-\rho*sin(\theta)}d\theta$ for $0<\rho<1$? This would be trivial if the upper limit were $2\pi$ as we could let ...

**0**

votes

**0**answers

47 views

### If the $L$-series does not vanish

I refer to this paper http://wstein.org/papers/shark/shark.pdf
At the top of page 24, we are dealing with the issue where the $L$-series does not vanish for the case where $p$ is good and ordinary. ...

**4**

votes

**1**answer

151 views

### Hypercovers of sheaves in classical and quasi-categories

I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...

**3**

votes

**1**answer

142 views

### Positive definite quadratic forms on Banach spaces

This is a question about characterizing Hilbert spaces in terms of quadratic forms. Let $X$ be a real Banach space and $E$ a bounded quadratic form on it, it is called positive definite if ...

**0**

votes

**0**answers

64 views

### Probability that d-Brownian Motion ,d>3, avoids a set A

In other words, the probability that Brownian motion stays within $A^{c}$. So far I found that it is 1, for random cylinders and thorns (http://www.math.upenn.edu/~pemantle/papers/burdzy.pdf).
What ...

**0**

votes

**0**answers

83 views

### Could anyone help me with a problem regarding fundamental groups? [on hold]

Let G be a group and x be an element of G. N is the least normal subgroup of G containing x. If there is a normal, path-connected space whose fundamental group is isomorphic to G, then I have to show ...

**-3**

votes

**0**answers

53 views

### Counting sets of tuples [on hold]

I am looking to count the size of certain sets created by taking the product of multivariate functions $F,Q,\ldots$, where the input arguments come from finite sets $D_1, D_2$.
For example,
...

**2**

votes

**0**answers

40 views

### Reducing $\ell_1$ norm of non-full-rank matrices

I have two matrices ${\bf{X}}_{p\times r}$ and ${\bf{Y}}_{r\times q}$ with $r<\min(p,q)$. Matrix ${\bf Y}$ does not have full row rank (i.e., rank$({\bf Y})<r$). Can I build two new matrices ...

**4**

votes

**0**answers

167 views

### Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let
$q: D^k \to D^r$ be a map and $r \leq k$. Let
$$W = S^k \sqcup D^r/\sim$$
where ...

**9**

votes

**2**answers

478 views

### Maximal ideals are prime (history thereof)

Please can someone tell me the history of the simple argument that any maximal ideal of a commutative ring or distributive lattice is prime? (It is understood that we have found the maximal one using ...

**3**

votes

**1**answer

130 views

### Vector Laplace Beltrami operator of the Gauss map

Consider an abstract surface $(M,g)$ embedded into $\mathbb{R}^3$ via $f:M \to \mathbb{R}^3$. Denote by $N:M \to \mathbb{R}^3$ the Gauss map (normal field) of the surface. Write the Laplace Beltrami ...

**3**

votes

**2**answers

131 views

### Bochner's theorem for measures of positive type

Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying ...

**0**

votes

**0**answers

51 views

### Rank 2^n quadratic form with non trivial invariant e_n

I advise you to have a look this question of mine first
Rank four quadratic Form with non trivial discriminant in I(k)
From quadratic form theory its well known that for a field $k$ and the ...

**2**

votes

**2**answers

151 views

### Examples of cubic Julia sets

I'm looking for information on explicit cubic filled Julia sets with interesting properties such as:
Having two different finite attractors (such as $f(z)=z^3-1.5z$)
Being disconnected with ...

**3**

votes

**3**answers

88 views

### graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?

**5**

votes

**1**answer

95 views

### Clifford algebras for quadratic modules over ringed spaces

What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...

**0**

votes

**1**answer

24 views

### Bivariate skew-normal distribution [on hold]

I'm using the Gaussian distribution as a weight function for solving pde's.
I'm interested in skewing the function. For one-dimensional problems, it was easy to
derive the resulting skewed Gaussian ...

**4**

votes

**0**answers

62 views

### First return time in an interval for N particles rotating on the circle at constant random speeds

Here is my problem: draw N velocities $v_1,v_2,\dots,v_n$ in $[-\pi,\pi]^N$ from some measure (Haar measure of uniform independent for simplicity) and make $N$ particles rotate around the circle with ...

**-2**

votes

**0**answers

65 views

### Calculating of the sum $\sum_{i=1}^{n} \large{\frac{i}{i+1}}$? [on hold]

How can i calculate the sum $\sum_{i=1}^{n} \large{\frac{i}{i+1}}$?

**-1**

votes

**0**answers

69 views

### Can a linear map on a finite-dimensional subspace be extended to the whole space “trivially”? [on hold]

I have a question concerning the extension of continuous linear maps.
Let $X$ be a normed vector space and let $U$ be a finite-dimensional subspace of $X$. Furthermore, let $\varphi:U\rightarrow Y$ ...

**8**

votes

**1**answer

239 views

### Why does this antisymmetric product factor out a determinant?

Consider a generic $n \times n$ matrix $M$.
Define the $(n-1) \times n$ matrix $M_q$ to be $M$ with the $q$th row omitted, and assume that $M_q$ possesses a right inverse, $R_q$:
$$R_q = M_q^T (M_q ...

**0**

votes

**0**answers

46 views

### asymptotic notation with graph colouring

This is my first ever post so I hope this is an appropriate question.
Basically I am looking at the paper here: http://homepages.math.uic.edu/~mubayi/papers/biclique.pdf
Namely theorem 5.
Now, feel ...

**2**

votes

**2**answers

202 views

### Extending vector bundles from subvarieties

Let $X$ be a smooth projective variety and let $Y\subset X$ be a smooth subvariety. Given a vector bundle $E$ on $Y$, when can $E$ be extended to a vector bundle $\tilde E$ on $X$? I.e., are there ...

**1**

vote

**0**answers

127 views

### On functoriality of the Leray spectral sequence

The Leray spectral sequence is functorial in the following sense: given a commutative square of spaces,
$$\begin{matrix} A & \to & B \\ \downarrow & & \downarrow \\ C & \to & D ...

**-2**

votes

**0**answers

51 views

### An integral identity [on hold]

For all $n>1$ and $0<i<n$ we have the following identity?
$$\int\limits_0^{\pi} \frac{\cos(nx)-\cos(i\pi)}{\cos x-\cos(i\pi/n)}dx=0.$$

**6**

votes

**2**answers

195 views

### String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...

**1**

vote

**0**answers

19 views

### Gelfand Kirillov dimension of induced modules

How does the Gelfand-Kirillov dimension of induced modules behave?
In patricular, if $S$ is an Ore extension of $R$, how is the GK-dimension of an $R$-module say $N$ related to the GK dimension of $N ...

**3**

votes

**0**answers

112 views

### Small remarkable matroids

Working on phased matroids (a generalization of oriented matroid to the complex case) I've found an interesting formula for computing the inner Tutte group (and, hence, all the Tutte groups) ...

**13**

votes

**4**answers

345 views

### Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...

**1**

vote

**0**answers

44 views

### A Density Problem

Let $ \mathscr{D}=\mathscr{D}(\mathbb{R}^n - {0}) $ be the space of all smooth functions with compact support in $ \mathbb{R}^n - {0} $ topologized by the standard Schwartz topology and let $ ...

**-2**

votes

**1**answer

31 views

### Real Analysis : Uniform Convergence of sequences on the real line [on hold]

I want a sequence of continuous functions whose limit function is continuous but the convergence is not uniform. I have an example :
fn(x)=x/n ; The limit function f(x)=0 is continuous but the ...

**6**

votes

**1**answer

202 views

### Cases where the number field case and the function field (with positive characteristic) are different

In number theory there is often an analogue between statements which holds over a number field (that is, a finite field extension $K/\mathbb{Q}$) and function fields (that is, finite extensions of the ...

**0**

votes

**1**answer

233 views

### Yang-Mills equations are not elliptic [on hold]

How does one prove that the Yang-Mills equations (from classical Yang-Mills theory) are not elliptic?
Alternatively, how does one calculate the principal symbol of the Yang-Mills equations?
Can ...

**3**

votes

**0**answers

63 views

### Subplanes of Finite Projective Planes

If a finite projective plane $\pi_1$ of order $m$ contains, as a sub plane, a
finite projective plane $\pi_2$ of order $n$, then $m \geq n^2$ with equality holding only in the case of a Baer sub ...

**5**

votes

**1**answer

205 views

### Motivic L-function vs motivic zeta function

Let $M$ be a pure motive over a field $k$. Roughly speaking, the L-function of $M$ is the product over all primes $p$ of
$$L_p(M,s)=\det(I-Fr_p|_{M_\ell^I} N(p)^{-s})^{-1}$$
where $Fr_p$ is a ...

**0**

votes

**1**answer

22 views

### Constructing a transition matrix of a time-homogeneous, finite Markov chain with full support stationary distribution

is there a way to construct a transition matrix of a time-homogeneous, finite Markov chain such that the stationary distribution always has full support (this is equivalent to all states of the chain ...

**1**

vote

**0**answers

46 views

### Borel class of a set of measures

Let $K$ be a compact Hausdorff space and consider $X=Ball(M(K))$, the unit ball of the space of regular Borel measures on $K$. Endow $X$ with the weak-$*$ topology $\sigma(M(K),C(K))$, regarding ...

**-1**

votes

**0**answers

124 views

### Why do I study a lot but still don't understand the material too well? [on hold]

I had a linear algebra test yesterday and I studied a week in advance for it. I did all the assigned homework questions, past exam questions, problem set questions, but I still did poorly on the test. ...