# Tagged Questions

This tag is used if a reference is needed in a paper or textbook on a specific result.

**13**

votes

**1**answer

533 views

### Resolution of singularities in étale cohomology

The lack of a suitable resolution of singularities comes up often in work on étale cohomology from the 1960s and 70s, And I think even the latest version of Milne's lecture notes says "It is likely ...

**2**

votes

**0**answers

51 views

### Action of orthogonal group on the free Lie algebra

This question is somewhat related and inspired by this post of professor Montgomery.
The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of ...

**2**

votes

**1**answer

148 views

### Applications of Level Lowering

What are some applications/consequences of level lowering of Galois representations? I understand the application of Ribet's theorem in the proof of Fermat's last theorem but I am wondering what other ...

**4**

votes

**2**answers

223 views

### Moment problem on [-1,1]: necessary and sufficient conditions

Consider a sequence of real numbers $s=(s_0,s_1,\ldots)$. When is there a Borel measure $\mu$ supported on $[-1,1]$ so that
$$
s_k = \int_{[-1,1]} x^k\,\mathrm{d}\mu,\quad \forall k\in\mathbb N\;?
$$
...

**7**

votes

**2**answers

375 views

### Famous results about the value of a given limit assuming it exists

Chebyshev got famous showing that if the limit $l:=\lim_{x\to\infty}\frac{\pi(x)}{x/\log x}$ exists, then necessarily $l=1$, constituting a major breakthrough towards a proof of the famous prime ...

**13**

votes

**1**answer

314 views

### Homotopy fiber of a map between classifying spaces

I'm looking for a reference (and precise hypothesis if more are needed) for the following facts (or a correction, if I'm just plain wrong):
Let $G$ and $H$ be topological groups and $f : G \to H$ be ...

**1**

vote

**0**answers

73 views

### Reference request: Structure of $H^1({{\mathbf{Q}}_{q}},{{{{E}}_{{p}^{\infty}}}})$

I need reference on the structure of ${H}^{1}({{\mathbf{Q}}_{q}},{{E}_{{{p}^{\infty}}}})$, in particular when:
(1.) $q=p$
and/or
(2.) $E$ has multiplicative reduction at $q$.
Here, $E$ is an ...

**6**

votes

**0**answers

112 views

### Reference for supergroupoids in supersymmetry?

I would like to know some references on supergroupoids in supersymmetry.
A supersymmetry is invariance under a supergroup action (nLab, Supersymmetry).
It is know that groupoids provide a local ...

**0**

votes

**1**answer

63 views

### Can we always extend a vector bundle on an open subset of a ringed space with soft structure sheaf?

Let $(X,\mathcal{O}_X)$ be a ringed space with soft structure sheaf. Moreover let $X$ be paracompact.
Let $U$ be an open subset on $X$ and let $E$ be a finite dimensional vector bundle on $U$, i.e. ...

**2**

votes

**1**answer

75 views

### Reference for the exponential decay of Legendre coefficients

In Short: I look for a reference to the proof that the spectral coefficients in the Legendre (or Jacobi) expansion are of exponential decay rate.
Longer: If $p_n$ is the $n$-th Legendre polynomial, ...

**1**

vote

**1**answer

53 views

### Extremal of an L^1 continuous functional on a compact bounded set

Please, I need a small help with a reference.
Lets say we do have a continuous functional $f$ on $L^1$ space and we want to prove the existence of extremals $f(\Omega)$, where $\Omega$ is compact and ...

**2**

votes

**0**answers

151 views

### Equivariant Riemann-Roch on DM stacks?

Does an equivariant version of (Toen)-Riemann-Roch theorem hold say over a smooth Deligne-Mumford stack $X$ over the complex numbers?
Any references that state this explicitely?
Are there formulas ...

**2**

votes

**1**answer

104 views

### Universal space for the family of subgroups of a finite cyclic group

Let $G$ be a compact Lie group and let $\mathcal{P}_G$ denote the family of proper subgroups of $G$. The universal space for the family $\mathcal{P}_G$ is a cofibrant $G$-space which does not have ...

**14**

votes

**2**answers

400 views

### $RO(G)$-graded homotopy groups vs. Mackey functors

Everything here is model-independent: either take co/fibrant replacements wherever appropriate, or work $\infty$-categorically.
Also, I've looked through other similar MO questions, but I didn't find ...

**4**

votes

**0**answers

73 views

### References for “quadratic” Dirichlet series

(Please pardon the use of nonstandard terminology, as I know not the accepted names for my entities of interest.)
Some personal research I have been doing led me to consider series of the form
...

**4**

votes

**0**answers

205 views

### Is the two variable fragment of arithmetic, i.e., theory of ($\mathbb{N}, + ,\times$), decidable?

Any references would be appreciated. Most places only address different vocabularies (e.g. a survey of arithmetical definability by Bes).

**1**

vote

**0**answers

34 views

### Alternative to generic chaining bounds for a particular family of stochastic processes

Generic chaining provides a general but rather abstract framework to bound suprema of stochastic processes. In many applications, however, we know more about the expression of the stochastic process. ...

**7**

votes

**1**answer

