# All Questions

24 views

56 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$ ...
34 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 ...
66 views

23 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 ...
117 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 ...
61 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 ...
96 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 ...
88 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 ...
50 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 ...
80 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 ...
38 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 ...
96 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 ...
57 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: ...
109 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$ ...
94 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 ...
63 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 ...
24 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 ...
124 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 ...
44 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 ...
52 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 ...
56 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 ...
47 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 ...
228 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 ...
72 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 ...
172 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 ...
31 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 ...
74 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 ...
730 views

### Why do Lie algebras pop up, from a categorical point of view?

Groups pop up as automorphism groups in any category. Rings pop up as endomorphism rings in any additive category. Is there a similar way to attach a Lie algebra to an object in a category of a ...
46 views

### If a compact real submanifold of $\mathbb{CP}^n$ is approximable by complex algebraic curves, is it algebraic?

To make this into a separate question: If the supports of a sequence of complex algebraic curves in $\mathbb{CP}^n$ (images of non-constant holomorphic maps from compact Riemann surfaces) converge to ...
75 views

### a question on sum of Gaussian binomial coefficients

I was trying to calculate something and at some point I get the following sum: \sum_{t=0,t \text{ even}}^{s}{s+3n \brack s-t}\sum_{i = 0}^{t/2}q^{2i^2}{t/2+2n-i \brack t/2-i}{n ...
227 views

### $K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal. ...
18 views

### Degenerations and spanning monomials

Let $R = \mathbb{C}[x_1,…,x_n]$, let $J\subset R$ be a graded ideal, and consider the initial monomial ideal $\operatorname{in}(J)$ with respect to some term order. Suppose that we are given a linear ...
Consider the following scenario: one has 2 communication channels $C_1$ and $C_2$. Denote by $p(x)$ the input probability distribution. The mutual information between the input and the output of ...