# All Questions

**4**

votes

**0**answers

92 views

### Minimum number of real multiplications to multiply two quaternions [on hold]

Karatsuba multiplication of two complex numbers can be performed with just three real multiplications (instead of four) as follows:
$$(a+bi)(c+di) = (ac-bd) + i ((a+b)(c+d) - ac-bd)$$
We only need the ...

**0**

votes

**0**answers

73 views

### Can someone help me find a Mathematical documentary that aired on British television within the past 10 years about Leibniz? [on hold]

I have been searching for a documentary that aired on British television between around 2006 and 2012 which was centred around the German Mathematician, Gottfried Leibniz. All that I can remember ...

**0**

votes

**0**answers

59 views

### Alternate proof for Caratheodory extension theorem

This question is on the intuition behind the Caratheodory definition of measurable sets as given in Billingsley. He motivates by saying that we "should" call a set $A$ measurable if $$P^*(A) + ...

**1**

vote

**0**answers

61 views

### Two spaces attached to mod 2 level 9 modular forms--a conjectural Hecke isomorphism

MOTIVATION
Nicolas and Serre have analyzed the structure of the space of mod $2$ modular forms of level $1$, viewed as a "Hecke-module". They show that for each $p>2$, the operator $T_p$ acting on ...

**0**

votes

**0**answers

42 views

### Contraction with a vector field and pullback bundle

While trying to understand the proof of "smooth" version of Kostant-Hochschild-Rosenberg theorem (which is due to Connes for compact smooth manifolds) I found the following argumentation: one is ...

**0**

votes

**0**answers

55 views

### Elliptic Curve: Q=nP [on hold]

I have a question relating to Elliptic Curve Scalar Multiplication between two points. Given two points on that curve, Q and P, where Q=nP, is it possible to find n if we have an m such that mQ=P?

**4**

votes

**1**answer

62 views

### Does a Gaussian process shrink under a contraction map

Let $T \subset \mathbb R^n$, and assume it's a finite set if that helps. Consider the symmetric Gaussian process $(X_t)_{t\in T}$ defined by $X_t = \langle G, t\rangle$, where $G$ is a standard ...

**3**

votes

**1**answer

83 views

### A question of terminology regarding integer partitions

I am wondering if there is a standard notation and name for the following. Let $\lambda$ be a partition $\lambda_1\geq \lambda_2\geq\cdots\geq \lambda_r\geq 1$ of $n$ into $r$ parts. Then we can ...

**0**

votes

**0**answers

89 views

### Is there any computation of $K^0(X)$ and $K_0(X)$ for a singular curve $X$?

Let $X$ be a projective curve over an algebraic closed field $k$ which characteristic zero. Define $K^0(X)$ as the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ as the Grothendieck ...

**1**

vote

**0**answers

64 views

### Syzygies in integral domains

Let $f$ be a homogeneous irreducible element in a graded commutative Noetherian ring.
What is the possible set of elements $f_1$ and $f_2$ such that $f=f_1g_1+ f_2g_2$?
Even in very particular cases ...

**2**

votes

**2**answers

78 views

### Variation of Hodge structures associated to a hermitian symmetric domain

Let $D$ be an irreducible hermitian symmetric domain. Then there exists a variation of Hodge structures $(h_s)_{s\in D}$ on a vector space $V$ satisfying specific conditions which depend on $D$ such ...

**5**

votes

**1**answer

98 views

### Bounding the number of lattice points inside an $n$-dimensional ellipsoid

I am wondering if it is possible to produce an upper and/or lower bound on the number of integer lattice points that lie inside an $n$-dimensional ellipse.
That is, given an $n$-dimensional ellipsoid ...

**2**

votes

**4**answers

152 views

### Uniform upper bound for the sum over primes $\sum_{p \leq x} p^{-1+\varepsilon}$

I am reading the article D. M. Gordon and C. Pomerance, The distribution of Lucas and elliptic pseudoprime, Math. Comp. (1991) (click).
In equation (27) the authors, apparently, used the following ...

