# All Questions

**8**

votes

**2**answers

605 views

### GIT over integers

Let $G$ be a reductive algebraic group over ${\mathbb Z}$ (or a finite
localization of a ring of integers $R$ in a number field) acting on an
affine scheme of finite type $M=Spec(A)$ over $R$.
We ...

**4**

votes

**0**answers

102 views

### On Skinner and Urban's $p$-adic L functions

We know that if $\pi$ is an automorphic representation of $GL_2$ over a number field, the most important point for its $L$-function $L(s,\pi)$ is $s=\frac{1}{2}$. More specifically, in Skiner and ...

**2**

votes

**0**answers

26 views

### Text book for 2nd Linear Algebra course [migrated]

I stumbled across this site while searching for Hoffman and Kunze. There was a discussion about using HK for a beginning linear algebra course. I am teaching (for the first time) a 2nd course in ...

**-1**

votes

**3**answers

168 views

### Specific Reference? Noncommutative topology and C^* algebras [on hold]

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

**1**

vote

**2**answers

152 views

### Small birational maps and singularities of the pair

Let $f:X\dashrightarrow Y$ be a small birational map, where $X,Y$ are normal $\mathbb{Q}$-factorial varieties. Let $\Delta_X\subset X$ be an effective $\mathbb{Q}$-divisor such that the pair ...

**0**

votes

**0**answers

47 views

### Can Kuranishi families glue togheter to give a moduli space?

In his article "Moduli spaces of vector bundles on K3 surfaces and symplectic manifolds", Mukai constructs moduli of simple sheaves on a surface through a theorem that asserts the existence of a ...

**2**

votes

**0**answers

78 views

### generalization Abhyankar's lemma

This question is related to a question I already asked on MO (smooth quotient out of a singular variety?), but I realized later that the hypotheses where not precise enough in my former question.
Let ...

**0**

votes

**0**answers

42 views

### Solution of a nonlinear system of two equations

Given the matrix $A_{M,N}$ with $N\gt M$, the vector $y$, I have to find the vectors $x$ and $u$, satisfying the following equations:
$$D(x)x=A^Tu$$
$$y=Ax$$
where: $$D(x) = \left| \begin{array}{ccc}
...

**5**

votes

**2**answers

183 views

### What 3-manifolds can be obtained by gluing $ S^1 \times P $ and two copies of $S^1 \times D^2$

Let P denote the pair of pants e.g. a sphere minus three small discs $D_1$,$D_2$,$D_3$ about marked points $x_1,x_2,x_3$. I then consider $P \times S^1$. We have boundary components $T_1$,$T_2$,$T_3$. ...

**4**

votes

**1**answer

72 views

### Do non-subcanonical Grothendieck topologies always induce a category of fractions?

Suppose that $\mathscr{C}$ is a (possibly higher) category and $J$ is a Grothendieck topology which is not subcanonical. Denote the composite
$$\mathscr{C} \hookrightarrow ...

**1**

vote

**0**answers

72 views

### Mean Capture time for the Rabbit-Hunter paper by Peres et al [closed]

I am a non-math student. I am trying to read the paper "Hunter, Cauchy Rabbit, and Optimal Kakeya Sets" by Yuval Peres et al.
Link - http://arxiv.org/abs/1207.6389
In his video based on the paper - ...

**3**

votes

**1**answer

131 views

### Profinite completion of a partial order

In Johnstone's Stone Spaces it is proved that the category of profinite partial orders is (equivalent to) the category of ordered Stone spaces (also called Priestley spaces) and that the obvious ...

**9**

votes

**3**answers

703 views

### Proof correctness problem

I was watching this talk by Vladimir Voevodsky which was given at the Institute of Advanced Study in 2006.
In his talk the first slide he shows has the following written on it:
...

**5**

votes

**1**answer

266 views

+100

### Embeddings of forcing notions - preserve properness?

Let $ M $ be a countable, transitive model for $ \mathsf{ZFC}^* $, i.e. for a sufficiently large finite fragment of $ \mathsf{ZFC} $. Suppose that $ \mathbb{P} := (P, {\leq_P}, \mathbb{1}_P) \in M $ ...

**0**

votes

**0**answers

30 views

### Is the pseudomenon a statement? [migrated]

I'm asking this because I'm teaching a class on paradoxes for kids, and I realized I have no idea what the answer to this question is. It is a research question in the pedagogical sense, I suppose.
...

**5**

votes

**0**answers

271 views

### Refereeing a paper containing strong statements about other papers

The title says it all. Suppose you are refereeing a paper where the author A makes strong statements about other papers by a different author B, like: the proof of Theorem 1 in paper [B] is wrong and ...

**0**

votes

**0**answers

48 views

### the push forward of the differential idea of sheaf

This is about the differential idea of a sheaf as a vector bundle $E$ (not necessarily locally trivial) on a real manifold $M$ with a zero curvature connection $\nabla$. The zeroth cohomology is then ...

