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
0answers
11 views

Bi-epimorphisms

A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: DEFINITION   A morphism $\ f:X\rightarrow Y\ $ is a ...
6
votes
2answers
207 views

Non-Forcing and Independence

I asked this question about two weeks ago on MSE and haven't gotten an answer, so I thought I would post the question here. Do there exists sentences which are independent of ZFC, cannot be shown to ...
21
votes
2answers
701 views

fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$. surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...
2
votes
1answer
81 views

Unitary representation with fixed Casimir

Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of ...
3
votes
3answers
371 views

Is there a reference for compact imbedding theory of Hölder space?

This question is posted and unanswered from math.stackexchange. Suppose $0 < \alpha < \beta$ and $\Omega$ is bounded. Then, the Hölder space $C^\beta(\Omega)$ is compactly imbedded to ...
1
vote
2answers
281 views

Line bundles over Kähler–Hodge manifolds

A Kähler–Hodge manifold $M$ can be defined as a Kähler manifold whose Kähler form $\omega$ is integral, namely $\omega\in H^{2}(M,\mathbb{Z})$. It is known then that there always exists a Hermitian ...
5
votes
0answers
97 views

3D models of the unfoldings of the hypercube?

There are (apparently) 261 distinct unfoldings of the 4D hypercube, a.k.a., the tesseract, into 3D.1 These unfoldings (or "nets") are analogous to the 11 unfoldings of the 3D cube into the plane.2 ...
4
votes
2answers
538 views

Borel–Weil theorem - reference request

I am asking about good references (both books and papers) for the well-known Borel–Weil theorem. Thank you very much!
2
votes
0answers
119 views

Reference for Arakelov's theorem: $K^2_f=0$ iff $f$ is locally trivial

Let $f:X\longrightarrow B$ be a family of curves, with $f$ relatively minimal, over a fixed curve $B$ ($B$ is projective, irreducible and smooth). The fibration $f$ is said locally trivial if all ...
6
votes
2answers
392 views

Equivariant motivic sheaves

Thanks to the work of Cisinski-Deglise: http://arxiv.org/abs/0912.2110, we now have a triangulated category of `motivic sheaves' available that admits the standard yoga of the six functors. Is there ...
2
votes
2answers
130 views

boundary homomorphism in the homotopy exact seqeunce of principal $SO(9)$ bundle over $S^8$

Consider principal $SO(9)$ bundles over $S^8$.They are in 1-1 correspondence with $$[S^8,BSO(9)]\cong \pi_7(SO(9))\cong \mathbb{Z}$$ Now pick up one such bundle $\xi$,we have the long exact sequence ...
2
votes
2answers
435 views
+50

orbits of linear algebraic group $G({\Bbb Q}_p)$ acting on subgroups of ${\Bbb Q}_p^n$

Let $G\subseteq GL(n)$ be a linear algebraic group, and let $G({\Bbb Q}_p)\subseteq GL(V)$ act on a ${\Bbb Q}_p$-vector space V of finite dimension. Consider the action of $G$ on abelian subgroups ...
5
votes
1answer
98 views

Symmetry type of non-cohomological automorphic forms

By Katz-Sarnak philosophy a family of $L$-functions would have a symmetry type which would reflect the statistics of $L$-functions, such as low lying zeros and moments. Shin-Templier's paper on ...
0
votes
0answers
69 views

When an integral with respect to a Poisson point process is finite?