183 views

### Source request for $H^*(B\mathrm{TOP},\mathbb{Q}) \cong H^*(BO,\mathbb{Q})$

Let $B\mathrm{TOP}$ denote the classifying space for microbundles, i.e. $B\operatorname{Homeo}(\mathbb{R}^n,0)$. Now we get a map from $BO$ to $B\mathrm{TOP}$ via the inclusion. Let $f$ denote the ...

**0**

votes

**0**answers

29 views

### Interpolation functional for BV spaces?

Recently, while trying to tackle a problem, I found that it would be convenient that I could find some sort of 'interpolation theorem' for Bounded Variation Spaces. More specifically, let's define, ...

**12**

votes

**2**answers

867 views

### Do non-stable Banach spaces exist?

Let $K$ be $\mathbb{R}$ or $\mathbb{C}$. A Banach space $X$ over $K$ is stable if $X\cong X\times K$. I encountered the following question in some papers in the sixties:
Is every infinite ...

**5**

votes

**1**answer

236 views

### References for higher descriptive set theory surveys

A student of Adi Jarden and mine attempts at generalizing results on selection principles from the Baire space $\omega^\omega$ to the higher Baire space $\kappa^\kappa$ ($\kappa$ uncountable), and ...

**2**

votes

**0**answers

80 views

### Balanced partitions of vector sets

We are interested in the following
Lemma. Let $V\subset [0,1]^n\subset\mathbb R^n$ be a set of $n$-dimensional vectors. Then for each $r\le |V|$ there exists a partition $$V=V_1\cup V_2\cup\dots \cup ...

**1**

vote

**0**answers

33 views

### Functional Derivative estimate

Recently I've conisdered a functional derivative estimate on the first spatial derivative of bounded classical solutions $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ to
$$ u_t - u_{xx} - f(u) = 0 \ \ \ ...

**6**

votes

**1**answer

112 views

### Convex Hull of univalent functions and Bieberbach Conjecture

Consider the class $S$ of univalent functions on the unit disk $D$ normalized so that $f(0)=0$ and $f'(0)=1$.
Each function in $S$ satisfy the Bieberbach conjecture, that is the $n$-th coefficient in ...

**2**

votes

**1**answer

68 views

### Dimension of preprojective algebra of Dynkin type

Fix a field $\Bbbk$. Let $Q$ be a Dynkin quiver and let $\Pi(Q)$ be its preprojective algebra. It is well-known that in this case $\Pi(Q)$ is finite-dimensional, but I've been unable to find a ...

**8**

votes

**0**answers

227 views

### Letters of a bi-rationalist

V.V. Shokurov has written several papers over the course of about 10 years which are called "Letters of a bi-rationalist". Here are the ones that I could find:
Letters of a bi-rationalist. I. A ...

**8**

votes

**1**answer

637 views

### On the parity of $[x^n]$

I am trying to find a problem which appeared years ago in the American Mathematical Monthly. It went something like this: There was a Putnam Competition question which asked to show that there is a ...

**1**

vote

**0**answers

29 views

### Has anyone used the quincunx dilation matrix to form compactly supported wavelet functions?

Has anyone used the quincunx dilation matrix to form compactly supported wavelet functions? I know that it's possible, in fact a lot of references make the analog of the Harr wavelet basis, but I'm ...

**8**

votes

**1**answer

169 views

### Is there a modern account of Veblen functions of *several* variables?

