All Questions

98,519 questions
40 views

123 views

Is $\dim_k M/xM$ a multiple of $\dim_k R/xR$ for $M$ finitely generated, torsion-free $R$-module?

Let $R$ be a one-dimensional, reduced and noetherian $k$-algebra (we may also assume that $R$ is a finite $k[x]$-algebra). Let $M$ be a finitely generated, torsion-free module over $R$, i.e. no ...
62 views

How good is the LP relaxation?

Consider the optimization problem \begin{align} \max_{x\in\mathbb{R}^n}~c^Tx~, \text{ s.t. } Ax=b,~x_i\in\{0,1\}~\forall i \end{align}where $c,b\in\mathbb{R}_{+}^n$ and $A\in\mathbb{R}_{+}^{n\times n}$...
85 views

Is every graph an incompatibility graph?

Let $G=(V,E)$ be a simple, undirected graph. Is there a partial ordering $\leq\subseteq (V\times V)$ with the following property? $$\{v,w\} \in E \text{ if and only if } v||y$$ (We write $v||w$ in ...
157 views

Does every section of the map Gal$(\overline{k(\!(t)\!)}/k(\!(t)\!))\rightarrow$ Gal$(\overline{k}/k)$ stabilize a compatible system of roots of $t$?

There may be some technical issues with the question, but hopefully what I mean is clear... Let $k$ be a number field (or maybe any finitely generated field over $\mathbb{Q}$ of characteristic 0) ...
106 views

Can smoothness of curves into a convenient locally convex vector space be tested with just a dense subspace of the dual?

Let $E$ be a (Hausdorff) locally convex vector space (from now on just "lcs" for short). We say that $E$ is convenient (also called locally complete, Mackey-complete or $c^\infty$-complete) if, given ...
244 views

On limits of manifolds

This question should be fairly elementary. I’d just like to check I’m not missing anything. Let $\{M_n\}_{n\ge 0}$ be an inverse system of smooth manifolds with transition maps $f_{t,s} : M_t\to M_s$,...
57 views

one-dimension differentiability [on hold]

Is the following 2 situations possible? $f(x)$ is differentiable at $x_{0}$ $\forall \epsilon > 0,\exists \sigma >0,\exists\breve{x}\in \breve{U}(x_{0},\sigma)$ $f(\breve{x})$ is not ...
117 views

The existence of the extension of a non-trivial line bundle

In Three Dimensional Gravity Revisted, Witten studied the Abelian Chern-Simons theory in three dimensions. Let $W$ be a three dimensional manifold. Let $\mathcal{L}$ be a non-trivial line-bundle over ...
585 views

Units in group rings.

Let $G$ be a finite solvable group of order $n$, and let $g_1 ... g_n$ be an enumeration of its elements. Let $a_1 ... a_n$ be a sequence of integers, such that $\sum a_i$ is relatively prime to $n$. ...
81 views

Problem with a lot of computation [on hold]

This is my first post here. I have trouble with expanding my function to expanded form. I was wondering is there any easy way to do it using WolframAplha or anything else. Here is problem. We have ...
223 views

Hensel lemma and rational points in complete noetherian local ring

Let $A$ be a complete noetherian local ring and $\mathfrak{m}$ be its maximal ideal. If we have several polynomials $f_i \in A[X_1, \dots, X_m]$ which have a common zero $x_n$ in $A/\mathfrak{m}^n$ ...
37 views

Volume of caps of a polytope

Let $K$ be a polytope in $\mathbb R^d$, blow it up by a factor $\lambda>0$. For a unit vector $u \in \mathbb S^{d-1}$, $\lambda K$ has 2 support hyperplanes $H_1$ and $H_2$ with corresponding ...
92 views

Mostow rigidity for complex hyperbolic manifolds

A Riemannian manifold $(X,g)$ is hyperbolic if the sectional curvatures are constant and negative. A theorem of Mostow says that these manifolds are determined by their fundamental group. Theorem (...
38 views

Maximal tori of a symmetric subgroup

Suppose $G$ is a complex connected reductive algebraic group, $K$ is a symmetric subgroup of $G$ (i.e. the fixed points of an involution $\theta$ of $G$), and $T$ is a $\theta$-stable maximal torus in ...
67 views

Do we have $K \cap P = (K \cap M)(K \cap N)$?

Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...
63 views

How to compute the Kahler potential of a Sasaki metric

The Question Given Hessian manifold $M$, there is a natural Kahler structures on $TM$. Is it possible to write the Kahler potential of these in terms of the Hessian potential? Background To ...
68 views

Comparison of Kodaira dimensions in semistable degenerations

Let $\pi \colon Z\to \Delta$ be a semistable degeneration with a simple normal crossings central fiber $\pi^{-1}(0)$. Here $Z$ is a smooth complex projective variety (or Kähler manifold), $\Delta$ is ...
75 views

The blow-up rate of a nonlinear oscillator

(Related to this Math.SE question.) For $p>1$, let $u$ be a solution to $$\tag{1}\frac{d^2 u}{dt^2} + u = |u|^{p-1}u$$ that blows up at $T>0$, that is $$\lim_{t\nearrow T}u(t)=+\infty.$$ ...
63 views

75 views

Examples of non-isomorphic $C^\ast$ algebras with isomorphic quasi-state spaces

Let $A$ (resp. $B$) be a unital $C^\ast$-algebra, $\mathcal{Q}(A)$ (resp. $\mathcal{Q}(B)$) the compact convex subset of $A^\ast$ equipped with the $\sigma(A^\ast, A)$ (resp. $\sigma(B^\ast, B)$) ...
46 views

Explicit parametrization of closed space curves of constant curvature

Joining arcs of helices it is pretty easy to obtain closed curves with constant curvature and $C^2$ regularity (see http://www.heldermann-verlag.de/jgg/jgg01_05/jgg0203.pdf). Joining arcs of Salkowski ...
107 views

31 views

Spherical code for interesection of $k$-sparse vectors and unit sphere

Let us assume $X\in\mathbb{R}^{n\times d}, rank(X)=d$, integer $k\in\mathbb{N},k\ll d$, positive constant $0<\epsilon<1$, and $\mathcal{S}\subset \mathbb{R}^d$ denotes the unit sphere. We also ...
136 views

a question about the notation in the book “Opera de Cribro”

When I study the book "Opera De Cribro" by John Friedlander, Henryk Iwaniec-(2010), in Sections 1.2 and 1.3, I confused with notation used there. In page 3 it is defined: $$\cal{A} = (a_n) , n\le x$$,...
122 views

19 views

Second order necessary and sufficient conditions for convex nonsmooth optimization

For convex smooth optimization, first and second order necessary and sufficient conditions are well known. Does such standard second order necessary and sufficient conditions exist for convex ...
42 views

Show the spectral radius of a matrix is smaller than 1

Let $\hat{\bf H}$ be a $p\hat{N}\times p \hat{N}$ sparse matrix consisting of $p\times p$ blocks, where each block is of size $\hat{N}\times\hat{N}$. The values in $\hat{\bf H}$ is illustrated below (...