**16**

votes

**1**answer

287 views

### Can topological cyclic homology compute Picard groups?

Let $K$ be a number field, and $\mathcal{O}_K$ its ring of integers. Then there is an isomorphism
$$K_0(\mathcal{O}_K) \cong \mathbb{Z} \oplus Pic(\mathcal{O}_K)$$
where $Pic(\mathcal{O}_K)$ is the ...

**3**

votes

**1**answer

143 views

### An unusual metric reconstruction problem

$\newcommand{\bR}{\mathbb{R}}\newcommand{\pa}{\partial}$This questions has some nebulous roots in Morse theory. The most general version goes as follows. Fix an integer $n\geq 2$. Suppose that we have ...

**-3**

votes

**0**answers

38 views

### Calculate Inverse Fourier Transform [on hold]

How to calculate the Inverse Fourier Transform of the following functions:
$\dfrac{1}{-1+2\pi i x}$
$\dfrac{1}{(2\pi ix)^2-2 \pi ix +1}$
I don't know how to evaluate the integrals.

**1**

vote

**0**answers

38 views

### Existence and uniqueness of solutions for a nonlinear elliptic PDE

The following nonlinear elliptic PDE arose in my research:
$$\Delta f - e^f \partial_s f = E(s,t)\,,$$
where $f : \mathbb R \times \mathbb R/\mathbb Z \to \mathbb R$, $f = f(s,t)$, is the unknown ...

**3**

votes

**1**answer

88 views

### Regarding left-to-right minima

Let $\rho$ be a permutation on $[1,n]$ and $l_i$ be the number of left-to-right minima in $\rho_{i\ldots n}$, I know that for a random permutation $E[l_1] = H_n$ (the $n$-th Harmonic number) but is ...

**18**

votes

**2**answers

1k views

### An unfair marriage lemma

I am looking for a citeable reference to the following generalization of Hall's Marriage Theorem:
Given a bipartite graph of boys and girls. In addition to gender difference, they are divided into ...

**4**

votes

**2**answers

130 views

### Ordered lattice point enumeration

I initially asked this question over at StackOverflow as it has algorithmic flavor to it, but I haven't been getting much traction so I thought I would probe the mathematics community.
Setup: Let ...

**4**

votes

**0**answers

68 views

### Embedded spheres in the K3 surface

Using the Seiberg-Witten theory, we know that every (smoothly) embedded $S^{2}$ in $K3$ with trivial normal bundle is null-homologous. We know we have a lot of interesting knotted $S^{2}$ inside ...

**0**

votes

**1**answer

113 views

### Gluing locally free sheaves on curves

Let $C$ be a quasi-projective curve, $C_i$ for $i=1,...,r$ are the irreducible components of $C$. Assume that $C_i$ is non-singular and $F_i$ locally free sheaf on $C_i$ of the same rank for all $i$. ...

**-2**

votes

**0**answers

66 views

### Excercise of commutative rings, S. Balcerzyk and T. Józefiak [on hold]

Let $R=k[[x_1,...,x_n,y_1,...,y_n]]/(x_i y_j-x_j y_i)$, $i,j=1,\ldots,n$, where $k$ is a field. Prove that
(a) $R$ is a domain.
(b) $\dim R=n+1$.
(c) $R$ is Cohen-Macaulay.
(d) the type of $R$ ...

**-1**

votes

**0**answers

38 views

### Cohen-Macaulay rings and Normal rings [migrated]

is there an example that R is Cohen-Macaulay but not normal ring?
what about the converse example?

**-1**

votes

**0**answers

24 views

### Geodesic parameterization under conformal mapping [on hold]

Under a conformal deformation of the euclidean metric, say: $\hat{g}_{ij}=e^{\phi}\delta_{ij}$, where $\phi$ depends on the radial coordinate alone, I am struggling to see the following fact:
"With ...

**2**

votes

**0**answers

44 views

### l1 Quadratic Programming [on hold]

