# Tagged Questions

This tag is used if a reference is needed in a paper or textbook on a specific result.

**1**

vote

**2**answers

83 views

### A Lie-like product in rings with involution

Suppose $R$ is a ring with involution $*$ and $x,y\in R$. Does the quantity $xy-y^{*}x^{*}$ have a standard name? Has this product undergone systematic study in the ring-theory literature, and if so, ...

**1**

vote

**2**answers

36 views

### List of tensor product spaces with uniform crossnorms

Let $H^{(j)}$ and $G^{(j)}$ be Banach spaces for $j\in\{1,\dots,n\}$. Call norms $\|\cdot\|_{H}$ and $\|\cdot\|_{G}$ on the algebraic tensor products
$H:=\bigotimes_{j=1}^n H^{(j)}$ and ...

**7**

votes

**0**answers

209 views

### A “direct” proof that hyperbolic groups are not amenable

I am looking for a proof that a finitely generated hyperbolic groups is non-amenable [unless it is virtually cyclic] which is as "metric/combinatoric" as possible.
Here are the two proofs I am aware ...

**8**

votes

**2**answers

374 views

### $L^\infty-L^2$ smoothing for heat equation on manifold using Nash-Moser-De-Giorgi technique

Let $M$ be a compact and closed smooth Riemannian manifold, and consider weak solution $u$ of the equation
$$u_t - \Delta u = f$$
given $f \in L^2(Q)$ and $u(0)=u_0 \in L^\infty(M)$.
I'm looking for ...

**1**

vote

**0**answers

56 views

### Norm-averaging reference request

(Apology in advance for the broadness of this question) I recently came across a relatively simple application where I needed to "balance" the "spreaded-out-ness" of a function with the "peaked-ness" ...

**0**

votes

**0**answers

132 views

