# All Questions

**2**

votes

**0**answers

7 views

### Implicit/Explicit Time Dependence for Melnikov Functions

My question concerns an article by Koiller and Carvalho found here: http://link.springer.com/article/10.1007/BF01260390
On page 645, they parameterize the time variable $t$ in terms of one of the ...

**1**

vote

**0**answers

26 views

### Complex structure on the set of prequantization line bundles

For geometric quantization, the set of equivalence classes of prequantization line bundles of a quantizable symplectic manifold $(M, ω)$ is parametrized by $H^1(M, S^1)$ which represents the ...

**-3**

votes

**0**answers

28 views

### If a family of complex analytic space is smooth

If I have a deformation in complex analytic space setting. The parametrize space is U, total space is X. If U is smooth and every fiber X(t) is smooth, if X is smooth and the map from X to U is ...

**0**

votes

**0**answers

22 views

### Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?

Definitions and notations.
Let $\mathcal{P}(X)$ the power set of $X$.
Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X.
We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...

**1**

vote

**0**answers

24 views

### Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of
Are there workable algebraic geometry approaches for the pentagon equation?
I've replaced "algebraic geometry" by "numerical" in its content,
...

**2**

votes

**1**answer

56 views

### Covering by subsets

There is set $A$ with cardinality $2^n$. For every $x \in A$ there is $A_x$ - subset of $A$ with cardinality $2^m$, $x \in A_x$. $M=\{A_x|x \in A \}$. Are there $B \subset A$ with cardinality $\ge ...

**-1**

votes

**0**answers

74 views

### Research topic selection [on hold]

I am planning to do my PhD in either sheaf theory or generalised functions.pls help me choose one among them by pointing the scope and relevance.
thanks in advance.

**1**

vote

**1**answer

27 views

### A question on parallelizability

Is there a manifold $M$ such that for every $x\in M$, $M-\{x\}$ is not parallelizable but there is a finite set $S\subset M$, with $\# S>1$, such that $M-S$ is parallelizable?

**0**

votes

**0**answers

56 views

### Weierstrass model for Calabi-Yau fourfolds

The local Weierstrass model for a Calabi-Yau threefold looks like:
$$ y^2 = x^3 + f\left(z_i\right)x + g\left(z_i\right) \subset \mathbb{P}^2_{\left[x,y\right]} $$
With $f\left(z_i\right) \in ...

**0**

votes

**0**answers

29 views

### The Cauchy Problem in General Relativity: Existence of a Hausdorff Development

This is related to a problem that I posed about a year ago. I was given several references by a number of experts who were kind enough to entertain my rather arcane question. Those references were ...

**0**

votes

**0**answers

39 views

### Zariski open set of linear forms

Let $I$ be a graded homogeneous ideal over $k[x_1, ... ,x_n]$ and $h$ a linear form, let $H$ be the corresponding hyperplane and $I_H$ the restriction of $I$ to $H$.
I am looking for a Zariski open ...

**0**

votes

**0**answers

7 views

### How to characterize elements in the Bruhat open cell? [migrated]

This might be an elementary question. For simplicity, let's assume $G=GL(n,F)$, where $F$ is a local field. Let $U$ be the subgroup of upper triangular unipotents, $A$ the subgroup of diagonal ...

**-4**

votes

**0**answers

32 views

### Alternating series sum [on hold]

How to find such alternating series sum?
\begin{equation}
\sum_{n = 0}^\infty \frac {(-1)^{n-1}}{3^{n-1}}
\end{equation}

**1**

vote

**0**answers

50 views

### Open covering of the Hilbert functor of points

Let $R \to A$ be a homomorphism of commutative rings. Define the functor $$\mathrm{Hilb}^n_{A/R} : \mathsf{CAlg}(R) \to \mathsf{Set}$$ as follows: If $B$ is a commutative $R$-algebra, then ...

**-2**

votes

**0**answers

45 views

### Is der a relation between the product of 2 numbers and their sum? [on hold]

a * b = x
a + b = y
Is there a way to obtain y from x without using a,b ?
PS: a,b are prime-numbers. so there is only one possible y.

**1**

vote

**0**answers

130 views

### Is Independent University of Moscow recognized? [on hold]

What graduate schools recognize the degree from Independent University of Moscow? It is not a university strictly speaking and their degree doesn't have any official status in Russia, but they claim ...

**3**

votes

**0**answers

85 views

### Can this graph polynomial be efficiently computed?

I am a physicist, so apologies in advance for any confusing notation or terminology; I'll happily clarify. To provide a minimal amount of context, the following graph polynomial came up in my research ...

**3**

votes

**0**answers

44 views

