The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
142 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
1answer
306 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
2answers
513 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 ...
22
votes
4answers
2k 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
2answers
463 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
0answers
164 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?
57
votes
41answers
9k 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
2answers
862 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
1answer
215 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
2answers
812 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
1answer
361 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
12answers
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 ...
25
votes
11answers
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? ...
25
votes
3answers
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$. ...
46
votes
28answers
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
1answer
437 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
5answers
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
0answers
212 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 ...
15
votes
2answers
1k 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
1answer
218 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 ...
5
votes
1answer
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
1answer
345 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
1answer
729 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 ...
32
votes
4answers
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
3answers
211 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
1answer
183 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
2answers
718 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
5
votes
2answers
1k 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 ...
38
votes
26answers
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 ...
48
votes
45answers
17k views

An example of a beautiful proof that would be accessible at the high school level?

The background of my question comes from an observation that what we teach in schools does not always reflect what we practice. Beauty is part of what drives mathematicians, but we rarely talk about ...
50
votes
28answers
5k views

Examples where it's useful to know that a mathematical object belongs to some family of objects

For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon: (1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...
27
votes
3answers
2k views

Wanted: example of a non-algebraic singularity

Given a finitely generated $\def\CC{\mathbb C}\CC$-algebra $R$ and a $\CC$-point (maximal ideal) $p\in Spec(R)$, I define the singularity type of $p\in Spec(R)$ to be the isomorphism class of the ...
0
votes
0answers
214 views

Example of function with a certain behavior.

Let $f: R \rightarrow R$. Consider the following properties: $(1)$ - There are positive constants $a$ and $r$ such that $\forall x, y$ $$|f(x)-f(y)|\leq a(1 + |x|^r+|y|^r)|x-y|.$$ $(2)$ - There is a ...
4
votes
1answer
357 views

Examples of “inner products” of parallel morphisms in a dagger category

There is a very interesting abstract notion of the trace of an endomorphism $f : c \to c$ of an object $c$ in a braided monoidal category (although the symmetric case is easier): see, for example, ...
3
votes
2answers
434 views

higher order structure by higher order derivatives

Anyone recall a structure determined by a 3rd order partial derivative? not the general nth order of recent Baranovsky
5
votes
2answers
685 views

The rank of a not necessarily finitely generated module.

This question is motivated by this one. The main point of the question (was) to try to weaken the notion of rank. After the answers and comments, it seems this is not a good way to do it, but perhaps ...
4
votes
1answer
1k views

An example of a rank one projective R-Module that is not invertible

Let $R$ be a commutative noetherian ring. I know that an $R$-module is invertible iff it is finitely generated and locally free of rank one. I presume then that there are examples of non-finitely ...
6
votes
0answers
446 views

Principal $G$-bundles as fully extended TQFTs, and $n$-representations

This is a follow up to this MO question: Fully dualizable objects in classical field theories Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...
50
votes
6answers
4k views

Simplest examples of nonisomorphic complex algebraic varieties with isomorphic analytifications

If they are not proper, two complex algebraic varieties can be nonisomorphic yet have isomorphic analytifications. I've heard informal examples (often involving moduli spaces), but am not sure of the ...
8
votes
2answers
401 views

Cohen-Macaulay domain with non-Cohen-Macaulay normalization?

Is the normalization of a Cohen-Macaulay domain necessarily Cohen-Macaulay? I suspect that the answer is no, but I don't have a counterexample. I am most interested in "geometric" situations, so one ...
10
votes
2answers
925 views

Families of curves for which the Belyi degree can be easily bounded

I know (edit: three) families of smooth projective connected curves over $\bar{\mathbf{Q}}$ for which the Belyi degree is not hard to bound from above. The modular curves $X(n)$. They are ...
2
votes
3answers
785 views

Algebraic structures of greater cardinality than the continuum?

Are there interesting algebraic structures whose cardinality is greater than the continuum? Obviously, you could just build a product group of $\beth_2$ many groups of whole numbers to get to such a ...
4
votes
5answers
841 views

Appearances of 'exotic' compact Lie Groups

The structure theorem for compact Lie Groups states that all compact Lie groups are finite central quotients of a product of copies of $U(1)$ and simple compact Lie groups. And yet, as easy as ...
4
votes
1answer
638 views

On the Existence of Certain Fourier Series

Is there an $f\in L^{1}(T)$ whose partial sums of Fourier series $S_{n}(f)$ satisfies $\|S_{n}(f)\|_{L^{1}(T)} \rightarrow \|f\|_{L^{1}(T)}$ but $S_{n}(f)$ fails to converge to $f$ in $L^1$-norm ?
6
votes
3answers
366 views

Non-trivial integral forms of algebras

Suppose $\mathcal{A}$ is a $\mathbf{C}$-algebra then an integral form would be a subring $\mathcal{B} \subset \mathcal{A}$ such that the canonical map $\mathcal{B} \otimes_{\mathbf{Z}} \mathbf{C} ...
8
votes
6answers
832 views

Spaces of filters

This question arose more from curiosity than from an actual problem. There are situations when you embed some space $X$ in a set of filters on $X$, which inherits properties of $X$ or has even better ...
6
votes
10answers
908 views

Examples of “Unusual” Classifications

When one says "classification" in math, usually one of a handful of examples springs to mind: -Classification of Finite Simple Groups with 18 infinite families and 26 sporadic examples (assuming one ...
7
votes
6answers
4k views

Examples of naturally occurring Quadratic forms or quadrics.

I am always fascinated when a quadratic form (or a quadric) arises naturally. I have some elementary examples, but most of all, I want to learn more examples. I hope this question isn't considered too ...
8
votes
2answers
622 views

Statements forced by one condition of a poset, but not the whole thing

In order to get the relative consistency of some statement, it suffices to find a notion of forcing, and a condition $p$ in that forcing, such that $p$ forces the desired statement. It seems to be ...
6
votes
10answers
1k views

Examples of $G_\delta$ sets

Recall that a subset A of a metric space X is a $G_\delta$ subset if it can be written as a countable intersection of open sets. This notion is related to the Baire category theorem. Here are three ...