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

**1**

vote

**1**answer

284 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

**1**answer

64 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. ...

**4**

votes

**0**answers

110 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

**3**answers

577 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

**0**answers

306 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

**0**answers

137 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

**1**answer

190 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

**2**answers

169 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

**2**answers

184 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

**0**answers

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

**0**answers

74 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

**0**answers

110 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

**0**answers

41 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

**1**answer

204 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

**0**answers

81 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

**1**answer

263 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

**1**answer

243 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

**0**answers

76 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

**1**answer

106 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

**0**answers

124 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

**2**answers

212 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

**1**answer

586 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

**0**answers

70 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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

121 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

**0**answers

103 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

**0**answers

605 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 ...

**3**

votes

**0**answers

74 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

**1**answer

117 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

**1**answer

94 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

**1**answer

596 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 ...

**6**

votes

**3**answers

312 views

### Union of conjugates of a subgroup

Let $G$ be a finite group, $H \leq G$ a proper subgroup. It is well known that the union of the conjugates of $H$ does not cover $G$. I would like to know of more precise results (even in special ...

**2**

votes

**1**answer

173 views

### A parametrization of subsets

Suppose $I\subseteq\{1,\dots,n\}$, and let $\{1,\dots,n\}\setminus I=\{j_1,\dots,j_m\}$ be an enumeration of the complement of $I$ with $j_r<j_{r+1}$ for each $r\in\{1,\dots,m-1\}$. To $I$ I can ...

**0**

votes

**0**answers

45 views

### The set of (property) elements of a locally compact group is closed

For which properties $(P)$ is the following statement known to be true?
In any locally compact group $G$, the elements of $G$ that satisfy $(P)$ form a closed subset of $G$. In other words, the ...

**1**

vote

**0**answers

32 views

### Generalizing Concepts of Planar Euclidean Geometry to Symmetric TSP-Instances

To me it seems possible, to successfully look at symmetric TSP instances from a geometry-point of view.
Examples are:
the diagonals of the convex hull of a set of points in the euclidean plane; ...

**2**

votes

**1**answer

236 views

### Proof of the Friedlander–Iwaniec theorem

Does anybody know where I could find the proof of the Friedlander–Iwaniec theorem. The link that I find when I search for it is http://www.pnas.org/content/94/4/1054.full.pdf+html, but this seems more ...

**1**

vote

**0**answers

98 views

### Retracts of 2-categories

Let $\mathbf{C}$ be a strict $2$-category and let $M = \{(x_\alpha,y_\alpha)\}$ be a collection of object-pairs so that each hom-category $\mathbf{C}(x_\alpha,y_\alpha)$ has an initial element ...

**0**

votes

**0**answers

133 views

### Reference: A nowhere vanishing section of a vector bundle is locally split

Well-known fact:
If $(A, \mathfrak{m})$ is a local Noetherian ring, $E$ is a finitely generated free $A$-module, and $e\in E$ is an element not contained in $\mathfrak{m}E$, then $E/eA$ is also a ...

**1**

vote

**0**answers

69 views

### Structure of the zero set of analytic maps (Lojasiewicz’s Structure Theorem for Varieties)

The Lojasiewicz’s Structure Theorem for Varieties states that for $\Phi:\mathbb{R}^n\rightarrow \mathbb{R}$ real analytic with $\Phi(0)=0$ the set $\Phi^{-1}(0)$ is locally a union of subvarieties of ...

**3**

votes

**0**answers

99 views

### Is there a coordinate free proof of the Morrey--Kohn--Hormander identity?

The Morrey--Kohn--Hormander identity is the key to proving vanishing/existence results on bounded pseudoconvex domains in $\mathbb{C}^n$, or more generally, Stein domains. See, for instance, the ...

**1**

vote

**3**answers

278 views

### A special case of the uniformization theorem

I am interested in a proof of the following fact :
Suppose that $X$ is a Riemann surface homeomorphic to the Riemann sphere. Then $X$ is conformally equivalent to the Riemann sphere.
Of course, this ...

**4**

votes

**0**answers

131 views

### Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here.
Is there ...

**2**

votes

**0**answers

83 views

### Pure braid groups of the complement of a lattice in the complex plane: generators and relations

Where can I find a presentation (by `natural' generators and relations between them)
of the pure braid groups $PB_n(S)$ (for $n>0$) of $S=\mathbb C\setminus (\mathbb Z\oplus i \mathbb Z)$?
Thanks ...

**1**

vote

**1**answer

223 views

### A generalization of the Grauert direct image theorem

EDIT: Let $f\colon X\to Y$ be proper holomorphic submersive map of complex analytic manifolds. Let $\mathcal{F}$ be the sheaf of holomorphic sections of a holomorphic vector bundle over $X$. Assume ...

**9**

votes

**2**answers

470 views

### Bound on gcd of two integers

Well this is a problem I was fiddling with. I came up with it but it probably is not original.
Suppose $a\in \mathbb{N}$ is not a perfect square. Then show that :
...

**9**

votes

**2**answers

564 views

### Functions that Calculate their $L_p$ Norm

are there any examples of functions $f:x\in\mathbb{R}_0^+\rightarrow\mathbb{R}_0^+$ and intervals $(a,b), 0\le a \lt b \le \infty$ , for which $$\Big(\int_a^b{|f(x)|^p dx}\Big)^\frac{1}{p} = f(p)$$ ...

**7**

votes

**2**answers

258 views

### Arveson's extension for normal completely positive maps

My question deals with a version of Arveson's extension theorem (for the standard version, see, e.g., Paulsen's book Completely Bounded Maps and Operator Algebras). Let $\mathcal A$ be a von Neumann ...

**2**

votes

**0**answers

81 views

### Primality Criterion for Specific Class of Numbers of the Form kb^n-1

Let $N=k\cdot b^n-1$ where $b$ is an even integer , $3\nmid b$ , $3\nmid N$ ,
$k \equiv 1,5 \pmod{6}$ , $k< b^n $ and $n>2$ .
Let $S_i=P_b(S_{i-1})$ with $S_0=P_{k\cdot b/2}(P_{b/2}(4))$ , ...