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

learn more… | top users | synonyms

0
votes
0answers
33 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 ...
3
votes
0answers
57 views

“Integrating” solenoidal vector fields

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
1answer
185 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
223 views

For what measures $\mu$ does $\mu*f\in L^{\infty}$ where $f$ is a given continuous integrable function?

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
193 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
73 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 ...
6
votes
1answer
170 views

Groups and pregeometries

Definition. For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...
0
votes
1answer
111 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} ...
0
votes
0answers
116 views

When is there a polynomial transformation? [on hold]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...
1
vote
0answers
69 views

Reference request on operator matrices [on hold]

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 ...
2
votes
0answers
214 views

Periodicity with irrational numbers [migrated]

Recently, I invented the following theorem and found a proof, it seems strange since it is very counter-intuitive to me. The proof is long and non-conceptual. Is there a place or a branch of math ...
8
votes
2answers
451 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
108 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
0answers
137 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
32 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
227 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 ...
5
votes
5answers
204 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 ...
6
votes
1answer
195 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 ...
4
votes
1answer
204 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
275 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
96 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
156 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
102 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
159 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
93 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
94 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
126 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 ...
0
votes
0answers
53 views

Controlling the $C^\infty$ norm of a cutted off function on a smaller set [closed]

Good morning everybody. Let us work in $\mathbb R^n$ for simplicity and assume $K$ to be a compact subset. Let $B$ be a ball containing $K$ and let $f\in C^\infty(K)$. By the Whitney extension ...
4
votes
1answer
197 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
179 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
1answer
75 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
49 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
392 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 ...
0
votes
0answers
99 views

How to convert the formulas in definition of period numbers into their continued fraction expansion, and what will the transformation will be [closed]

As we know,there is an interpretation or correspondence of/between continued fraction expansion of numbers in/and algebraic geometry how to convert the formulas in definition of period(for reference ...
1
vote
1answer
123 views

Finding loops and double edges ASAP in configuration model random graph

A common approach (at least in theory) to generating a random $n$ vertex graph uniformly subject to having a given (feasible) degree sequence $(d_i)_{i = 1}^n$ is to use the configuration model, i.e. ...
2
votes
0answers
50 views

Problems Solvable/Decidable by Counting Shortest Paths in Graphs

This questions is based on a dispute, whether it would be possible to calculate 'nice' routes in Manhattan, if the road network is assumed to be a rectangular grid and, that 'nice' means that there is ...
6
votes
1answer
290 views

Different approaches to forcing

There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is: Question 1. Which different approaches to set theoretic forcing are ...
2
votes
0answers
84 views

Applications of list decoding

This is citation from http://en.wikipedia.org/wiki/List_decoding: Algorithms developed for list decoding of several interesting code families have found interesting applications in computational ...
10
votes
2answers
371 views

“Economic” CW-structure for Eilenberg-MacLane spaces?

The only really "economic" cell structures for $K(\pi,n)$'s that I know is the one with a single cell in each dimension for $K(\mathbb Z/n\mathbb Z,1)$ and the one with a single cell in each even ...
4
votes
1answer
217 views

Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...
4
votes
0answers
100 views

Circumscribing simplex to convex body?

Q. Does every (perhaps smooth) compact convex body $K$ in $\mathbb{R}^d$ admit a circumscribing simplex, each facet of which touches (shares a point with) $K$? How about a circumscribing ...
3
votes
0answers
112 views

Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...
1
vote
1answer
136 views

Reference question: Brownian motion and surface area

I am doing research on the hitting probability of various sets (eg. 3D convex) and specifically how changes in perimeter/surface area change the hitting probability. By hitting probability I mean ...
13
votes
3answers
625 views

Moments of the trace of orthogonal matrices

Let $O_n$ be the (real) orthogonal group of $n$ by $n$ matrices. I am interested in the following sequence which showed up in a calculation I was doing $$a_k = \int_{O_n} (\text{Tr } X)^k dX$$ where ...
1
vote
1answer
75 views

What is Rosati Form

I was reading a paper and they mentioned the Rosati form. Particularly, what they said was: Let $A$ be an abelian surface defined over $k$ such that $ST_A^0$ (the connected component of the Sato-Tate ...
3
votes
0answers
56 views

How well is the classification of low-dimensional semisimple Hopf superalgebras (or braided Hopf algebras) understood?

As far as I know, low-dimensional semisimple Hopf algebras are classified (along with non-semisimple ones) up to dimension 60, with the first example of a semisimple Hopf algebra not coming from a ...
1
vote
0answers
195 views

Feynman integrals in algebraic geometry [closed]

In quantum field theory, multi-loop Feynman integrals are basic ingredients of calculating high order corrections. Recently, I have come across the paper A Feynman integral via higher normal ...
1
vote
0answers
69 views

reference for Levelt-Turritin

Can anybody recommend a good reference to learn the Level-Turritin decomposition theorem of formal connections? An intuitive description of what it says would also be very appreciated.
2
votes
1answer
208 views

Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true): ...