Veblen $\phi$ functions extend the $\xi \mapsto \phi(\xi) := \omega^\xi$ and the $\xi \mapsto \phi(1,\xi) := \varepsilon_\xi$ functions on the ordinals by repeatedly taking fixed points (I won't ...

**11**

votes

**2**answers

304 views

### Examples of varieties with many automorphisms acting trivially on co-homology

Let $X$ be a smooth projective variety over the complex numbers. Denote by $Aut(X)$ its automorphism group, by $Aut(X)_0$ the connected component of the identity, and by $G$ the quotient ...

**3**

votes

**0**answers

83 views

### State of the art for univariate complex polynomials factorization with algebraic coefficients

Let $\mathbb{K}:=\overline{\mathbb{Q}}$ be the field of algebraic numbers. We choose to represent an element of $\mathbb{K}$ as its minimal monic polynomial, which is a vector in some $\mathbb{Q}^n$.
...

**4**

votes

**0**answers

190 views

### Reference for Hensel's Lemma in Algebraic Geometry

The following form of Hensel's Lemma in Algebraic Geometry is well-documented in the literature:
$\textbf{Theorem 1}$: Let $R$ be an Henselian local ring with maximal ideal $\mathfrak{m}$, and let ...

**0**

votes

**1**answer

158 views

### How to calculate $N_{L/k}$(roots of unity)?

Suppose that $L/k$ is a Galois extension of number fields and that $G$
is the corresponding Galois group. Further, for $\frak p$ a prime ideal
of $\cal O$$_L$, let $K=L^{G(\frak p)}$, where [$L$ : ...

**5**

votes

**2**answers

142 views

### Minimum length of a convex lattice polygon containing k lattice points?

Let $f(k)$ denote the minimum length of a convex lattice polygon containing exactly $k$ lattice points (including lattice points on the boundary).
It is not too hard to show that $k = \frac{1}{4\pi} ...

**4**

votes

**1**answer

261 views

### On the complexification of a Riemannian manifold

Let $(M,g)$ be a Riemannian manifold and $TM$ be its tangent bundle. If we suppose $TM\otimes\mathbb{C}$ is the complexification of $TM$ then how can we define a natural metric on the complex bundle ...

**4**

votes

**0**answers

138 views

+100

### Topological entropy and periodic sequences of a subshift

Let $\Sigma$ be a two-sided subshift on a finite alphabet $A$. Let $\Sigma_n$ denote all words $x_{-n}\dots x_n\in A^{2n+1}$ such that $(x_k)_{-\infty}^\infty \in \Sigma$ for some $x_k, |k|>n$.
...

**1**

vote

**0**answers

38 views

### Continuity of Busemann-Hausdorff area density

I am trying to find out why the Busemann-Hausdorff area density as defined by Burago and Ivanov is continuous. Here, $GC_m(V)\subset \Lambda^m(V)$ denotes the simple $m$-vectors in an $n$-dimensional ...

**9**

votes

**1**answer

107 views

### Cross between the nil-Hecke ring and the group ring of a Coxeter group

A Coxeter system $(W,S)$ has a set of generators $S=\{s_1,s_2,\ldots\}$ and the Coxeter group $W$ is determined by relations of the form $(s_is_j)^{m_{ij}}=1$ for some integers $m_{ij}$, where ...

**8**

votes

**1**answer

246 views

### Have the explicit Poisson-type formulas of Guinand and Meyer been observed before?

In a recent paper of Meyer Measures with locally finite support and spectrum PNAS vol. 113 no. 12:3152–3158 (behind a paywall, but see also these seminar notes) some new explicit Poisson-type formulas ...

**7**

votes

**0**answers

232 views

### Has it been proved that odd perfect numbers cannot be triangular?

(Note: This question has been cross-posted from MSE.)
Euclid and Euler proved that every even perfect number is of the form $m = \frac{{M_p}\left(M_p + 1\right)}{2}$ where $M_p = 2^p - 1$ is a prime ...

**0**

votes

**0**answers

41 views

### Brunett Derrida behaviour for the branching brownian motion with selection

In this paper Berard and Gouéré proved that for a binary branching random walk with selection of the N rightmost particles the cloud of particles moves asymptotically at a deterministic velocity ...

**1**

vote

**0**answers

25 views

### Constructing the external map to a polynomial-like map [closed]

I am reading the paper by Douady and Hubbard, On the Dynamics of Polynomial-Like Mappings, and I am at a loss to understand a crucial step in the construction of the right domain for finding the ...

**5**

votes

**1**answer

120 views

### Quantum group representations from (convolution) matrix units?

Let $A=F(\mathbb{G})$ be the algebra of functions on a finite quantum group with a Haar state $$h=:\int_\mathbb{G}:F(\mathbb{G})\rightarrow \mathbb{C}.$$
There is a convolution product on ...

**5**

votes

**0**answers

86 views

### Complex L^1 spaces; reference request

I have been doing a fair amount of research into a complex analytic modified version of the Mellin transform. I have hit a few roadblocks, and am hoping there may already be literature on the subject. ...

**7**

votes

**2**answers

259 views

### Thompson group $V$

R. Thompson introduced three groups $F\subset T\subset V$. The question concerning amenability of $F$ is still unanswered and has attracted much attention. I have read that Thompson group $V$ contains ...

**8**

votes

**1**answer

224 views

### Tube of a mod p point on a smooth Z_(p)-scheme

Let $R$ be a smooth, integral, finite-type $\mathbb{Z}_{(p)}$-algebra of relative dimension $n$ and $\overline{f} \colon R \to \mathbb{F}_p$. Then Hensel's lemma tells us that this lifts to a map $R ...

**0**

votes

**0**answers

57 views

### Sobolev function and capacity

It seems that there is a theorem which claims that
If $u\in L_1^2(B_1\setminus T)$ and $T\subset B_1$ is of capacity zero (in some sense, since the author says $(1,2)$-capacity, of which I don't ...

**3**

votes

**1**answer

202 views

### Examples of topological dynamical systems with countably infinitely many ergodic invariant measures

Suppose a discrete group $\Gamma$ acts on a connected compact metrizable space $X$ by homeomorphisms. Denote such a topological dynamical system by $(X,\Gamma)$.
Question: is there any $(X,\Gamma)$ ...

**3**

votes

**2**answers

97 views

### Algorithms for Sorting Subset Sums

In this question the number of unique sortings has been discussed.
As a follow-up, I would like to know, whether the problem of sorting the sequence of subset sums has ever been studied.
There ...

**4**

votes

**1**answer

260 views

### what is the injective hull of indecomposable module of preprojective algebra

Let $Q$ be a ADE type quiver and $s_i$ ($i$ runs through the vertices of $Q$) be the simple $\Lambda$-module with 1-dimensional vector space at vertex $i$ and zero-dim at other vertices. Here ...