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

learn more… | top users | synonyms

2
votes
2answers
80 views

Background for Kierstead terms

I was looking at some slides of John Longley's here, where he mentions "the Kierstead functional" $$\lambda f.f(\lambda x.f(\lambda y.x)) \ ,$$ (where $f$ should be of type $2$, and $x,y$ of ground ...
1
vote
0answers
61 views

Bounds re Asymptotic Formula for the Sum of Largest Prime Factors

I have a reference request related to the result : $\sum_{n=2}^{x} P(n)$ ~ $\frac{\pi^2}{12}\frac{x^{2}}{log(x)}$ as $x \rightarrow \infty$ where $P(n)$ is the largest prime factor of the positive ...
9
votes
2answers
351 views

on the center of a Lie group

I'm trying to set straight my various pieces of knowledge about the center of a compact Lie group, and I'm running in circles... First some definitions: • Let $G$ be compact, simple, and simply ...
3
votes
0answers
77 views

birational classification of rationally connected 3-folds

What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > ...
0
votes
1answer
89 views

Question on the partial differential equations in complex space

As is known most of the theory now developed for partial differential equations is in the real space, especially function space like Sobolev space, BMO space, $L^p$ space, etc. However is there some ...
6
votes
1answer
128 views

Constructing sums of squares identities

