# All Questions

**0**

votes

**0**answers

17 views

### density function time series

I have a time series of density functions, say A1-A5. Each density function is defined as $f(x)=\Sigma_{i=1}^{N} \beta(x-a_i)$, where $\beta$ is a smoothing function (e.g., gaussian or delta), and N ...

**6**

votes

**1**answer

239 views

### What's the difference between Euler systems and Kolyvagin systems?

Is there a difference between Euler systems and Kolyvagin systems - or do they refer to the same thing? For example there is the Heegner point Euler system, but you don't really see a Heegner point ...

**-3**

votes

**0**answers

30 views

### Calculus II Function Construction [on hold]

I need help please!
Construct a function that is continuous and non-negative [0,1], with the property that the area under the function on [0,1] is finite yet the arc length on [0,1] is infinite.

**2**

votes

**0**answers

116 views

### Fiber bundle in smooth category and topological category

Let $M$ be a smooth manifold and $G$ be a Lie group. Denote by $Bun(M,G)$ the set of all equivalent smooth Principal bundles on $M$ with structural group $G$ in smooth category. And denote by ...

**3**

votes

**0**answers

46 views

### When is a $2$-Calabi–Yau triangulated category the cluster category of a QP?

Keller–Reiten's main theorem in Acyclic Calabi–Yau categories implies that if $\mathcal{C}$ is a $2$-Calabi–Yau (algebraic) triangulated category admitting a cluster-tilting object $T$ such that the ...

**0**

votes

**0**answers

50 views

### Existence of a Lie algebra element orthogonal to the adjoint orbit of another element

Consider a compact, semi-simple, connected Lie group $G$ and its Lie algebra $\mathfrak{g}$. Denote the Killing form by $K$.
Given a single $A \in \mathfrak{g}$ when (i.e. which groups and which $A$) ...

**5**

votes

**0**answers

56 views

### Descriptive Complexity of Knot Equivalence

I was reading a little about knots (in a popular math book that wasn't very good) and the book put forth several knot invariants like the Alexander and Jones polynomials. But these are not complete ...

**1**

vote

**0**answers

39 views

### Is there an action functional for the s-dependent Floer equation?

The usual Floer equation (in local coordinates)
\begin{equation*}
\partial_su+J(t,u)(\partial_tu-X_{H_t}(u))=0
\end{equation*}
is derived as the gradient flow of the symplectic action functional ...

**2**

votes

**1**answer

71 views

### Renorming into contraction

In Pazy's book on semigroups he mentions (page 18) that when you have a commuting family of operators $B(t)$, such that
$$
\sup \| B(t_1) .. B(t_n) \| \le M
$$
for all finite choices $t_1, .. t_n$ ...

**-2**

votes

**0**answers

48 views

### Are universally catenary equidimensional local rings Cohen-Macaulay? [on hold]

Cohen-Macaulay rings are universally catenary, I do not choose catenary rings because we can find catenary but not universally catenary rings at wiki Catenary ring. Cohen-Macaulay local rings are ...

**4**

votes

**2**answers

135 views

### Counterexample on completely distributive lattices

I would like to see an example of a complete lattice $C$ which is both a frame and a dual-frame, i.e. finite meets distribute over arbitrary joins and finite joins distribute over arbitrary meets ...

**-2**

votes

**0**answers

64 views

### Integer solution to the equation [migrated]

Does there exists an integer solution (for every integer $m\geq 1$) for the following equation?
$$x_1x_2...x_n+(2y+1)z+y=4m+3$$
where, $1\leq x_1\leq x_2\leq...\leq x_n\leq l$,$0\leq y \leq ...

**2**

votes

**0**answers

72 views

### Dominating affine varieties over $k$ with affine smooth varieties over $k$

Given a geometrically integral affine variety $X:=\mathrm{Spec}(K[X_1,\ldots, X_n])/(f_1,\ldots, f_m)$ over a possibly imperfect field $K$, does there always exist an affine variety $\tilde{X}$ ...

**4**

votes

**0**answers

65 views

### Arithmetic quotients of Bruhat-Tits buildings for groups over local fields of positive characteristic

I have been led to believe that there is a result giving a description of the quotient of a Bruhat-Tits building $\Delta(G,k)$, for a semisimple algebraic group $G$ over a non-archimedean local field ...

**-3**

votes

**0**answers

42 views

### Compactly generated semi-simple Lie groups [on hold]

Let $G$ be a connected semi-simple Lie group with finite center and no compact factors. Is $G$ necessarily compactly generated? What if it also has $\mathbb{R}$-rank at least 2?

**7**

votes

**3**answers

276 views

### Exact sequences of groups and Tannakian formalism

By work of Deligne and others (I am following Deligne-Milne's notes which I just began to read: http://www.jmilne.org/math/xnotes/tc.pdf) we know that a given affine group scheme G can be recovered ...

**18**

votes

**1**answer

699 views

### “The Two Sheriffs” puzzle

This puzzle is taken from the book Mathematical puzzles: a connoisseur's collection by P. Winkler.
Two sheriffs in neighboring towns are on the track of a killer, in a
case involving eight ...

**0**

votes

**1**answer

246 views

### Reference for a lemma on étale maps

The Stacks Project has the following really nice Lemma concerning étale maps of rings:
Let $A\rightarrow B$ be a finitely presented, étale morphism of rings. Then there exists a presentation
$$ ...

**0**

votes

**0**answers

55 views

### Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times ...

**-3**

votes

**0**answers

29 views

### Binary as sum of co [on hold]

Let f(x) be the function wich takes integers and return
1 if x = 0,4,8,12,...
and 0 else
I'd like to write f as a sum of cos functions (in order to calculate easily the Fourier Tranform of f). Can ...

**1**

vote

**1**answer

145 views

### Greenberg and Iwasawa Theory

Let $p$ be a prime number and $H$ be number field. Denote by $\tilde{H}$ the composite of all $\mathbb{Z}_p$ extensions of $H$, so $\operatorname{Gal}(\tilde{H}/H)=\mathbb{Z}_p^{d}$. Write ...

**3**

votes

**1**answer

115 views

### Maximality statements that cannot be proved using $\mathsf{ZL}$ [on hold]

What are examples for maximality statements that cannot be proved using Zorn's Lemma?

**6**

votes

**1**answer

179 views

### Acyclicity of the sheaf of real analytic differential forms

Let $M$ be a real analytic manifold. In the book "Sheaves on Manifolds" by Kashiwara and Schapira it is claimed on p. 127 (without reference or proof) that
the Poincare lemma holds for the de Rham ...

**0**

votes

**0**answers

53 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

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

**3**

votes

**0**answers

34 views

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

58 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

83 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

24 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

**1**answer

95 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

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

**13**

votes

**2**answers

301 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

140 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

132 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

115 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

27 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

306 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

152 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

112 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

**1**answer

194 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

287 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

79 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

95 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

156 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

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

**3**

votes

**0**answers

34 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

160 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

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

**3**

votes

**1**answer

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