Within a SQP- algorithm it can happen that the constraints of the quadratic sub- problems are infeasible. In order to overcome this infeasibilities, a l1 penalty method can be used according to ...

**1**

vote

**1**answer

94 views

### Singularities in minimal surfaces [on hold]

There is a theorem by Jean Taylor that says that an almost minimal surface in $\mathbb{R}^3$ can be locally parametrize by the only three possible minimal cones in $\mathbb{R}^3$, the plane, an $Y$ ...

**1**

vote

**1**answer

79 views

### Construction of curves and morphisms

Given any triple of positive integers $(g',g,d)$ with $2g'-2\geq d(2g-2)$.
Does there always exist curves $C_{g'},C_g$ of genus $g',g$ with a degree $d$ morphism $f\colon C_{g'}\to C_g$?
If we fix ...

**4**

votes

**0**answers

127 views

### How to prove that a projective module is not free?

Let $A$ be a noncommutative (perhaps $\ast$-) algebra (over $\mathbb{C}$) and let $M$ be a projective module defined via a projector $P\in M_n(A)$; i.e. $M=P(A^n)$. Furthermore, assume that all ...

**0**

votes

**0**answers

12 views

### Simple RK4 measure of a force in 2nd order ODE [migrated]

Consider that I am solving a second order ODE using RK2/RK4. The ODE represents
simple equations of motion:
Equations of motion I am trying to solve:
\begin{align}
\frac{dx}{dt} &= v
\\[.3em]
...

**0**

votes

**0**answers

22 views

### Degree $2$ nilpotent matrices with non-zero product [migrated]

Let $n$ be sufficiently large positive integer.
Let $M_i$ be $n$ matrices with entries in either $\mathbb{C}$
or $\mathbb{Z}/n \mathbb{Z}$.
Is it possible, (1) for $1 \le i \le n, M_i^2=0$ and
...

**2**

votes

**1**answer

80 views

### Are lax functor categories into a cartesian closed 2-category cartesian closed?

Suppose that $C$ is a complete closed monoidal category and $I$ is any small category. Then the functor category $Fun(I,C)$ is again a closed monoidal category with the pointwise tensor product $F ...

**6**

votes

**1**answer

217 views

### Singularities of the moduli stack of Calabi-Yau threefolds

Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack?
In many cases I ...

**0**

votes

**0**answers

61 views

### $\inf\{i\in \mathbb N \cup \{0\}\cup\infty\mid Ext^i_R(R/I,R)\neq 0\}=0 ?$

Let $R := k[x_1, \cdots, x_n, \cdots]/(x_1^1, \cdots , x^n_n, \cdots),$ where $k$ is a field. Set $I:=(x_1, \cdots, x_n, \cdots)$. the questions are:
Is $\inf\{i\in \mathbb N \cup \{0\}\cup ...

**0**

votes

**0**answers

28 views

### Reflexive sheaves on stable curves-II [migrated]

This is an extension of Reflexive sheaves on stable curves.
Let $C$ be a stable curve and $\mathcal{F}$ a reflexive sheaf on $C$ supported on the whole of $C$. Is the projective dimension of ...

**5**

votes

**0**answers

136 views

### Size of smallest multiple $\sum \epsilon_i p^i$ of $n$ with digits $\epsilon_i\in \{0,1\}$ for $p$ a prime

Any natural number $n$ coprime with a prime number $p$ is a divisor of
$M=1+p+p^2+\dots+P^{N-1}$ where $N\leq \varphi((p-1)n)$ is the order of
$p$ in $\left(\mathbb Z/((p-1)n)\mathbb Z\right)^*$.
...

**7**

votes

**0**answers

86 views

### Some $q-$analogues of $ \sum\limits_{j = - k}^k {{{( - 1)}^{ j}}}\binom{n}{k-j}\binom{n}{k+j}=\binom{n}{k}.$

Let ${\left( {a;q} \right)_n}=\prod\limits_{j = 0}^{n - 1} {(1-{q^j}a} )$ and
let $ {{n}\brack{k}}_q$ denote a $q-$binomial coefficient.
I am interested in $q-$analogues of the identity $ ...

**1**

vote

**0**answers

22 views

### Eigenvalue overdetermined problem

Consider the following overdetermined eigenvalue problem for $\Omega \subset \Bbb{R}^2$:
$$(1) \ \ \ \ \begin{cases} - \Delta u = \lambda u & \text{ in }\Omega \\
u = 0 ...

**0**

votes

**0**answers

58 views

### Reflexive sheaf on normal surfaces [migrated]

Let $X$ be a normal, projective scheme of pure dimension $2$ and $\mathcal{F}$ is a reflexive coherent sheaf on $X$. Is $\mathcal{F}$ locally free?

**1**

vote

**1**answer

51 views

### Strict comma objects implies comma objects

I'm condusion on a statement in this page comma object in $n$lab. It states:
any strict comma object is a comma object, but the converse is not in general true.
My confusion is: the strict comma ...

**0**

votes

**0**answers

30 views

### How to compute the best fitting frustum for a set of points? [on hold]

My first post on MathOverflow !
I am struggling with a problem that I am sure is well known, but I could not find any answer using google or searching on MathOverflow.
I have a set of 3D points ...

**3**

votes

**0**answers

127 views

### name for an intermediate notion between huge and 2-huge

I am employing a large cardinal notion that has been used explicitly before, and I am wondering if someone has given it a good succinct name.
A cardinal $\kappa$ is huge if there is an elementary $j ...

**7**

votes

**2**answers

160 views

### p-adic analogue of the Strong Law of Large Numbers

Is there a $p$-adic analogue of the Strong Law of Large Numbers? In particular, suppose that $f_i: \mathbb{Z}_p \longrightarrow \mathbb{Q}_p$ for $i = 1,2,\ldots$ is an sequence of random variables ...

**-2**

votes

**0**answers

113 views

### Can a numerical system be built following these ideas? (decomposition of infinity) [on hold]

I have been some time thinking on how to reconcile non-Archimedean extentions of real line with results on summation of divergent series.
Now suppose $\Omega$ is an infinite quantity, the number of ...

**-2**

votes

**0**answers

16 views

### How do i find the maximum area for a crate, that has to fit inside a shape? [on hold]

Here's the shape: http://i.stack.imgur.com/WrY7V.png
h is equal to: 3.57meters and d is equal to 5.28 meters, I've tried to setup a formula for the area, but i cant seem to get a valid one. Any help ...

**1**

vote

**0**answers

26 views

### Is the order convergence topology on a poset always Hausdorff?

In this post two topologies on a poset $(P,\leq)$ were defined: the interval topology $\tau_i(P)$ and the order convergence topology $\tau_o(P)$. It turns out that $\tau_i(P)$ is always $T_1$ and ...

**4**

votes

**1**answer

57 views

### Does every locally compact Hausdorff space admit a locally finite open covering by relatively compact sets?

Let $X$ be a locally compact Hausdorff space. Does there exist a locally finite open covering consisting of relatively compact sets?

**10**

votes

**1**answer

334 views

### Class field towers

It is known (Golod and Shafarevich) that the class field tower of a finite extension $K$ of $\mathbb{Q}$ may be infinite. But is it always finite for $K=\mathbb{Q}[\zeta]$ where $\zeta$ is a root of ...

**0**

votes

**3**answers

90 views

### Extension of conformal map and annulus

My question is the following : suppose you have a doubly-connected open set $\Omega \subset \mathbb{C}$, that is a domain bounded by 2 non-intersecting circles $C_1$ (the interior) and $C_2$ (the ...

**1**

vote

**1**answer

43 views

### ideals of polynomial ring of two variables generated by two elements

Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by
$$
f(x,y)=x^4-3xy+y^2,$$
$$
g(x,y)=x^5-4xy+3xy^2.$$
Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$.
Is ...