### Software tools for medium-scale systems of polynomial equations

I am attempting to find all real solutions of a system of 12 polynomial equations in 12 unknowns. The equations each have total degree 6 and contain up to 1700 terms. I am only interested in real ...

**-4**

votes

**0**answers

50 views

### Symmetric group representation from alternating groups [on hold]

Is the symmetric group $S_n$ isomorphic to a direct sum or tensor product of alternating groups $A_m$? Can any combination of alternating groups ($(A_m \otimes A_m)\oplus A_m$ .. etc) yield a valid ...

**0**

votes

**0**answers

127 views

### Non-Abelian Fourier Analysis

I'm currently thinking to generalize a known result on abelian groups to non-abelian groups. This is the problem. Fix an abelian group $G$. We know that:
$\mathbb{E}_{\chi\in ...

**1**

vote

**1**answer

66 views

### An inequality concerning convexity and expectation

Assume $f$ and $g$ are nonnegative with
$$\int_0^\infty f(x)dx=1=\int_0^\infty g(x)dx
$$
and
$$\int_0^\infty xf(x)dx<\infty > \int_0^\infty xg(x)dx
$$
Is it true for nonnegative numbers $p$, $q$ ...

**-1**

votes

**0**answers

37 views

### Geometry of the triangle: from the centroid to the orthocenter and beyond [on hold]

Let A', B', C' be points on the perpendicular bisectors of the sides of a triangle ABC so that the angles A'BC, B'CA and C'AB are equal. The lines AA', BB' and CC' concur.
Which is the locus? Do you ...

**2**

votes

**2**answers

73 views

### Pairwise dependent random walk recurrent

Let $\{D_i\}_{i=0,1,2,\dots }$ be independent $\exp(1)$ random variables. We use the collection $\{D_i\}$ to define a random walk on $\mathbb Z$ by $S_0 = 0$ and $S_n = \sum_1^n X_i$ with $X_i \in ...

**-2**

votes

**0**answers

19 views

### Asymptotic expansion on 3 nonlinear ordinary differential equations [on hold]

The 3 nonlinear differential equations are as follows
\begin{equation}
\epsilon \frac{dc}{dt}=\alpha I + \ c (-K_F - K_D-K_N s-K_P(1-q)), \nonumber
\end{equation}
\begin{equation}
\frac{ds}{dt}= ...

**6**

votes

**1**answer

171 views

### Compute an arbitrary decimal place of $\pi$

Is there a method to find the value of the $n$-th decimal place of $\pi$ which is more efficient than having to compute all decimal places before as well?

**0**

votes

**1**answer

40 views

### How do I show that a separable isogeny is central?

I've been trying to prove this (probably very simple) result that is stated in a paper that I'm reading:
Let $G$ and $H$ be connected semisimple algebraic groups defined over a field $F$, and let $f: ...

**0**

votes

**0**answers

26 views

### Finite differencing scheme for Hamilton's equation with planar linkages

I am trying to simulate the movement of a planar linkage in the plane whose position and momentum obey Hamilton's equations, which is to say that $${{dq}\over{dt}} = {{dH}\over{dp}}$$ and ...

**8**

votes

**1**answer

161 views

### Representation of finite groups in a compact Lie group

Let $H$ be a finite $p$-group, and let $G$ be a compact connected Lie group. Then
it is well-known that $[BH,BG]\cong Rep(H,G)$, where $BH$ and $BG$ are classifying spaces and $Rep(H,G)$ is the set ...

**3**

votes

**0**answers

68 views

### Reference for analyticity of $K$-theory

This is a follow-up to my last question, Homotopy excision for structured ring spectra -- reference?. The immediate reason why I care about Blakers-Massey theorems for ring spectra is to prove that ...

**4**

votes

**1**answer

106 views

### Most Regularity of a Polygon

Conseider $n$ electrons in an empty sphere. What structure do they make?
This question have two cases: (i) if electrons should be sit on the boundry of sphere (one can suppose that the boundry of ...

**2**

votes

**1**answer

110 views

### Carlsson's spectrum BG^-V

In the appendix to Carlsson's "Equivariant stable homotopy and Segal's Burnside ring conjecture," he introduces a spectrum BG^-V associated to a G-representation V. It is like a Thom spectrum of the ...

**0**

votes

**0**answers

55 views

### Albanese map on a universal jacobian associated to a curve on an abelian surface

Given an abelian surface $A$ and a curve $C$ on it, consider the component $\{C\}$ of the Hilbert scheme of curves with the same cohomology class of $C$.
I would say that it has a fibration structure ...

**1**

vote

**0**answers

87 views

### Error in trace of operator

Imagine you have a Schroedinger operator $H:=-\frac{d^2}{dx^2}+V$ with $V \in C[a,b]$ on some compact interval $[a,b]$. The boundary conditions are supposed to be taken in such a way that this ...

**-5**

votes

**0**answers

41 views

### What do rank-2 tensor entries represent? What's their geometrical meaning? [on hold]

given a vector (with, say, 3 dimensions), if I multiply that with a second-rank tensor, I can make it change in both direction and magnitude (for that 2nd rank tensors are involved in vector-vector ...

**0**

votes

**0**answers

100 views

### Cohomology group vs sheaf of cohomology group

Suppose $F$ is a coherent sheaf on a smooth (algebraic or complex) variety $X$. Then we can consider the cohomology groups $$H^p(X,F)$$ for all $i$. Now, let we consider the sheaf ...

**1**

vote

**0**answers

64 views

### Singularities of secant varieties of rational normal curves

Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper:
...

**1**

vote

**1**answer

115 views

### Linear map with two “incompatible” representations

Let $K$ be a field and let $V$ be the set of sequences $\{v_1,v_2,\dots\}$ of elements of $K$. If $A=\{a_1,a_2,\dots\}$ is also a sequence of elements of $K$, then it defines an endomorphism of $V$ ...

**3**

votes

**1**answer

96 views

### What is a degenerate Legendre Transformation?

I am studying the Lagrangian and Hamiltonian description of some dynamical systems. The problem with this description of the particular kind of systems I am studying, is that the Legendre ...

**-1**

votes

**1**answer

69 views

### Is there some lattice not rigid

I heard that in complex hyperbolic space setting for example CH2, there is some deformation of lattice nontrivial. What confused me is it seems contradicting Mostow Rigidity. Could someone explain ...

**0**

votes

**0**answers

26 views

### Representation of piecewise functions using variational inequalities

I need some help about how to represent piecewise smooth functions defined over N subintervals by using variational inequalities. From a paper I'm analyzing I get:
"If we can find a function ...

**8**

votes

**1**answer

130 views

### Homotopy excision for structured ring spectra — reference?

I'm looking for a reference for analogues of the Blakers-Massey triad connectivity theorem (and its higher-order generalization) for ring spectra. That is:
Suppose that $A\to A_1$ is a ...

**0**

votes

**2**answers

69 views

### quasiprimitive non-solvable groups

I'm looking for the reference about quasiprimitive unsoluble groups. Actually we can find a lot of useful things about quasiprimitive solvable groups in "Representations of solvable groups by Manz and ...

**2**

votes

**0**answers

54 views

### Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...

**0**

votes

**1**answer

57 views

### On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if
...

**1**

vote

**0**answers

57 views

### Interior gradient estimate for uniformly elliptic equations

I am struggling with a problem like this: In dimension $n\geq 3$,
For the following uniformly elliptic equation, do we have interior gradient estimates?
$$a^{ij}(x)u_{ij}(x)+u_{nn}=0.$$, where ...

**6**

votes

**1**answer

233 views

### The (un)decidability of Robinson-Arithmetic-without-Multiplication?

I asked this over at math.stackexchange, and though a number of people were interested enough to vote up the question, I didn't get an answer -- which makes me wonder whether it isn't quite so ...

**2**

votes

**1**answer

75 views

### Vanishing patterns of minors of matrix

Let $M$ be a $m\times n$ matrix with entries in, say $\mathbb{C}$; assume $n\leq m$. Denote by $I\subseteq\{1,2,\ldots, n\}$ a subset of the columns of M. I am interested in positive results to the ...

**8**

votes

**1**answer

179 views

### A strengthening of base 2 Fermat pseudoprime

If $n$ is a prime then for all $k$ with $1 \le k \le [n/2]$,
$k$ divides ${n-1 \choose 2k-1}$ because of the identity
${n-1 \choose 2k-1} \frac{n}{k}=2{n \choose 2k}$. My question is whether
an ...

**0**

votes

**1**answer

37 views

### Fitting a quadratic using regression when the y-intercept needs to be 0 [on hold]

I'm trying to fit a quadratic $a_0 + a_1x + a_2x^2$ by Polynomial Regression:
$$
\begin{pmatrix}
n & \Sigma x_i & \Sigma x_i\\
\Sigma x_i & \Sigma x_i^2 & \Sigma x_i^3\\
\Sigma ...

**0**

votes

**0**answers

76 views

### A linear/Lie algebra problem

Let $\mathfrak{g}$ be a complex linear Lie algebra of dimension $n$. If there exists a basis $\{e_1,\dots,e_n\}$ of $\mathfrak{g}$ such that ...