# All Questions

**4**

votes

**0**answers

125 views

### Connected components $0-1$ matrices

Let $M$ be a $0-1$ matrix.
Here a matrix has one component means we can traverse from a matrix entry $(i,j)$ which is $1$ to any other one by moving step of $(i\pm1,j),(i,j\pm1),(i\pm1,j\pm1)$ where ...

**0**

votes

**0**answers

70 views

### Complete solution set of a Convolutional Equation?

Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best..
Setup: In what ...

**3**

votes

**1**answer

150 views

### A question on models of set theory and Lebesgue measure

In a question and an answer at MO, Joel David Hamkins showed that (if ZFC is consistent) there are models of ZFC in which $V\neq HOD$ and every $\Sigma_2$-definable set has a definable member.
Let ...

**0**

votes

**1**answer

103 views

### equivalence in simplicial category

Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...

**3**

votes

**1**answer

113 views

### automorphism of prime order for group of Lie type in

Thanks for any help.
Suppose $S$ is a simple group of Lie type of prime characteristic $p$. we know that every automorphism of $S$ is composite of inner, diagonal, field and graph automorphism of ...

**0**

votes

**0**answers

43 views

### How do these two extensions of Sobolev spaces relate to each other?

In nonparametric statistics, the following space is often used
$$H_{per}^\beta := \left\{f:[0,1]\to\mathbb{R}:\,D^{\beta-1}f\,\text{absolutely continuous and } D^\beta f\in L^2[0,1], \\D^{k}f(0) = ...

**2**

votes

**0**answers

73 views

### Algorithm to minimally connect line segments in Euclidean plane

Suppose you have finitely many line segments in the Euclidean plane. How do you "connect them to form one chain of line segments of minimal length?"
More formally and generally, what I'm looking for ...

**3**

votes

**1**answer

181 views

### cycle class as Chern class

Let $X$ be a smooth projective complex variety and $Z \subset X$ a codimension $p$ closed algebraic subvariety. Then one can define the class of $Z$ in singular cohomology
$[Z] \in H^{2p}(X, ...

**-9**

votes

**0**answers

57 views

### Using the intuition from the arithmetic of cardinal numbers to ascribe values to functions on the extended real line? [on hold]

Please note, this question is about ascribing exact values to indefinite forms, not about fining corresponding limits, so please do not answer "there is no such limit, so it is indeterminate".
First ...

**20**

votes

**2**answers

511 views

### Unstable homotopy groups of spheres beyond Toda's range

In 1962 Toda published his book "Composition methods in homotopy groups of spheres", which contains computations of $\pi_{n+k}(S^n)$ for $k\le 19$ and $n\le 20$. The values of these groups are ...

**1**

vote

**0**answers

45 views

### “Generators” for fusion rings

It's a rather obvious idea in the area of fusion rings, but I haven't found a
reference yet. Start with the usual rules for a rank n fusion ring
$X_i\bigotimes{X_j}=\Sigma_k{T_{ij}}^kX_k$
and ...

**0**

votes

**0**answers

39 views

### Baire sets in locally compact Hausdorff spaces

I posed this on 14 Dec. at http://math.stackexchange.com/questions/1067751/baire-sets-in-locally-compact-hausdorff-spaces, but there has been no response:
(This is a follow-up to ...

**1**

vote

**0**answers

35 views

### finding dominating cycles in $2K_2$-free graphs

A cycle $C$ in a connected graph $G$ is called dominating if its complement $V(G)-V(C)$ is an independent set. H.J. Veldman proved in 1983 (Disc. Math. v.43, 281-96) a general result that in ...

**2**

votes

**0**answers

57 views

### Varieties with few monomials and the n-conjecture

The n-conjecture
is a generalization of abc and basically says that the if
$a_1 + \ldots + a_n=0$, no proper subsum vanishes and $a_i$
are coprime, then the radical of $a_1\cdots a_n$ can't be
too ...

**1**

vote

**1**answer

44 views

### Is the orthogonal complement of an admissible subcategory admissible itself?

I´m studying Huybrechts book "Fourier-Mukai transforms in algebraic geometry" and I came up with the following: as an example of semi orthogonal decomposition of a triangulated category $\mathcal{D}$ ...

**6**

votes

**0**answers

66 views

### Unbalanced equipartitions

Let $K$ be a compact convex set in the plane.
Say that a perimeter-halving partition of $K$
is a partition of $K$
into two pieces by a chord (a segment with endpoints
on the boundary $\partial K$) ...

**4**

votes

**1**answer

283 views

### Cap product à la Poincaré

Recently, it became apparent to me that I was not the only one who always first thought in terms of cap product before actually computing a cup product. There is no denying this is evil, but I found ...

**-8**

votes

**1**answer

138 views

### Do the mathematicians really know the exact values of what usually called “indeterminate forms”? [on hold]

First of all I would point out that exact value of a function and the limit of the function in that point do not necessarily coincide. For instance, it is often assumed that $0^0=1$ even though the ...

**0**

votes

**0**answers

51 views

### Reference : Special case of Banach-valued function integration by parts

Let $u \in L^p (0,T; L^1(\Omega))$ with $\partial_t u \in L^p(0,T; L^1(\Omega))$ and $v \in L^q (0,T; L^\infty(\Omega))$ with $\partial_t u \in L^q(0,T; L^\infty(\Omega))$ (with $1/p+1/q=1$ and $p \in ...

**3**

votes

**0**answers

60 views

### Is there an efficient way to visualize the bifurcation locus of this family of functions?

I have been trying to help out with this question from math.stackexchange. It concerns the family of functions:
$$f_\alpha(z,w) = \frac{\alpha + z}{1 + w}.$$
and an iteration scheme:
$$z_{n+1} = ...

**10**

votes

**0**answers

169 views

### Is every projective space curve a set-theoretic intersection of two surfaces? What is known about this question?

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every curve in $\mathbb{P}^3(\mathbb{C})$ ...

**0**

votes

**0**answers

35 views

### Extension of homomorphism to place in quotient field, or of local ring to valuation ring in quotient field

Let be given a domain $R$ (that can be supposed to be integrally closed if this can help), and $\varphi$ an homomorphism of $R$ into a field $F$.
$\varphi$ extends uniquely to a homomorphism ...

**1**

vote

**1**answer

128 views

### intuitive interpretation of analytic spread

I am studying analytic spreads from Bruns-Herzog's book. The definition is clear but calculation of the analytic spread of an ideal is hard for me in practice. I wonder if it is hard for you too.
...

**1**

vote

**1**answer

39 views

### Retractions and left-factoring morphisms

Let $\mathcal{C}$ be any category and let $A, B$ be objects.
A retraction is a morphism $r: A\to B$ such that there is $s:B\to A$ such that $r\circ s:B\to B$ is the identity.
A morphism $l: A\to B$ ...

**2**

votes

**0**answers

65 views

### What are interesting open problems in pseudo-differential operators?

May I ask what are some interesting open problems in the field of micro-local analysis (or classical analysis, semi-classical analysis, etc) using pseudo-differential operators? To my knowledge the ...

**1**

vote

**0**answers

52 views

### (Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to ...

**0**

votes

**0**answers

63 views

### sufficient condition of complete intersection [on hold]

According to Corollary 2.8 and the front part of Section 3 of this paper,
if $X:= Q_1\bigcap Q_2\bigcap Q_3\subset \mathbb{P} _{\mathbb{C}}^{4}$ be a connected and purely $1$-dimensional intersection ...

**-4**

votes

**0**answers

59 views

### Flow in graph. Proof [on hold]

Let $(S_1, \overline{S_1} ) , (S_2, \overline{S_2} )$ be minimum cuts in some network. Is it true that $(S_1 \cap S_2, \overline{S_1 \cap S_2)}$ is a minimum cut in this network?

**-4**

votes

**0**answers

103 views

### show that L(X,Y)banach then Y banach

Let {Xα}α∈A be a collection of Banach spaces. It is easy to show that P={(xα):supα∥xα∥<∞} with ∥(xα)∥=supα∥xα∥ is a banach space.
If the indexing set A is finite, then it is easy to show that P ...

**1**

vote

**1**answer

70 views

### Any two bivariate algebraically dependent polynomials are always in the same ring generated by some bivariate polynomial?

If $f(x,y)$ and $g(x,y)$ are two algebraically dependent polynomials over some field $k$, is it true that there exists a bivariate polynomial $p(x,y)$ such that both $f(x,y)$ and $g(x,y)$ are in the ...

**4**

votes

**0**answers

95 views

### An extension of group schemes admitting Neron models

Let $R$ be a discrete valuation ring, $K$ its field of fractions, and
$$ 0 \rightarrow G_K' \rightarrow G_K \rightarrow G_K'' \rightarrow 0$$
a short exact sequence of smooth $K$-group schemes of ...

**2**

votes

**1**answer

74 views

### On transforming pair of bivariate polynomials to pair of univariate polynomials by applying polynomial map

We know that a polynomial map $f(x,y), g(x,y)$ is polynomial automorphism if there exists polynomials $p(x,y)$ and $q(x,y)$ such that $f(p,q)$=x and $g(p,q)=y$. Jacobian conjecture tries to ...

**-6**

votes

**0**answers

27 views

### Writing an integral for a bounded volume [on hold]

Good day folks!
I'm trying to write an integral which could represent the volume of the shaded area below. However my integral calculus is quite poor, so I need some help on that equation.
...

**22**

votes

**3**answers

727 views

### Graduate program applications that require questionnaires and other non-letter material

In the December 2014 AMS Notices, a letter to the editor (http://www.ams.org/notices/201411/rnoti-p1311.pdf) by Deconinck and Medlock addresses the problem of (math) graduate programs requiring letter ...

**4**

votes

**1**answer

279 views

### Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set
of such a polynomial gives a real curve ...

**0**

votes

**1**answer

141 views

### A question in Sasakian geometry

Let $(S,\eta, \xi)$ be a Sasakian manifold with killing vector field $\xi$, then we have the following exact sequence $$0\to <\xi>\to TS\to \frac{TS}{<\xi>}\to 0$$.
Can
...

**15**

votes

**2**answers

323 views

### ULU Decomposition of a matrix

Let $g \in GL_n(\mathbb{F}_q)$. Is it true that we can always write $g = u_1lu_2$, where $u_1$ and $u_2$ are upper-triangular and $l$ is lower-triangular? Note that I'm not requiring that the matrices ...

**-1**

votes

**0**answers

38 views

### Gaussian Elimination for Orthogonal groups [on hold]

We known the classical Gaussian elimination algorithm where we can reduce any invertible matrix to a diagonal matrix by row-column operations. Is there row-column operations and Gaussian elimination ...

**0**

votes

**0**answers

88 views

### Roots in the solution

It is known that for a one-dimensional self-adjoint operator with periodic boundary conditions, the number of roots is directly related to the eigenstate this eigenfunction belongs to.
Now it is ...

**3**

votes

**1**answer

56 views

### Hypergeometric function 2F1 convexity proof:

Suppose $F$ is the Gaussian hypergeometric function 2F1, $x\in \mathbb{N}$, $t>x \in \mathbb{N}$, $\mu \in (0,1)$. Is the function: $$f(\mu)=\mu^{x+1} F(x,-t+x,2+x,\mu),$$ convex in $\mu$? I've ...

**12**

votes

**2**answers

226 views

### Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...

**6**

votes

**1**answer

189 views

### p-adic Stein spaces

The higher cohomology of coherent sheaves vanish on Stein spaces (both complex and p-adic). In the case when the space ($X$) is a curve and we're working in the complex world, this shows that all ...

**3**

votes

**1**answer

71 views

### Do we need Feller condition if the process jumps?

Consider the SDE:
\begin{equation}
dv_t = k(\theta - v_t) dt + \xi \sqrt{v_t} dW^{v}_{t}
\end{equation}
It describes a process $v_t$ which is a strictly positive if the drift is stronger enough, i.e. ...

**2**

votes

**1**answer

81 views

### Does the Lehmer quintic parameterize certain minimal polynomials of the $p$th root of unity for infinitely many $p$?

The solvable Emma Lehmer quintic is given by,
$$F(y) = y^5 + n^2y^4 - (2n^3 + 6n^2 + 10n + 10)y^3 + (n^4 + 5n^3 + 11n^2 + 15n + 5)y^2 + (n^3 + 4n^2 + 10n + 10)y + 1 = 0$$
with discriminant $D = (7 + ...

**0**

votes

**0**answers

55 views

### “Reciprocal” of Schoenberg's theorem

Schoenberg's theorem states that for a (say, countable group) $G$ and any real valued conditionally negative type function $\psi$ on $G$, the function $e^{-t\psi}$ is positive definite, for any ...

**5**

votes

**0**answers

431 views

+100

### Zeta function double product

Is it possible to write the following double product in terms of the zeta function?
\begin{align}
&\prod_{i=1}^{\infty}\prod_{j=1}^{\infty} \frac{1}{1-(p_i\ p_j)^{-s}}
\end{align}
Extending the ...

**0**

votes

**0**answers

17 views

### Restricted strong convexity for biconvex functions

Recently, it has been shown (arxiv paper) that non-convex functions with the restricted strong convexity (RSC) property has the interesting property that their local minima lie within a small ball of ...

**6**

votes

**1**answer

152 views

### Exotic “non-linear” (but “almost linear”) automorphisms of symplectic vector space

Let $V$ be a vector space over a field $k$ equipped with a symplectic form $\omega$. Let $f:V \rightarrow V$ be a bijective set map such that the following hold.
For all $v \in V$ and $c \in k$, we ...

**6**

votes

**1**answer

173 views

### Weil height of an Abelian Variety with everywhere (potentially) good reduction

Background: Suppose that $E$ is an elliptic curve over $\mathbb{Q}$ with everywhere (potentially) good reduction. there are many ways to define the height of $E$, and I will be concerned with the ...

**1**

vote

**0**answers

85 views

### Free abelian subgroups and distorsion

I realized that I know groups with distorted cyclic subgroups and groups all of whose free abelian subgroups are undistorted, but nothing between. Maybe it is a naive question, but:
Does there ...