Let $N(ds,dv)$ be a Poisson measure on $\mathbb{R} _+ \times \mathbb{R} _+$ with intensity $dsdv$. Let $N = \sum\limits \delta_{(s_i,v_i)}$. Assume that $N$ is compatible with a filtration $\{ ...
1
vote
0answers
97 views

Explicit description/calculation of norm group of ideles of characteristic $p$ global field

I posted the same question earlier in stack exchange, (http://math.stackexchange.com/questions/1130391/algebraic-proof-of-2nd-inequality-of-global-class-field) thinking it is most definitely not a ...
3
votes
1answer
229 views

Min Bend Orthogonal Knots

I am seeking literature on 3D orthogonal drawings of knots, especially minimum bend drawings. An orthogonal drawing employs segments parallel to the axes of a Cartesian coordinate system. A bend is a ...
8
votes
2answers
234 views

Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function $$f\colon X \to Y $$ and assume that it is bijective at the level of ...
1
vote
1answer
138 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
8
votes
3answers
201 views

How do small central extensions drop the dimension of a faithful representation?

Apologies in advance that this is a very soft question. I might be talking complete nonsense. But I hope I am talking about something that has even been studied... I am interested in the phenomenon ...
12
votes
2answers
671 views

Is there a probability theory developed in intuitionistic logic?

Since Boole it is known that probability theory is closely related to logic. According to the axioms of Kolmogorov, probability theory is formulated with a (normalized) probability measure ...
2
votes
1answer
201 views

What happens to the cohomology ring after a “flip-flop”?

I've been trying to understand what happens to the cohomology ring (say with coefficients in $\mathbb{R}$) of a smooth complex projective manifold after blowing up along a smooth complex submanifold. ...
14
votes
1answer
1k views

complement of a totally disconnected closed set in the plane

While preparing a course in complex analysis, I stumbled over a remark in Dudziak's book on removable sets, namely that any totally disconnected $K \subset\subset {\mathbb C}$ must have a connected ...
12
votes
3answers
1k views

Covering a Cube with a Square

Suppose you are given a single unit square, and you would like to completely cover the surface of a cube by cutting up the square and pasting it onto the cube's surface. Q1. What is the largest ...
7
votes
2answers
445 views

Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups. For example, Artin's theorem is the statement that for every character $\chi$ of ...
7
votes
1answer
210 views

A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...
0
votes
1answer
146 views

Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...
5
votes
1answer
138 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
0
votes
1answer
78 views

Practical Algorithm for Comparing the Discrepancy of Point Sets (on Unit Hyper Spheres)

I have devised a simple geometric algorithm for generating a sequence of points on unit hyper spheres; that algorithm depends on a single real parameter, which I would like to optimize in order to get ...
7
votes
2answers
484 views

Most dense subset of numbers that avoids arbitrarily long arithmetic progressions

The famous Green-Tao theorem says that there exist arbitrarily long sequences of primes in arithmetic progression. I am wondering: How dense can a subset $S \subset \mathbb{N}$ be and still avoid ...
3
votes
0answers
117 views

Prime zeta zeros - reference

Is there an online repository for zeros of the prime zeta function? I looked at the Yahoo group Prime numbers and primality testing listed on the MathWorld notebook for the prime zeta function, but ...
1
vote
0answers
38 views

How often can a single length occur as a boundary distance?

Given a bounded domain $\Omega\subset\mathbb R^n$ ($n\geq2$), how often can a single real number $r>0$ appear as a distance of two points on $\partial\Omega$? We can make any assumptions about the ...
18
votes
2answers
801 views

Commutators in the reduced C*-algebra of the free group

Is it known whether any element of trace 0 in the reduced $C^*$-algebra of a non-abelian free group, is a limit of sums of (additive) commutators?
4
votes
1answer
301 views

Boardman-Vogt tensor product

Let $\mathbf{sSet}$ be the model category of simplicial sets and $\mathbf{Op}$ the model category of symmetric operads. Equipped with Boardman-Vogt tensor product $ \otimes_{BV}$, the category ...
4
votes
0answers
90 views

Improvements of the Reidemeister-Schreier index formula for particular classes of groups

I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then $$d(H) \le (d-1) ...
0
votes
0answers
103 views

Construction of Penrose Tiling (P3) from Wieringa Roof [closed]

I am trying to find sources detailing the construction of the Wieringa* Roof with the purpose of projecting the roof onto the plane and generating a Penrose Tiling (P3). The method can be seen in ...
2
votes
0answers
121 views

How to write BRST-BV for dg-Lie?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc. Where is there written a corresponding formula incorporating the differential of a dg Lie algebra and module?
1
vote
0answers
79 views

Best constant for Maier's theorem?

Maier proved that, for fixed $\lambda>1,$ $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda x)-\pi(x)}{\log^{\lambda-1}x}>1 $$ and in particular $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda ...
4
votes
1answer
211 views

Survey on Structural Complexity

Alot of the proofs I've been recently reading: IP / PSpace / MIP / NEXP / randomized reductions have a certain flavour involving proofs showing equivalence/relation between various complexity ...
5
votes
1answer
355 views

Structure of the automorphism group of a Riemann surface

I was wondering if anything is known about the possible structure of $\mathrm{Aut}(S)$ for a Riemann surface $S$. More precisely, are there known obstructions for a finite group $G$ to be such an ...
5
votes
1answer
333 views

Alternate proof of Morley's theorem?

I'm trying to understand the result given in the first box at slide 45 of this talk. Specifically: 1) What is the source cited? I have not been able to find any article by Keisler, Chudnovsky and/or ...
4
votes
1answer
151 views

Localization principle in supersymmetry

In $\S$ 9.3 of the book "Mirror symmetry" (Vafa, Zaslow eds.) the authors formulate the following general localization principle for computation of integrals with respect to both even and odd ...
0
votes
1answer
185 views

Stability conditions of coherent sheaves on abelian 3-folds

My work for now consists on understanding stability conditions of coherent sheaves on abelian 3-folds. I have the book by D. Huybrechts (the geometry of moduli spaces of sheaves), But I would like to ...
0
votes
0answers
93 views

The fundamental group of the complement of codimension 2 submanifold

Suppose that $M^n$, $V^{n+2}$ are connected, compact smooth manifolds. Let $f\colon M^n\to V^{n+2}$ is a smooth embedding. Let $K_f$ be the kernel of the inclusion induced homomorphism ...
5
votes
1answer
150 views

Did Lucas discover Lucas circles?

MathWord's article on Lucas circles traces the name to a little-known 1973 publication. These interesting circles have found their way into several 21st century publications, including the online ...
2
votes
1answer
77 views

Stirling numbers of the second kind with maximum part size

The stirling number of the second kind $S(n,k)$ counts the number of partitions of the set $[n]$ into $k$ non-empty parts. I found a definition for the numbers called the $r$-associated stirling ...
2
votes
1answer
116 views

Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than certifying the non-negativity of an arbitrary polynomial function: for instance, in (1) is proved that the complexity of ...
4
votes
1answer
179 views

Explicit bounds for transfer results in algebraic geometry

Assume you have an ideal $I\subseteq\mathbb{Z}[X_1,\ldots,X_n]$ of the polynomial ring in $n$ variables over the integers. For any field $\Bbbk$, I can consider the ideal ...
5
votes
3answers
417 views

Survey of Engineering Problems for Mathematicians [closed]

I am looking for survey-books on open math (esp. probability) problems from engineering fields but phrased in mathematical language. There are hundreds of specialized math-engineering books out ...
2
votes
1answer
101 views

Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$

I want to show: Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align} H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N) \end{align} is compact. I was able to show ...
2
votes
0answers
169 views

Classification of complex Kronecker foliations

Let $\theta \in \mathbb{C}$ be a fixed complex number. The submersion $f:\mathbb{C}^{2}\to \mathbb{C}\; \text{with}\; f(x,y)=y-\theta x$ defines a complex foliation on $\mathbb{C}^{2}$. Consider the ...