The examples tag has no wiki summary.

**12**

votes

**2**answers

541 views

### Occurrences of D. H. Lehmer's 10-th degree polynomial

Salem numbers and Lehmer's minimum height problem are venerated not only in number theory and diophantine analysis, where they are considered naturally interesting for their own sake, but also in ...

**16**

votes

**10**answers

2k views

### An example of a proof that is explanatory but not beautiful? (or vice versa)

This question has a philosophical bent, but hopefully it will evoke straightforward, mathematical answers that would be appropriate for this list (like my earlier question about beautiful proofs ...

**6**

votes

**1**answer

316 views

### Generating functions with all non-zero coefficients equal to one

Inspired by this question, I have been wondering if there are any useful generating functions with all non-zero coefficients equal to one. Obviously, the trivial generating function $\frac{1}{1-x}$ ...

**1**

vote

**0**answers

346 views

### Homotopy theory of schemes

I have seen the notion of Homotopy come up in several contexts in schemes. For example, the book "Lectures on Motivic Cohomology" by Mazza, Weibel and Voevodsky uses this language to some extent. I.e. ...

**8**

votes

**4**answers

415 views

### Order-independent properties arising naturally in mathematics

The motivation for the following question comes from finite model theory,
but it is not a technical question about this field,
and it is particularly directed at people working in other fields.
It ...

**4**

votes

**1**answer

148 views

### A group 3-cocycle, trivial on a pair of generating subgroups?

I'm looking for an example of the following situation:
A group $G$ generated by finite subgroups $H$ and $K$,
a non-trivial 3-cocycle $\omega \in H^3(G, \mathbb{k}^\times)$
such that
the ...

**13**

votes

**1**answer

525 views

### Examples of polynomial rings $A[x]$ with relatively large Krull dimension

If $A$ is a commutative ring we have the estimate
$$
\dim (A)+1 \le \dim (A[x])\le 2\dim (A)+1
$$
for the Krull dimension, with $\dim (A)+1 = \dim (A[x])$ for Noetherian rings.
I am looking for nice ...

**7**

votes

**7**answers

1k views

### Gelfand representation and functional calculus applications beyond Functional Analysis

I think it is fair to say that the fields of Operator Algebras, Operator Theory, and Banach Algebras rely on Gelfand representation and functional calculus in a crucial way.
I am curious about ...

**2**

votes

**1**answer

209 views

### Methods to tell if a magma has idempotents

(Disclaimer: below, when I say "compact" I mean "compact Hausdorff.")
I asked a version of this question on math stackexchange ...

**2**

votes

**2**answers

274 views

### What is a good example of a hyperspace where the base space is non-Hausdorff?

Let $X$ be a topological space, and let $\operatorname{CL}(X)$ be its hyperspace. That is, $\operatorname{CL}(X)$ is the set of closed subsets of $X$, equipped with the minimal topology so that the ...

**6**

votes

**2**answers

1k views

### Good examples of random variables whose image is not a measurable set?

Are their simple/natural examples of real-valued Borel-measurable random variables whose image is not a Borel set? Something that occurs "naturally"?
I am teaching Doob's lemma (for two real-valued ...

**1**

vote

**2**answers

163 views

### Understanding the left-separated spaces

A space $X$ is called left-separated if it can be well-ordered in such a way that every initial segment is closed in $X$.
Could someone post some left-separated space to help me understand such ...

**4**

votes

**1**answer

242 views

### Example of a non-closed cocomplete symmetric monoidal category

Background
By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all ...

**6**

votes

**1**answer

197 views

### Hamiltonian polar action with Lagrangian section

I am looking for examples of Hamiltonian polar isometric actions of a compact Lie group on a Kahler-Einstein (or perhaps just Kahler) manifold, that admits a Lagrangian section.
Recall that an ...

**9**

votes

**2**answers

1k views

### what's the idea behind Carleman estimate

A standard Carleman-type estimate is of the form
$$
\sum_{|\alpha|<m}{\tau^{2(m-|\alpha|-1)}\int{|D^{\alpha}u|^{2}e^{2\tau\phi}}dx}\leq K\int{|Pu|^{2}e^{2\tau\phi}dx},\quad u\in C_{0}^{\infty}
$$
...

**8**

votes

**3**answers

711 views

### What's the use of Malgrange preparation theorem?

The Malgrange preparation theorem,which is the $C^{\infty}$ version of the classical Weierstrass preparation theorem,says that if $f(t,x)$ is a $C^{\infty}$ function of $(t,x)\in\mathbb{R}^{n+1}$ near ...

**2**

votes

**1**answer

235 views

### Clarification and intuition request for rationally equivalent algebraic cycles

I am having some difficulty lining up the definition and my intuition for rational equivalence of cycles. My intuition is based off of the idea that two cycles being rationally equivalent is analogous ...

**2**

votes

**2**answers

442 views

### Function with all but mixed second partial derivatives twice differentiable?

Let $f(x,y)$ be a a real valued function on an open subset of $\mathbf{R}^2$ with continuous partial derivatives $\frac{\partial^2 f}{\partial x^2}$ and $\frac{\partial^2}{\partial y^2}$. Is $f$ twice ...

**7**

votes

**0**answers

206 views

### what's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?

The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...

**4**

votes

**0**answers

183 views

### Interesting commensurated subgroups of countable groups

Let $G$ be a group and let $K$ be a subgroup. Say $K$ is commensurated in $G$ if $gKg^{-1} \cap K$ has finite index in $K$ for all $g \in G$. Commensurated subgroups are an inherent feature of ...

**9**

votes

**4**answers

1k views

### A map inducing isomorphisms on homology but not on homotopy

As a consequence of the Whitehead theorem, Spanier's Algebraic Topology book has on 7.6.25 the following theorem:
A weak homotopy equivalence induces isomorphisms of the corresponding integral ...

**1**

vote

**0**answers

129 views

### Algebraic properties of the semiring of open subsets.

Does anyone know of a useful general topological application of the algebraic properties of the semiring of open subsets of some topological space? Or examples of any such nontrivial properties at ...

**3**

votes

**1**answer

266 views

### examples of Chow rings of surfaces

Can somone provide me (articles/literature) with examples of Chow rings of surfaces?
(e.g. here: http://www.math.uni-bonn.de/people/huybrech/K3Global.pdf Chapter 9)
What I want is a list of (smooth ...

**2**

votes

**2**answers

454 views

### Infinite domain with finite number of prime ideals(elements)

While trying to prove one property of commutative rings with units I can't prove one fact without assuming existence of infinitely many different prime ideals or elements. I tried to test if it was ...

**21**

votes

**4**answers

1k views

### Elementary applications of Krein-Milman

This is a cross-post from MSE: http://math.stackexchange.com/questions/139754/elementary-applications-of-krein-milman. I'm starting to suspect that the question just doesn't really have a great ...

**9**

votes

**2**answers

439 views

### Has there been any application of tensor species?

Joyal's combinatorial species, endofunctors in the category of finite sets with bijections $\mathbf B$ have found numerous applications. One generalisation is given by so-called "tensor species" ...

**1**

vote

**0**answers

137 views

### uniqueness of a limit of a pseudo convergent set

Is there an example of valued field in which any pseudo convergent set has a limit and such that this limit is unique?

**39**

votes

**35**answers

6k views

### Examples of theorems with proofs that have dramatically improved over time

I am looking for examples of theorems that may have originally had a clunky, or rather technical, or in some way non-illuminating proof, but that eventually came to have a proof that people consider ...

**4**

votes

**2**answers

806 views

### Example for the Sobolev embedding theorem when p=n.

Let $\Omega$ be a bounded domain in $\mathbb R^2$. By the Sobolev embedding theorem, if $k>\frac np$ (in this case $k>\frac 2p$) then
$u\in W^{k,p}(U) \implies u\in C^{k-[\frac 2 ...

**3**

votes

**1**answer

210 views

### When is the Freudenthal compactification an ANR?

Let $X$ be a locally compact metric ANR (or, if preferred, a locally compact simplicial complex). If needed, assume that $X$ has finitely many ends or is of finite dimension. My question is:
What ...

**13**

votes

**2**answers

797 views

### Does such an infinite index subgroup exist?

Notation: If $G$ is a countable group and $H$ is a subgroup, for $g\in G$, let $|\mathcal{O}_{gH}|$ be the size of the $H$-orbit of $gH$ in the $H$-set $G/H$.
Does there exist a countable group $G$ ...

**5**

votes

**1**answer

345 views

### A counter example in obstruction theory

Let $K$ denote a simplicial complex and $Y$ a path-connected topological space. Let us also denote by $K^n$ the $n$-skeleton of $K$. I would like to have an example for the following situation or a ...

**14**

votes

**12**answers

3k views

### Excellent uses of induction and recursion

Can you make an example of a great proof by induction or construction by recursion?
Given that you already have your own idea of what "great" means, here it can also be taken to mean that the chosen ...

**23**

votes

**11**answers

2k views

### Interesting conjectures “discovered” by computers and proved by humans?

There are notable examples of computers "proving" results discovered by mathematicians, what about the opposite:
Are there interesting conjectures "discovered" by computers and proved by humans?
...

**24**

votes

**3**answers

2k views

### Arithmetic geometry examples

(This is inspired by Algebraic geometry examples.)
I want to collect here (counter)examples in arithmetic geometry.
Curves violating the Hasse principle: The Selmer curve $3X^3 + 4Y^3 + 5Z^3 = 0$. ...

**43**

votes

**28**answers

5k views

### What are some examples of ingenious, unexpected constructions?

Many famous problems in mathematics can be phrased as the quest for a specific construction. Often such constructions were sought after for centuries or even millennia and later proved impossible by ...

**7**

votes

**1**answer

374 views

### Mean value property with fixed radius

Let $f$ be a continuous function defined on $\mathbb{R^n}$. It is well known that both the spherical mean value property (MVP) of $f$, i.e.
$$f(x)=\frac{1}{|\partial B(x,r)|}\int_{\partial B(x,r)}f,\ ...

**4**

votes

**5**answers

2k views

### Easy and Hard problems in Mathematics [closed]

Modified question:
I would like to know some examples of problems in Mathematics, for pedagogical purposes, which do not involve difficult techiques to solve the problem but with a change of context ...

**3**

votes

**0**answers

201 views

### Seek “typical examples” for the structure of spaces with two-sided Ricci bounds

By a 1990 paper of Michael Anderson, the following is true:
Theorem. Let the metric space $(X,d,p)$ be a pointed Gromov-Hausdorff limit of a sequence of complete pointed Riemannian manifolds ...

**14**

votes

**2**answers

926 views

### A simplicial complex which is not collapsible, but whose barycentric subdivision is

Does anyone know of a simplicial complex which is not collapsible but whose barycentric subdivision is?
Every collapsible complex is necessarily contractible, and subdivision preserves the ...

**1**

vote

**1**answer

217 views

### “Highly balanced” periodic functions

The function $f(x) = e^{2\pi ix}$ on the domain $\mathbb{R}/\mathbb{Z}$ has the property that, for every $n > 1$ and every $x$, $\displaystyle \sum_{i = 0}^{n-1} f(x + \frac{i}{n}) = 0$.
Other ...

**6**

votes

**1**answer

1k views

### When are technical assumptions critical? [closed]

Apart from their technical statement and proof, a usual presentation of theorems is by leading up to them with a definite motivation or intuition, for example putting the results in the wider context ...

**8**

votes

**1**answer

333 views

### Examples of exotic modules for the additive group

Let $k$ be an algebraically closed field of positive characteristic $p > 0$, and let $X$ be an intedeterminate over $k$. I am interested in the additive group scheme $\mathbb{G}_a$, that is, the ...

**15**

votes

**1**answer

664 views

### What are “good” examples of string manifolds?

Based on this mathoverlow question, I would like to have a similar list for the case of string manifolds. An $n$-dim. Riemannian manifold $M$ is said to be string, if the classifying map of its bundle ...

**27**

votes

**4**answers

3k views

### What are “good” examples of spin manifolds?

I'm trying to get a grasp on what it means for a manifold to be spin. My question is, roughly:
What are some "good" (in the sense of illustrating the concept) examples of manifolds which are spin ...

**5**

votes

**3**answers

207 views

### two essentially different concretizaions

It is sometimes emphasized that a "concrete category" is not a property of a category $C$, but rather a structure, i.e. a faithful functor from $C$ to $Set$. Thus, When people talk about a concrete ...

**2**

votes

**1**answer

174 views

### Non-uniruled variety with level one Hodge structure.

I wonder if there exists one example of non-uniruled algebraic variety with level one Hodge structure.

**2**

votes

**2**answers

644 views

### Non-split groups

I am looking for a reference with definitions on what it means for an algebraic group to be split, quasi-split, and non-split. I would like to see some examples of the different "types".
Thanks,
Tom

**4**

votes

**2**answers

974 views

### Is beauty at the high school level even possible? [closed]

This question is a follow up to 74841, and follows from a suggestion by Gian-Carlo Rota that beauty as judged by the educated public differs from that experienced by mathematicians (he gives Euclidean ...

**35**

votes

**24**answers

7k views

### Examples of seemingly elementary problems that are hard to solve?

I'm looking for a list of problems such that
a) any undergraduate student who took multivariable calculus and linear algebra can understand the statements, (Edit: the definition of understanding here ...