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

15 30 50 per page