1
vote
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
2answers
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
2answers
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
2answers
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
4answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
4answers
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
1answer
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 ...

15 30 50 per page