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

learn more… | top users | synonyms

13
votes
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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 ...