# All Questions

**0**

votes

**0**answers

11 views

### About an identity which gives immediate proof of the permanent lemma

Let $A$ be a $n \times n$ matrix over field $F$. Let $a_1, \cdots, a_n$ be the column vectors of $A$. For any subset $S \subseteq [n] = \{1, 2, \cdots, n\}$, let $a_S = \sum_{i \in S} a_i$. Alon's ...

**3**

votes

**0**answers

23 views

### Ideal classes fixed by the Galois group

Let $K$ be a number field and let $G$ be the group of automorphisms of $K$ over $\mathbf Q$. The group $G$ acts in a natural way on the ideal class group of $K$. I would like to know if there are any ...

**0**

votes

**0**answers

26 views

### Fourier transform and diagonalization

In light of some apparent discrepancies in this MO-Q, I would like an answer to the following question:
What properties must a linear operator $\hat{O}_x$ have such that
$$\hat{O}_x^n ...

**0**

votes

**1**answer

23 views

### Pushforwad of a log canonical pair

This question comes from learning the paper "Existence of minimal models for varieties of log general type", where they define the log terminal model (See Definition 3.6.7). However, the question ...

**3**

votes

**0**answers

42 views

### Is there a geometric meaning of the Major index?

The actual question I want to ask is whether there is a geometric proof of this famous identity
$$\sum_{\sigma \in S_n} q^{\operatorname{inv} \sigma}=\sum_{\sigma\in ...

**2**

votes

**0**answers

50 views

### Spectral multipliers vis-a-vis Differential geometry

Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...

**0**

votes

**0**answers

3 views

### limit of (1+x)^(1/x) when x goes to infinity [migrated]

When it comes to find the limit of
(1+x)^(1/x) when x goes to infinity,
I put 1/x = t and replaced the whole equation with
(1+1/t)^t when t goes to 0.
Hence, I wrote the answer as e, because I ...

**0**

votes

**1**answer

20 views

### Resource on characterizations or properties of traceable graphs

I am looking for some resources that provide information on traceable graphs(paths containing a hamiltonian path). I have found a lot of information on hamiltonian graphs, but none on traceable ...

**1**

vote

**0**answers

32 views

### Homogenous polynomially convex hull of $[0,1]^n$

I would like to calculate the set of $z\in \mathbb{C}^d$ such that there exists a constant $C >0$ such that for every homogeneous polynomial $p$ in $d$ variables $$|p(z)|\leq C\sup_{x\in [0,1]^d} ...

**2**

votes

**0**answers

32 views

### Continuity of the solutions of an isogeny in a formal group

Notation for the problem:
Let $E/\mathbb{Q}_P$ be a local field, and $\mu_E$ its maximal ideal. Let $K=E\{\{T\}\}$ be the standard 2-dimensional local field equipped with the Parshin topology and let ...

**0**

votes

**0**answers

78 views

### Tensor product of arbitrary categories

I would like to consider a definition of tensor product in the category of (small, finite, whatever is needed) categories, analogous to the tensor product of vector spaces. I will first rewrite ...

**2**

votes

**0**answers

40 views

### laminations and branched surfaces

I am looking for a reference for this question: given a branched surface in a 3-manifold, how we can construct a lamination fully carried by that branched surface.
any comments would be appreciated.

**2**

votes

**0**answers

34 views

### Sharp upper bounds on hypergeometric function ${}_2F_1[a,b,c;z]$ when $|z|\geq1$

Generally, hypergeometric function ${}_2F_1[a,b,c;z]$ is defined using Gauss series ${}_2F_1[a,b,c;z]=\sum_{n=0}^\infty\frac{(a)_n(b)_n}{(c)_nn!}z^n$ with $|z|<1$, and there seems to be a lot of ...

**0**

votes

**0**answers

26 views

### convergence interval of an infinite series without the general term [on hold]

I am trying to find the convergence of an infinite series of which I do not have the nth term. Instead of applying the ratio test for the nth term, I divided the first two terms, then the next two and ...

**0**

votes

**0**answers

20 views

### Reference for “Newtonian capacity estimates probability that A is hit by a Brownian motion”

I am looking for the following statement
"In fact, the Newtonian (logarithmic) capacity gives an estimate, up to a constant factor, the probability that A is hit by a Brownian motion started, say, ...

**6**

votes

**1**answer

247 views

### Prove that …, f(x-2), f(x-1), f(x), f(x+1), f(x+2),… is algebraically linearly independent without the Fourier transform

Suppose that $f$ is in $L^2(\mathbb{R})$ and consider the set of integer translates of this function, $V=\{f(x-k):k\in\mathbb{Z}\}$. This set is linearly independent: taking the Fourier transform of ...

**1**

vote

**0**answers

78 views

### Default Orientation of Vectors [on hold]

When I started studying math in 1982 in Germany, there seemed to have been a change in the choice of the default orientation of vectors; while it was row-vectors till then, it changed to ...

**2**

votes

**1**answer

85 views

### Reference request for instantons

I've been researching instantons lately and I'd like to learn more about them but would like some help finding what to read. I have read about the ADHM equations and their noncommutative analogues. ...

**4**

votes

**1**answer

248 views

### Connections between Standard, Hodge and Tate conjectures on algebraic cycles?

What implications would a solution of the Standard Conjectures have on the Hodge and Tate Conjectures and reverse?

**19**

votes

**3**answers

847 views

### Escape the zombie apocalypse

Consider zombies placed uniformly at random over $\mathbb{R}^2$ with asymptotic density $\mu$. You are placed at a random point and can move with speed $1$. Zombies move with speed $v\leq 1$ straight ...

**0**

votes

**0**answers

44 views

### Multiplicativity of the Ideal Norm

I asked this question on StackExchange twice, and was never able to get an answer. This is not quite a research-level question, but it is sufficiently difficult and interesting from a pedagogical ...

**1**

vote

**1**answer

94 views

### Why is the Tate local duality pairing compatible with the Cartier duality pairing?

This question is a follow up to Why is the norm map dual to restriction under Tate local duality?
Let $A$ and $B$ be dual abelian schemes over a base scheme $S$. For an integer $n \ge 1$, consider ...

**2**

votes

**1**answer

167 views

### Is the ordinary locus affine?

Let $p$ be a prime number and let $Y$ over $\mathbb F_p$ be a Siegel modular variety, with minimal compactification $X$. It is well known that $X^{\operatorname{ord}}$, the ordinary locus of $X$ is ...

**9**

votes

**1**answer

145 views

### Do direct limits (filtered colimits) commute with pullbacks, in C*-algebras?

I asked this question already on math.stackexchange, but maybe it is also useful to ask this here, since it was not answered there.
Suppose we have three directed sequences of $C^*$-algebras, say ...

**2**

votes

**0**answers

38 views

### optimization problem, any solution?

The objective is as follows:
$\min_{\mathbf{F}} a Tr(\mathbf{F} \mathbf{F}^H) - Re\{\mathbf{b}\mathbf{F}^H \mathbf{C} \mathbf{F} \mathbf{d}\}$
$s.t.\ \ \ Tr(\mathbf{F} \mathbf{F}^H)<p$
where $a$ ...

**0**

votes

**0**answers

32 views

### A solution of a q-difference equation

Is it possible to find a solution of the $q$-difference equation
$$f(q^{-1}x)-f(qx)=x(a-x)f(x),$$
with $f(0)=1$, (perhaps) in terms of basic hypergeometric series? Or in another rather explicit form? ...

**-1**

votes

**0**answers

59 views

### Can first and second fundamental form be considered as differential 1-forms? [on hold]

Let $(M,g)$ be an abstract surface embedded into $\mathbb{R}^3$ via $f:M \to \mathbb{R}^3$. Denote the first and second fundamental form by $I$ and $II$, respectively and the smooth vector fields on ...

**6**

votes

**1**answer

142 views

### Horn's inequalities for n matrices

Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...

**1**

vote

**1**answer

100 views

### Conjugate surfaces: informations about the orbits

Consider a complex algebraic variety $X$ (namely a $\mathbb C$-scheme, of finite type, geometrically integral and separated); if $\sigma\in\textrm{aut}(\mathbb C)$, then is well defined the complex ...

**0**

votes

**0**answers

122 views

### Basketball shots and stopping rule

Moved over from StackExchange.
You are taken to play a basketball game where you can shoot basketballs at n slots using a machine that is equally likely to shoot the balls into those n slots. You can ...

**5**

votes

**0**answers

119 views

### Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?

[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...

**0**

votes

**0**answers

29 views

### discrete dynamical system [on hold]

sir,
I am doing research work in dynamical systems in the area alpha limit sets.I came across a situation where i can find some properties of alpha limit sets analogous to omega limit sets.I am ...

**3**

votes

**0**answers

192 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

54 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

43 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

72 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

101 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

408 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

93 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

90 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
...

**3**

votes

**0**answers

58 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 ...

**0**

votes

**1**answer

148 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

170 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

66 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

43 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

108 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

134 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

38 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.
What about for connected and compact sets (traps)? Any other ...

**0**

votes

**0**answers

80 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 ...