### Structure theorem for non-Noetherian local rings

Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings?
I am adding what I am looking for as someone asked in the comment.
If $R$ is a local domain (not ...

**4**

votes

**1**answer

181 views

### Eisenstein Series on Siegel Space

I am looking for any reference dealing explicitly with Eisenstein series on Siegel space (the simplest case of $\rm{SP}_4$ is fine). Anything would be welcome, but in particular I'm interested in the ...

**6**

votes

**1**answer

118 views

### Lowest index giving half of the sum

Numbers $x_1,x_2,\ldots,x_n$ are drawn independently and uniformly from the interval $[0,1]$. Order them as $y_1\ge y_2\ge\dots\ge y_n$, and let $S$ be their sum. Let $k$ be the smallest index such ...

**5**

votes

**0**answers

128 views

### Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...

**2**

votes

**0**answers

35 views

### Largest disk inside a spherical domain

It is known (Pestov-Ionin theorem) that if $k_{max}$ is the maximum curvature of a smooth planar loop $\gamma$, then there is a disk of radius $1/k_{max}$ inside $\gamma$. I wonder is there any ...

**3**

votes

**1**answer

104 views

### Do all non-degenerate quadratic forms come from positive even lattices?

Let $(G,+)$ be a finite Abelian group. We say $q\colon G\to \mathbb{T}$ is a non-degenerated quadratic form, if $q(-a)=q(a)$ and the symmetric function
$$
b(g,h) =q(g+h)q(g)^{-1}q(h)^{-1}
$$
is a ...

**6**

votes

**1**answer

189 views

### Embedding a cancellative monoid into another in such a way that a prescribed element becomes left-invertible

Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ ...

**1**

vote

**2**answers

147 views

### Where can I find some articles and lecture notes in renorming theory in Banach spaces? [closed]

I am really into renorming theory in Banach spaces especially, renorming in non-reflexive Banach spaces such that they have nice property, for example they have fixed point property,locally uniformly ...

**2**

votes

**1**answer

640 views

### Reference for Connes Bourbaki membership or otherwise

Alain Connes being a leading French mathematician today one could ask whether he is a member of the Bourbaki group. Is there a published reference that would either refute or confirm this?

**1**

vote

**0**answers

76 views

### Reference: Relative cohomology of a morphism

Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence
$$
\cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots
$$
where the ...

**2**

votes

**0**answers

144 views

### Toward Axiomatic sheaf theory? (References)

It is known that one of Lawvere and Tierney's goals was to provide an axiomatic approach to sheaves. Their notion of elementary topos constituted a preliminary step in that respect.
Question: Has ...

**1**

vote

**0**answers

103 views

### Behaviour of the Serre spectral sequence on a product of fibrations

Given fibration sequences $F\rightarrow E\rightarrow B$ and
$F'\rightarrow E'\rightarrow B'$,
consider the homology Serre spectral sequence $S$ for the product of fibrations
$F\times F'\rightarrow ...

**3**

votes

**0**answers

140 views

### Product Fractals

Here is a theorem found in the Falconer's book on fractal geometry:
Theorem: For any sets $E\subset \mathbb{R}^n$ and $F\subset \mathbb{R}^m$
$$
\dim_HF+\dim_HE\leq \dim_H(E\times F)\leq ...

**4**

votes

**1**answer

247 views

### Who first considered constructibility of simplicial complexes?

A simplicial complex of dimension $d$ is called constructible if it is a simplex, or if it is the union of two constructible dimension-$d$ simplicial complexes along a dimension-$(d-1)$ intersection. ...

**2**

votes

**0**answers

132 views

### Is the class of Heyting algebras originating from directed graphs a variety?

The category RefGph of reflexive directed graphs
is the functor category $\hat{∆}_1=\mbox{Fun}(∆^◦_1,$Set), where $∆_1$ is
the simplex category truncated at level 1.
Hence the poset Sub(X) of ...

**3**

votes

**0**answers

82 views

### Is there a name for a noncommutative generalization of Poisson algebra?

Is there a name for an associative algebra which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e.,
$$[a, b \circ c]=[a,b]\circ c+b\circ [a,c], \hspace{15mm}(*)$$ ...

**1**

vote

**0**answers

107 views

### Hilbert scheme of quasi-projective sub-schemes

Fix a projective space $\mathbb{P}^n$, say over the complex numbers. I look for references about the moduli space of quasi-projective sub-schemes of $\mathbb{P}^n$. In the title I spoke about Hilbert ...

**4**

votes

**1**answer

149 views

### Is the Luna slice theorem valid for any orbit with a reductive stabilizer?

The Luna slice theorem states that if a reductive group $G$ acts on an affine space $X$ and $O$ is a closed orbit, then (in the etale topology) there exists a $G$-invariant negihborhood of $O$ with a ...

**2**

votes

**0**answers

115 views

### does there exist a generalization of a manifold [closed]

Does there exist a generalization of a manifold whereby instead of being locally $\mathbb{R}^n$, it's locally another specified space?

**2**

votes

**0**answers

176 views

### Mixed up by definitions of mildly mixing

Here are two setup where the notion of "mildly mixing" comes up: for representations and for group acting by measure preserving transformations (see definitions below). Since a natural class of ...

**2**

votes

**0**answers

68 views

### Bilinear Approach to Bochner-Riesz Conjecture in Two Dimensions

In some old lecture notes on the Restriction and Kakeya conjectures (Notes 5, specifically), Terence Tao gives a proof of the restriction conjecture (for the sphere) in two dimensions via a bilinear ...

**2**

votes

**1**answer

38 views

### Generalizing series-parallel digraphs with feedback

There are common definitions of series-parallel (SP) graphs and digraphs: the basic idea is as follows. A SP graph (or digraph) has two distinguished vertices $s$ ("source") and $t$ ("target"). The ...

**1**

vote

**0**answers

107 views

### Connecting homomorphism in generalized cohomology theory

I have some compact manifold with boundary $(M,\partial M)$, and there is a long exact sequence
$$\cdots\to KO^{-1}(\partial M)\xrightarrow{\partial} KO^{0}(M,\partial M)\to KO^0(M)\to KO^0(\partial ...

**0**

votes

**0**answers

93 views

### rationality of Fano 3fold $X_{18}$

I need a reference for an explicit proof of the rationality of the Fano 3-fold $X_{18}$. By explicit I mean by a sequence of explicit birational transformations.
Thank you!

**1**

vote

**0**answers

37 views

### Generalization of Ellipse via Fixed Sum of 3 Distances to “Foci”

It is a well known fact, that ellipses can be defined as $$\{x\in\mathbb{R}^2\ \ |\ \ \|x-A\|+\|x-B\|-\|B-A\|=e\in\mathbb{R}_0^+;\ A,B\in\mathbb{R}^2\}$$
Question:
has the generalization
...

**1**

vote

**1**answer

68 views

### Why are exchange graphs of quivers with the same underlying graph but have different orientations isomorphic?

I know the fact that (undirected) exchange graphs of quivers with the same underlying undirected graph but have different orientations are isomorphic (i.e. quivers that are just finitely many ...

**4**

votes

**1**answer

122 views

### Is Howe's construction of tame supercuspidal representations independent of additive character?

Let $F$ be a $p$-adic field.
In "Tamely ramified supercuspidal representations of $Gl_n$" (Am. J. Math 73 (1977)), Howe constructs a supercuspidal representation $\pi_{\psi}$ of $GL_n(F)$ from the ...

**4**

votes

**1**answer

145 views

### Sum of skew characters over hooks and “odd” partitions

Let us call a partition odd if all its parts are odd, and let $Odd(n)$ be the set of all odd partitions of $n$, e.g. $Odd(6)=\{(5\,1),(3\, 3),(3\,1^3),(1^6)\}$.
Let $H(n)$ denote the set of all hook ...

**1**

vote

**0**answers

60 views

### Scattering in (pseudo-)Riemannian spaces

I will ask my question in a broad way, leaving a lot of freedom for answers.
Suppose that we have a (pseudo-)Riemannian space $(M,g)$ and we fix some ball-like domain $B \subset M$. Suppose you are ...

**6**

votes

**1**answer

469 views

### Godel's proof of Completeness

Where could I find a detailed exposition in English of Godel's proof (not Henkin's) of Completeness Theorem for first order logic? The wikipedia article omits certain details that I am not clear ...

**2**

votes

**1**answer

105 views

### Characterization of restricted weights of representations of real semisimple Lie groups

I need to use the following theorem:
Let $\mathfrak{g}$ be a semisimple real Lie algebra, $\Sigma$ a set of restricted roots for $\mathfrak{g}$. Let $\rho$ be any finite-dimensional representation of ...

**0**

votes

**1**answer

76 views

### Majority colorings

If $X$ is a non-empty set, we say that $M\subseteq X$ is a majority if $|M| > |X\setminus M|$.
Let $G=(V,E)$ be a finite, simple, undirected graph. For $v\in V$ we set $N(v)=\{x\in V: \{x,v\} \in ...

**3**

votes

**0**answers

62 views

### Have locally principal crossed homomorphisms been studied?

Take a (multiplicative finite) group $H$ acting on the left (by automorphisms) on an (additive finite) abelian group $A$, and recall that the abelian (additive) group of crossed homomorphisms from $H$ ...

**6**

votes

**2**answers

154 views

### Contact distributions on $(G_2,P)$-type Cartan geometries in dimension 5

Up to topology, the 5D homogeneous space
$$
G_2/P
$$
of the (real form of the) 14D exceptional Lie group $G_2$ is the 5D jet space
$$
M:=J^1(2,1)=\{(x,y,u,p,q)\}
$$
of scalar functions in two ...

**1**

vote

**0**answers

88 views

### On “splitting off small weights” from Chow motives

I am interested in certain properties Chow motives that seem to be (more or less) "classical" (so, I mostly need references; the base field may be assumed to be algebraically closed).
So, consider ...

**9**

votes

**2**answers

213 views

### Two elementary inequalities for real-valued polynomials

I am looking for references discussing two inequalities that come up in the study of the dynamics of Newton's method on real-valued polynomials (in one variable). The inequalities are fairly ...

**1**

vote

**1**answer

59 views

### Character kernels in the lattice of subgroups of a finite abelian group

I am looking for any efforts that have been made to characterize the character kernels (equivalently, the subgroups yielding cyclic quotients) inside the lattice of subgroups of a finite abelian ...

**7**

votes

**1**answer

87 views

### Integer Recursion Reference Request

I've run across the following recursion which at times seems very steady and predictable and at other times seems very chaotic.
Let $c_1, \dots c_k, b_0, m \in \mathbb{Z}$ with $b_0>m\ge 3$ and ...

**3**

votes

**0**answers

79 views

### Eilenberg-Moore spectral sequence for path-loop fibration over Q\Sigma X (reference request)

Related to the question here, here is another question. Consider the kernel of the map $H_*(QY;Z/p)\rightarrow H_{*+1}(Q\Sigma Y;Z/p)$. restricted to
$PH_*(QY)$, and let's say $Y$ itself is a ...

**2**

votes

**0**answers

47 views

### Constant in a trace Sobolev theorem for concave domains

I wonder is the following inequality is true/known:
Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then
$$
\int_{\partial\Omega} |u|^2 ds
...

**1**

vote

**1**answer

60 views

### Positive solutions to simultaneous real quadratic equations

I have a system of $n$ quadratic equations with $n$ unknowns. It can be written as
$diag(x)Ax=1$
$x$ is an $n$-vector, $A$ is $n\times n$, real, symmetric and positive definite, the diagonal ...

**0**

votes

**0**answers

56 views

### When does this system of equations has a non-trivial solution?

Let $A$ be a non-negative matrix whose rows and columns are indexed by the elements of $2^M$ - the subsets of some finite set $M$. The subsets of $2^M$ are ordered according to some pre-specified ...

**4**

votes

**1**answer

146 views

### Generalized ordering on simplicial complex

The vertices of simplicial complexes are usually totally ordered so that face maps of each simplex can be defined easily for the purposes of homology. That gives an "oriented" simplicial complex.
But ...

**2**

votes

**0**answers

91 views

### Hypergeometric function asymptotics

I came across the following hypergeometric function recently:
$$
_2F_1(1-n,p-2n+1;p-n+1;x)
$$
where $p > 0$ is a non-integer constant, $n$ some large positive integer, and $x > 0$ a small ...

**8**

votes

**2**answers

288 views

### Examples of calculating perverse sheaves on algebraic varieties with easy stratification

I have been learning intersection homology and perverse sheaves in the following way. I started by reading the first $7$ chapters of Kirwan and Woolf's book
...