Recall that a sum of squares formula for $[r,s,n]$ over a field $F$ is an identity of the form $$ ( x_{1}^{2} + \cdots + x_{r}^{2})( y_{1}^{2} + \cdots + y_{s}^{2}) = ( z_{1}^{2} + \cdots + ...
2
votes
2answers
82 views

Complexity of Untwisting Polygons

What is the complexity of the following task: given a sequence $p_1, ..., p_n, p_1$ that defines a closed polyline in the euclidean plane, what is the complexity of finding a reordering of the points, ...
5
votes
0answers
56 views

Diophantine approximation in $\mathbb{G}_m^r$ with approximants restricted to a finiteley generated subgroup

Faltings, in the same paper (Diophantine approximation on abelian varieties, Ann. Math. 1991) in which he proved his famous ``big theorem,'' proved also that at any place $v$ of a number field $K$ and ...
6
votes
1answer
190 views

On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...
1
vote
0answers
45 views

Asymptotic decay for the inhomogeneous Schrödinger equation

Let $H$ be an Schrödinger operator $(-\Delta+V(x))$ with a radially symmetric and smooth potential and $H$ is e.s.a. on $C^\infty_0(\mathbb{R}^n)$, furthermore let $\lambda$ be an element of the ...
1
vote
1answer
133 views

L-function of twist

I'd like to ask the following easy question, since I can't find a reference. Let $X/\mathbb{Q}$ a smooth projective variety. How does one express the $L$-function of the twist, $L(H^i(X)(r), s)$ in ...
1
vote
1answer
135 views

Solution or Reference Request for a Closed Form of the Sum

I have been working for quite a while on finding a closed formula for the Legendre Symbol. Inspite of my best efforts I can't come anything better with a formula for the symbol ...
1
vote
0answers
212 views

Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
4
votes
1answer
123 views

Inequality due to Siegel (assumptions) and upper bounds on number field discriminants

In Siegel's 1969 paper, Abschätzung von Einheiten, on page 73, he states the inequality $$\log\sqrt d\le n-1+{n\over 2}\log\pi+r_2\log 2\qquad (*)$$ and compares with the bound due to Minkowski that ...
0
votes
1answer
48 views

Reference for finite number of Weyl groups of reductive groups of rank $r$

I'm posting this question on behalf of someone without access to mathoverflow: Can anybody give me a reliable reference (not a proof) to the following statement? Up to isomorphism, there are only ...
1
vote
0answers
160 views

Davenport's proof that almost all integers are the sum of 4 cubes

Where can I find a pdf that describes Davenport's proof that almost all integers are the sum of $4$ cubes?
2
votes
2answers
369 views

Is there a von Koch-type theorem for the generalized Riemann hypothesis?

Helge von Koch proved in 1901 that the Riemann hypothesis is equivalent to the error term in the prime number theorem having the bound $$ \mid\pi(x)-\textrm{li}(x)\mid=O(\sqrt{x} \log x). $$ Q1: ...
4
votes
0answers
131 views

Partial differential Equation over characteristic p

I want some references on partial differential equations over characteristic $p$. If we have a first order partial differential equation, how can we check whether there exists polynomials or rational ...
-1
votes
0answers
27 views

Finding the source for minimizer of a functional for all $C^2$-curve $x(t_0)=x_0$ and $x(t_1)=x_1$

I am trying to find where this problem comes from and its corresponding proof for my students, but I cannot find the source anywhere. If anyone can find the source of this, or has any ideas where I ...
9
votes
1answer
226 views

What is known about the distribution of eigenvectors of random matrices?

Let $A$ be a real asymmetric $n \times n$ matrix with i.i.d. random, zero-mean elements. What results, if any, are there for the eigenvectors of $A$? In particular: How are individual eigenvectors ...
0
votes
0answers
62 views

F-splitting and F-purity from commutative algebra viewpoint

First I define two terms: Let $R$ be a commutative ring with identity,let char$R$ = $p$, let $F:R\rightarrow R$ be the Frobenius ring homomorphism. This makes $R$ into an $R$-module with respect to ...
4
votes
0answers
155 views

Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
2
votes
2answers
332 views

Does this simple inequality have a name?

Let $x_{1},\ldots,x_{n}$ be nonnegative numbers such that $m \leq x_{i} \leq M$. Let $$ S=\sum_{i=1}^{n}{x_{i}} $$ and $$ Q=\sum_{i=1}^{n}{x_{i}^{2}}. $$ Then $$ Q \leq S(M+m)-nMm. $$ This has ...
0
votes
1answer
341 views

For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
5
votes
2answers
225 views

Using Discrete Morse Theory to represent hom classes

In "vanilla" Morse theory, you can construct cycles representing integral homology classes of a smooth manifold from a Morse function on the manifold (by looking at the flow into/out of the critical ...
2
votes
0answers
79 views

Jackiw-Pi identity

In their paper http://journals.aps.org/prd/abstract/10.1103/PhysRevD.42.3500 (Classical and quantal nonrelativistic Chern-Simons theory) Jackiw and Pi introduced an unusual identity involving ...
0
votes
1answer
121 views

Is the span of those vectors dense in $\ell_2$?

For all $x \in \mathbb{R}^n$ and $\alpha \in \mathbb{Z}_{\geq 0}^n$ let $x^\alpha=x_1^{\alpha_1} \cdots x_n^{\alpha_n}$. Let $$\ell^2=\{z=(z_\alpha)_{\alpha \in \mathbb{Z}_{\geq 0}^n}:\, z_{\alpha} ...
1
vote
0answers
79 views

Reference request on operator matrices [closed]

I'm looking for a reference on linear, bounded, self-adjoint operators defined on the product space, $T:E\times F\to E\times F$ such that $$Tx = \begin{pmatrix}A & B \\ C & D ...
8
votes
2answers
473 views

Prove that the Dirichlet eta function is monotonic

Let us consider $\eta(p):= \sum\limits_{n=1}^\infty \frac{(-1)^{n+1}}{n^p}$ for $p>0$. Has anyone come along with an elementary proof that $\eta(x)$ is monotonically increasing on this set? By ...
5
votes
1answer
115 views

Ham sandwich theorem for discrete measures - reference request

A discrete version of the ham sandwich theorem states as follows (see for instance "Common Hyperplane Medians for Random Vectors" - Hill): For every $\mu_1,...,\mu_n$ discrete (i.e., purely atomic) ...
3
votes
1answer
276 views

Category of modules over commutative monoid in symmetric monoidal category

Let $\left(\cal{C},\otimes ,I\right)$ be a symmetric monoidal category (not necessarily closed) and $A$ a commutative monoid in $\cal{C}$. In his DAG III (page 95), Lurie writes: In many cases, ...
0
votes
0answers
36 views

construction of four dimensional regular convex polytopes

Could anybody give me a reference book about the explicit construction of the 6 regular four dimensional convex polytopes. I cannot easily find Schläfli's original paper so I am looking for a modern ...
2
votes
2answers
235 views

Distribution of a random walk on a directed line

Is there a closed formula for the distribution of $x_t$ in the following random process, describing a random walk on a directed line? $x_0 = n$ $x_t$ is a uniformly random integer between 1 and ...
1
vote
0answers
106 views

Searching for surprising equation connecting distant mathematical fields [closed]

I hope this is not too off topic on this site, if so i excuse myself. Some time ago i read an article about important equations (as most lists feature prominent unequations) in math and the unsolved ...
6
votes
6answers
287 views

Reference on representations of knot groups

Recently, I was studying the knot group and I want to learn some more material about it (e.g. its representations). "Knots" by Burde and Zieschang discusses some material but it is not entirely ...
7
votes
1answer
218 views

Higher coherent multiplicative structures on S-algebras

In their book, Elmendorf, Kriz, May and Mandell describe a useful category of spectra, called S-modules, where S is the sphere spectrum. Ring objects in this category can be identified with spectra ...
5
votes
1answer
218 views

Harish-Chandra isomorphism for compact symmetric spaces

I would be interested to have an explicit description of the algebra of invariant differential operators on functions on a compact symmetric space $G/K$. A reference would be especially useful. ...
6
votes
0answers
316 views

Any reason to believe that $NP \neq P$ is unprovable in ZFC

We know $NP \neq P$ from a lot of point of view like empirical reason,or theoretical reasons such as finite model theory or descriptive complexity.Although we find so many reasons to believe $NP \neq ...
1
vote
0answers
111 views

Ext Quivers and their applications to Representation Theory

I am looking for references that provide an overview of the following two topics (it can be multiple references if necessary): How to compute the Ext-quiver of a (locally finite or finite) ...
1
vote
2answers
159 views

Looking for a reference for a paper by Mordell

On page 384 of the book "Number Theory:Volume 1:tools and Diophantine Equations" by Henri Cohen there is reference to the fact that: "It has been proved by Schinzel, Mordell nd successors that such an ...
3
votes
0answers
119 views

multiplicity of automorphic representation of unitary similitude group

Let $G$ be a unitary similitude group over $\mathbb{Q}$ (as in the book of Harris-Taylor), $\pi$ an irreducible automorphic representation of $G(\mathbb{A})$. I'm looking for some results on its ...
2
votes
2answers
179 views

Jordan-Holder vs Harder-Narasimhan

Let $M$ be a module over an algebra or a group. I am interested the following decreasing filtration: $F^0M=M$; $F^iM$ is the smallest sub-module of $F^{i-1}M$ such that the quotient is ...
4
votes
0answers
97 views

The number of representations of the positive integer $n$ as $a^{2}+b^{2}+p^{2}c^{2}$

Let $n$ be a positive integer and $p$ a prime number. I know that there are formulas by which one can compute the number of representations of $n$ as the sum of two or three squares etc. I would to ...
2
votes
1answer
99 views

Reference request for proof of Brodskii-Milman theorem “On the center of a convex set”

Can anyone help me to access the paper: M.S Brodskii and D.P Milman, "On the center of a convex set", Dokl. Akad. Nauk SSSR 59 (1948) 837–840 in Russian? or to prove the theorem: If $K$ is a ...
1
vote
0answers
136 views

Motivating mathematics(particularly algebraic number theory) through historical problems [closed]

Most mathematical textbooks start a subject by going backwards, historically. They will define the terms that were invented to solve a problem in their polished form and then use these definitions and ...
4
votes
1answer
243 views

The maximum of the preimage of [1,x] through Euler's totient function

A friend of mine and I have shown the following: "For each $x \geq 1$ let $m := m(x)$ be the greatest positive integer such that $\varphi(m) \leq x$, where $\varphi$ is the Euler's totient function. ...
2
votes
2answers
202 views

Gauge-theoretic formulation of Maxwell equations [duplicate]

Does any one know how to write the Maxwell equations as an equation on a principal $U(1)$-bundle? In Freed & Uhlenbeck's Instantons and Four manifolds, the authors claim that the Maxwell ...
1
vote
2answers
103 views

A reference for a property for the Hausdorff distance

Consider the following property of the Hausdorff distance in $\mathbb R^n$. Let $\Omega_n \supset \Omega_{n+1} \supset ...$ a sequence of open, convex and bounded sets with ...
1
vote
1answer
54 views

Reference request: seminal paper on the Blumenthal-Getoor index

Numerous papers are referring to the following one R. M. Blumenthal and R. K. Getoor, Sample functions of stochastic processes with stationary independent increments, J. Math. Mech. 10 (1961), ...
10
votes
2answers
398 views

Nearby matrices have nearby leading eigenvectors?

Suppose I have a symmetric positive semidefinite matrix $A$ with leading eigenvalue $1$ of multiplicity $1$ and remaining eigenvalues $\leq\epsilon$. I am told that another symmetric positive ...