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

learn more… | top users | synonyms

1
vote
2answers
111 views

Asymptotics and error terms for an arithmetic function built upon $\omega$ and $\Omega$ functions

For any real number $x$, let's define $Om_{k}(x)$ as the number of positive integers $m$ below $x$ such that $\Omega(m)-\omega(m)=k$, where $\omega(n)$ is the number of distinct primes dividing $n$, ...
2
votes
0answers
56 views

Uniformization/measurable selection theorems

Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...
2
votes
2answers
241 views

Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...
0
votes
1answer
251 views

a book comparable to Development of mathematics in the 19th century by F.Klein? [closed]

This book is apparently very interesting according to Vladimir Arnold. I couldn't get my hand on a copy yet, therefore I would to ask you for any reference similar to it, and also can you post ...
10
votes
3answers
1k views

Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example: (a) For any projective curve $X$ satisfying certain ...
1
vote
0answers
52 views

polynomial 0,1 integer programming

IS there a mathematical optimization branch that explicitly tries to optimize this (type) problem? $$\eqalign{ & \min \cr & \sum\limits_{i = 1}^N {(J*s[i] + {J_1}*s[i]*s[i + 1] + ...
2
votes
1answer
217 views

Tools for Removing Radicals from Equations

I am currently doing some investigations on Sylvester's 4 Point Problem Probability of 4 Points being in Convex Configuration and repeatedly face the problem of solving equations between sums of ...
6
votes
1answer
319 views

Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...
1
vote
0answers
42 views

Jumps of jump diffusions

Let $W$ be a Brownian motion and $N$ a Poisson random measure defined on $\mathbb R_+ \times \mathbb R_0^n$ ($\mathbb R_0^n:=\mathbb R^n-\{0\}$) with compensator $\tilde N(dt,dz):= N(dt,dz) - dt ...
2
votes
1answer
178 views

How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known): Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...
0
votes
3answers
195 views

Specific Reference? Noncommutative topology and C^* algebras [closed]

I stumbled across this "dictionary for noncommutative topology" http://planetmath.org/noncommutativetopology and I would be very interested in learning more on the subject, particularly I'd like to ...
2
votes
0answers
62 views

Reference for MacMahon on Overpartitions

In the literature on overpartitions Percy A. MacMahon is usally cited as the genesis of the theory. Often the reference is to his 1916 textbook -- but, having recently checked this out of my school's ...
1
vote
2answers
99 views

Does the Teichmüller space of the pair of pants admit a continuous global section?

Let $P$ be a pair of pants, $H(P)$ be the space of smooth hyperbolic Riemannian metrics with geodesic boundary on $P$, and $T(P)$ be the Teichmüller space of $P$ (quotient of $H(P)$ under smooth ...
2
votes
0answers
52 views

Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to ...
3
votes
1answer
136 views

Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...
2
votes
2answers
206 views

irreducible polynomials on the polynomial sequence

I suspect this problem is very famous and it must be studied very well. But I searched in Google and I did not find good reference. I will appreciate any answer and reference for any contribution ...
3
votes
1answer
110 views

Countable model theory for $\omega$-stable theories?

This is a bit of a fishing expedition, because I'm not sure what I'm looking for. Very vaguely stated, here's the driving question: What conditions on an $\omega$-stable theory make the class of ...
1
vote
1answer
280 views

When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth. Is it true that there exists a ...
2
votes
1answer
62 views

Does the category PCM (partial commutative monoids) have a closed symmetric monoidal product?

A partial commutative monoid (PCM) is, roughly speaking, a set with a partially defined binary operation that is as associative as it can be (given that not all products are defined) and commutative. ...
3
votes
0answers
108 views

Parshin's buildings for higher local fields

What is the status of the theory of buildings for higher local fields? I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over ...
6
votes
3answers
552 views

Some explanation about Dynin's formalism

I have seen this claim on the Wikipedia page for the Yang-Mills Millenium problem by Alexander Dynin. He is a mathematician working at the Department of Mathematics of Ohio State University and so, I ...
1
vote
0answers
299 views

Conjectures on fractions where each digit appears once in numerator and denominator

This is a highly redacted version of a question that was asked before. Please see Criteria of considering relevance of the question to the domain of research topics for details. Some numerical ...
2
votes
0answers
136 views

On groups satisfying a law

We say that a group $G$ satisfies a law if there exists a (nontrivial) word $w \in \mathbb{F}_n$ such that $w(g_1,\dots,g_n)=1$ for every $g_1,\dots, g_n \in G$. For example, any abelian group ...
0
votes
1answer
189 views

Where can I find the classification of groups of order 16p? [closed]

I need to classify the groups of order $16p$ by their generators and relations between the generators. Can I find this classification anywhere?
5
votes
2answers
163 views

What is known about tiling a rectangle in an irreducible way by smaller rectangles?

Given two naturals $s<t$. Is there always a square (or at least a bigger rectangle) that can be tiled with $s\times t$ rectangles in an irreducible way (i.e. any grid line splitting it cuts at ...
4
votes
2answers
172 views

Forcing $\neg AC$

Sorry if this sounds like a silly reference request, but I wasn't able to track down any. I'm looking for proof, via forcing, that axiom of choice can fail in a model of $ZF$. All of papers I found ...
0
votes
0answers
34 views

reading request on linear elliptic systems of pdes, strong solutions

Does anyone have some references where I could find results on strong solutions to linear elliptic systems of pdes ? Regards
2
votes
0answers
72 views

singularities preserved by integral closure

Let $X$ be an affine variety. Let $A$ be the coordinate ring of $X$ and let $K$ be the fraction field of $A$. Given a Galois extension $K\subset L$, let $B$ be the integral closure of $A$ in $L$. Let ...
6
votes
0answers
108 views

A Property of Generalized Equivariant Cohomology

Let $G_i$ be a compact Lie group, $i=1,2$, and let $E_{G_i}^*$ be a $\mathbb{Z}$-graded complex-oriented $G_i$-equivariant generalized cohomology theory with commutative products. Let $X_i$ be a ...
2
votes
0answers
37 views

Probability of hitting a Borel set by transient Brownian motion ($d\geq 3$)

I am looking for references/progress made in estimating the hitting probability for Borel sets. For spheres we have $P_{x}(T_{B_{r}(0)}<\infty)=(\frac{|r|}{|x|})^{d-2}$, where $x=B_{0}$ for ...
0
votes
1answer
199 views

Articles about Weil cohomology theory by Grothendieck and Artin

In "The Standard Conjectures" Kleiman says that the following properties of Weil cohomology theory were proved in 1963 for étale cohomology by Artin and Grothendieck, except for the last one that it ...
5
votes
0answers
80 views

$L^p$ regularity for wave equations with coercive boundary conditions

Suppose we have the wave type equation $$\partial^2_tu - L u = 0$$ on a compact manifold with boundary, where $L$ is a second order strongly elliptic operator with coercive boundary conditions (not ...
2
votes
1answer
262 views

Is there any publication of “Beilinson’s dream” on motivic (complexes of) sheaves?

In "Standard conjectures of algebraic cycles" nLab says: "... They were also followed by “Beilinson’s dream” on motivic (complexes of) sheaves which comprise so called standard conjectures of ...
7
votes
1answer
186 views

For a 3D Apollonian packing, do we really know that the Hausdorff dimension of the complement is approximated by the growth rate of curvature?

The fractal dimension of the 3D Apollonian packing is computed in this paper. In the introduction, the authors cite three of Boyd's paper (Ref 2, 5, 6) to support that the fractal dimension ...
3
votes
0answers
74 views

Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v ...
6
votes
1answer
104 views

An analogue of cabling for configuration spaces

There is a well-known operation known as cabling for knots, and also for braid groups, where it is a homomorphism $$\beta_k \times \beta_\ell \longrightarrow \beta_{k\ell}$$ given by thickening up the ...
0
votes
0answers
119 views

$L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?

Let $\mathbb T$ be a circle group. In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, ...
2
votes
2answers
209 views

Lifting to char 0, references and questions

Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...
10
votes
1answer
566 views

Harrington's unpublished note “The constructible reals can be anything”

Around 1974, Leo Harringto wrote an unpublished note entitled "The constructible reals can be anything", in which he proved that it is consistent that being $\Delta^1_n$ is the same as being ...
0
votes
0answers
66 views

A question related to the Grauert semi-continuity theorem

Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on ...
1
vote
0answers
114 views

Does $G\times H$ have a dual when $G$ and $H$ have?

Let $G$ and $H$ be two groups with duals. Does $G\times H$ have a dual? A group $G$ has a dual iff the lattice of its subgroups is order-isomorphic to the dual of the subgroup lattice of some other ...
22
votes
2answers
1k views

Do's and don'ts of writing survey papers

I am not sure if this is the appropriate forum to ask as it is not directly related to a research level (math) problem, but I figured it was worth a try. I recently attended a conference and felt that ...
2
votes
0answers
151 views

Kloosterman-like sum with inverse to different moduli

In some recent work, the following strange-looking exponential sum arose: $$ \sum_k \sum_r \sum_s e\bigg( \frac{r \bar s^{(r)} \bar k^{(r^2+s^2)}}{r^2+s^2} \bigg). $$ Here $e(x) = e^{2\pi i x}$ as ...
1
vote
1answer
118 views

Ratner theorem and dense geodesic planes in hyperbolic manifolds

Suppose we have a closed hyperbolic $3$-manifold $M$. For any $x\in M$ and plane $\pi$ in $T_xM$ we consider $P$ the geodesic plane exp$(\pi)$ originating from $\pi$. For any $p\in \pi$ we consider ...
2
votes
0answers
95 views

Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism $$DR(V) ...
14
votes
0answers
599 views

New(?) reciprocity law

Consider three functions $f, g$ and $h$ on a smooth curve $X$ over $\mathbb{C}$. I have found the following equality: $$\sum (res(f\frac{dg}{g})\frac{dh}{h}-res(f\frac{dh}{h})\frac{dg}{g})=0.$$ Here ...
2
votes
0answers
62 views

Asymptotic formula for restricted partition function

Let $p(n)$ be the partition function. Hardy and Ramanujan - and Uspensky, independently proved the asymptotic formula $$(1) \quad p(n) \sim \frac1{4\sqrt{3}} \frac{e^{c_0\sqrt{n}}}{n} \text{ as } n ...
1
vote
1answer
107 views

Global version of the Picard-Lindelöf theorem [closed]

Let $I\subseteq \mathbb{R}^{n}$ be an arbitrary (not necessarily closed) intervall and $f:I\times \mathbb{R}^{n}\to \mathbb{R}^{n}$ a continuous function such that in $I\times \mathbb{R}^{n}$ ...
3
votes
1answer
91 views

Do Heegaard Floer homology detect fibred knot in general oriented 3-manifold?

Do Heegaard Floer homology detect fibred knot in general oriented 3-manifolds other than $S^3$? If the answer is yes could you give a reference.
4
votes
1answer
584 views

solvable word problem without algorithm

Let $G$ be a finitely generated group. I wonder if there are examples where: 1) The word problem is known to be solvable in $G$ but there is no algorithm known. 2) The word problem is known to be ...