**-4**

votes

**1**answer

55 views

### How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$.
How to find matrix representations of the elements such that:
boolean $\cup$ ...

**9**

votes

**1**answer

189 views

### Motivation behind the definition of hochschild cohomology

For an associative algebra $A$ one can define the Hochschild cohomology of $A$ as $ HH^n(A,A):= Hom_{\mathcal{D}(A^{op} \otimes A)}(A, [n]A)$ (this definition also works for the graded and dg cases as ...

**6**

votes

**2**answers

180 views

### Clusters of uniformly distributed random points

This can be viewed as a toy version of this wonderful question. (I'm removing the TSP component, and I'll zoom in on the statistical part.)
Let $X_1,\ldots, X_n$ be iid, with uniform distribution in ...

**2**

votes

**1**answer

47 views

### weak convergence of the solutions to stochastic heat equation

$W(t,x)=\sum_ic_ie_i(x)B^i_t$ is a Brownian motion in $L^2(R^d)$, where $\{e_i\}$ is the standard orthogonal basis and $\sum_ic_i^2<\infty$.
$$\partial_t u(t,x)=\Delta u(t,x)+u(t,x)\dot{W}(t,x)$$
...

**19**

votes

**2**answers

1k views

### For $x,y\ge 2$ does $x^4+x^2y^2+y^4$ ever divide $x^4y^4+x^2y^2+1$?

For a problem in combinatorics, it comes down to knowing whether there exist integers $x,y\ge 2$ such that
$$
x^4+x^2y^2+y^4\mid x^4y^4+x^2y^2+1.
$$
Note that ...

**4**

votes

**1**answer

177 views

### How frequently is 3 a cubic residue mod primes in an arithmetic progression?

Suppose $(a,3q)=1$ and $a\equiv 1\pmod 3$. Are there infinitely many primes $p\equiv a\pmod {3q}$ such that $3$ is a cubic nonresidue modulo $p$?
Or, an equivalent formulation using quadratic forms: ...

**2**

votes

**1**answer

175 views

### Simple connectedness of $\mathbb{C}P^2$ intersected with an affine subspace

The complex projective plane $\mathbb{C}P^2$ can be thought of as the set of rank one 3-by-3 Hermitian matrices with norm one, i.e., $\mathbb{C}P^2 = \{xx^* : x \in \mathbb{C}^3, x^*x=1 \}$. As such, ...

**9**

votes

**3**answers

385 views

### Combinatorial interpretation of composition of power series?

This is a minor curiosity that came up in a joint project recently.
Consider the sequence $a_n=3\frac {(2n)!}{(n+2)!(n-1)!}$ (A000245 in OEIS).
It has multiple combinatorial descriptions.
One can ...

**3**

votes

**5**answers

248 views

### Given A set $U$ and a set $\mathcal O$ of subsets of $U$, how many subsets of $\mathcal O$ have union $U$?

Let $U$ be a finite set and $\mathcal O$ a set of subsets of $U$, how many subsets $\mathcal S$ of $\mathcal O$ satisfy the union of the elements of $\mathcal S$ is equal to $U$?
I think the problem ...

**10**

votes

**2**answers

328 views

### Lebesgue measure of a set of irrational numbers

Let $I_{\lambda},$ $\lambda>0$ be a subset of all irrational numbers $\rho=[a_{1},a_{2},...,a_{n},...]\in(0,1)$ such that $a_{n}\leq \text{const}\cdot n^{\lambda}.$
Here, ...

**3**

votes

**0**answers

114 views

### Embedding probability spaces in the completion of $[0,1]^K$

Question: Can every probability space $(X,\scr F,\mu)$ be $\sigma$-embedded in the completion of the space $[0,1]^K$ (equipped with a product of Lebesgue measure) for some set $K$?
Here, $f:\scr F\to ...

**0**

votes

**0**answers

79 views

### How the axioms of complete boolean algebras of sets can be expressed in terms of *arbitrary* unions and intersections? [closed]

Call abritrary union a unary set-theoretic operation denoted with a large symbol of union "$\bigcup$" like this:
(1) $\ \ \ x \in \bigcup\mathbf{M} \iff (\exists A \in \mathbf{M},\ x \in A)$.
I ...

**-3**

votes

**0**answers

59 views

### In what sense could “Maximizing a matrix” be and why? [closed]

So if we have the problem to maximize (or minimize) a matrix. What are the most relevant things to look at ?
Positive Semi-definiteness, the usual classical matrix norms ?
What are the difference ...

**1**

vote

**1**answer

39 views

### Estimate for elliptic problem on continuous functions

For an elliptic operator
$$ Lu = (a^{ij} D_iD_j + b^i D_i + c)u = f,$$
with suitable assumptions on the coefficients, one usually has Schauder estimates of the form
$$ \|u\|_{C^{2, \alpha}} \leq ...

**-1**

votes

**0**answers

152 views

### Translation is continuous in measure space [closed]

Let $\mu\in L^1[T]$ be a positive function and $f\in L_\mu^1[T]\cap L^\infty(T)$, where $T$ is the unit circle and define $g(t)=f(e^{it})$.
Is the following function continuous $$R\ni s \to g_s \in ...

**7**

votes

**0**answers

96 views

### Without AC, which implications between the different definitions of amenability still hold?

More precisely, I would like to know which implications between the following definitions of amenability of a discrete countable (or even finitely generated) group can be proved to hold with only ZF ...

**5**

votes

**3**answers

474 views

### opposite category

In the 2-category Cat of small categories, for each category $C$ (an object of Cat) there is also the dual category (I dare not write "dual object") $C^{op}$.
Is ${op}$ the instance in Cat of a more ...

**0**

votes

**1**answer

65 views

### Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$.
It follows that for almost all $t$, $u_n(t)$ is bounded in ...

**4**

votes

**1**answer

136 views

### Is it compatible with ZF to assume that every amenable discrete group is finite?

The question is in the title, amenability being understood as the existence of a left-invariant finitely additive probability measure on the group of interest. The case of countable groups is treated ...

**13**

votes

**0**answers

436 views

### What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in
Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11,
London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...

**3**

votes

**1**answer

195 views

### Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...

**15**

votes

**0**answers

195 views

### Are there any integers which can't be written as a sum of two fourth powers minus a cube?

To be precise, I am asking:
Does there exist an integer $k$ such that there do not exist (possibly negative) integers $x,y,z$ satisfying $x^4+y^4=z^3+k$?
Heuristically the answer must be yes, in ...

**1**

vote

**0**answers

49 views

### On linear functionals with the trace property that aren't positive

Suppose $A$ is a C*-algebra and $\phi:A \to \mathbb{C}$ is a bounded linear functional satisfying $\phi(ab) = \phi(ba)$ (I call this the trace property). How far is $\phi$ from being a (positive) ...

**1**

vote

**0**answers

74 views

### Inequality for an integral [on hold]

How to prove that the function $$f(r)=(1 - r^2) \int_0^{2\pi}|Re[\frac{e^{i a} (2 - e^{-i s} r)}{(-e^{i s} + r)^2}]|ds$$ for real $a$ and $r\in[0,1]$ attains its maximum for $r=0$ with $f(0)=8$.

**2**

votes

**0**answers

49 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

**1**answer

35 views

### Convergence rate of stochastic gradient decent with projections

Given a strong (not only strict) convex function $f: \mathbb{R}^n\to\mathbb{R}$. On such problems, stochastic gradient decent (SGD) has a convergence rate of $O(1/T)$, where $T$ is the number of ...

**0**

votes

**1**answer

89 views

### A pole of function in the article of Springer

I read the article Springer, T.A. On the invariant theory of $SU_2$, Indag. Math. 42, 339-345 (1980). Author considers $\mathbb{C}$-linear map at page $340.$
If $n$ is a positive integer, then write ...

**0**

votes

**0**answers

19 views

### Variance Gamma Distribution and Process

I have read that a variance gamma process $X_t=\theta G_t+\sigma W_{G_t}$ is such that $X_1\sim Variance Gamma(\theta,\sigma,\nu)$ but the variance gamma distribution has 4 parameters: $\mu$, ...

**4**

votes

**1**answer

191 views

### Continued fraction expansion of an algebraic number and its conjugates

Let $w$ be an element of a Galois extension $L:\mathbb{Q}$ such that $\text{Gal}(L/\mathbb{Q})=\langle g\rangle$ is cyclic of order $n$ (here $\mathbb{Q}$ is rationals). Suppose we know the continued ...

**1**

vote

**1**answer

87 views

### Boundedness of the number of curves negative on a varying big divisor

For a divisor $D$ on a smooth complex projective surface $X$, the stable fixed part is the maximal effective divisor $E$ which, for every $n \in \mathbb{N}$, is contained in every memeber of the ...

**5**

votes

**0**answers

109 views

### Is every Noetherian *connected* ring a quotient of a Noetherian domain?

This question is a strengthening of this question (answered negatively), and arose due to David Speyer's answer here.
Geometrically, this asks if every Noetherian connected affine scheme can be ...

**4**

votes

**0**answers

97 views

### Global geometry of discriminant locus

Let $X$ be a smooth projective threefold, and $\pi : X \to S$ an elliptic fibration over a surface (i.e. flat, with general fiber an elliptic curve). I'm interested in constructing such fibrations ...

**0**

votes

**2**answers

60 views

### Convexity of the Frobenius norm of the product of two matrices

I have the following function for two matrices ${\bf A}$ and ${\bf B}$:
$f({\bf A}, {\bf B}) = \| {\bf Y - XAB} \|_F^2 = trace\{({\bf Y - XAB)}^T({\bf Y - XAB)}\}$
where matrices ${\bf X}_{n \times ...