# All Questions

**1**

vote

**0**answers

64 views

### Restriction of motivic nearby cycles

Let $h:Y\to \mathbb C$ be a regular map and let $f:X\to \mathbb C$ be the restriction of $h$ to a closed subvariety $X\subset Y$. Both $X$ and $Y$ are assumed to be smooth. The maps $h,f$ induce ...

**1**

vote

**2**answers

76 views

### Connected, maximal compact, but not $T_2$

Is there a connected topological space that is maximal compact, but not $T_2$? (A space $(X,\tau)$ is said to be maximal compact if for any topology $\tau'$ on $X$ with $\tau'\supseteq \tau$ and ...

**4**

votes

**0**answers

46 views

+100

### Reduction of self-intersections without reducing the geometric intersection

Let $F$ be a hyperbolic surface. Given a closed curve $a$, let $\bar{a}$ denotes the free homotopy class of $a$. Let $i(\bar{a},\bar{b})$ denotes the geometric intersection number and $i(\bar{a})$ ...

**1**

vote

**0**answers

64 views

### Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$

Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by ...

**4**

votes

**0**answers

88 views

### TQFT characterization of braiding statistics

In the TQFT language, quasiparticles correspond to Wilson loop operators. It is well-known that quasiparticles can have non-trivial braiding statistics.
Take $2+1$ dimensional Abelian Chern-Simons ...

**1**

vote

**0**answers

26 views

### Minimizing sum of functions, while keeping their values non-negative

Suppose we have data $\mathbf{x}_i$, $i\in \{1, \ldots, K\}$, and we're trying to find parameters $\hat{\mathbf{\theta}}$ such that
$$\hat{\mathbf{\theta}} = \underset{\mathbf{\theta}} ...

**1**

vote

**2**answers

166 views

### ideals generated by two elements in the polynomial ring of two variables over a field

Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime.
Let $k[x,y]$ be the polynomial ring.
Let $f,g\in k[x,y]$.
Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ generqated ...

**3**

votes

**0**answers

47 views

### Noncommutivity of various lifts

Let $D$ be a definite quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$ for simplicity. Then an automorphic form on $D^{x}/F^{x}$ has several different interpretations. First, through ...

**14**

votes

**2**answers

314 views

### Explicit permutation representation of the Thompson sporadic simple group?

The Thompson group Th of order $90745943887872000$ is one of the sporadic simple groups occurring in the classification of finite simple groups.
Its maximal subgroups are known (see ...

**0**

votes

**0**answers

55 views

### Can this equation have an explicit solution?

Given $n > 0$, $0 \leq i \leq n$ is an integer, $D = diag(d_1, \dots, d_n)$ is
positive definite, $e_i$ is the $i$th column of a $n \times n$ identity matrix, $u \in R^n$ such that $B = D + u * ...

**2**

votes

**1**answer

156 views

### Is $K^0(X)\to K_0(X)$ monomorphic for a noetherian scheme $X$?

This question is related to the MO questions What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes? and Does a fully faithful functor between triangulated categories induce ...

**9**

votes

**1**answer

137 views

### Harmonic spinors on closed hyperbolic manifolds

Does anyone know an example of a closed spin hyperbolic manifold of dimension 3 or greater such that the kernel of the Dirac operator is non-trivial?
I'm mainly interested in the 3-dimensional case ...

**2**

votes

**2**answers

119 views

### Momentum a cotangent vector

Apparently one identifies the configuration space in physics often with a manifold $M$. The tangent bundle $TM$ is then the space of all possible positions and velocities.
Furthermore, many sources ...

**1**

vote

**0**answers

41 views

### Bounding correlation between blocks of Gaussian stationary process

Let $X_n$ be a stationary Gaussian process with covariance function $\gamma(n)=\mathrm{Cov}[X(n),X(0)]$. Let $\mathbf{X}_p^q=(X_p,\ldots,X_q)$, $s_n^2=\mathrm{Var}(X_1+\ldots+X_n)$, and ...

**2**

votes

**2**answers

318 views

### Primes as uncorrelated random variables [on hold]

The heuristic justification section of the Wikipedia article about Goldbach's conjecture says that the argument that suggests that
the number of twin primes below $x$ should be roughly ...

**5**

votes

**2**answers

159 views

### Biggest parallelogram inside the union of two translated parallelograms

If I have a parallelogram $P$ symmetric around the origin, and a vector $v$, such that $(P+v)\cap (P-v)$ is not empty, is there a simple way to obtain the parallelogram $Q\subset (P+v) \cup (P-v)$, ...

**4**

votes

**2**answers

126 views

### How many simple cycles can a graph with $n$ vertices and $m$ edges have?

I am mainly interested in the smallest number of simple cycles a graph with $n$ vertices and $m$ edges must have.
For example, if $m\le n-1$, this number is $0$, then if $n\le m \le 3(n-1)/2$, it is ...

**10**

votes

**2**answers

237 views

### Factoring constant rank maps into a submersion and an immersion

Let $X$ and $Z$ be smooth manifolds and $\phi: X \to Z$ a smooth map so that the differential $D \phi$ is everywhere of rank $d$. Is there necessarily a $d$-fold $Y$ so that $\phi$ factors as a ...

**3**

votes

**4**answers

302 views

### Examples of polynomials $x_1(t), x_2(t)$ such that $(x_1(t))^4 + (x_2(t))^4$ has a double root

Are there examples of polynomials $x_1(t), x_2(t) \in \mathbb{Q}[t]$ of equal degree at least one, with $\gcd(x_1(t), x_2(t)) = 1$, such that the sum $(x_1(t))^4 + (x_2(t))^4$ is divisible by the ...

**0**

votes

**0**answers

86 views

### Locally free sheaves and flat families of projective scheme

Let $f:X \to Y$ be a flat proper morphism of noetherian projective schemes and $\mathcal{F}$ is a coherent sheaf on $X$. Suppose for all $y \in Y$, $\mathcal{F} \otimes_{\mathcal{O}_Y} \mathcal{O}_y$ ...

**-2**

votes

**0**answers

104 views

### Proj of some ring [on hold]

Let $R=\mathbb C[x_1,x_2,x_3,x_4,x_5,y_1,y_2,y_3,y_4,y_5]$ be the polynomial ring and let $S$ be the subalgebra generated by $x_1x_2x_3x_4x_5,x_1x_2x_3x_4y_5,\cdots, y_1y_2y_3y_4y_5$ (the generating ...

**5**

votes

**1**answer

162 views

### An upper bound for the length of the continued fraction expansion of $\sqrt d$

Let $d\ge 2$ and let
$$
\sqrt d =[a_0; \overline{a_1,\dots, a_\ell, 2a_0}]
$$
be its continued fraction expansion. Clearly, if $d=n^2+1$, then $\ell=0$, which gives the lower bound for $\ell$.
...

**3**

votes

**0**answers

87 views

### existence of optimal control

I'm looking for an existential result in optimal control for the following class of problems:
Given $T > 0$, $\bar x, \hat x\in\mathbb R^d$, an instantaneous cost function $c:\mathbb R^d\times ...

**4**

votes

**0**answers

84 views

+100

### Quadratic variation and predictable quadratic variation for martingales

Let $(M_{t})_{0\le t\le 1}$ be a continuous martingale with respect to the filtration $(\mathcal{F}_{t})_{0\le t\le 1}$.
Fix $N$ and consider now a discrete version of this martingale, i.e., the ...

**1**

vote

**1**answer

166 views

### Does a fully faithful functor between triangulated categories induce embedding of their Grothendieck groups?

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck ...

**-1**

votes

**0**answers

69 views

### Are Modular Collatz Graphs strongly connected? [on hold]

A while ago, I stumbled on the idea of representing the Collatz function, modulo a prime $p$, as a directed graph. Define, as usual
$$
T(x) = \begin{cases}
(3x+1)/2 & \text{if $x$ is odd,} \\
x/2 ...

**5**

votes

**1**answer

173 views

### Spectrum of the Laplacian on p-forms on the sphere

In this paper the authors give an explicit description of the eigenforms and spectrum of the Laplacian acting on $p$-forms on the round sphere $S^n$, apparently citing an unpublished computation of ...

**4**

votes

**0**answers

68 views

### Geometric interpretation of the Desnanot-Jacobi Identity

Given a square $n\times n$ matrix $M$, let $M_i^j$ denote the $(n-1)\times(n-1)$ matrix obtained from M by omitting the i-th row and j-th column of $M$.
The Desnanot-Jacobi Identity states
...

**2**

votes

**0**answers

42 views

### Is the Quot scheme of finite length quotients with prescribed composition factors projective?

Assume we have a scheme $X$ over a field, say $\mathbb{C}$, and a "nice" sheaf of ring $R$ on it. $E$ denotes a left $R$-module. We denote by $Q:=Quot_R(E,n)$ the scheme classifying quotients ...

**-2**

votes

**0**answers

42 views

### What kind of matrix is similar to an irreducible matrix? [on hold]

For example, we know that the set of positive definite matrix is similar to an irreducible matrix. Therefore, the set of such matrices should include the positive definite matrix cone. What kind of ...

**0**

votes

**1**answer

46 views

### How many edges guarantee an expander?

Complete graphs are good expanders. Deleting few edges from a complete graph leaves a good expander. What's the proportion of edges that one needs to remove to make the graph a bad expander? Or, is ...

**0**

votes

**0**answers

38 views

### Densely-defined operator with closed range: conditions for operator closed

Suppose we have Banach spaces (or Hilbert spaces) $X$ and $Y$,
and a densely-defined linear operator $A : \operatorname{dom}(A) \subset X \rightarrow Y$ that is densely-defined and with closed range. ...

**-1**

votes

**0**answers

40 views

### Is there a stochastic process with zero mean but nonzero value in each time instant? [on hold]

Background: In a signal processing application, we want to randomized a signal by 'whiten' it, that is to say we want the 'whitened' signal with zero mean. However, there is a constraint on the signal ...

**4**

votes

**1**answer

138 views

### Deformation of curves and closed immersions

Let $\pi:\mathcal{C} \to B$ be a (flat) family of complex projective schemes of pure dimension $1$ with fixed Hilbert polynomial, in particular, for some $n \ge 3$, $\mathcal{C} \hookrightarrow ...

**2**

votes

**1**answer

146 views

### Old Peano theorem (demonstration is missing details) [on hold]

Let $A, B :[a,b]\subset\mathbb{R}\to\mathbb{R}^2$ be two functions of class $C^{1}([a,b])$ such that two segments (or intervals) $[A(t_1),B(t_1)]$ and $[A(t_2), B(t_2)]$ never intersect for $t_1, ...

**2**

votes

**1**answer

70 views

### Generators of the colored braid group (two colors), reference

I consider the group $B_{n,n}$, the braids, colored in two colors, say all odd strings are black and all even strings are white.
It is easy to find a set of generators for $B_{n,n}$:
$$
\begin{cases}
...

**2**

votes

**0**answers

93 views

### Reference to parabola lemma

I am looking for a previous reference to the following very simple geometric lemma, which I use in my paper [arXiv:1503.03462]:
Let $P$ be the parabola $y=x^2$. Let $a,b,c,d$ be four points on $P$ ...

**4**

votes

**1**answer

168 views

+50

### Radius of the largest enclosed ball in the convex hull of an algebraic variety

Let $\mathcal{V}\subset\mathbb{R}^n$ be a real compact algebraic variety. Let $\mathcal{V}^c$ be the convex hull of $\mathcal{V}$ and let us assume that $\mathcal{V}^c$ has nonzero n-dimensional ...

**2**

votes

**1**answer

140 views

### Does hyperconnected imply path-connected

If a space is hyperconnected (that is, the every non-empty open sets intersect), is it also path-connected?

**-1**

votes

**0**answers

60 views

### Non Satisfiability of disjuction [closed]

Problem:
If $S_1$ and $S_2$ are (possibly infinite) sets of propositional formulas where their union, $S_1\cup S_2$, is not satisfiable, prove that there exists an $\psi$ such that $S_1\models \psi$ ...

**-5**

votes

**0**answers

58 views

### vector bundle and characteristic classes [closed]

why every orient able line bundle is trivial? I give an orientation s(x) to each fib re such that s(x).s(x)=1 using the euclidean metric but I can not understand why this section becomes continuous

**0**

votes

**0**answers

37 views

### projective representation of supergroup

In fact, I am not very clear about what I am asking, but I am looking for a concrete example of supergroup which has non-trivial projective representation(some supergroup similar to usual Lie group ...

**1**

vote

**1**answer

59 views

### Alexandrov spaces of constant curvature

Let $X$ be locally compact Alexandrov space whose curvature satisfies both inequalities $\geq K$ and $\leq K$. What can be said about such a space? Is it locally isometric to the standard Riemannian ...

**4**

votes

**1**answer

65 views

### Strongly minimal set with DMP

Recall that a strongly minimal theory $T$ has the Definable Multiplicity Property (DMP) if for all natural $k$, $m$ and $\varphi(\bar{x},\bar{b})$ of rank $k$, multiplicity $m$, there exists a formula ...

**11**

votes

**1**answer

197 views

### Fair cake-cutting between groups

The cake-cutting game is usually played between individuals. What if we try to play it between groups?
A certain land has to be divided between two states. There are $n$ citizens in each state. ...

**3**

votes

**0**answers

131 views

### Using $\mathcal{U(H)}$ as a model for $EG$ and working with the Fredholm Operators

Let $\mathcal{H}$ be a unitary universe for some group $G$. As $\mathcal{H}$ is a faithful representation the representation map is an injection $G \to \mathcal{U(H)}$, so there's a free $G$ action on ...

**7**

votes

**2**answers

150 views

### Decomposition of a cross-polytope into simplices

Consider the standard embedded $n$-cross polytope $P_n$ with vertices $\pm e_i \in \mathbb R^n$. Let us consider decompositions of this polytope into $2^{n-1}$ simplices, such that these simplices ...

**0**

votes

**0**answers

23 views

### What does it mean for a prime ideal to divide a natural number m? [migrated]

In Cassels and Frohlich (Algebraic Number Theory) Exercise 1, one is asked to derive some properties of the power residue symbol. It begins by stating the following:
Let $m$ be a fixed natural ...

**10**

votes

**4**answers

435 views

### Rate of convergence in the Law of Large Numbers

I'm working on a problem where I need information on the size of $E_n=|S_n-n\mu|$, where $S_n=X_1+\ldots+X_n$ is a sum of i.i.d. random variables and $\mu=\mathbb EX_1$. For this to make sense, the ...

**3**

votes

**1**answer

259 views

### Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...